Checkin new "feature" test for cee

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

diff --git a/test/Transforms/CorrelatedExprs/whet.ll b/test/Transforms/CorrelatedExprs/whet.ll
new file mode 100644 (file)
index 0000000..c1e92f8
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/whet.ll
@@ -0,0 +1,48 @@
+; This code snippet is derived from the following "whetstone" style code:
+; int whet(int j) {
+;   if (j == 1) j = 2;
+;   else        j = 7;
+;   if (j > 2)  j = 0;
+;   else        j = 3;
+;   if (j < 1)  j = 10;
+;   else        j = 0;
+;   return j;
+;}
+;
+; This should eliminate all BB's except BB0, BB9, BB10
+;
+; RUN: if as < %s | opt -cee -instcombine -simplifycfg | dis | grep 'bb[2-8]'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+implementation   ; Functions:
+
+int %whet(int %j) {
+bb0:           ; No predecessors!
+       %cond220 = setne int %j, 1              ; <bool> [#uses=1]
+       br bool %cond220, label %bb3, label %bb4
+
+bb3:           ; preds = %bb0
+       br label %bb4
+
+bb4:           ; preds = %bb3, %bb0
+       %reg111 = phi int [ 7, %bb3 ], [ 2, %bb0 ]              ; <int> [#uses=1]
+       %cond222 = setle int %reg111, 2         ; <bool> [#uses=1]
+       br bool %cond222, label %bb6, label %bb7
+
+bb6:           ; preds = %bb4
+       br label %bb7
+
+bb7:           ; preds = %bb6, %bb4
+       %reg114 = phi int [ 3, %bb6 ], [ 0, %bb4 ]              ; <int> [#uses=1]
+       %cond225 = setgt int %reg114, 0         ; <bool> [#uses=1]
+       br bool %cond225, label %bb9, label %bb10
+
+bb9:           ; preds = %bb7
+       br label %bb10
+
+bb10:          ; preds = %bb9, %bb7
+       %reg117 = phi int [ 0, %bb9 ], [ 10, %bb7 ]             ; <int> [#uses=1]
+       ret int %reg117
+}