On Wed, Jan 11, 2023 at 05:07:47PM -0500, Paul Koning wrote: > > On Jan 11, 2023, at 2:28 PM, Segher Boessenkool > > <seg...@kernel.crashing.org> wrote: > > I would say your predicates are way too lenient here (general_operand), > > but this needs more info. A testcase to reproduce the problem, to > > start with :-) > > I'll try to trim it down. > > What do you mean "too lenient"? The first input operand (which is supposed > to be the same as the output since the instruction set is 2-address) is > "general_operand". The destination is "nonimmediate_operand" which fits the > constraints applied to it.
I mean general_operand accepts that sp thing you saw. But your constraints do not? (I don't know your target well, maybe this isn't true). Things like this should be sorted out by reload, but you get better code (and fewer problems ;-) ) if you make code that fits earlier. The L in LRA means "local": it "just" makes things fit, it does not emphasise optimising your code. Segher
