Re: Add a partial_subreg_p predicate

2017-08-30 Thread Jeff Law
On 08/30/2017 09:41 AM, Richard Sandiford wrote: > > Even then I don't think we could ever have SET_SRC and SET_DEST being > different. The extension has to be explicit in the source. Yea, you should still have the same mode for the SET_SRC and SET_DEST. It's just that the operands underneath may

Re: Add a partial_subreg_p predicate

2017-08-30 Thread Richard Sandiford
Jeff Law writes: > On 08/21/2017 07:34 AM, Richard Sandiford wrote: >> This patch adds a partial_subreg_p predicate to go alongside >> paradoxical_subreg_p. >> >> The first two changes to cse_insn preserve the current behaviour, >> but the condition seems strange. Shouldn't we be able to continu

Re: Add a partial_subreg_p predicate

2017-08-29 Thread Jeff Law
On 08/21/2017 07:34 AM, Richard Sandiford wrote: > This patch adds a partial_subreg_p predicate to go alongside > paradoxical_subreg_p. > > The first two changes to cse_insn preserve the current behaviour, > but the condition seems strange. Shouldn't we be able to continue > to cse if the inner m

Add a partial_subreg_p predicate

2017-08-21 Thread Richard Sandiford
This patch adds a partial_subreg_p predicate to go alongside paradoxical_subreg_p. The first two changes to cse_insn preserve the current behaviour, but the condition seems strange. Shouldn't we be able to continue to cse if the inner modes of the two subregs have the same size? The patch also p