> I'm a little concerned it's too loose. Basically it says that if both > modes are integer modes, then they're tieable. However, > HARD_REGNO_MODE_OK may return different values for MODE1 and MODE2, even > if both are integer modes. > > My recollection is if MODES_TIEABLE_P returns true for mode1 and mode2, > then HARD_REGNO_MODE_OK must return the same value when passed mode1 and > mode2 regardless of the hard register and it's not obvious if > HARD_REGNO_MODE_OK fits that criteria for this port.
I see, thanks for explaining. I didn't write these macros and I agree that HARD_REGNO_MODE_OK is a little convoluted, but MODES_TIEABLE_P is correct as far as the arch is concerned so I'd rather tweak the former if need be. > Given you're already maintaining other parts of GCC, I really just > consider appointing you as the maintainer for the port a formality. > I'll start that process, but go ahead and list yourself as the > maintainer in the MAINTAINERS file. Will do. -- Eric Botcazou