; RUN: opt -passes=loop-vectorize -disable-output  -force-vector-width=4  < %s \
; RUN:   -vplan-print-after=simplify -vplan-print-after=printFinalVPlan \
; RUN:   2>&1 | FileCheck %s --implicit-check-not "VPlan after"
; REQUIRES: asserts

; CHECK:      VPlan for loop in 'foo' after simplifyRecipes
; CHECK-NEXT: VPlan 'Initial VPlan for VF={4},UF>=1' {
; CHECK:      VPlan for loop in 'foo' after simplifyBlends
; CHECK-NEXT: VPlan 'Initial VPlan for VF={4},UF>=1' {
; CHECK:      VPlan for loop in 'foo' after simplifyRecipes
; CHECK-NEXT: VPlan 'Initial VPlan for VF={4},UF>=1' {
; CHECK:      VPlan for loop in 'foo' after printFinalVPlan
; CHECK-NEXT: VPlan 'Final VPlan for VF={4},UF={1}' {

define void @foo(ptr %ptr, i64 %n) {
entry:
  br label %header

header:
  %iv = phi i64 [ 0, %entry ], [ %iv.next, %header ]
  %gep = getelementptr i64, ptr %ptr, i64 %iv
  store i64 %iv, ptr %gep
  %iv.next = add nsw i64 %iv, 1
  %exitcond = icmp slt i64 %iv.next, %n
  br i1 %exitcond, label %header, label %exit

exit:
  ret void
}