match.pd: New simplification patterns.
commit0f770b013e710f7225ddb1f75a0fb28bcf8ebf31
authorRasmus Villemoes <rv@rasmusvillemoes.dk>
Fri, 1 May 2015 18:25:12 +0000 (1 20:25 +0200)
committerJeff Law <law@gcc.gnu.org>
Fri, 1 May 2015 18:25:12 +0000 (1 12:25 -0600)
tree0946db8391df7da6267cfcf0d058190705a74e1b
parent5524eb7ecc101ec843fe1f1c3200d20ff09da0d3
match.pd: New simplification patterns.

* match.pd: New simplification patterns.
(x + (x & 1))  -> ((x + 1) & ~1)
(x & ~(x & y)) -> ((x & ~y))
(x | ~(x | y)) -> ((x | ~y))

* gcc.dg/20150120-1.c: New test.
* gcc.dg/20150120-2.c: New test.
* gcc.dg/20150120-3.c: New test.

From-SVN: r222697
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/20150120-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/20150120-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/20150120-3.c [new file with mode: 0644]