https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103785
--- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> --- Before (insn 8 5 70 2 (set (reg:SI 1 dx [92]) (const_int 714200473 [0x2a91d599])) "/export/gnu/import/git/gitlab/x86-gcc-test/gcc/ada/sem_type.adb":2563:7 70 {*movsi_internal} (expr_list:REG_EQUIV (const_int 714200473 [0x2a91d599]) (nil))) (insn 70 8 9 2 (set (reg:SI 0 ax [105]) (reg:SI 0 ax [orig:89 k ] [89])) "/export/gnu/import/git/gitlab/x86-gcc-test/gcc/ada/sem_type.adb":2563:7 70 {*movsi_internal} (nil)) (insn 9 70 10 2 (parallel [ (set (reg:SI 1 dx [91]) (smul_highpart:SI (reg:SI 0 ax [105]) (reg:SI 1 dx [92]))) (clobber (reg:SI 0 ax [105])) (clobber (reg:CC 17 flags)) ]) "/export/gnu/import/git/gitlab/x86-gcc-test/gcc/ada/sem_type.adb":2563:7 383 {smulsi3_highpart} (expr_list:REG_DEAD (reg:SI 0 ax [105]) (expr_list:REG_UNUSED (reg:CC 17 flags) (expr_list:REG_UNUSED (reg:SI 0 ax [105]) (expr_list:REG_EQUAL (smul_highpart:SI (reg/v:SI 3 bx [orig:89 k ] [89]) (const_int 714200473 [0x2a91d599])) (nil)))))) After (insn 95 5 96 2 (set (reg:SI 0 ax [105]) (const_int 714200473 [0x2a91d599])) "/export/gnu/import/git/gitlab/x86-gcc-test/gcc/ada/sem_type.adb":2563:7 -1 (nil)) (insn 96 95 10 2 (parallel [ (set (reg:SI 1 dx [91]) (smul_highpart:SI (reg:SI 0 ax [105]) (reg:SI 0 ax [orig:89 k ] [89]))) (clobber (reg:SI 0 ax [105])) (clobber (reg:CC 17 flags)) ]) "/export/gnu/import/git/gitlab/x86-gcc-test/gcc/ada/sem_type.adb":2563:7 -1 (nil))