r236103 - in /trunk/gcc: ChangeLog fold-const.c...

[glisse@gcc.gnu.org]

Author: glisse
Date: Tue May 10 19:52:20 2016
New Revision: 236103

URL: https://gcc.gnu.org/viewcvs?rev=236103&root=gcc&view=rev
Log:
Simple bitop reassoc in match.pd

2016-05-10  Marc Glisse  <marc.glisse@inria.fr>

gcc/
	* fold-const.c (fold_binary_loc) [(X ^ Y) & Y]: Remove and merge with...
	* match.pd ((X & Y) ^ Y): ... this.
	((X & Y) & Y, (X | Y) | Y, (X ^ Y) ^ Y, (X & Y) & (X & Z), (X | Y)
	| (X | Z), (X ^ Y) ^ (X ^ Z)): New transformations.

gcc/testsuite/
	* gcc.dg/tree-ssa/bit-assoc.c: New testcase.
	* gcc.dg/tree-ssa/pr69270.c: Adjust.
	* gcc.dg/tree-ssa/vrp59.c: Disable forwprop.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/bit-assoc.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69270.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp59.c