Paradoxical subreg in compare
Jeffrey A Law
law@cygnus.com
Mon May 29 10:42:00 GMT 2000
In message < orsnv245h7.fsf@saci.lsd.ic.unicamp.br >you write:
> This unusual paradoxical subreg seems wrong, according to the standard
> semantics of subreg, but Jim Wilson says, in this case, it should be
> equivalent to zero_extend. Moreover, register_operand() accepts a
> subreg of a mem before reload, because it is known for sure that
> reload is going to fix it. Unfortunately, a reload inheritance
> problem prevents the job from being done correctly.
Then you need to be looking to fix reload inheritance, not combine. Combine's
actions are OK given the current state of register_operand and friends.
> Here's the patch. Ok to install?
No, it's papering over the problem, not fixing it.
jeff
More information about the Gcc-patches
mailing list