aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/IndVarSimplify/complex-scev.ll
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2009-02-16 00:56:15 +0000
committerDan Gohman <gohman@apple.com>2009-02-16 00:56:15 +0000
commit74786c0f4360db7547f8a12980260b5b7a441627 (patch)
treeb6c70648223bc2e9f62a6c4f33748f7c7d05b4da /test/Transforms/IndVarSimplify/complex-scev.ll
parent926b0a27b9adf79b89042785b8496cced5a49883 (diff)
downloadexternal_llvm-74786c0f4360db7547f8a12980260b5b7a441627.zip
external_llvm-74786c0f4360db7547f8a12980260b5b7a441627.tar.gz
external_llvm-74786c0f4360db7547f8a12980260b5b7a441627.tar.bz2
Rename IndVarsSimplify to IndVarSimplify, to be consistent with
the name used in the code that these tests are for. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64624 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/complex-scev.ll')
-rw-r--r--test/Transforms/IndVarSimplify/complex-scev.ll29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/complex-scev.ll b/test/Transforms/IndVarSimplify/complex-scev.ll
new file mode 100644
index 0000000..4bfc4e9
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/complex-scev.ll
@@ -0,0 +1,29 @@
+; The i induction variable looks like a wrap-around, but it really is just
+; a simple affine IV. Make sure that indvars eliminates it.
+
+; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep phi | count 1
+
+define void @foo() {
+entry:
+ br label %bb6
+
+bb6: ; preds = %cond_true, %entry
+ %j.0 = phi i32 [ 1, %entry ], [ %tmp5, %cond_true ] ; <i32> [#uses=3]
+ %i.0 = phi i32 [ 0, %entry ], [ %j.0, %cond_true ] ; <i32> [#uses=1]
+ %tmp7 = call i32 (...)* @foo2( ) ; <i32> [#uses=1]
+ %tmp = icmp ne i32 %tmp7, 0 ; <i1> [#uses=1]
+ br i1 %tmp, label %cond_true, label %return
+
+cond_true: ; preds = %bb6
+ %tmp2 = call i32 (...)* @bar( i32 %i.0, i32 %j.0 ) ; <i32> [#uses=0]
+ %tmp5 = add i32 %j.0, 1 ; <i32> [#uses=1]
+ br label %bb6
+
+return: ; preds = %bb6
+ ret void
+}
+
+declare i32 @bar(...)
+
+declare i32 @foo2(...)
+