diff options
| author | Michael Zolotukhin <mzolotukhin@apple.com> | 2014-12-02 22:59:06 +0000 |
|---|---|---|
| committer | Michael Zolotukhin <mzolotukhin@apple.com> | 2014-12-02 22:59:06 +0000 |
| commit | ea8327b80f357011a933e8a3f25df7fb556814cd (patch) | |
| tree | d598cda54ff5cff6aa3925f5587323a0a4aebcec /llvm/test/Transforms/LoopVectorize/loop-form.ll | |
| parent | 540580ca06b82da4024a6ed634fcdb9b446ad7ad (diff) | |
| download | bcm5719-llvm-ea8327b80f357011a933e8a3f25df7fb556814cd.tar.gz bcm5719-llvm-ea8327b80f357011a933e8a3f25df7fb556814cd.zip | |
PR21302. Vectorize only bottom-tested loops.
rdar://problem/18886083
llvm-svn: 223171
Diffstat (limited to 'llvm/test/Transforms/LoopVectorize/loop-form.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopVectorize/loop-form.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/loop-form.ll b/llvm/test/Transforms/LoopVectorize/loop-form.ll new file mode 100644 index 00000000000..138df1d9613 --- /dev/null +++ b/llvm/test/Transforms/LoopVectorize/loop-form.ll @@ -0,0 +1,31 @@ +; RUN: opt -S -loop-vectorize < %s | FileCheck %s +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" + +; Check that we vectorize only bottom-tested loops. +; This is a reduced testcase from PR21302. +; +; rdar://problem/18886083 + +%struct.X = type { i32, i16 } +; CHECK-LABEL: @foo( +; CHECK-NOT: vector.body + +define void @foo(i32 %n) { +entry: + br label %for.cond + +for.cond: + %i = phi i32 [ 0, %entry ], [ %inc, %for.body ] + %cmp = icmp slt i32 %i, %n + br i1 %cmp, label %for.body, label %if.end + +for.body: + %iprom = sext i32 %i to i64 + %b = getelementptr inbounds %struct.X* undef, i64 %iprom, i32 1 + store i16 0, i16* %b, align 4 + %inc = add nsw i32 %i, 1 + br label %for.cond + +if.end: + ret void +} |
