summaryrefslogtreecommitdiff
path: root/test/Transforms/LICM
diff options
context:
space:
mode:
authorStephen Lin <stephenwlin@gmail.com>2013-07-14 01:42:54 +0000
committerStephen Lin <stephenwlin@gmail.com>2013-07-14 01:42:54 +0000
commit39f4e8d9cce22b60a3417a5f17c847fa5b1daebf (patch)
tree7fed202a2c2c7866f60344b6388e0d3bd98cb14c /test/Transforms/LICM
parent82e539d037a33f968e4a5476d3d471e1112f8ab2 (diff)
downloadllvm-39f4e8d9cce22b60a3417a5f17c847fa5b1daebf.tar.gz
llvm-39f4e8d9cce22b60a3417a5f17c847fa5b1daebf.tar.bz2
llvm-39f4e8d9cce22b60a3417a5f17c847fa5b1daebf.tar.xz
Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.
This update was done with the following bash script: find test/Transforms -name "*.ll" | \ while read NAME; do echo "$NAME" if ! grep -q "^; *RUN: *llc" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\(.*\)\([A-Za-z0-9_]*\):\( *\)@$FUNC\([( ]*\)\$/;\1\2-LABEL:\3@$FUNC(/g" $TEMP done mv $TEMP $NAME fi done git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186268 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LICM')
-rw-r--r--test/Transforms/LICM/hoisting.ll8
-rw-r--r--test/Transforms/LICM/scalar_promote.ll10
-rw-r--r--test/Transforms/LICM/sinking.ll22
-rw-r--r--test/Transforms/LICM/speculate.ll10
4 files changed, 25 insertions, 25 deletions
diff --git a/test/Transforms/LICM/hoisting.ll b/test/Transforms/LICM/hoisting.ll
index 1ca377eb4a..9da0675463 100644
--- a/test/Transforms/LICM/hoisting.ll
+++ b/test/Transforms/LICM/hoisting.ll
@@ -7,7 +7,7 @@ declare void @foo()
; This testcase tests for a problem where LICM hoists
; potentially trapping instructions when they are not guaranteed to execute.
define i32 @test1(i1 %c) {
-; CHECK: @test1
+; CHECK-LABEL: @test1(
%A = load i32* @X ; <i32> [#uses=2]
br label %Loop
Loop: ; preds = %LoopTail, %0
@@ -34,7 +34,7 @@ declare void @foo2(i32) nounwind
;; It is ok and desirable to hoist this potentially trapping instruction.
define i32 @test2(i1 %c) {
-; CHECK: @test2
+; CHECK-LABEL: @test2(
; CHECK-NEXT: load i32* @X
; CHECK-NEXT: %B = sdiv i32 4, %A
%A = load i32* @X ; <i32> [#uses=2]
@@ -65,7 +65,7 @@ Out: ; preds = %Loop
ret i32 %C
}
-; CHECK: @test4
+; CHECK-LABEL: @test4(
; CHECK: call
; CHECK: sdiv
; CHECK: ret
@@ -91,7 +91,7 @@ for.end: ; preds = %for.body
declare void @foo_may_call_exit(i32)
; PR14854
-; CHECK: @test5
+; CHECK-LABEL: @test5(
; CHECK: extractvalue
; CHECK: br label %tailrecurse
; CHECK: tailrecurse:
diff --git a/test/Transforms/LICM/scalar_promote.ll b/test/Transforms/LICM/scalar_promote.ll
index e7eab92aa8..b3e45c5fde 100644
--- a/test/Transforms/LICM/scalar_promote.ll
+++ b/test/Transforms/LICM/scalar_promote.ll
@@ -6,7 +6,7 @@ target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:1
define void @test1(i32 %i) {
Entry:
br label %Loop
-; CHECK: @test1
+; CHECK-LABEL: @test1(
; CHECK: Entry:
; CHECK-NEXT: load i32* @X
; CHECK-NEXT: br label %Loop
@@ -32,7 +32,7 @@ Out:
define void @test2(i32 %i) {
Entry:
br label %Loop
-; CHECK: @test2
+; CHECK-LABEL: @test2(
; CHECK: Entry:
; CHECK-NEXT: %.promoted = load i32* getelementptr inbounds (i32* @X, i64 1)
; CHECK-NEXT: br label %Loop
@@ -55,7 +55,7 @@ Exit: ; preds = %Loop
define void @test3(i32 %i) {
-; CHECK: @test3
+; CHECK-LABEL: @test3(
br label %Loop
Loop:
; Should not promote this to a register
@@ -73,7 +73,7 @@ Out: ; preds = %Loop
; PR8041
define void @test4(i8* %x, i8 %n) {
-; CHECK: @test4
+; CHECK-LABEL: @test4(
%handle1 = alloca i8*
%handle2 = alloca i8*
store i8* %x, i8** %handle1
@@ -121,7 +121,7 @@ exit:
define void @test5(i32 %i, i32** noalias %P2) {
Entry:
br label %Loop
-; CHECK: @test5
+; CHECK-LABEL: @test5(
; CHECK: Entry:
; CHECK-NEXT: load i32* @X
; CHECK-NEXT: br label %Loop
diff --git a/test/Transforms/LICM/sinking.ll b/test/Transforms/LICM/sinking.ll
index 68e4b64bf9..b503f96e42 100644
--- a/test/Transforms/LICM/sinking.ll
+++ b/test/Transforms/LICM/sinking.ll
@@ -14,7 +14,7 @@ Loop: ; preds = %Loop, %0
Out: ; preds = %Loop
ret i32 %A
-; CHECK: @test1
+; CHECK-LABEL: @test1(
; CHECK: Out:
; CHECK-NEXT: call i32 @strlen
; CHECK-NEXT: ret i32 %A
@@ -33,7 +33,7 @@ Loop: ; preds = %Loop, %0
Out: ; preds = %Loop
ret double %A
-; CHECK: @test2
+; CHECK-LABEL: @test2(
; CHECK: Out:
; CHECK-NEXT: call double @sin
; CHECK-NEXT: ret double %A
@@ -51,7 +51,7 @@ Exit:
%Y = phi i32 [ 0, %Entry ], [ %X, %Loop ]
ret void
-; CHECK: @test3
+; CHECK-LABEL: @test3(
; CHECK: Exit.loopexit:
; CHECK-NEXT: %X = add i32 0, 1
; CHECK-NEXT: br label %Exit
@@ -74,7 +74,7 @@ Loop: ; preds = %Loop, %Entry
br i1 %tmp.1, label %Loop, label %Out
Out: ; preds = %Loop
ret i32 %tmp.7
-; CHECK: @test4
+; CHECK-LABEL: @test4(
; CHECK: Out:
; CHECK-NEXT: mul i32 %N, %N_addr.0.pn
; CHECK-NEXT: sub i32 %tmp.6, %N
@@ -98,7 +98,7 @@ Loop: ; preds = %Loop, %Entry
br i1 %tmp.1, label %Loop, label %Out
Out: ; preds = %Loop
ret i32 %tmp.6
-; CHECK: @test5
+; CHECK-LABEL: @test5(
; CHECK: Out:
; CHECK-NEXT: %tmp.6 = load i32* @X
; CHECK-NEXT: ret i32 %tmp.6
@@ -122,7 +122,7 @@ Loop:
br i1 false, label %Loop, label %Out
Out: ; preds = %Loop
ret i32 %sunk2
-; CHECK: @test6
+; CHECK-LABEL: @test6(
; CHECK: Out:
; CHECK-NEXT: %dead = getelementptr %Ty* @X2, i64 0, i32 0
; CHECK-NEXT: %sunk2 = load i32* %dead
@@ -150,7 +150,7 @@ Out1: ; preds = %Loop
ret i32 %tmp.7
Out2: ; preds = %ContLoop
ret i32 %tmp.7
-; CHECK: @test7
+; CHECK-LABEL: @test7(
; CHECK: Out1:
; CHECK-NEXT: mul i32 %N, %N_addr.0.pn
; CHECK-NEXT: sub i32 %tmp.6, %N
@@ -179,7 +179,7 @@ exit1: ; preds = %Loop
ret i32 0
exit2: ; preds = %Cont
ret i32 %V
-; CHECK: @test8
+; CHECK-LABEL: @test8(
; CHECK: exit1:
; CHECK-NEXT: ret i32 0
; CHECK: exit2:
@@ -206,7 +206,7 @@ loopentry.3.i.preheader: ; preds = %loopentry.3.i.preheader.loopexit, %loopentr
return.i: ; preds = %no_exit.1.i
ret void
-; CHECK: @test9
+; CHECK-LABEL: @test9(
; CHECK: loopentry.3.i.preheader.loopexit:
; CHECK-NEXT: %inc.1.i = add i32 0, 1
; CHECK-NEXT: br label %loopentry.3.i.preheader
@@ -227,7 +227,7 @@ Loop: ; preds = %Loop, %Entry
Out: ; preds = %Loop
ret i32 %tmp.6
-; CHECK: @test10
+; CHECK-LABEL: @test10(
; CHECK: Out:
; CHECK-NEXT: %tmp.6 = sdiv i32 %N, %N_addr.0.pn
; CHECK-NEXT: ret i32 %tmp.6
@@ -241,7 +241,7 @@ Loop:
br i1 false, label %Loop, label %Out
Out:
ret void
-; CHECK: @test11
+; CHECK-LABEL: @test11(
; CHECK: Out:
; CHECK-NEXT: ret void
}
diff --git a/test/Transforms/LICM/speculate.ll b/test/Transforms/LICM/speculate.ll
index 4c4d036b7d..4244f157d9 100644
--- a/test/Transforms/LICM/speculate.ll
+++ b/test/Transforms/LICM/speculate.ll
@@ -2,7 +2,7 @@
; UDiv is safe to speculate if the denominator is known non-zero.
-; CHECK: @safe_udiv
+; CHECK-LABEL: @safe_udiv(
; CHECK: %div = udiv i64 %x, %or
; CHECK-NEXT: br label %for.body
@@ -35,7 +35,7 @@ for.end: ; preds = %for.inc, %entry
; UDiv is unsafe to speculate if the denominator is not known non-zero.
-; CHECK: @unsafe_udiv
+; CHECK-LABEL: @unsafe_udiv(
; CHECK-NOT: udiv
; CHECK: for.body:
@@ -68,7 +68,7 @@ for.end: ; preds = %for.inc, %entry
; SDiv is safe to speculate if the denominator is known non-zero and
; known to have at least one zero bit.
-; CHECK: @safe_sdiv
+; CHECK-LABEL: @safe_sdiv(
; CHECK: %div = sdiv i64 %x, %or
; CHECK-NEXT: br label %for.body
@@ -102,7 +102,7 @@ for.end: ; preds = %for.inc, %entry
; SDiv is unsafe to speculate if the denominator is not known non-zero.
-; CHECK: @unsafe_sdiv_a
+; CHECK-LABEL: @unsafe_sdiv_a(
; CHECK-NOT: sdiv
; CHECK: for.body:
@@ -135,7 +135,7 @@ for.end: ; preds = %for.inc, %entry
; SDiv is unsafe to speculate if the denominator is not known to have a zero bit.
-; CHECK: @unsafe_sdiv_b
+; CHECK-LABEL: @unsafe_sdiv_b(
; CHECK-NOT: sdiv
; CHECK: for.body: