Eliminate more redundant llvm-as calls.

[oota-llvm.git] / test / Transforms / SCCP / sccptest.ll

diff --git a/test/Transforms/SCCP/sccptest.ll b/test/Transforms/SCCP/sccptest.ll
index 7f39b6cc6cd1e5657a70ba06d6e32fe1eee39571..6f422f07d66161d9f5c21ba59c5e75519c975615 100644 (file)
--- a/test/Transforms/SCCP/sccptest.ll
+++ b/test/Transforms/SCCP/sccptest.ll
@@ -1,39 +1,31 @@
 ; This is the test case taken from appel's book that illustrates a hard case
 ; that SCCP gets right. BB3 should be completely eliminated.
 ;
-; RUN: if as < %s | opt -sccp -constprop -dce | dis | grep BB3
-; RUN: then exit 1
-; RUN: else exit 0
-; RUN: fi
+; RUN: opt < %s -sccp -constprop -dce -simplifycfg | \
+; RUN:   llvm-dis | not grep BB3
 
-int "test function"(int %i0, int %j0)
-begin
+define i32 @testfunction(i32 %i0, i32 %j0) {
 BB1:
        br label %BB2
-BB2:
-       %j2 = phi int [%j4, %BB7], [1, %BB1]
-       %k2 = phi int [%k4, %BB7], [0, %BB1]
-       %kcond = setlt int %k2, 100
-       br bool %kcond, label %BB3, label %BB4
-
-BB3:
-       %jcond = setlt int %j2, 20
-       br bool %jcond, label %BB5, label %BB6
-
-BB4:
-       ret int %j2
-
-BB5:
-       %k3 = add int %k2, 1
+BB2:           ; preds = %BB7, %BB1
+       %j2 = phi i32 [ %j4, %BB7 ], [ 1, %BB1 ]                ; <i32> [#uses=2]
+       %k2 = phi i32 [ %k4, %BB7 ], [ 0, %BB1 ]                ; <i32> [#uses=4]
+       %kcond = icmp slt i32 %k2, 100          ; <i1> [#uses=1]
+       br i1 %kcond, label %BB3, label %BB4
+BB3:           ; preds = %BB2
+       %jcond = icmp slt i32 %j2, 20           ; <i1> [#uses=1]
+       br i1 %jcond, label %BB5, label %BB6
+BB4:           ; preds = %BB2
+       ret i32 %j2
+BB5:           ; preds = %BB3
+       %k3 = add i32 %k2, 1            ; <i32> [#uses=1]
        br label %BB7
-
-BB6:
-       %k5 = add int %k2, 1
+BB6:           ; preds = %BB3
+       %k5 = add i32 %k2, 1            ; <i32> [#uses=1]
        br label %BB7
-
-BB7:
-       %j4 = phi int [1, %BB5], [%k2, %BB6]
-       %k4 = phi int [%k3, %BB5], [%k5, %BB6]
+BB7:           ; preds = %BB6, %BB5
+       %j4 = phi i32 [ 1, %BB5 ], [ %k2, %BB6 ]                ; <i32> [#uses=1]
+       %k4 = phi i32 [ %k3, %BB5 ], [ %k5, %BB6 ]              ; <i32> [#uses=1]
        br label %BB2
-end
+}