------- Comment #6 from sayle at gcc dot gnu dot org 2006-02-25 22:27 ------- Subject: Bug 23673
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 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23673