llvm/test/Transforms/LoopVectorize/AArch64/strict-fadd-vf1.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -passes=loop-vectorize -force-ordered-reductions=true -force-vector-width=1 -S < %s -debug 2> %t.debug | FileCheck %s
   3 ; RUN: cat %t.debug | FileCheck %s --check-prefix=CHECK-DEBUG
   4
   5 target triple = "aarch64-unknown-linux-gnu"
   6
   7 ; CHECK-DEBUG: LV: Not interleaving scalar ordered reductions.
   8
   9 define void @foo(ptr noalias nocapture %dst, ptr noalias nocapture readonly %src, i64 %M, i64 %N) {
  10 ; CHECK-LABEL: @foo(
  11 ; CHECK-NOT: vector.body
  12
  13 entry:
  14   br label %for.body.us
  15
  16 for.body.us:                                      ; preds = %entry, %for.cond3
  17   %i.023.us = phi i64 [ %inc8.us, %for.cond3 ], [ 0, %entry ]
  18   %arrayidx.us = getelementptr inbounds float, ptr %dst, i64 %i.023.us
  19   %mul.us = mul nsw i64 %i.023.us, %N
  20   br label %for.body3.us
  21
  22 for.body3.us:                                     ; preds = %for.body.us, %for.body3.us
  23   %0 = phi float [ 0.000000e+00, %for.body.us ], [ %add6.us, %for.body3.us ]
  24   %j.021.us = phi i64 [ 0, %for.body.us ], [ %inc.us, %for.body3.us ]
  25   %add.us = add nsw i64 %j.021.us, %mul.us
  26   %arrayidx4.us = getelementptr inbounds float, ptr %src, i64 %add.us
  27   %1 = load float, ptr %arrayidx4.us, align 4
  28   %add6.us = fadd float %1, %0
  29   %inc.us = add nuw nsw i64 %j.021.us, 1
  30   %exitcond.not = icmp eq i64 %inc.us, %N
  31   br i1 %exitcond.not, label %for.cond3, label %for.body3.us
  32
  33 for.cond3:                                        ; preds = %for.body3.us
  34   %add6.us.lcssa = phi float [ %add6.us, %for.body3.us ]
  35   store float %add6.us.lcssa, ptr %arrayidx.us, align 4
  36   %inc8.us = add nuw nsw i64 %i.023.us, 1
  37   %exitcond26.not = icmp eq i64 %inc8.us, %M
  38   br i1 %exitcond26.not, label %exit, label %for.body.us
  39
  40 exit:                                             ; preds = %for.cond3
  41   ret void
  42 }