; RUN: opt < %s -passes=loop-vectorize -S -pass-remarks-analysis=loop-vectorize -disable-output &> %t
; RUN: cat %t | FileCheck --check-prefix=CHECK-REMARKS %s

; CHECK-REMARKS: remark: <unknown>:0:0: Recipe with invalid costs prevented vectorization at VF=(vscale x 1): fadd

target triple = "aarch64-unknown-linux-gnu"

define double @reduce_fail(i64 %loop_count, double %d0, ptr %ptr1) #0 {
entry:
  %d1 = load double, ptr %ptr1
  br label %loop

loop:
  %acc0 = phi double [ %fadd0, %loop ], [ %d0, %entry ]
  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
  %fadd0 = fadd double %acc0, %d1
  %iv.next = add nsw nuw i64 %iv, 1
  %exit_cond = icmp eq i64 %iv.next, %loop_count
  br i1 %exit_cond, label %loopexit, label %loop

loopexit:
  ret double %fadd0
}

attributes #0 = { "target-features"="+sve" }