; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --filter "Cost.*EMIT-SCALAR.*vscale" --version 6
; REQUIRES: asserts
; RUN: opt %s -passes=loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -enable-interleaved-mem-accesses \
; RUN:   -force-target-supports-scalable-vectors=true -scalable-vectorization=preferred -disable-output \
; RUN:   -debug-only=loop-vectorize -S 2>&1 | FileCheck %s

define void @scalablevf(ptr %dst.start, i8 %a, i8 %b) {
; CHECK-LABEL: 'scalablevf'
; CHECK:  Cost of 0 for VF vscale x 4: EMIT-SCALAR vp<[[VP2:%[0-9]+]]> = vscale i64
; CHECK:  Cost of 0 for VF vscale x 4: EMIT-SCALAR vp<[[VP2]]> = vscale i64
;
entry:
  br label %loop

loop:
  %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
  %dst = phi ptr [ %dst.start, %entry ], [ %dst.next, %loop ]
  %dst.next = getelementptr inbounds nuw i8, ptr %dst, i64 4
  %load.dst.0 = load i8, ptr %dst, align 1
  store i8 %load.dst.0, ptr %dst, align 1
  %gep.dst.1 = getelementptr inbounds nuw i8, ptr %dst, i64 1
  %load.dst.1 = load i8, ptr %gep.dst.1, align 1
  store i8 %load.dst.1, ptr %gep.dst.1, align 1
  %gep.dst.2 = getelementptr inbounds nuw i8, ptr %dst, i64 2
  %load.dst.2 = load i8, ptr %gep.dst.2, align 1
  store i8 %load.dst.2, ptr %gep.dst.2, align 1
  %gep.dst.3 = getelementptr inbounds nuw i8, ptr %dst, i64 3
  %load.dst.3 = load i8, ptr %gep.dst.3, align 1
  store i8 %load.dst.3, ptr %gep.dst.3, align 1
  %iv.next = add i64 %iv, 4
  %exit.cond = icmp eq i64 %iv.next, 256
  br i1 %exit.cond, label %exit, label %loop

exit:
  ret void
}