diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-08-15 21:01:31 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-08-15 21:01:31 +0000 |
| commit | 78db2963f6964b4669c82cf8e6abc408ffe91200 (patch) | |
| tree | 64956be224f5233cb01e458df4fe7381f9eb1281 /llvm/test/Analysis/ValueTracking/known-signbit-shift.ll | |
| parent | 6107a4195d84279bb71f58b4b7d9b76384b43af0 (diff) | |
| download | bcm5719-llvm-78db2963f6964b4669c82cf8e6abc408ffe91200.tar.gz bcm5719-llvm-78db2963f6964b4669c82cf8e6abc408ffe91200.zip | |
Revert "[ValueTracking] Improve ValueTracking on left shift with nsw flag"
This reverts commit r278172. It causes PR28946.
llvm-svn: 278740
Diffstat (limited to 'llvm/test/Analysis/ValueTracking/known-signbit-shift.ll')
| -rw-r--r-- | llvm/test/Analysis/ValueTracking/known-signbit-shift.ll | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/llvm/test/Analysis/ValueTracking/known-signbit-shift.ll b/llvm/test/Analysis/ValueTracking/known-signbit-shift.ll deleted file mode 100644 index 99f919377d6..00000000000 --- a/llvm/test/Analysis/ValueTracking/known-signbit-shift.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: opt < %s -instcombine -S | FileCheck %s - -; Result of left shifting a non-negative integer -; with nsw flag should also be non-negative -define i1 @test_shift_nonnegative(i32 %a) { -; CHECK-LABEL: @test_shift_nonnegative( -; CHECK: ret i1 true - %b = lshr i32 %a, 2 - %shift = shl nsw i32 %b, 3 - %cmp = icmp sge i32 %shift, 0 - ret i1 %cmp -} - -; Result of left shifting a negative integer with -; nsw flag should also be negative -define i1 @test_shift_negative(i32 %a, i32 %b) { -; CHECK-LABEL: @test_shift_negative( -; CHECK: ret i1 true - %c = or i32 %a, -2147483648 - %d = and i32 %b, 7 - %shift = shl nsw i32 %c, %d - %cmp = icmp slt i32 %shift, 0 - ret i1 %cmp -} |
