Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.
authorDan Gohman <gohman@apple.com>
Thu, 18 Jun 2009 00:00:20 +0000 (00:00 +0000)
committerDan Gohman <gohman@apple.com>
Thu, 18 Jun 2009 00:00:20 +0000 (00:00 +0000)
commit820528331fbcc0db2149edc0b143753665bc00bf
tree399b71a26dfc56bcd1f0eea8764ab4c4f9c6617f
parentfc3641b07a95f649424ee5009a4bed001b5bea62
Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.
If C is a single bit and the and gets analyzed as a truncate and
zero-extend, the xor can be represnted as an add.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73664 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/xor-and.ll