https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42117
--- Comment #4 from Andrew Pinski ---
So I think VRP is almost there on the trunk, it just needs to know if you have
a range of a and that a is defined by b|c, then b and c ranges can be just the
same as a.
That is:
_10 = x_5(D) | y_6(D);
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42117
Andrew Pinski changed:
What|Removed |Added
Blocks|42195 |
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42117
Andrew Pinski changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned a
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-11-20 13:12 ---
Confirmed. We do see
x_2: [0, 1] EQUIVALENCES: { x_3(D) } (1 elements)
y_11: [0, 1] EQUIVALENCES: { y_5(D) } (1 elements)
but have no code that actually makes use of this information in
:
if (x_3(D) != 0)
