diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-01-30 16:38:49 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-01-30 16:38:49 +0000 |
| commit | 5d6687da99d945f4b0b1e020b6583515dca530cc (patch) | |
| tree | 8eabc15f0ced4f05735c5e8de54c3c8c18aa2145 /llvm/test/Transforms | |
| parent | 585756568c6fdd4caf00a7d7b77dbcb5108d711b (diff) | |
| download | bcm5719-llvm-5d6687da99d945f4b0b1e020b6583515dca530cc.tar.gz bcm5719-llvm-5d6687da99d945f4b0b1e020b6583515dca530cc.zip | |
[InstCombine] add 'exact' to lshr to show that it got dropped; NFC
llvm-svn: 293496
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/shift.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/shift.ll b/llvm/test/Transforms/InstCombine/shift.ll index 5ee4f49fe0a..ac9b7e1c37f 100644 --- a/llvm/test/Transforms/InstCombine/shift.ll +++ b/llvm/test/Transforms/InstCombine/shift.ll @@ -933,6 +933,7 @@ define <2 x i32> @test51_splat_vec(<2 x i32> %x) { } ; (X << C1) >>u C2 --> X >>u (C2-C1) & (-1 >> C2) +; Also, check that exact is propagated. define i32 @test51_no_nuw(i32 %x) { ; CHECK-LABEL: @test51_no_nuw( @@ -941,7 +942,7 @@ define i32 @test51_no_nuw(i32 %x) { ; CHECK-NEXT: ret i32 [[B]] ; %A = shl i32 %x, 1 - %B = lshr i32 %A, 3 + %B = lshr exact i32 %A, 3 ret i32 %B } |
