aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis/ValueTracking.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/ValueTracking.cpp')
-rw-r--r--lib/Analysis/ValueTracking.cpp10
1 files changed, 4 insertions, 6 deletions
diff --git a/lib/Analysis/ValueTracking.cpp b/lib/Analysis/ValueTracking.cpp
index b3693b3..1b20a25 100644
--- a/lib/Analysis/ValueTracking.cpp
+++ b/lib/Analysis/ValueTracking.cpp
@@ -861,16 +861,14 @@ bool llvm::isKnownToBeAPowerOfTwo(Value *V, bool OrZero, unsigned Depth) {
// Adding a power of two to the same power of two is a power of two or
// zero.
if (BinaryOperator *XBO = dyn_cast<BinaryOperator>(X))
- if (XBO->getOpcode() == Instruction::And ||
- XBO->getOpcode() == Instruction::Xor)
+ if (XBO->getOpcode() == Instruction::And)
if (XBO->getOperand(0) == Y || XBO->getOperand(1) == Y)
- if (isKnownToBeAPowerOfTwo(Y, /*OrZero*/true, Depth))
+ if (isKnownToBeAPowerOfTwo(Y, OrZero, Depth))
return true;
if (BinaryOperator *YBO = dyn_cast<BinaryOperator>(Y))
- if (YBO->getOpcode() == Instruction::And ||
- YBO->getOpcode() == Instruction::Xor)
+ if (YBO->getOpcode() == Instruction::And)
if (YBO->getOperand(0) == X || YBO->getOperand(1) == X)
- if (isKnownToBeAPowerOfTwo(X, /*OrZero*/true, Depth))
+ if (isKnownToBeAPowerOfTwo(X, OrZero, Depth))
return true;
}