https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68131
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
We indeed do not have this optimization, only A + CST CMP CST to A CMP CST'
and related. Note that _9 might be negative so we also need range info
for this. VRPs symbolic range stuff isn't good enough to simplify this.
