InstSimplify: Don't allow (x srem y) urem y -> x srem y

[oota-llvm.git] / test / Transforms / SCCP / 2002-05-21-InvalidSimplify.ll

diff --git a/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll b/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll
index c31a421d0e5e67fe8a25e13c6811298eb01144c4..f02a29379b86369155372292ed0da8c2339300c0 100644 (file)
--- a/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll
+++ b/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll
@@ -2,38 +2,32 @@
 ; this is in fact NOT the case, so the return should still be alive in the code
 ; after sccp and CFG simplification have been performed.
 ;
-; RUN: llvm-upgrade < %s | llvm-as | opt -sccp -simplifycfg | llvm-dis | grep ret
+; RUN: opt < %s -sccp -simplifycfg -S | \
+; RUN:   grep ret
 
-
-void "old_main"() {
-bb3:                                   ;[#uses=1]
+define void @old_main() {
+bb3:
        br label %bb6
-
-bb6:                                   ;[#uses=3]
-       %reg403 = phi int [ %reg155, %bb14 ], [ 0, %bb3 ]               ; <int> [#uses=2]
-       %reg155 = add int %reg403, 1            ; <int> [#uses=3]
-
+bb6:           ; preds = %bb14, %bb3
+       %reg403 = phi i32 [ %reg155, %bb14 ], [ 0, %bb3 ]               ; <i32> [#uses=1]
+       %reg155 = add i32 %reg403, 1            ; <i32> [#uses=2]
        br label %bb11
-
-bb11:
-        %reg407 = phi int [ %reg408, %bb11 ], [ 0, %bb6 ]              ; <int> [#uses=2]
-        %reg408 = add int %reg407, 1            ; <int> [#uses=2]
-        %cond550 = setle int %reg407, 1         ; <bool> [#uses=1]
-        br bool %cond550, label %bb11, label %bb12
-
-bb12:                                  ;[#uses=2]
+bb11:          ; preds = %bb11, %bb6
+       %reg407 = phi i32 [ %reg408, %bb11 ], [ 0, %bb6 ]               ; <i32> [#uses=2]
+       %reg408 = add i32 %reg407, 1            ; <i32> [#uses=1]
+       %cond550 = icmp sle i32 %reg407, 1              ; <i1> [#uses=1]
+       br i1 %cond550, label %bb11, label %bb12
+bb12:          ; preds = %bb11
        br label %bb13
-
-bb13:                                  ;[#uses=3]
-       %reg409 = phi int [ %reg410, %bb13 ], [ 0, %bb12 ]              ; <int> [#uses=1]
-       %reg410 = add int %reg409, 1            ; <int> [#uses=2]
-       %cond552 = setle int %reg410, 2         ; <bool> [#uses=1]
-       br bool %cond552, label %bb13, label %bb14
-
-bb14:                                  ;[#uses=2]
-       %cond553 = setle int %reg155, 31                ; <bool> [#uses=1]
-       br bool %cond553, label %bb6, label %bb15
-
-bb15:                                  ;[#uses=1]
+bb13:          ; preds = %bb13, %bb12
+       %reg409 = phi i32 [ %reg410, %bb13 ], [ 0, %bb12 ]              ; <i32> [#uses=1]
+       %reg410 = add i32 %reg409, 1            ; <i32> [#uses=2]
+       %cond552 = icmp sle i32 %reg410, 2              ; <i1> [#uses=1]
+       br i1 %cond552, label %bb13, label %bb14
+bb14:          ; preds = %bb13
+       %cond553 = icmp sle i32 %reg155, 31             ; <i1> [#uses=1]
+       br i1 %cond553, label %bb6, label %bb15
+bb15:          ; preds = %bb14
        ret void
 }
+