1*53dacb7bSFlorian Hahn; RUN: opt -loop-vectorize -force-vector-width=4 %s | FileCheck %s
2*53dacb7bSFlorian Hahn
3*53dacb7bSFlorian Hahn%struct.foo = type { [400 x double] }
4*53dacb7bSFlorian Hahn
5*53dacb7bSFlorian Hahn; Make sure we do not crash when dropping runtime checks.
6*53dacb7bSFlorian Hahn
7*53dacb7bSFlorian Hahn; CHECK-NOT: vector.body
8*53dacb7bSFlorian Hahn
9*53dacb7bSFlorian Hahndefine void @barney(%struct.foo* %ptr) {
10*53dacb7bSFlorian Hahnentry:
11*53dacb7bSFlorian Hahn  br label %loop
12*53dacb7bSFlorian Hahn
13*53dacb7bSFlorian Hahnloop:
14*53dacb7bSFlorian Hahn  %tmp3 = phi i64 [ 0, %entry ], [ %tmp18, %loop ]
15*53dacb7bSFlorian Hahn  %tmp4 = getelementptr inbounds %struct.foo, %struct.foo* %ptr, i64 undef
16*53dacb7bSFlorian Hahn  %tmp5 = bitcast %struct.foo* %tmp4 to i64*
17*53dacb7bSFlorian Hahn  store i64 0, i64* %tmp5, align 8
18*53dacb7bSFlorian Hahn  %tmp8 = add i64 1, %tmp3
19*53dacb7bSFlorian Hahn  %tmp10 = getelementptr inbounds %struct.foo, %struct.foo* %ptr, i64 %tmp8
20*53dacb7bSFlorian Hahn  %tmp11 = bitcast %struct.foo* %tmp10 to i64*
21*53dacb7bSFlorian Hahn  store i64 1, i64* %tmp11, align 8
22*53dacb7bSFlorian Hahn  %tmp14 = add i64 undef, %tmp3
23*53dacb7bSFlorian Hahn  %tmp16 = getelementptr inbounds %struct.foo, %struct.foo* %ptr, i64 %tmp14
24*53dacb7bSFlorian Hahn  %tmp17 = bitcast %struct.foo* %tmp16 to i64*
25*53dacb7bSFlorian Hahn  store i64 2, i64* %tmp17, align 8
26*53dacb7bSFlorian Hahn  %tmp18 = add nuw nsw i64 %tmp3, 4
27*53dacb7bSFlorian Hahn  %c = icmp ult i64 %tmp18, 400
28*53dacb7bSFlorian Hahn  br i1 %c, label %exit, label %loop
29*53dacb7bSFlorian Hahn
30*53dacb7bSFlorian Hahnexit:
31*53dacb7bSFlorian Hahn  ret void
32*53dacb7bSFlorian Hahn}
33