diff options
| author | Roger Sayle <roger@eyesopen.com> | 2006-02-25 22:27:54 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2006-02-25 22:27:54 +0000 |
| commit | eb8dffe0fbff242efc573fba9eff7a1da7eb893f (patch) | |
| tree | 33a222942c6e3c0053613f0b378d977c6e36e141 /gcc/ChangeLog | |
| parent | d349482e965a1f68edcc6cbac12aa52c5cc95196 (diff) | |
| download | gcc-eb8dffe0fbff242efc573fba9eff7a1da7eb893f.zip gcc-eb8dffe0fbff242efc573fba9eff7a1da7eb893f.tar.gz gcc-eb8dffe0fbff242efc573fba9eff7a1da7eb893f.tar.bz2 | |
re PR middle-end/23673 (fold does not fold (a^b) != 0 to a != b)
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.
From-SVN: r111442
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2c42abf..b2abdce 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2006-02-25 Roger Sayle <roger@eyesopen.com> + + 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). + 2006-02-25 Juergen Weigert <jw@suse.de> Richard Guenther <rguenther@suse.de> |