llvm/test/Transforms/LoopVectorize/AArch64/sve-tail-folding.ll

   1 ; RUN: opt -S -loop-vectorize -scalable-vectorization=preferred -prefer-predicate-over-epilogue=predicate-dont-vectorize < %s | FileCheck %s
   2
   3 ; CHECK-NOT: vector.body:
   4
   5 target triple = "aarch64-unknown-linux-gnu"
   6
   7 define void @tail_predication(i32 %init, i32* %ptr, i32 %val) #0 {
   8 entry:
   9   br label %while.body
  10
  11 while.body:                                       ; preds = %while.body, %entry
  12   %index = phi i32 [ %index.dec, %while.body ], [ %init, %entry ]
  13   %gep = getelementptr i32, i32* %ptr, i32 %index
  14   store i32 %val, i32* %gep
  15   %index.dec = add nsw i32 %index, -1
  16   %cmp10 = icmp sgt i32 %index, 0
  17   br i1 %cmp10, label %while.body, label %while.end.loopexit
  18
  19 while.end.loopexit:                               ; preds = %while.body
  20   ret void
  21 }
  22
  23 attributes #0 = { "target-features"="+sve" }