https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114702
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Ever confirmed|0 |1
Last reconfirmed| |2024-04-12
Severity|normal |enhancement
Status|UNCONFIRMED |NEW
Blocks| |85316
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
VRP does some of this but I am not sure if it can be expanded to be handle more
general value relations here
Folding statement: if (_2 == a_5(D))
Registering value_relation (_2 == a_5(D)) on (3->4)
Registering value_relation (_2 != a_5(D)) on (3->5)
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
