blob: bd96ada2ea69be533f5e27905c93146c4e310eb0 [file] [log] [blame]
Bill Wendling2a401312011-05-04 22:54:05 +00001; RUN: llc < %s -verify-machineinstrs
2; <rdar://problem/9187612>
3target 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"
4target triple = "thumbv7-apple-darwin"
5
David Majnemer7fddecc2015-06-17 20:52:32 +00006define void @func() unnamed_addr align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) {
Bill Wendling2a401312011-05-04 22:54:05 +00007entry:
8 br label %for.cond
9
10for.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
15for.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
26sw.bb:
27 invoke void @foo()
28 to label %invoke.cont17 unwind label %lpad
29
30invoke.cont17:
31 invoke void @foo()
32 to label %for.cond.backedge unwind label %lpad26
33
34for.cond.backedge:
35 br label %for.cond
36
37lpad:
David Majnemer7fddecc2015-06-17 20:52:32 +000038 %exn = landingpad { i8*, i32 }
Bill Wendling9b7942a2011-11-08 00:09:27 +000039 catch i8* null
Bill Wendling2a401312011-05-04 22:54:05 +000040 invoke void @foo()
41 to label %eh.resume unwind label %terminate.lpad
42
43lpad26:
David Majnemer7fddecc2015-06-17 20:52:32 +000044 %exn27 = landingpad { i8*, i32 }
Bill Wendling9b7942a2011-11-08 00:09:27 +000045 catch i8* null
Bill Wendling2a401312011-05-04 22:54:05 +000046 invoke void @foo()
47 to label %eh.resume unwind label %terminate.lpad
48
49sw.default:
50 br label %for.cond.backedge
51
52for.end:
53 invoke void @foo()
54 to label %call8.i.i.i.noexc unwind label %lpad44
55
56call8.i.i.i.noexc:
57 ret void
58
59lpad44:
David Majnemer7fddecc2015-06-17 20:52:32 +000060 %exn45 = landingpad { i8*, i32 }
Bill Wendling9b7942a2011-11-08 00:09:27 +000061 catch i8* null
Bill Wendling2a401312011-05-04 22:54:05 +000062 invoke void @foo()
63 to label %eh.resume unwind label %terminate.lpad
64
65eh.resume:
Bill Wendling9b7942a2011-11-08 00:09:27 +000066 %exn.slot.0 = phi { i8*, i32 } [ %exn27, %lpad26 ], [ %exn, %lpad ], [ %exn45, %lpad44 ]
67 resume { i8*, i32 } %exn.slot.0
Bill Wendling2a401312011-05-04 22:54:05 +000068
69terminate.lpad:
David Majnemer7fddecc2015-06-17 20:52:32 +000070 %exn51 = landingpad { i8*, i32 }
Bill Wendling9b7942a2011-11-08 00:09:27 +000071 catch i8* null
Bill Wendling2a401312011-05-04 22:54:05 +000072 tail call void @_ZSt9terminatev() noreturn nounwind
73 unreachable
74}
75
76declare void @foo()
77
Bill Wendling2a401312011-05-04 22:54:05 +000078declare i32 @__gxx_personality_sj0(...)
79
Bill Wendling2a401312011-05-04 22:54:05 +000080declare void @_Unwind_SjLj_Resume_or_Rethrow(i8*)
81
82declare void @_ZSt9terminatev()
83
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +000084!0 = !{!"any pointer", !1}
85!1 = !{!"omnipotent char", !2}
Sanjoy Das3336f682016-12-11 20:07:15 +000086!2 = !{!"Simple C/C++ TBAA"}
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +000087!3 = !{!"bool", !1}
88!4 = !{!"int", !1}