-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -disable-output &&
-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | \
-; RUN: grep 'lshr i32' | wc -l | grep 2 &&
-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep ashr
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
+; RUN: grep {lshr i32} | count 2
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep ashr
-int %test1(int %X, ubyte %A) {
- %Y = shr int %X, ubyte %A ; can be logical shift.
- %Z = and int %Y, 1
- ret int %Z
-}
-int %test2(ubyte %tmp) {
- %tmp3 = cast ubyte %tmp to int
- %tmp4 = add int %tmp3, 7
- %tmp5 = ashr int %tmp4, ubyte 3 ; lshr
- ret int %tmp5
+define i32 @test1(i32 %X, i8 %A) {
+ %shift.upgrd.1 = zext i8 %A to i32 ; <i32> [#uses=1]
+ ; can be logical shift.
+ %Y = ashr i32 %X, %shift.upgrd.1 ; <i32> [#uses=1]
+ %Z = and i32 %Y, 1 ; <i32> [#uses=1]
+ ret i32 %Z
}
+define i32 @test2(i8 %tmp) {
+ %tmp3 = zext i8 %tmp to i32 ; <i32> [#uses=1]
+ %tmp4 = add i32 %tmp3, 7 ; <i32> [#uses=1]
+ %tmp5 = ashr i32 %tmp4, 3 ; <i32> [#uses=1]
+ ret i32 %tmp5
+}