define i32 @foo() #0 {
  br label %1

; <label>:1:                                      ; preds = %3, %0
  %.0 = phi i32 [ 1, %0 ], [ %4, %3 ]
  %2 = icmp slt i32 %.0, 10
  br i1 %2, label %3, label %5

; <label>:3:                                      ; preds = %1
  %4 = add nsw i32 %.0, 1
  br label %1

; <label>:5:                                      ; preds = %1
  ret i32 1
}