1; RUN: llc -mtriple=x86_64-windows-msvc < %s | FileCheck %s
2
3target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-pc-windows-msvc"
5
6%eh.ThrowInfo = type { i32, i32, i32, i32 }
7%rtti.TypeDescriptor2 = type { i8**, i8*, [3 x i8] }
8
9@"\01??_7type_info@@6B@" = external constant i8*
10@"\01??_R0H@8" = internal global %rtti.TypeDescriptor2 { i8** @"\01??_7type_info@@6B@", i8* null, [3 x i8] c".H\00" }
11
12define void @test1(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
13entry:
14  invoke void @g()
15          to label %unreachable unwind label %catch.dispatch
16
17catch.dispatch:
18  %cs1 = catchswitch within none [label %catch] unwind to caller
19
20catch:
21  %cp = catchpad within %cs1 [i8* null, i32 64, i8* null]
22  br label %catch.loop
23
24catch.loop:
25  br i1 %B, label %catchret, label %catch.loop
26
27catchret:
28  catchret from %cp to label %try.cont
29
30try.cont:
31  ret void
32
33unreachable:
34  unreachable
35}
36
37; CHECK-LABEL: test1:
38
39; The entry funclet contains %entry and %try.cont
40; CHECK: # %entry
41; CHECK: # %try.cont
42; CHECK: retq
43
44; The catch funclet contains %catch and %catchret
45; CHECK: # %catch{{$}}
46; CHECK: # %catchret
47; CHECK: retq
48
49declare void @g()
50
51
52define i32 @test2(i1 %B) personality i32 (...)* @__CxxFrameHandler3 {
53entry:
54  invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1
55          to label %unreachable unwind label %catch.dispatch
56
57catch.dispatch:                                   ; preds = %entry
58  %cs1 = catchswitch within none [label %catch] unwind to caller
59
60catch:                                            ; preds = %catch.dispatch
61  %0 = catchpad within %cs1 [i8* null, i32 64, i8* null]
62  invoke void @_CxxThrowException(i8* null, %eh.ThrowInfo* null) #1 ["funclet"(token %0)]
63          to label %unreachable unwind label %catch.dispatch.1
64
65catch.dispatch.1:                                 ; preds = %catch
66  %cs2 = catchswitch within %0 [label %catch.3] unwind to caller
67
68catch.3:                                          ; preds = %catch.dispatch.1
69  %1 = catchpad within %cs2 [i8* null, i32 64, i8* null]
70  catchret from %1 to label %try.cont
71
72try.cont:                                         ; preds = %catch.3
73  catchret from %0 to label %try.cont.5
74
75try.cont.5:                                       ; preds = %try.cont
76  ret i32 0
77
78unreachable:                                      ; preds = %catch, %entry
79  unreachable
80}
81
82; CHECK-LABEL: test2:
83
84; The parent function contains %entry and %try.cont.5
85; CHECK: .seh_proc
86; CHECK: # %entry
87; CHECK: # %try.cont.5
88; CHECK: retq
89
90; The inner catch funclet contains %catch.3
91; CHECK: .seh_proc
92; CHECK: # %catch.3{{$}}
93; CHECK: retq
94
95; The outer catch funclet contains %catch
96; CHECK: .seh_proc
97; CHECK: # %catch{{$}}
98; CHECK: callq _CxxThrowException
99; CHECK: # %unreachable
100; CHECK: ud2
101
102
103define void @test3(i1 %V) #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
104entry:
105  invoke void @g()
106          to label %try.cont unwind label %catch.dispatch
107
108catch.dispatch:                                   ; preds = %entry
109  %cs1 = catchswitch within none [label %catch.2] unwind label %catch.dispatch.1
110
111catch.2:                                          ; preds = %catch.dispatch
112  %0 = catchpad within %cs1 [%rtti.TypeDescriptor2* @"\01??_R0H@8", i32 0, i8* null]
113  tail call void @exit(i32 0) #2 [ "funclet"(token %0) ]
114  unreachable
115
116catch.dispatch.1:                                 ; preds = %catch.dispatch
117  %cs2 = catchswitch within none [label %catch] unwind to caller
118
119catch:                                            ; preds = %catch.dispatch.1
120  %1 = catchpad within %cs2 [i8* null, i32 64, i8* null]
121  tail call void @exit(i32 0) #2 [ "funclet"(token %1) ]
122  unreachable
123
124try.cont:                                         ; preds = %entry
125  br i1 %V, label %exit_one, label %exit_two
126
127exit_one:
128  tail call void @exit(i32 0)
129  unreachable
130
131exit_two:
132  tail call void @exit(i32 0)
133  unreachable
134}
135
136; CHECK-LABEL: test3:
137
138; The entry funclet contains %entry and %try.cont
139; CHECK: # %entry
140; CHECK: # %try.cont
141; CHECK: callq exit
142; CHECK-NOT: # exit_one
143; CHECK-NOT: # exit_two
144; CHECK: ud2
145
146; The catch(...) funclet contains %catch.2
147; CHECK: # %catch.2{{$}}
148; CHECK: callq exit
149; CHECK: ud2
150
151; The catch(int) funclet contains %catch
152; CHECK: # %catch{{$}}
153; CHECK: callq exit
154; CHECK: ud2
155
156declare void @exit(i32) noreturn nounwind
157declare void @_CxxThrowException(i8*, %eh.ThrowInfo*)
158declare i32 @__CxxFrameHandler3(...)
159