llvm/test/Transforms/LoopVectorize/AArch64/unsafe-vf-hint-remark.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -loop-vectorize -mtriple=arm64-apple-iphoneos -pass-remarks-analysis=loop-vectorize -debug-only=loop-vectorize -S < %s 2>&1 | FileCheck %s
   3
   4 ; Specify a large unsafe vectorization factor of 32 that gets clamped to 16,
   5 ; then test an even smaller VF of 2 is selected based on the cost-model.
   6
   7 ; CHECK: LV: User VF=32 is unsafe, clamping to max safe VF=16.
   8 ; CHECK: remark: <unknown>:0:0: User-specified vectorization factor 32 is unsafe, clamping to maximum safe vectorization factor 16
   9 ; CHECK: LV: Selecting VF: 2.
  10 ; CHECK-LABEL: @test
  11 ; CHECK: <2 x i64>
  12 define void @test(i64* nocapture %a, i64* nocapture readonly %b) {
  13 entry:
  14   br label %loop.header
  15
  16 loop.header:
  17   %iv = phi i64 [ 0, %entry ], [ %iv.next, %latch ]
  18   %arrayidx = getelementptr inbounds i64, i64* %a, i64 %iv
  19   %0 = load i64, i64* %arrayidx, align 4
  20   %arrayidx2 = getelementptr inbounds i64, i64* %b, i64 %iv
  21   %1 = load i64, i64* %arrayidx2, align 4
  22   %add = add nsw i64 %1, %0
  23   %2 = add nuw nsw i64 %iv, 16
  24   %arrayidx5 = getelementptr inbounds i64, i64* %a, i64 %2
  25   %c = icmp eq i64 %1, 120
  26   br i1 %c, label %then, label %latch
  27
  28 then:
  29   store i64 %add, i64* %arrayidx5, align 4
  30   br label %latch
  31
  32 latch:
  33   %iv.next = add nuw nsw i64 %iv, 1
  34   %exitcond.not = icmp eq i64 %iv.next, 1024
  35   br i1 %exitcond.not, label %exit, label %loop.header, !llvm.loop !0
  36
  37 exit:
  38   ret void
  39 }
  40
  41 !0 = !{!0, !1, !2}
  42 !1 = !{!"llvm.loop.vectorize.width", i64 32}
  43 !2 = !{!"llvm.loop.vectorize.enable", i1 true}