blob: 26b2a6efeebecf36ee534637dc62843487f34a99 [file] [log] [blame]
; RUN: llc -simplifycfg-require-and-preserve-domtree=1 < %s -verify-machineinstrs
; <rdar://problem/9187612>
target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"
target triple = "thumbv7-apple-darwin"
define void @func() unnamed_addr align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) {
entry:
br label %for.cond
for.cond:
%tmp2 = phi i32 [ 0, %entry ], [ %add, %for.cond.backedge ]
%cmp = icmp ult i32 %tmp2, 14
br i1 %cmp, label %for.body, label %for.end
for.body:
%add = add i32 %tmp2, 1
switch i32 %tmp2, label %sw.default [
i32 0, label %sw.bb
i32 1, label %sw.bb
i32 2, label %sw.bb
i32 4, label %sw.bb
i32 5, label %sw.bb
i32 10, label %sw.bb
]
sw.bb:
invoke void @foo()
to label %invoke.cont17 unwind label %lpad
invoke.cont17:
invoke void @foo()
to label %for.cond.backedge unwind label %lpad26
for.cond.backedge:
br label %for.cond
lpad:
%exn = landingpad { i8*, i32 }
catch i8* null
invoke void @foo()
to label %eh.resume unwind label %terminate.lpad
lpad26:
%exn27 = landingpad { i8*, i32 }
catch i8* null
invoke void @foo()
to label %eh.resume unwind label %terminate.lpad
sw.default:
br label %for.cond.backedge
for.end:
invoke void @foo()
to label %call8.i.i.i.noexc unwind label %lpad44
call8.i.i.i.noexc:
ret void
lpad44:
%exn45 = landingpad { i8*, i32 }
catch i8* null
invoke void @foo()
to label %eh.resume unwind label %terminate.lpad
eh.resume:
%exn.slot.0 = phi { i8*, i32 } [ %exn27, %lpad26 ], [ %exn, %lpad ], [ %exn45, %lpad44 ]
resume { i8*, i32 } %exn.slot.0
terminate.lpad:
%exn51 = landingpad { i8*, i32 }
catch i8* null
tail call void @_ZSt9terminatev() noreturn nounwind
unreachable
}
declare void @foo()
declare i32 @__gxx_personality_sj0(...)
declare void @_Unwind_SjLj_Resume_or_Rethrow(i8*)
declare void @_ZSt9terminatev()
!0 = !{!"any pointer", !1}
!1 = !{!"omnipotent char", !2}
!2 = !{!"Simple C/C++ TBAA"}
!3 = !{!"bool", !1}
!4 = !{!"int", !1}