x & C -> x if we know that x & ~C == 0
authorMarc Glisse <marc.glisse@inria.fr>
Tue, 17 May 2016 17:57:27 +0000 (19:57 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Tue, 17 May 2016 17:57:27 +0000 (17:57 +0000)
commitc7986356a1ca8e8e671af74e9e7b76d14238bd5f
tree7114d3925db69527c7a16eef0f554a9b15efb76c
parentd982c5b7b73b9bed5d63d614dc2ae4f17d49eb74
x & C -> x if we know that x & ~C == 0

2016-05-17  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd (X & C): New transformation.

gcc/testsuite/
* gcc.dg/tree-ssa/and-1.c: New testcase.

From-SVN: r236338
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/and-1.c [new file with mode: 0644]