diff options
Diffstat (limited to 'test/Transforms/InstCombine/signext.ll')
-rw-r--r-- | test/Transforms/InstCombine/signext.ll | 27 |
1 files changed, 9 insertions, 18 deletions
diff --git a/test/Transforms/InstCombine/signext.ll b/test/Transforms/InstCombine/signext.ll index d700497..3a714d7 100644 --- a/test/Transforms/InstCombine/signext.ll +++ b/test/Transforms/InstCombine/signext.ll @@ -34,54 +34,45 @@ define i32 @test3(i16 %P) { ; CHECK: ret i32 %tmp.5 } -define i32 @test4(i16 %P) { - %tmp.1 = zext i16 %P to i32 ; <i32> [#uses=1] - %tmp.4 = xor i32 %tmp.1, 32768 ; <i32> [#uses=1] - %tmp.5 = add i32 %tmp.4, -32768 ; <i32> [#uses=1] - ret i32 %tmp.5 -; CHECK-LABEL: @test4( -; CHECK: %tmp.5 = sext i16 %P to i32 -; CHECK: ret i32 %tmp.5 -} - -define i32 @test5(i32 %x) { +define i32 @test4(i32 %x) { %tmp.1 = and i32 %x, 255 ; <i32> [#uses=1] %tmp.2 = xor i32 %tmp.1, 128 ; <i32> [#uses=1] %tmp.3 = add i32 %tmp.2, -128 ; <i32> [#uses=1] ret i32 %tmp.3 -; CHECK-LABEL: @test5( +; CHECK-LABEL: @test4( ; CHECK: %sext = shl i32 %x, 24 ; CHECK: %tmp.3 = ashr exact i32 %sext, 24 ; CHECK: ret i32 %tmp.3 } -define i32 @test6(i32 %x) { +define i32 @test5(i32 %x) { %tmp.2 = shl i32 %x, 16 ; <i32> [#uses=1] %tmp.4 = ashr i32 %tmp.2, 16 ; <i32> [#uses=1] ret i32 %tmp.4 -; CHECK-LABEL: @test6( +; CHECK-LABEL: @test5( ; CHECK: %tmp.2 = shl i32 %x, 16 ; CHECK: %tmp.4 = ashr exact i32 %tmp.2, 16 ; CHECK: ret i32 %tmp.4 } -define i32 @test7(i16 %P) { +define i32 @test6(i16 %P) { %tmp.1 = zext i16 %P to i32 ; <i32> [#uses=1] %sext1 = shl i32 %tmp.1, 16 ; <i32> [#uses=1] %tmp.5 = ashr i32 %sext1, 16 ; <i32> [#uses=1] ret i32 %tmp.5 -; CHECK-LABEL: @test7( +; CHECK-LABEL: @test6( ; CHECK: %tmp.5 = sext i16 %P to i32 ; CHECK: ret i32 %tmp.5 } -define i32 @test8(i32 %x) nounwind readnone { +define i32 @test7(i32 %x) nounwind readnone { entry: %shr = lshr i32 %x, 5 ; <i32> [#uses=1] %xor = xor i32 %shr, 67108864 ; <i32> [#uses=1] %sub = add i32 %xor, -67108864 ; <i32> [#uses=1] ret i32 %sub -; CHECK-LABEL: @test8( +; CHECK-LABEL: @test7( ; CHECK: %sub = ashr i32 %x, 5 ; CHECK: ret i32 %sub } + |