1; RUN: llc -O2 -mtriple=hexagon < %s 2; REQUIRES: asserts 3 4; Function Attrs: nounwind 5define void @f0(i32 %a0) #0 { 6b0: 7 %v0 = icmp ugt i32 %a0, 1 8 br i1 %v0, label %b1, label %b2 9 10b1: ; preds = %b1, %b0 11 %v1 = phi i32 [ %v2, %b1 ], [ 0, %b0 ] 12 %v2 = add nsw i32 %v1, 2 13 %v3 = icmp slt i32 %v2, 0 14 br i1 %v3, label %b1, label %b2 15 16b2: ; preds = %b1, %b0 17 unreachable 18} 19 20attributes #0 = { nounwind } 21