Fix PR2346 by marking vaarg as volatile so that licm doesn't try to

[oota-llvm.git] / test / Transforms / LICM / scalar_promote.ll

diff --git a/test/Transforms/LICM/scalar_promote.ll b/test/Transforms/LICM/scalar_promote.ll
index 817492e2d99fab69014c7065b9ba3879fb035ba1..f6c0f0821a30bbaf9fe59ed66b3cb2ffad896e80 100644 (file)
--- a/test/Transforms/LICM/scalar_promote.ll
+++ b/test/Transforms/LICM/scalar_promote.ll
@@ -1,21 +1,35 @@
-; RUN: as < %s | opt  -licm -stats 2>&1 | grep "memory locations promoted to register"
+; RUN: llvm-as < %s | opt  -licm -disable-output -stats |& \
+; RUN:    grep {memory locations promoted to register}
+@X = global i32 7              ; <i32*> [#uses=4]
 
-%X = global int 7
-
-void %testfunc(int %i) {
+define void @testfunc(i32 %i) {
+; <label>:0
        br label %Loop
 
-Loop:
-       %j = phi uint [0, %0], [%Next, %Loop]
+Loop:          ; preds = %Loop, %0
+       %j = phi i32 [ 0, %0 ], [ %Next, %Loop ]                ; <i32> [#uses=1]
+       %x = load i32* @X               ; <i32> [#uses=1]
+       %x2 = add i32 %x, 1             ; <i32> [#uses=1]
+       store i32 %x2, i32* @X
+       %Next = add i32 %j, 1           ; <i32> [#uses=2]
+       %cond = icmp eq i32 %Next, 0            ; <i1> [#uses=1]
+       br i1 %cond, label %Out, label %Loop
 
-       %x = load int* %X  ; Should promote this to a register inside of loop!
-       %x2 = add int %x, 1
-       store int %x2, int* %X
+Out:           ; preds = %Loop
+       ret void
+}
+
+define void @testhard(i32 %i) {
+       br label %Loop
 
-       %Next = add uint %j, 1
-       %cond = seteq uint %Next, 0
-       br bool %cond, label %Out, label %Loop
+Loop:          ; preds = %Loop, %0
+       %X1 = getelementptr i32* @X, i64 0              ; <i32*> [#uses=1]
+       %A = load i32* %X1              ; <i32> [#uses=1]
+       %V = add i32 %A, 1              ; <i32> [#uses=1]
+       %X2 = getelementptr i32* @X, i64 0              ; <i32*> [#uses=1]
+       store i32 %V, i32* %X2
+       br i1 false, label %Loop, label %Exit
 
-Out:
+Exit:          ; preds = %Loop
        ret void
 }