1; REQUIRES: asserts
2
3; RUN: opt -loop-vectorize -enable-vplan-native-path -debug -disable-output %s 2>&1 | FileCheck %s
4
5@arr2 = external global [8 x i64], align 16
6@arr = external global [8 x [8 x i64]], align 16
7
8define void @foo(i64 %n) {
9; CHECK:      VPlan 'HCFGBuilder: Plain CFG
10; CHECK-NEXT: {
11; CHECK-NEXT: <x1> TopRegion: {
12; CHECK-NEXT:   entry:
13; CHECK-NEXT:   Successor(s): vector.body
14; CHECK-EMPTY:
15; CHECK-NEXT:   vector.body:
16; CHECK-NEXT:     WIDEN-PHI ir<%outer.iv> = phi ir<0>, ir<%outer.iv.next>
17; CHECK-NEXT:     EMIT ir<%gep.1> = getelementptr ir<@arr2> ir<0> ir<%outer.iv>
18; CHECK-NEXT:     EMIT store ir<%outer.iv> ir<%gep.1>
19; CHECK-NEXT:     EMIT ir<%add> = add ir<%outer.iv> ir<%n>
20; CHECK-NEXT:   Successor(s): inner
21; CHECK-EMPTY:
22; CHECK-NEXT:   inner:
23; CHECK-NEXT:     WIDEN-PHI ir<%inner.iv> = phi ir<0>, ir<%inner.iv.next>
24; CHECK-NEXT:     EMIT ir<%gep.2> = getelementptr ir<@arr> ir<0> ir<%inner.iv> ir<%outer.iv>
25; CHECK-NEXT:     EMIT store ir<%add> ir<%gep.2>
26; CHECK-NEXT:     EMIT ir<%inner.iv.next> = add ir<%inner.iv> ir<1>
27; CHECK-NEXT:     EMIT ir<%inner.ec> = icmp ir<%inner.iv.next> ir<8>
28; CHECK-NEXT:   Successor(s): outer.latch, inner
29; CHECK-NEXT:   CondBit: ir<%inner.ec> (inner)
30; CHECK-EMPTY:
31; CHECK-NEXT:   outer.latch:
32; CHECK-NEXT:     EMIT ir<%outer.iv.next> = add ir<%outer.iv> ir<1>
33; CHECK-NEXT:     EMIT ir<%outer.ec> = icmp ir<%outer.iv.next> ir<8>
34; CHECK-NEXT:   Successor(s): exit, vector.body
35; CHECK-NEXT:   CondBit: ir<%outer.ec> (outer.latch)
36; CHECK-EMPTY:
37; CHECK-NEXT:   exit:
38; CHECK-NEXT:     EMIT ret
39; CHECK-NEXT:   No successors
40; CHECK-NEXT: }
41; CHECK-NEXT: No successors
42; CHECK-NEXT: }
43entry:
44  br label %outer.header
45
46outer.header:
47  %outer.iv = phi i64 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]
48  %gep.1 = getelementptr inbounds [8 x i64], [8 x i64]* @arr2, i64 0, i64 %outer.iv
49  store i64 %outer.iv, i64* %gep.1, align 4
50  %add = add nsw i64 %outer.iv, %n
51  br label %inner
52
53inner:
54  %inner.iv = phi i64 [ 0, %outer.header ], [ %inner.iv.next, %inner ]
55  %gep.2 = getelementptr inbounds [8 x [8 x i64]], [8 x [8 x i64]]* @arr, i64 0, i64 %inner.iv, i64 %outer.iv
56  store i64 %add, i64* %gep.2, align 4
57  %inner.iv.next = add nuw nsw i64 %inner.iv, 1
58  %inner.ec = icmp eq i64 %inner.iv.next, 8
59  br i1 %inner.ec, label %outer.latch, label %inner
60
61outer.latch:
62  %outer.iv.next = add nuw nsw i64 %outer.iv, 1
63  %outer.ec = icmp eq i64 %outer.iv.next, 8
64  br i1 %outer.ec, label %exit, label %outer.header, !llvm.loop !1
65
66exit:
67  ret void
68}
69
70!1 = distinct !{!1, !2, !3}
71!2 = !{!"llvm.loop.vectorize.width", i32 4}
72!3 = !{!"llvm.loop.vectorize.enable", i1 true}
73