re PR middle-end/55152 (MAX_EXPR(a,-a) is really ABS_EXPR(a))
authorRichard Biener <rguenther@suse.de>
Wed, 5 Oct 2016 07:48:24 +0000 (07:48 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 5 Oct 2016 07:48:24 +0000 (07:48 +0000)
commit54f84ca9c7a1955f9760df4c2df72be9272e0db3
tree7faf6e2dfc74db0fa15b66f1ded1a2e9991e9f21
parent17beda50fbca460263327a8490b066e08b3e68ce
re PR middle-end/55152 (MAX_EXPR(a,-a) is really ABS_EXPR(a))

2016-10-05  Richard Biener  <rguenther@suse.de>

PR middle-end/55152
* match.pd (min(a,-a) -> -abs(a)): New pattern.

* gcc.dg/pr55152-2.c: New testcase.

From-SVN: r240770
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr55152-2.c [new file with mode: 0644]