1; RUN: opt < %s -loop-vectorize -debug-only=loop-vectorize -S -disable-output 2>&1 | FileCheck %s
2; REQUIRES: asserts
3
4; Make sure LV legal bails out when there is no exiting block
5; CHECK-LABEL: "no_exiting_block"
6; CHECK: LV: Not vectorizing: The loop must have a unique exit block.
7define i32 @no_exiting_block() {
8entry:
9  br label %for.body
10
11for.body:
12  %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ], [%inc, %for.second]
13  %inc = add nsw i32 %i.02, 1
14  %cmp = icmp slt i32 %inc, 16
15  br i1 %cmp, label %for.body, label %for.second
16
17for.second:
18  br label %for.body
19}
20
21; Make sure LV legal bails out when there is a non-int, non-ptr phi
22; CHECK-LABEL: "invalid_phi_types"
23; CHECK: LV: Not vectorizing: Found a non-int non-pointer PHI.
24define i32 @invalid_phi_types() {
25entry:
26  br label %for.body
27
28for.body:
29  %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
30  %vec.sum.02 = phi <2 x i32> [ zeroinitializer, %entry ], [ <i32 8, i32 8>, %for.body ]
31  %inc = add nsw i32 %i.02, 1
32  %cmp = icmp slt i32 %inc, 16
33  br i1 %cmp, label %for.body, label %for.end
34
35for.end:
36  ret i32 0
37}
38
39; D40973
40; Make sure LV legal bails out when the loop doesn't have a legal pre-header.
41; CHECK-LABEL: "inc"
42; CHECK: LV: Not vectorizing: Loop doesn't have a legal pre-header.
43define void @inc(i32 %n, i8* %P) {
44  %1 = icmp sgt i32 %n, 0
45  br i1 %1, label %BB1, label %BB2
46
47BB1:
48  indirectbr i8* %P, [label %.lr.ph]
49
50BB2:
51  br label %.lr.ph
52
53.lr.ph:
54  %indvars.iv = phi i32 [ %indvars.iv.next, %.lr.ph ], [ 0, %BB1 ], [ 0, %BB2 ]
55  %indvars.iv.next = add i32 %indvars.iv, 1
56  %exitcond = icmp eq i32 %indvars.iv.next, %n
57  br i1 %exitcond, label %._crit_edge, label %.lr.ph
58
59._crit_edge:
60  ret void
61}
62