; RUN: llc -march=hexagon -O2 < %s
; REQUIRES: asserts
target triple = "hexagon"
; Function Attrs: nounwind
define void @f0(ptr %a0, ...) #0 {
b0:
br i1 undef, label %b1, label %b2
b1: ; preds = %b0
unreachable
b2: ; preds = %b2, %b0
br i1 undef, label %b2, label %b3
b3: ; preds = %b2
br i1 undef, label %b4, label %b5
b4: ; preds = %b3
br label %b5
b5: ; preds = %b4, %b3
br label %b6
b6: ; preds = %b12, %b5
br i1 undef, label %b9, label %b7
b7: ; preds = %b6
%v0 = load i8, ptr undef, align 1, !tbaa !0
%v1 = zext i8 %v0 to i32
br i1 undef, label %b9, label %b8
b8: ; preds = %b7
br i1 undef, label %b9, label %b10
b9: ; preds = %b8, %b7, %b6
br label %b10
b10: ; preds = %b9, %b8
%v2 = phi i32 [ undef, %b9 ], [ %v1, %b8 ]
%v3 = icmp eq i32 %v2, 37
%v4 = sext i1 %v3 to i32
%v5 = icmp slt i32 0, 1
br i1 %v5, label %b12, label %b11
b11: ; preds = %b10
unreachable
b12: ; preds = %b10
br i1 undef, label %b13, label %b6
b13: ; preds = %b12
br label %b14
b14: ; preds = %b15, %b13
br i1 undef, label %b16, label %b15
b15: ; preds = %b14
br i1 undef, label %b14, label %b16
b16: ; preds = %b15, %b14
br label %b17
b17: ; preds = %b18, %b16
%v6 = phi ptr [ undef, %b16 ], [ %v7, %b18 ]
%v7 = getelementptr inbounds i8, ptr %v6, i32 1
%v8 = load i8, ptr %v7, align 1, !tbaa !0
br label %b18
b18: ; preds = %b19, %b17
%v9 = phi i32 [ 5, %b17 ], [ %v11, %b19 ]
%v10 = icmp eq i8 undef, %v8
br i1 %v10, label %b17, label %b19
b19: ; preds = %b18
%v11 = add i32 %v9, -1
%v12 = icmp eq i32 %v11, 0
br i1 %v12, label %b20, label %b18
b20: ; preds = %b19
unreachable
}
attributes #0 = { nounwind }
!0 = !{!1, !1, i64 0}
!1 = !{!"omnipotent char", !2, i64 0}
!2 = !{!"Simple C/C++ TBAA"}