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

[sayle@gcc.gnu.org]

Author: sayle
Date: Sat Feb 25 22:27:54 2006
New Revision: 111442

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111442
Log:

	PR middle-end/23673
	* fold-const.c (fold_binary) <EQ_EXPR>:  Fold (X^Y) == 0 as X == Y
	and (X^Y) != 0 as X != Y.  Fold (X^Y) == Y as X == 0, and some
	symmetry related transformations.  Fold (X^C1) == C2 as
	X == (C1^C2).

	* gcc.dg/fold-eqxor-1.c: New test case.
	* gcc.dg/fold-eqxor-2.c: Likewise.
	* gcc.dg/fold-eqxor-3.c: Likewise.


Added:
    trunk/gcc/testsuite/gcc.dg/fold-eqxor-1.c
    trunk/gcc/testsuite/gcc.dg/fold-eqxor-2.c
    trunk/gcc/testsuite/gcc.dg/fold-eqxor-3.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog