Index: test/Transforms/InstCombine/signext.ll =================================================================== --- test/Transforms/InstCombine/signext.ll +++ test/Transforms/InstCombine/signext.ll @@ -34,54 +34,44 @@ ; CHECK: ret i32 %tmp.5 } -define i32 @test4(i16 %P) { - %tmp.1 = zext i16 %P to i32 ; [#uses=1] - %tmp.4 = xor i32 %tmp.1, 32768 ; [#uses=1] - %tmp.5 = add i32 %tmp.4, -32768 ; [#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 ; [#uses=1] %tmp.2 = xor i32 %tmp.1, 128 ; [#uses=1] %tmp.3 = add i32 %tmp.2, -128 ; [#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 ; [#uses=1] %tmp.4 = ashr i32 %tmp.2, 16 ; [#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 ; [#uses=1] %sext1 = shl i32 %tmp.1, 16 ; [#uses=1] %tmp.5 = ashr i32 %sext1, 16 ; [#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 ; [#uses=1] %xor = xor i32 %shr, 67108864 ; [#uses=1] %sub = add i32 %xor, -67108864 ; [#uses=1] ret i32 %sub -; CHECK-LABEL: @test8( +; CHECK-LABEL: @test7( ; CHECK: %sub = ashr i32 %x, 5 ; CHECK: ret i32 %sub }