72 lines · plain
1; REQUIRES: asserts2 3; RUN: opt -passes=loop-vectorize -pass-remarks=loop-vectorize -enable-vplan-native-path -debug -disable-output %s 2>&1 | FileCheck %s4 5@arr2 = external global [8 x i64], align 166@arr = external global [8 x [8 x i64]], align 167 8define void @foo(i64 %n) {9; CHECK: VPlan 'Plain CFG10; CHECK-NEXT: {11; CHECK-EMPTY:12; CHECK-NEXT: ir-bb<entry>:13; CHECK-NEXT: Successor(s): outer.header14; CHECK-EMPTY:15; CHECK-NEXT: outer.header:16; CHECK-NEXT: EMIT-SCALAR ir<%outer.iv> = phi [ ir<%outer.iv.next>, outer.latch ], [ ir<0>, ir-bb<entry> ]17; CHECK-NEXT: EMIT ir<%gep.1> = getelementptr inbounds 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 nsw ir<%outer.iv>, ir<%n>20; CHECK-NEXT: Successor(s): inner21; CHECK-EMPTY:22; CHECK-NEXT: inner:23; CHECK-NEXT: EMIT-SCALAR ir<%inner.iv> = phi [ ir<%inner.iv.next>, inner ], [ ir<0>, outer.header ]24; CHECK-NEXT: EMIT ir<%gep.2> = getelementptr inbounds 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 nuw nsw ir<%inner.iv>, ir<1>27; CHECK-NEXT: EMIT ir<%inner.ec> = icmp eq ir<%inner.iv.next>, ir<8>28; CHECK-NEXT: EMIT branch-on-cond ir<%inner.ec>29; CHECK-NEXT: Successor(s): outer.latch, inner30; CHECK-EMPTY:31; CHECK-NEXT: outer.latch:32; CHECK-NEXT: EMIT ir<%outer.iv.next> = add nuw nsw ir<%outer.iv>, ir<1>33; CHECK-NEXT: EMIT ir<%outer.ec> = icmp eq ir<%outer.iv.next>, ir<8>34; CHECK-NEXT: EMIT branch-on-cond ir<%outer.ec>35; CHECK-NEXT: Successor(s): ir-bb<exit>, outer.header36; CHECK-EMPTY:37; CHECK-NEXT: ir-bb<exit>:38; CHECK-NEXT: No successors39; CHECK-NEXT: }40entry:41 br label %outer.header42 43outer.header:44 %outer.iv = phi i64 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]45 %gep.1 = getelementptr inbounds [8 x i64], ptr @arr2, i64 0, i64 %outer.iv46 store i64 %outer.iv, ptr %gep.1, align 447 %add = add nsw i64 %outer.iv, %n48 br label %inner49 50inner:51 %inner.iv = phi i64 [ 0, %outer.header ], [ %inner.iv.next, %inner ]52 %gep.2 = getelementptr inbounds [8 x [8 x i64]], ptr @arr, i64 0, i64 %inner.iv, i64 %outer.iv53 store i64 %add, ptr %gep.2, align 454 %inner.iv.next = add nuw nsw i64 %inner.iv, 155 %inner.ec = icmp eq i64 %inner.iv.next, 856 br i1 %inner.ec, label %outer.latch, label %inner57 58outer.latch:59 %outer.iv.next = add nuw nsw i64 %outer.iv, 160 %outer.ec = icmp eq i64 %outer.iv.next, 861 br i1 %outer.ec, label %exit, label %outer.header, !llvm.loop !162 63exit:64 ret void65}66 67; CHECK: remark: <unknown>:0:0: vectorized outer loop (vectorization width: 4, interleaved count: 1)68 69!1 = distinct !{!1, !2, !3}70!2 = !{!"llvm.loop.vectorize.width", i32 4}71!3 = !{!"llvm.loop.vectorize.enable", i1 true}72