Adjust libcalls tests to expect intrinsic for exp2
[oota-llvm.git] / test / Transforms / SCCP / sccptest.ll
index 37f4bc264ab684fb6ca6c5f4f445400719027171..84ba2d43cde7bf976870fa68892c02a25d2105d0 100644 (file)
@@ -1,34 +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: as < %s | opt -sccp -constprop -dce -cfgsimplify | dis | not grep BB3
+; RUN: llvm-as < %s | opt -sccp -constprop -dce -simplifycfg | \
+; RUN:   llvm-dis | not grep BB3
 
-int %test function(int %i0, int %j0) {
+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
 }
+