http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46804
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |jakub at gcc dot gnu.org
|gnu.org |
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-08
11:17:00 UTC ---
Ah, it seems Bernd committed a patch for this 9 years ago:
http://gcc.gnu.org/ml/gcc-patches/2001-06/msg01250.html
but probably had just testcase for REG_EQUIV and not REG_EQUAL, so didn't
discover that p at that point is not the p it wants, as there has been a
forward loop too. I guess if the REG_EQUAL note is identical to the source
operand, it could be sign/zero extended instead of removing it, for anything
else of course we want to remove it, but from the right insn.
