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.
