This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)
- From: "glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 31 Oct 2012 21:27:27 +0000
- Subject: [Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)
- Auto-submitted: auto-generated
- References: <bug-55152-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> 2012-10-31 21:27:27 UTC ---
Actually, looking at the doc of MAX_EXPR in tree.def (nothing in generic.texi),
we don't even need to ignore signed zeros to turn MAX_EXPR into ABS_EXPR:
/* Minimum and maximum values. When used with floating point, if both
operands are zeros, or if either operand is NaN, then it is unspecified
which of the two operands is returned as the result. */