On 9/26/19 9:14 AM, Kyrill Tkachov wrote: > > On 9/26/19 4:12 PM, Jeff Law wrote: >> On 9/26/19 12:49 AM, Jakub Jelinek wrote: >> > On Wed, Sep 25, 2019 at 10:06:13PM -0600, Jeff Law wrote: >> >> (insn 13 12 14 2 (set (reg:SI 124) >> >> (const_int -939524096 [0xffffffffc8000000])) "j.c":10:54 161 >> >> {*arm_movsi_insn} >> >> (nil)) >> >> >> >> (insn 14 13 16 2 (parallel [ >> >> (set (reg:SI 132) >> >> (plus:SI (mult:SI (zero_extend:DI (reg/v:SI 115 [ >> sec ])) >> >> (zero_extend:DI (reg:SI 124))) >> >> (reg:SI 130))) >> > >> > IMNSHO the bug is just in the backend, the above is not valid RTL. >> > SImode MULT has to have SImode operands, not DImode operands. >> Hmm, yea, I think you're right. I totally missed that last night. >> >> FWIW, we do allow the modes of the input operands to differ. But I >> don't think either is allowed to be wider than the result mode of the >> multiplication. >> >> >> I think that means we punt this back to Wilco to fix since it's an ARM >> specific issue. > > Can you please file a PR for it so we don't lose track of it? 91919
jeff