https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127735
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> Confirmed. Intermediate step that might ease things but in itself is not
> profitable:
>
> <=> 3*a < 6*b + 3
> <=> 3*a < 3*(2*b + 1)
I wonder if that would be seen with Robin's reassociation work. It does seem
related though.
