Checking testcases for cee pass

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3764 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 38 insertions, 0 deletions

diff --git a/test/Transforms/CorrelatedExprs/branchtest.ll b/test/Transforms/CorrelatedExprs/branchtest.ll
new file mode 100644
index 0000000..eeed1fd
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/branchtest.ll
@@ -0,0 +1,38 @@
+; RUN: if as < %s | opt -cee -simplifycfg | dis | grep 'REMOVE'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+implementation
+
+declare void %foo(int)
+
+void %test(int %A) {
+bb1:                                    ;[#uses=0]
+        %cond212 = setgt int %A, 9              ; <bool> [#uses=1]
+        br bool %cond212, label %REMOVEbb3, label %bb2
+
+bb2:                                    ;[#uses=1]
+        call void %foo( int 123 )
+        br label %REMOVEbb3
+
+REMOVEbb3:                                    ;[#uses=2]
+        %cond217 = setle int %A, 9            ; <bool> [#uses=1]
+        br bool %cond217, label %REMOVEbb5, label %bb4
+
+bb4:                                    ;[#uses=1]
+        call void %foo( int 234 )
+        br label %REMOVEbb5
+
+REMOVEbb5:                                    ;[#uses=2]
+        %cond222 = setgt int %A, 9             ; <bool> [#uses=1]
+        br bool %cond222, label %bb7, label %REMOVEbb6
+
+REMOVEbb6:                                    ;[#uses=1]
+        call void %foo( int 456 )
+        br label %bb7
+
+bb7:                                    ;[#uses=2]
+        ret void
+}
+