Thanks for the suggestions,
I've had a look into these, and unfortunately it seems they have the same
problem I've been hitting before.
The use of the TARGET_HARD_REGNO_MODE_OK macro limits all uses of registers in
a given mode (so that we wouldn't be able to use register pairs beginning with
odd registers for other instructions), while using an EVEN_REGS register class
won't work in modes that span more than one hard register (as all hard
registers covered by a pseudo register must be in the same class).
Is that so? I don't remember that restriction, and certainly pdp11 does not do this.
Could that be why LRA is failing in some of my tests? The "old" reload pass
makes no objections.
Note though that there are two possible ways to look at this.
1. Is there a register class such that all of the hard registers for a given
mode are in that class?
2. Is the value returned by REGNO_REG_CLASS the same for each of the hard
registers of a register pair?
For pdp11, (1) is true (they are both members of GENERAL_REGS) while (2) is
false (for the even register, GENERAL_REGS is returned, vs. MUL_REGS for the
odd one).
paul
Apologies, I was unclear there.
When I said "all hard registers covered by a pseudo register must be in
the same class" I meant "in order for a register constraint to that
class to be satisfied".
i.e. if you were to use the "d" constraint in the SI operand of the
"mulhisi3" pattern, then that constraint would not allow any register
pair to be used since all register pairs use an odd register.
That is why "register classes cannot be used to enforce a requirement
for a register pair to start with an even-numbered register" as
mentioned in https://gcc.gnu.org/onlinedocs/gccint/Register-Classes.html .
Matthew
