[Bug target/41366] Invariant algebraic expressions using mixed 64 and 32 bit expressions not recognized.

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41366

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|arm-elf-unknown             |arm*-*-*
               Host|x86-elf-linux               |

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-09-23 22:07:20 UTC ---
(insn 8 28 9 2 (set (subreg:SI (reg:DI 144 [ b ]) 4)
        (reg:SI 1 r1 [ b ])) t4.c:3 640 {*arm_movsi_vfp}
     (expr_list:REG_DEAD (reg:SI 1 r1 [ b ])
        (nil)))

(insn 9 8 10 2 (set (subreg:SI (reg:DI 144 [ b ]) 0)
        (const_int 0 [0])) t4.c:3 640 {*arm_movsi_vfp}
     (nil))

(note 10 9 11 2 NOTE_INSN_DELETED)

(insn 11 10 26 2 (set (reg:DI 141)
        (ior:DI (zero_extend:DI (reg:SI 0 r0 [ a ]))
            (reg:DI 144 [ b ]))) t4.c:3 95 {*iordi_zesidi_di}
     (expr_list:REG_DEAD (reg:SI 0 r0 [ a ])
        (expr_list:REG_DEAD (reg:DI 144 [ b ])
            (nil))))

Combine does not know how to combine those instructions.