https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77289
--- Comment #6 from Peter Bergner <bergner at gcc dot gnu.org> --- Another similar test case, but thi sone I'm able to make fail on a 64-bit LE compile. bergner@genoa:~/gcc/BUGS/PR77289$ cat q.i void dummy (long *); long bar (long); void foo (long a, long b) { long array[128]; long *c = array; for (b=0; b < a; b++) c[b] = bar (c[b]); dummy (c); } bergner@genoa:~/gcc/BUGS/PR77289$ /home/bergner/gcc/build/gcc-fsf-mainline-pr77289/gcc/xgcc -B/home/bergner/gcc/build/gcc-fsf-mainline-pr77289/gcc -O3 -mcpu=power7 -funroll-loops -ffast-math -mlra -S -mupdate -fno-auto-inc-dec q.i bergner@genoa:~/gcc/BUGS/PR77289$ /home/bergner/gcc/build/gcc-fsf-mainline-pr77289-base/gcc/xgcc -B/home/bergner/gcc/build/gcc-fsf-mainline-pr77289-base/gcc -O3 -mcpu=power7 -funroll-loops -ffast-math -mlra -S -mupdate -fno-auto-inc-dec q.i q.i: In function ‘foo’: q.i:11:1: error: insn does not satisfy its constraints: } ^ (insn 91 93 92 15 (parallel [ (set (reg:DI 3 3) (mem:DI (plus:DI (reg/f:DI 1 1) (const_int 40 [0x28])) [1 MEM[base: _7, offset: 0B]+0 S8 A64])) (set (reg:DI 31 31 [orig:209 ivtmp.9 ] [209]) (plus:DI (reg/f:DI 1 1) (const_int 40 [0x28]))) ]) q.i:9 590 {*movdi_update1} (nil))