Generalize -(-X) a little

[Marc Glisse]

On Thu, 2 Nov 2017, Richard Biener wrote:

> You can handle floats as followup but some testcases that shouldn't be
> optimized for the INT_MIN / unsigned case would be nice.

New version, that does a bit more.

Bootstrap+regtest on powerpc64le-unknown-linux-gnu.

2017-11-03  Marc Glisse  <marc.glisse@inria.fr>

gcc/
 	* fold-const.c (fold_negate_expr_1): Call generic_simplify. Remove
 	NEGATE_EXPR handling.
 	* match.pd (-(-A)): Rewrite.

gcc/testsuite/
 	* gcc.dg/tree-ssa/negneg-1.c: New file.
 	* gcc.dg/tree-ssa/negneg-2.c: Likewise.
 	* gcc.dg/tree-ssa/negneg-3.c: Likewise.
 	* gcc.dg/tree-ssa/negneg-4.c: Likewise.


-- 
Marc Glisse
-------------- next part --------------
A non-text attachment was scrubbed...
Name: neg.patch
Type: text/x-diff
Size: 6640 bytes
Desc: 
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20171103/1b7e4284/attachment.bin>