| ; 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, %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 | |
| } |