Re: Always check modes in forward_propagate_and_simplify

2011-09-25 Thread Paolo Bonzini
On Sun, Sep 25, 2011 at 19:00, Richard Sandiford wrote: > There was some discussion a while back about whether we should propagate > hard regs.  But I think that was in the context of propagating a hard-reg > SET_SRC.  In this case, BLAH only mentions pseudos, and I think propagating > for: > >  

Always check modes in forward_propagate_and_simplify

2011-09-25 Thread Richard Sandiford
While working on a MIPS16 patch, I came across an ICE on code like: (set (reg:DI 64) (unspec:DI BLAH)) (set (reg:SI PSEUDO) (reg:SI 64)) The problem was that fwprop.c:forward_propagate_and_simplify tried to replace (reg:SI 64) with (unspec:DI BLAH), i.e. it tried to replace an SImode valu