1; RUN: llc < %s | FileCheck %s
2
3; Test case based on this source:
4; int puts(const char*);
5; __declspec(noinline) void crash() {
6;   *(volatile int*)0 = 42;
7; }
8; int filt();
9; void use_both() {
10;   __try {
11;     __try {
12;       crash();
13;     } __finally {
14;       puts("__finally");
15;     }
16;   } __except (filt()) {
17;     puts("__except");
18;   }
19; }
20
21target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
22target triple = "x86_64-pc-windows-msvc"
23
24$"\01??_C@_09KJEHOMHG@__finally?$AA@" = comdat any
25
26$"\01??_C@_08MLCMLGHM@__except?$AA@" = comdat any
27
28@"\01??_C@_09KJEHOMHG@__finally?$AA@" = linkonce_odr unnamed_addr constant [10 x i8] c"__finally\00", comdat, align 1
29@"\01??_C@_08MLCMLGHM@__except?$AA@" = linkonce_odr unnamed_addr constant [9 x i8] c"__except\00", comdat, align 1
30
31declare void @crash()
32
33declare i32 @filt()
34
35; Function Attrs: nounwind uwtable
36define void @use_both() #1 personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) {
37entry:
38  %exn.slot = alloca i8*
39  %ehselector.slot = alloca i32
40  invoke void @crash() #5
41          to label %invoke.cont unwind label %__finally
42
43invoke.cont:                                      ; preds = %entry
44  %0 = call i8* @llvm.localaddress()
45  invoke void @"\01?fin$0@0@use_both@@"(i1 zeroext false, i8* %0) #5
46          to label %invoke.cont2 unwind label %catch.dispatch
47
48invoke.cont2:                                     ; preds = %invoke.cont
49  br label %__try.cont
50
51__finally:                                             ; preds = %entry
52  %cleanuppad = cleanuppad within none []
53  %locals = call i8* @llvm.localaddress()
54  invoke void @"\01?fin$0@0@use_both@@"(i1 zeroext true, i8* %locals) #5 [ "funclet"(token %cleanuppad) ]
55          to label %invoke.cont3 unwind label %catch.dispatch
56
57invoke.cont3:                                     ; preds = %__finally
58  cleanupret from %cleanuppad unwind label %catch.dispatch
59
60catch.dispatch:                                   ; preds = %invoke.cont3, %lpad1
61  %cs1 = catchswitch within none [label %__except] unwind to caller
62
63__except:                                         ; preds = %catch.dispatch
64  %catchpad = catchpad within %cs1 [i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@use_both@@" to i8*)]
65  %call = call i32 @puts(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @"\01??_C@_08MLCMLGHM@__except?$AA@", i32 0, i32 0)) [ "funclet"(token %catchpad) ]
66  catchret from %catchpad to label %__try.cont
67
68__try.cont:                                       ; preds = %__except, %invoke.cont2
69  ret void
70}
71
72; CHECK-LABEL: use_both:
73; CHECK: .Ltmp0
74; CHECK: callq crash
75; CHECK: .Ltmp1
76; CHECK: .Ltmp4
77; CHECK: callq "?fin$0@0@use_both@@"
78; CHECK: .Ltmp5
79; CHECK: retq
80;
81; CHECK: .seh_handlerdata
82; CHECK-NEXT: .Luse_both$parent_frame_offset
83; CHECK-NEXT: .long (.Llsda_end0-.Llsda_begin0)/16
84; CHECK-NEXT: .Llsda_begin0:
85; CHECK-NEXT: .long .Ltmp0@IMGREL+1
86; CHECK-NEXT: .long .Ltmp1@IMGREL+1
87; CHECK-NEXT: .long "?dtor$2@?0?use_both@4HA"@IMGREL
88; CHECK-NEXT: .long 0
89; CHECK-NEXT: .long .Ltmp0@IMGREL+1
90; CHECK-NEXT: .long .Ltmp1@IMGREL+1
91; CHECK-NEXT: .long "?filt$0@0@use_both@@"@IMGREL
92; CHECK-NEXT: .long .LBB0_{{[0-9]+}}@IMGREL
93; CHECK-NEXT: .long .Ltmp4@IMGREL+1
94; CHECK-NEXT: .long .Ltmp5@IMGREL+1
95; CHECK-NEXT: .long "?filt$0@0@use_both@@"@IMGREL
96; CHECK-NEXT: .long .LBB0_{{[0-9]+}}@IMGREL
97; CHECK-NEXT: .Llsda_end0:
98
99; Function Attrs: noinline nounwind
100define internal i32 @"\01?filt$0@0@use_both@@"(i8* %exception_pointers, i8* %frame_pointer) #2 {
101entry:
102  %frame_pointer.addr = alloca i8*, align 8
103  %exception_pointers.addr = alloca i8*, align 8
104  %exn.slot = alloca i8*
105  store i8* %frame_pointer, i8** %frame_pointer.addr, align 8
106  store i8* %exception_pointers, i8** %exception_pointers.addr, align 8
107  %0 = load i8*, i8** %exception_pointers.addr
108  %1 = bitcast i8* %0 to { i32*, i8* }*
109  %2 = getelementptr inbounds { i32*, i8* }, { i32*, i8* }* %1, i32 0, i32 0
110  %3 = load i32*, i32** %2
111  %4 = load i32, i32* %3
112  %5 = zext i32 %4 to i64
113  %6 = inttoptr i64 %5 to i8*
114  store i8* %6, i8** %exn.slot
115  %call = call i32 @filt()
116  ret i32 %call
117}
118
119define internal void @"\01?fin$0@0@use_both@@"(i1 zeroext %abnormal_termination, i8* %frame_pointer) #3 {
120entry:
121  %frame_pointer.addr = alloca i8*, align 8
122  %abnormal_termination.addr = alloca i8, align 1
123  store i8* %frame_pointer, i8** %frame_pointer.addr, align 8
124  %frombool = zext i1 %abnormal_termination to i8
125  store i8 %frombool, i8* %abnormal_termination.addr, align 1
126  %call = call i32 @puts(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @"\01??_C@_09KJEHOMHG@__finally?$AA@", i32 0, i32 0))
127  ret void
128}
129
130declare i32 @puts(i8*) #3
131
132declare i32 @__C_specific_handler(...)
133
134; Function Attrs: nounwind readnone
135declare i8* @llvm.localaddress() #4
136
137; Function Attrs: nounwind readnone
138declare i32 @llvm.eh.typeid.for(i8*) #4
139
140attributes #0 = { noinline nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" }
141attributes #1 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" }
142attributes #2 = { noinline nounwind "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" }
143attributes #3 = { "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "unsafe-fp-math"="false" "use-soft-float"="false" }
144attributes #4 = { nounwind readnone }
145attributes #5 = { noinline }
146attributes #6 = { nounwind }
147