diff options
| -rw-r--r-- | lib/Analysis/ValueTracking.cpp | 10 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/rem.ll | 15 |
2 files changed, 4 insertions, 21 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; } diff --git a/test/Transforms/InstCombine/rem.ll b/test/Transforms/InstCombine/rem.ll index 2b49385..808d51e 100644 --- a/test/Transforms/InstCombine/rem.ll +++ b/test/Transforms/InstCombine/rem.ll @@ -163,18 +163,3 @@ define i32 @test16(i32 %x, i32 %y) { %rem = urem i32 %x, %add ret i32 %rem } - -define i32 @test17(i16 %x, i32 %y) { -; CHECK: @test17 -; CHECK-NEXT: [[AND:%.*]] = and i16 %x, 4 -; CHECK-NEXT: [[EXT:%.*]] = zext i16 [[AND]] to i32 -; CHECK-NEXT: [[SHL:%.*]] = shl nuw nsw i32 [[EXT]], 3 -; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[SHL]], 63 -; CHECK-NEXT: [[REM:%.*]] = and i32 [[XOR]], %y -; CHECK-NEXT: ret i32 [[REM]] - %1 = and i16 %x, 4 - %2 = icmp ne i16 %1, 0 - %3 = select i1 %2, i32 32, i32 64 - %4 = urem i32 %y, %3 - ret i32 %4 -} |