summaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/lsr-nonaffine.ll
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2010-06-04 19:16:34 +0000
committerDan Gohman <gohman@apple.com>2010-06-04 19:16:34 +0000
commitc87b40b1cd2a6b6ce3608bc81a199b5005edc373 (patch)
treec661fe3d01e769e4994565d4cab226cb5bd4540f /test/CodeGen/X86/lsr-nonaffine.ll
parent6de07178e1e6445080bf4f7704e274c5f219ff70 (diff)
downloadllvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.tar.gz
llvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.tar.bz2
llvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.tar.xz
Fix normalization and de-normalization of non-affine SCEVs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@105480 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/lsr-nonaffine.ll')
-rw-r--r--test/CodeGen/X86/lsr-nonaffine.ll23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGen/X86/lsr-nonaffine.ll b/test/CodeGen/X86/lsr-nonaffine.ll
new file mode 100644
index 0000000000..b0d30641dd
--- /dev/null
+++ b/test/CodeGen/X86/lsr-nonaffine.ll
@@ -0,0 +1,23 @@
+; RUN: llc -march=x86-64 < %s | FileCheck %s
+
+; LSR should compute the correct starting values for this loop. Note that
+; it's not necessarily LSR's job to compute loop exit expressions; that's
+; indvars' job.
+; CHECK: movl $12
+; CHECK: movl $42
+
+define i32 @real_symmetric_eigen(i32 %n) nounwind {
+while.body127: ; preds = %while.cond122
+ br label %while.cond141
+
+while.cond141: ; preds = %while.cond141, %while.body127
+ %0 = phi i32 [ 7, %while.body127 ], [ %indvar.next67, %while.cond141 ] ; <i32> [#uses=3]
+ %indvar.next67 = add i32 %0, 1 ; <i32> [#uses=1]
+ %t = icmp slt i32 %indvar.next67, %n
+ br i1 %t, label %if.then171, label %while.cond141
+
+if.then171: ; preds = %while.cond141
+ %mul150 = mul i32 %0, %0 ; <i32> [#uses=1]
+ %add174 = add i32 %mul150, %0 ; <i32> [#uses=1]
+ ret i32 %add174
+}