https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
--- Comment #5 from Andrew Macleod ---
Ranger made it in, but relations have not been implemented for this release.
GCC 12 for sure!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
--- Comment #6 from Andrew P
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
--- Comment #7 from Andrew Macleod ---
hmm. yeah. we have the knowledge... but how to apply it efficiently.
=== BB 4
Imports: a_3(D)
Exports: a_3(D)
b_2(D) int VARYING
a_3(D) int VARYING
Relational : (b_2(D) >= a_3(D))
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
Eric Gallager changed:
What|Removed |Added
Keywords||missed-optimization
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
--- Comment #2 from Marc Glisse ---
We do manage if you swap the order of the first 2 comparisons, because this way
we don't need to remember symbolic ranges: a<0 yields a range [0,inf] for a,
b
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
Andrew Macleod changed:
What|Removed |Added
CC||amacleod at redhat dot com
--- Comment