1 ; RUN: llc < %s -verify-machineinstrs 2 ; <rdar://problem/9187612> 3 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" 4 target triple = "thumbv7-apple-darwin" 5 6 define void @func() unnamed_addr align 2 { 7 entry: 8 br label %for.cond 9 10 for.cond: 11 %tmp2 = phi i32 [ 0, %entry ], [ %add, %for.cond.backedge ] 12 %cmp = icmp ult i32 %tmp2, 14 13 br i1 %cmp, label %for.body, label %for.end 14 15 for.body: 16 %add = add i32 %tmp2, 1 17 switch i32 %tmp2, label %sw.default [ 18 i32 0, label %sw.bb 19 i32 1, label %sw.bb 20 i32 2, label %sw.bb 21 i32 4, label %sw.bb 22 i32 5, label %sw.bb 23 i32 10, label %sw.bb 24 ] 25 26 sw.bb: 27 invoke void @foo() 28 to label %invoke.cont17 unwind label %lpad 29 30 invoke.cont17: 31 invoke void @foo() 32 to label %for.cond.backedge unwind label %lpad26 33 34 for.cond.backedge: 35 br label %for.cond 36 37 lpad: 38 %exn = tail call i8* @llvm.eh.exception() nounwind 39 %eh.selector = tail call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* %exn, i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*), i8* null) nounwind 40 invoke void @foo() 41 to label %eh.resume unwind label %terminate.lpad 42 43 lpad26: 44 %exn27 = tail call i8* @llvm.eh.exception() nounwind 45 %eh.selector28 = tail call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* %exn27, i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*), i8* null) nounwind 46 invoke void @foo() 47 to label %eh.resume unwind label %terminate.lpad 48 49 sw.default: 50 br label %for.cond.backedge 51 52 for.end: 53 invoke void @foo() 54 to label %call8.i.i.i.noexc unwind label %lpad44 55 56 call8.i.i.i.noexc: 57 ret void 58 59 lpad44: 60 %exn45 = tail call i8* @llvm.eh.exception() nounwind 61 %eh.selector46 = tail call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* %exn45, i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*), i8* null) nounwind 62 invoke void @foo() 63 to label %eh.resume unwind label %terminate.lpad 64 65 eh.resume: 66 %exn.slot.0 = phi i8* [ %exn27, %lpad26 ], [ %exn, %lpad ], [ %exn45, %lpad44 ] 67 tail call void @_Unwind_SjLj_Resume_or_Rethrow(i8* %exn.slot.0) noreturn 68 unreachable 69 70 terminate.lpad: 71 %exn51 = tail call i8* @llvm.eh.exception() nounwind 72 %eh.selector52 = tail call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* %exn51, i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*), i8* null) nounwind 73 tail call void @_ZSt9terminatev() noreturn nounwind 74 unreachable 75 } 76 77 declare void @foo() 78 79 declare i8* @llvm.eh.exception() nounwind readonly 80 81 declare i32 @__gxx_personality_sj0(...) 82 83 declare i32 @llvm.eh.selector(i8*, i8*, ...) nounwind 84 85 declare void @_Unwind_SjLj_Resume_or_Rethrow(i8*) 86 87 declare void @_ZSt9terminatev() 88 89 !0 = metadata !{metadata !"any pointer", metadata !1} 90 !1 = metadata !{metadata !"omnipotent char", metadata !2} 91 !2 = metadata !{metadata !"Simple C/C++ TBAA", null} 92 !3 = metadata !{metadata !"bool", metadata !1} 93 !4 = metadata !{metadata !"int", metadata !1} 94
