Re: [committed] forward_propagate_subreg vs. mode_rep_extended

2011-12-20 Thread Paolo Bonzini
On 12/19/2011 11:06 PM, Richard Sandiford wrote: I've normally tried to avoid self-approving rtl optimiser stuff, but since this is a simple extension of the existing MEM handling, and since the mode_rep_extended test effectively makes it MIPS-specific, I hope it's OK to make an exception here.

Re: [committed] forward_propagate_subreg vs. mode_rep_extended

2011-12-19 Thread Mike Stump
On Dec 19, 2011, at 2:25 PM, Richard Sandiford wrote: > I've just added a PR reference to the ChangeLog entry. I don't think it's > the kind of thing that should be backported to branches, but I'm never > too sure whether that means the bug should be closed as fixed or not. Closed, fixed, known t

Re: [committed] forward_propagate_subreg vs. mode_rep_extended

2011-12-19 Thread Richard Sandiford
Andrew Pinski writes: > On Mon, Dec 19, 2011 at 2:06 PM, Richard Sandiford > wrote: >> forward_propagate_subreg has code to optimise sequences like: >> >>    (set (reg:DI X) (*_extend:DI (reg:SI Y))) >>    (... (subreg:SI (reg:DI X)) ...) >> >> by replacing (subreg:SI (reg:DI X)) with (reg:SI Y).

Re: [committed] forward_propagate_subreg vs. mode_rep_extended

2011-12-19 Thread Andrew Pinski
On Mon, Dec 19, 2011 at 2:06 PM, Richard Sandiford wrote: > forward_propagate_subreg has code to optimise sequences like: > >    (set (reg:DI X) (*_extend:DI (reg:SI Y))) >    (... (subreg:SI (reg:DI X)) ...) > > by replacing (subreg:SI (reg:DI X)) with (reg:SI Y).  However, there is > a special c

[committed] forward_propagate_subreg vs. mode_rep_extended

2011-12-19 Thread Richard Sandiford
forward_propagate_subreg has code to optimise sequences like: (set (reg:DI X) (*_extend:DI (reg:SI Y))) (... (subreg:SI (reg:DI X)) ...) by replacing (subreg:SI (reg:DI X)) with (reg:SI Y). However, there is a special case to stop this happening if Y is loaded from memory and the extensi