match.pd ((x | y) & ~(x & y) -> x ^ y, (x | y) & (~x ^ y) -> x & y): New patterns.
authorMarek Polacek <polacek@redhat.com>
Fri, 26 Jun 2015 10:13:49 +0000 (10:13 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Fri, 26 Jun 2015 10:13:49 +0000 (10:13 +0000)
commit66cc6273bad0c51db5e499dec2352a6bb7b4a952
tree6d9fcb7f7e6678089e1bc411453302549aa0833c
parent9d8895c9342d2c46d7d7e9b0437879db9d60cf7c
match.pd ((x | y) & ~(x & y) -> x ^ y, (x | y) & (~x ^ y) -> x & y): New patterns.

* match.pd ((x | y) & ~(x & y) -> x ^ y,
(x | y) & (~x ^ y) -> x & y): New patterns.

* gcc.dg/fold-and-1.c: New test.
* gcc.dg/fold-and-2.c: New test.

From-SVN: r225001
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/fold-and-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/fold-and-2.c [new file with mode: 0644]