https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103003
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |amacleod at redhat dot
com
CC| |amacleod at redhat dot com
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2021-10-30
Ever confirmed|0 |1
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
Created attachment 51703
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51703&action=edit
proposed patch
we know the result is true, so we are trying to register a "<=" expression for:
_10 = _4 <= _4;
If the 2 ssa names are the same, there is no need o register any relation.
equality is implied, and nothign else makes sense.
Untested patch for now.
