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: vector.ph:
12; CHECK-NEXT: Successor(s): outer.header
13; CHECK-EMPTY:
14; CHECK-NEXT: <x1> outer.header: {
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:   <x1> inner: {
23; CHECK-NEXT:     inner:
24; CHECK-NEXT:       WIDEN-PHI ir<%inner.iv> = phi ir<0>, ir<%inner.iv.next>
25; CHECK-NEXT:       EMIT ir<%gep.2> = getelementptr ir<@arr> ir<0> ir<%inner.iv> ir<%outer.iv>
26; CHECK-NEXT:       EMIT store ir<%add> ir<%gep.2>
27; CHECK-NEXT:       EMIT ir<%inner.iv.next> = add ir<%inner.iv> ir<1>
28; CHECK-NEXT:       EMIT ir<%inner.ec> = icmp ir<%inner.iv.next> ir<8>
29; CHECK-NEXT:       EMIT branch-on-cond ir<%inner.ec>
30; CHECK-NEXT:   No successors
31; CHECK-NEXT:  }
32; CHECK-NEXT:  Successor(s): outer.latch
33; CHECK-EMPTY:
34; CHECK-NEXT:   outer.latch:
35; CHECK-NEXT:     EMIT ir<%outer.iv.next> = add ir<%outer.iv> ir<1>
36; CHECK-NEXT:     EMIT ir<%outer.ec> = icmp ir<%outer.iv.next> ir<8>
37; CHECK-NEXT:     EMIT branch-on-cond ir<%outer.ec>
38; CHECK-NEXT:   No successors
39; CHECK-NEXT:  }
40; CHECK-NEXT: Successor(s): exit
41; CHECK-EMPTY:
42; CHECK-NEXT: exit:
43; CHECK-NEXT: No successors
44; CHECK-NEXT: }
45entry:
46  br label %outer.header
47
48outer.header:
49  %outer.iv = phi i64 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]
50  %gep.1 = getelementptr inbounds [8 x i64], [8 x i64]* @arr2, i64 0, i64 %outer.iv
51  store i64 %outer.iv, i64* %gep.1, align 4
52  %add = add nsw i64 %outer.iv, %n
53  br label %inner
54
55inner:
56  %inner.iv = phi i64 [ 0, %outer.header ], [ %inner.iv.next, %inner ]
57  %gep.2 = getelementptr inbounds [8 x [8 x i64]], [8 x [8 x i64]]* @arr, i64 0, i64 %inner.iv, i64 %outer.iv
58  store i64 %add, i64* %gep.2, align 4
59  %inner.iv.next = add nuw nsw i64 %inner.iv, 1
60  %inner.ec = icmp eq i64 %inner.iv.next, 8
61  br i1 %inner.ec, label %outer.latch, label %inner
62
63outer.latch:
64  %outer.iv.next = add nuw nsw i64 %outer.iv, 1
65  %outer.ec = icmp eq i64 %outer.iv.next, 8
66  br i1 %outer.ec, label %exit, label %outer.header, !llvm.loop !1
67
68exit:
69  ret void
70}
71
72!1 = distinct !{!1, !2, !3}
73!2 = !{!"llvm.loop.vectorize.width", i32 4}
74!3 = !{!"llvm.loop.vectorize.enable", i1 true}
75