https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109401
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
Last reconfirmed| |2023-04-04
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Something like this:
(for op (somebinarops)
(simplify
(op:c (min:c @0 @1) (max:c @0 @1))
(if (!FLOAT_TYPE_P(type))
(op @0 @1))))
Replacing somebinarops with all commutative binary expressions code.
Note !FLOAT_TYPE_P might be changed to !HONOR_NANS && !HONOR_SIGNED_ZEROS
instead but I am not 100% sure that is the correct thing there.
Confirmed.
