1
; RUN: opt -S -loop-vectorize < %s | FileCheck %s
2
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4
; Check that we vectorize only bottom-tested loops.
5
; This is a reduced testcase from PR21302.
7
; rdar://problem/18886083
9
%struct.X = type { i32, i16 }
11
; CHECK-NOT: vector.body
13
define void @foo(i32 %n) {
18
%i = phi i32 [ 0, %entry ], [ %inc, %for.body ]
19
%cmp = icmp slt i32 %i, %n
20
br i1 %cmp, label %for.body, label %if.end
23
%iprom = sext i32 %i to i64
24
%b = getelementptr inbounds %struct.X, %struct.X* undef, i64 %iprom, i32 1
25
store i16 0, i16* %b, align 4
26
%inc = add nsw i32 %i, 1