[Bug rtl-optimization/117938] [15 Regression] wrong code with -O2 --param=max-cse-insns=1 with late-combine (since r15-1735-ge62ea4fb8ffcab)

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117938

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
trying to combine definition of r41 in:
  443: r13:DI=ax:DI
into:
  197: [r13:DI]=xmm2:V1TI
successfully matched this instruction to movv1ti_internal:
(set (mem:V1TI (reg/f:DI 0 ax [262]) [0  S16 A512])
    (reg:V1TI 22 xmm2 [348]))
  199: [r13:DI+0x10]=xmm2:V1TI
successfully matched this instruction to movv1ti_internal:
(set (mem:V1TI (plus:DI (reg/f:DI 0 ax [262])
            (const_int 16 [0x10])) [0  S16 A128])
    (reg:V1TI 22 xmm2 [349]))
  201: [r13:DI+0x20]=xmm2:V1TI
successfully matched this instruction to movv1ti_internal:
(set (mem:V1TI (plus:DI (reg/f:DI 0 ax [262])
            (const_int 32 [0x20])) [0  S16 A256])
    (reg:V1TI 22 xmm2 [350]))
  203: [r13:DI+0x30]=xmm2:V1TI
successfully matched this instruction to movv1ti_internal:
(set (mem:V1TI (plus:DI (reg/f:DI 0 ax [262])
            (const_int 48 [0x30])) [0  S16 A128])
    (reg:V1TI 22 xmm2 [351]))
  347: {sp:DI=r13:DI+0x80;clobber flags:CC;}
      REG_ARGS_SIZE 0
successfully matched this instruction to *adddi_1:
(parallel [
        (set (reg/f:DI 7 sp)
            (plus:DI (reg/f:DI 0 ax [262])
                (const_int 128 [0x80])))
        (clobber (reg:CC 17 flags))
    ])
...
moving insn 347 after insn 204
verify found no changes in insn with uid = 347.



It is the moving insn that is the issue.