Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality...
[oota-llvm.git] / test / Transforms / InstCombine / apint-shift.ll
index 73f630ebfec62d3bea5aa9989924ed55f42e6684..f5764c2d5e8a6473278f5f10f1ff9bf152bcbb14 100644 (file)
@@ -2,14 +2,14 @@
 ; even with arbitrary precision integers.
 ; RUN: opt < %s -instcombine -S | FileCheck %s
 
-; CHECK: @test1
+; CHECK-LABEL: @test1(
 ; CHECK-NOT: sh
 define i47 @test1(i47 %A) {
        %B = shl i47 %A, 0              ; <i47> [#uses=1]
        ret i47 %B
 }
 
-; CHECK: @test2
+; CHECK-LABEL: @test2(
 ; CHECK-NOT: sh
 define i41 @test2(i7 %X) {
        %A = zext i7 %X to i41          ; <i41> [#uses=1]
@@ -17,14 +17,14 @@ define i41 @test2(i7 %X) {
        ret i41 %B
 }
 
-; CHECK: @test3
+; CHECK-LABEL: @test3(
 ; CHECK-NOT: sh
 define i41 @test3(i41 %A) {
        %B = ashr i41 %A, 0             ; <i41> [#uses=1]
        ret i41 %B
 }
 
-; CHECK: @test4
+; CHECK-LABEL: @test4(
 ; CHECK-NOT: sh
 define i39 @test4(i7 %X) {
        %A = zext i7 %X to i39          ; <i39> [#uses=1]
@@ -32,21 +32,21 @@ define i39 @test4(i7 %X) {
        ret i39 %B
 }
 
-; CHECK: @test5
+; CHECK-LABEL: @test5(
 ; CHECK-NOT: sh
 define i55 @test5(i55 %A) {
        %B = lshr i55 %A, 55            ; <i55> [#uses=1]
        ret i55 %B
 }
 
-; CHECK: @test5a
+; CHECK-LABEL: @test5a(
 ; CHECK-NOT: sh
 define i32 @test5a(i32 %A) {
        %B = shl i32 %A, 32             ; <i32> [#uses=1]
        ret i32 %B
 }
 
-; CHECK: @test6
+; CHECK-LABEL: @test6(
 ; CHECK: mul i55 %A, 6
 define i55 @test6(i55 %A) {
        %B = shl i55 %A, 1              ; <i55> [#uses=1]
@@ -54,7 +54,7 @@ define i55 @test6(i55 %A) {
        ret i55 %C
 }
 
-; CHECK: @test6a
+; CHECK-LABEL: @test6a(
 ; CHECK: mul i55 %A, 6
 define i55 @test6a(i55 %A) {
        %B = mul i55 %A, 3              ; <i55> [#uses=1]
@@ -62,7 +62,7 @@ define i55 @test6a(i55 %A) {
        ret i55 %C
 }
 
-; CHECK: @test7
+; CHECK-LABEL: @test7(
 ; CHECK-NOT: sh
 define i29 @test7(i8 %X) {
        %A = zext i8 %X to i29          ; <i29> [#uses=1]
@@ -70,7 +70,7 @@ define i29 @test7(i8 %X) {
        ret i29 %B
 }
 
-; CHECK: @test8
+; CHECK-LABEL: @test8(
 ; CHECK-NOT: sh
 define i7 @test8(i7 %A) {
        %B = shl i7 %A, 4               ; <i7> [#uses=1]
@@ -78,7 +78,7 @@ define i7 @test8(i7 %A) {
        ret i7 %C
 }
 
-; CHECK: @test9
+; CHECK-LABEL: @test9(
 ; CHECK-NOT: sh
 define i17 @test9(i17 %A) {
        %B = shl i17 %A, 16             ; <i17> [#uses=1]
@@ -86,7 +86,7 @@ define i17 @test9(i17 %A) {
        ret i17 %C
 }
 
-; CHECK: @test10
+; CHECK-LABEL: @test10(
 ; CHECK-NOT: sh
 define i19 @test10(i19 %A) {
        %B = lshr i19 %A, 18            ; <i19> [#uses=1]
@@ -94,7 +94,7 @@ define i19 @test10(i19 %A) {
        ret i19 %C
 }
 
-; CHECK: @test11
+; CHECK-LABEL: @test11(
 ; Don't hide the shl from scalar evolution. DAGCombine will get it.
 ; CHECK: shl
 define i23 @test11(i23 %A) {
@@ -104,7 +104,7 @@ define i23 @test11(i23 %A) {
        ret i23 %C
 }
 
-; CHECK: @test12
+; CHECK-LABEL: @test12(
 ; CHECK-NOT: sh
 define i47 @test12(i47 %A) {
        %B = ashr i47 %A, 8             ; <i47> [#uses=1]
@@ -112,7 +112,7 @@ define i47 @test12(i47 %A) {
        ret i47 %C
 }
 
-; CHECK: @test13
+; CHECK-LABEL: @test13(
 ; Don't hide the shl from scalar evolution. DAGCombine will get it.
 ; CHECK: shl
 define i18 @test13(i18 %A) {
@@ -122,7 +122,7 @@ define i18 @test13(i18 %A) {
        ret i18 %C
 }
 
-; CHECK: @test14
+; CHECK-LABEL: @test14(
 ; CHECK-NOT: sh
 define i35 @test14(i35 %A) {
        %B = lshr i35 %A, 4             ; <i35> [#uses=1]
@@ -131,7 +131,7 @@ define i35 @test14(i35 %A) {
        ret i35 %D
 }
 
-; CHECK: @test14a
+; CHECK-LABEL: @test14a(
 ; CHECK-NOT: sh
 define i79 @test14a(i79 %A) {
        %B = shl i79 %A, 4              ; <i79> [#uses=1]
@@ -140,7 +140,7 @@ define i79 @test14a(i79 %A) {
        ret i79 %D
 }
 
-; CHECK: @test15
+; CHECK-LABEL: @test15(
 ; CHECK-NOT: sh
 define i45 @test15(i1 %C) {
        %A = select i1 %C, i45 3, i45 1 ; <i45> [#uses=1]
@@ -148,7 +148,7 @@ define i45 @test15(i1 %C) {
        ret i45 %V
 }
 
-; CHECK: @test15a
+; CHECK-LABEL: @test15a(
 ; CHECK-NOT: sh
 define i53 @test15a(i1 %X) {
        %A = select i1 %X, i8 3, i8 1   ; <i8> [#uses=1]
@@ -157,7 +157,7 @@ define i53 @test15a(i1 %X) {
        ret i53 %V
 }
 
-; CHECK: @test16
+; CHECK-LABEL: @test16(
 ; CHECK-NOT: sh
 define i1 @test16(i84 %X) {
        %tmp.3 = ashr i84 %X, 4         ; <i84> [#uses=1]
@@ -166,7 +166,7 @@ define i1 @test16(i84 %X) {
        ret i1 %tmp.7
 }
 
-; CHECK: @test17
+; CHECK-LABEL: @test17(
 ; CHECK-NOT: sh
 define i1 @test17(i106 %A) {
        %B = lshr i106 %A, 3            ; <i106> [#uses=1]
@@ -174,7 +174,7 @@ define i1 @test17(i106 %A) {
        ret i1 %C
 }
 
-; CHECK: @test18
+; CHECK-LABEL: @test18(
 ; CHECK-NOT: sh
 define i1 @test18(i11 %A) {
        %B = lshr i11 %A, 10            ; <i11> [#uses=1]
@@ -182,7 +182,7 @@ define i1 @test18(i11 %A) {
        ret i1 %C
 }
 
-; CHECK: @test19
+; CHECK-LABEL: @test19(
 ; CHECK-NOT: sh
 define i1 @test19(i37 %A) {
        %B = ashr i37 %A, 2             ; <i37> [#uses=1]
@@ -190,7 +190,7 @@ define i1 @test19(i37 %A) {
        ret i1 %C
 }
 
-; CHECK: @test19a
+; CHECK-LABEL: @test19a(
 ; CHECK-NOT: sh
 define i1 @test19a(i39 %A) {
        %B = ashr i39 %A, 2             ; <i39> [#uses=1]
@@ -198,7 +198,7 @@ define i1 @test19a(i39 %A) {
        ret i1 %C
 }
 
-; CHECK: @test20
+; CHECK-LABEL: @test20(
 ; CHECK-NOT: sh
 define i1 @test20(i13 %A) {
        %B = ashr i13 %A, 12            ; <i13> [#uses=1]
@@ -206,7 +206,7 @@ define i1 @test20(i13 %A) {
        ret i1 %C
 }
 
-; CHECK: @test21
+; CHECK-LABEL: @test21(
 ; CHECK-NOT: sh
 define i1 @test21(i12 %A) {
        %B = shl i12 %A, 6              ; <i12> [#uses=1]
@@ -214,7 +214,7 @@ define i1 @test21(i12 %A) {
        ret i1 %C
 }
 
-; CHECK: @test22
+; CHECK-LABEL: @test22(
 ; CHECK-NOT: sh
 define i1 @test22(i14 %A) {
        %B = shl i14 %A, 7              ; <i14> [#uses=1]
@@ -222,7 +222,7 @@ define i1 @test22(i14 %A) {
        ret i1 %C
 }
 
-; CHECK: @test23
+; CHECK-LABEL: @test23(
 ; CHECK-NOT: sh
 define i11 @test23(i44 %A) {
        %B = shl i44 %A, 33             ; <i44> [#uses=1]
@@ -231,7 +231,7 @@ define i11 @test23(i44 %A) {
        ret i11 %D
 }
 
-; CHECK: @test25
+; CHECK-LABEL: @test25(
 ; CHECK-NOT: sh
 define i37 @test25(i37 %tmp.2, i37 %AA) {
        %x = lshr i37 %AA, 17           ; <i37> [#uses=1]
@@ -241,7 +241,7 @@ define i37 @test25(i37 %tmp.2, i37 %AA) {
        ret i37 %tmp.6
 }
 
-; CHECK: @test26
+; CHECK-LABEL: @test26(
 ; CHECK-NOT: sh
 define i40 @test26(i40 %A) {
        %B = lshr i40 %A, 1             ; <i40> [#uses=1]