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))