llvm/test/Transforms/LoopVectorize/AArch64/sve2-histcnt-outerloop-scevaddrec.ll

   1 ; RUN: opt < %s -mattr=+sve2 -passes=loop-vectorize,instcombine -enable-histogram-loop-vectorization -sve-gather-overhead=2 -sve-scatter-overhead=2 -debug-only=loop-vectorize -S 2>&1 | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 target triple = "aarch64-unknown-linux-gnu"
   5
   6 ;; Make sure we don't detect a histogram operation if the index address is
   7 ;; loop invariant.
   8 ; CHECK: LV: Checking for a histogram on:   store i32 %inc, ptr %gep.bucket, align 4
   9 ; CHECK-NEXT: LV: Can't vectorize due to memory conflicts
  10 ; CHECK-NEXT: LV: Not vectorizing: Cannot prove legality.
  11
  12 define void @outer_loop_scevaddrec(ptr noalias %buckets, ptr readonly %indices, i64 %N, i64 %M) {
  13 entry:
  14   br label %outer.header
  15
  16 outer.header:
  17   %outer.iv = phi i64 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]
  18   %gep.indices = getelementptr inbounds i32, ptr %indices, i64 %outer.iv
  19   br label %inner.body
  20
  21 inner.body:
  22   %iv = phi i64 [ 0, %outer.header ], [ %iv.next, %inner.body ]
  23   %l.idx = load i32, ptr %gep.indices, align 4
  24   %idxprom1 = zext i32 %l.idx to i64
  25   %gep.bucket = getelementptr inbounds i32, ptr %buckets, i64 %idxprom1
  26   %l.bucket = load i32, ptr %gep.bucket, align 4
  27   %inc = add nsw i32 %l.bucket, 1
  28   store i32 %inc, ptr %gep.bucket, align 4
  29   %iv.next = add nuw nsw i64 %iv, 1
  30   %exitcond = icmp eq i64 %iv.next, %N
  31   br i1 %exitcond, label %outer.latch, label %inner.body
  32
  33 outer.latch:
  34   %outer.iv.next = add nuw nsw i64 %outer.iv, 1
  35   %outer.exitcond = icmp eq i64 %outer.iv.next, %M
  36   br i1 %outer.exitcond, label %outer.exit, label %outer.header
  37
  38 outer.exit:
  39   ret void
  40 }