diff options
| author | Dan Gohman <gohman@apple.com> | 2010-06-04 19:16:34 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-06-04 19:16:34 +0000 |
| commit | c87b40b1cd2a6b6ce3608bc81a199b5005edc373 (patch) | |
| tree | c661fe3d01e769e4994565d4cab226cb5bd4540f /test | |
| parent | 6de07178e1e6445080bf4f7704e274c5f219ff70 (diff) | |
| download | external_llvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.zip external_llvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.tar.gz external_llvm-c87b40b1cd2a6b6ce3608bc81a199b5005edc373.tar.bz2 | |
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')
| -rw-r--r-- | test/CodeGen/X86/lsr-nonaffine.ll | 23 |
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 0000000..b0d3064 --- /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 +} |