[Bug rtl-optimization/125757] `smax <smin <a, nonneg>, 0>` can be simplified into `umin<a, nonneg>`

"pinskia at gcc dot gnu.org via Gcc-bugs" <[email protected]> Tue, 28 Jul 2026 19:15:47 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125757

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
So I messed up the reflection of the max from signed to unsigned min. And they
give different results; one gives the INT_MAX (unsigned min) while signed max
would give 0.

So this is not valid to do. Whoops.