; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=slp-vectorizer -S < %s | FileCheck %s

define void @f(i16 %0) {
; CHECK-LABEL: @f(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    br label [[FOR_COND:%.*]]
; CHECK:       for.cond:
; CHECK-NEXT:    [[TMP1:%.*]] = phi i16 [ 0, [[FOR_END5:%.*]] ], [ [[TMP0:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT:    [[B_0:%.*]] = phi i16 [ 0, [[ENTRY]] ], [ [[INC:%.*]], [[FOR_END5]] ]
; CHECK-NEXT:    [[INC]] = add i16 0, 0
; CHECK-NEXT:    br label [[FOR_BODY2:%.*]]
; CHECK:       for.body2:
; CHECK-NEXT:    br label [[FOR_BODY2]]
; CHECK:       for.end5:
; CHECK-NEXT:    br label [[FOR_COND]]
;
entry:
  br label %for.cond

for.cond:
  %1 = phi i16 [ 0, %for.end5 ], [ %0, %entry ]
  %b.0 = phi i16 [ 0, %entry ], [ %inc, %for.end5 ]
  %inc = add i16 0, 0
  br label %for.body2

for.body2:
  br label %for.body2

for.end5:
  br label %for.cond
}