[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #9 from Richard Biener --- Author: rguenth Date: Wed Oct 5 07:48:24 2016 New Revision: 240770 URL: https://gcc.gnu.org/viewcvs?rev=240770&root=gcc&view=rev Log: 2016-10-05 Richard Biener PR middle-end/55152 * mat

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #7 from Richard Biener --- Author: rguenth Date: Thu Sep 29 12:27:19 2016 New Revision: 240615 URL: https://gcc.gnu.org/viewcvs?rev=240615&root=gcc&view=rev Log: 2016-09-29 Richard Biener PR middle-end/55152 * mat

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #4 from Marc Glisse --- Created attachment 30502 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30502&action=edit fold-const.c patch I've had this patch on my hard drive for a while and it will be better here. It needs more work.

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 Andrew Pinski changed: What|Removed |Added Keywords||missed-optimization Se

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #3 from Marc Glisse 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

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #2 from Marc Glisse 2012-10-31 21:14:12 UTC --- Ignoring signed zeros, sure, that's also required to generate a MAX_EXPR in the first place. NaNs, I don't know, it sounds to me like they have an effect on generating a MAX_EXPR,

[Bug middle-end/55152] MAX_EXPR(a,-a) is really ABS_EXPR(a)

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55152 --- Comment #1 from Andrew Pinski 2012-10-31 20:18:58 UTC --- Only if you ignore signed zeros and maybe even NaNs.