; RUN: llc -O2 -march=hexagon < %s
; REQUIRES: asserts

; Function Attrs: nounwind
define void @f0(i32 %a0) #0 {
b0:
  %v0 = icmp ugt i32 %a0, 1
  br i1 %v0, label %b1, label %b2

b1:                                               ; preds = %b1, %b0
  %v1 = phi i32 [ %v2, %b1 ], [ 0, %b0 ]
  %v2 = add nsw i32 %v1, 2
  %v3 = icmp slt i32 %v2, 0
  br i1 %v3, label %b1, label %b2

b2:                                               ; preds = %b1, %b0
  unreachable
}

attributes #0 = { nounwind }