https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100738
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Severity|normal |enhancement
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
One thing is VCE<~A> should be converted to ~VCE<A> which might allow ~B < 0 to
be converted to B >= 0.
On RTL, it might be useful to still simplify:
(subreg (not op3) 0)
To:
(not (subreg op3 0))