diff options
author | David Majnemer <david.majnemer@gmail.com> | 2013-07-09 18:11:10 +0000 |
---|---|---|
committer | David Majnemer <david.majnemer@gmail.com> | 2013-07-09 18:11:10 +0000 |
commit | ab6ceab8a65e26667a437a4ace7fe93a3772c6ff (patch) | |
tree | abed41e4b29796b9ab0694e5f35dd30cd0ffc9c6 /test | |
parent | 29b741942807bc4c0441d98f1330b70446794b88 (diff) | |
download | llvm-ab6ceab8a65e26667a437a4ace7fe93a3772c6ff.tar.gz llvm-ab6ceab8a65e26667a437a4ace7fe93a3772c6ff.tar.bz2 llvm-ab6ceab8a65e26667a437a4ace7fe93a3772c6ff.tar.xz |
ValueTracking: Fix bugs in isKnownToBeAPowerOfTwo
(add nsw x, (and x, y)) isn't a power of two if x is zero, it's zero
(add nsw x, (xor x, y)) isn't a power of two if y has bits set that aren't set in x
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185954 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/rem.ll | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/Transforms/InstCombine/rem.ll b/test/Transforms/InstCombine/rem.ll index 2b49385b92..808d51eba1 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 -} |