[Bug target/99497] _mm_min_ss/_mm_max_ss incorrect results when values known at compile time

rguenth at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed Mar 10 08:15:40 GMT 2021


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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #2)
> And another question is if we without -ffast-math ever create
> MIN_EXPR/MAX_EXPR and what exactly are the rules for those, if it is safe to
> expand those into SMAX etc., or if those need to use UNSPECs too.

We don't create them w/o -ffinite-math-only -fno-signed-zeros.  We of course
eventually could, if there's a compare sequence matching the relaxed
requirements.

But MIN/MAX_EXPR should be safe to expand to smin/max always given their
semantics match.


More information about the Gcc-bugs mailing list