1 // RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -o - | FileCheck %s
2
3 // FIXME: Perform this outlining automatically CodeGen.
try_body(int numerator,int denominator,int * myres)4 void try_body(int numerator, int denominator, int *myres) {
5 *myres = numerator / denominator;
6 }
7 // CHECK-LABEL: define void @try_body(i32 %numerator, i32 %denominator, i32* %myres)
8 // CHECK: sdiv i32
9 // CHECK: store i32 %{{.*}}, i32*
10 // CHECK: ret void
11
safe_div(int numerator,int denominator,int * res)12 int safe_div(int numerator, int denominator, int *res) {
13 int myres = 0;
14 int success = 1;
15 __try {
16 try_body(numerator, denominator, &myres);
17 } __except (1) {
18 success = -42;
19 }
20 *res = myres;
21 return success;
22 }
23 // CHECK-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res)
24 // CHECK: invoke void @try_body(i32 %{{.*}}, i32 %{{.*}}, i32* %{{.*}}) #[[NOINLINE:[0-9]+]]
25 // CHECK: to label %{{.*}} unwind label %[[lpad:[^ ]*]]
26 //
27 // CHECK: [[lpad]]
28 // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
29 // CHECK-NEXT: catch i8* null
30 // CHECK-NOT: br i1
31 // CHECK: br label %[[except:[^ ]*]]
32 // CHECK: [[except]]
33 // CHECK-NEXT: store i32 -42, i32* %[[success:[^ ]*]]
34 //
35 // CHECK: %[[res:[^ ]*]] = load i32, i32* %[[success]]
36 // CHECK: ret i32 %[[res]]
37
38 void j(void);
39
40 // FIXME: Implement local variable captures in filter expressions.
filter_expr_capture(void)41 int filter_expr_capture(void) {
42 int r = 42;
43 __try {
44 j();
45 } __except(/*r =*/ -1) {
46 r = 13;
47 }
48 return r;
49 }
50
51 // CHECK-LABEL: define i32 @filter_expr_capture()
52 // FIXMECHECK: %[[captures]] = call i8* @llvm.frameallocate(i32 4)
53 // CHECK: store i32 42, i32* %[[r:[^ ,]*]]
54 // CHECK: invoke void @j() #[[NOINLINE]]
55 //
56 // CHECK: landingpad
57 // CHECK-NEXT: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@filter_expr_capture@@" to i8*)
58 // CHECK: store i32 13, i32* %[[r]]
59 //
60 // CHECK: %[[rv:[^ ]*]] = load i32, i32* %[[r]]
61 // CHECK: ret i32 %[[rv]]
62
63 // CHECK-LABEL: define internal i32 @"\01?filt$0@0@filter_expr_capture@@"(i8* %exception_pointers, i8* %frame_pointer)
64 // FIXMECHECK: %[[captures]] = call i8* @llvm.framerecover(i8* bitcast (i32 ()* @filter_expr_capture, i8* %frame_pointer)
65 // FIXMECHECK: store i32 -1, i32* %{{.*}}
66 // CHECK: ret i32 -1
67
nested_try(void)68 int nested_try(void) {
69 int r = 42;
70 __try {
71 __try {
72 j();
73 r = 0;
74 } __except(_exception_code() == 123) {
75 r = 123;
76 }
77 } __except(_exception_code() == 456) {
78 r = 456;
79 }
80 return r;
81 }
82 // CHECK-LABEL: define i32 @nested_try()
83 // CHECK: store i32 42, i32* %[[r:[^ ,]*]]
84 // CHECK: invoke void @j() #[[NOINLINE]]
85 // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
86 //
87 // CHECK: [[cont]]
88 // CHECK: store i32 0, i32* %[[r]]
89 // CHECK: br label %[[inner_try_cont:[^ ]*]]
90 //
91 // CHECK: [[lpad]]
92 // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
93 // CHECK: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$1@0@nested_try@@" to i8*)
94 // CHECK: catch i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@nested_try@@" to i8*)
95 // CHECK: store i8* %{{.*}}, i8** %[[ehptr_slot:[^ ]*]]
96 // CHECK: store i32 %{{.*}}, i32* %[[sel_slot:[^ ]*]]
97 //
98 // CHECK: load i32, i32* %[[sel_slot]]
99 // CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @"\01?filt$1@0@nested_try@@" to i8*))
100 // CHECK: icmp eq i32
101 // CHECK: br i1
102 //
103 // CHECK: load i32, i32* %[[sel_slot]]
104 // CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @"\01?filt$0@0@nested_try@@" to i8*))
105 // CHECK: icmp eq i32
106 // CHECK: br i1
107 //
108 // CHECK: store i32 456, i32* %[[r]]
109 // CHECK: br label %[[outer_try_cont:[^ ]*]]
110 //
111 // CHECK: [[outer_try_cont]]
112 // CHECK: %[[r_load:[^ ]*]] = load i32, i32* %[[r]]
113 // CHECK: ret i32 %[[r_load]]
114 //
115 // CHECK: store i32 123, i32* %[[r]]
116 // CHECK: br label %[[inner_try_cont]]
117 //
118 // CHECK: [[inner_try_cont]]
119 // CHECK: br label %[[outer_try_cont]]
120
121 static unsigned g = 0;
basic_finally(void)122 void basic_finally(void) {
123 ++g;
124 __try {
125 j();
126 } __finally {
127 --g;
128 }
129 }
130 // CHECK-LABEL: define void @basic_finally()
131 // CHECK: load i32, i32* @g
132 // CHECK: add i32 %{{.*}}, 1
133 // CHECK: store i32 %{{.*}}, i32* @g
134 //
135 // CHECK: invoke void @j()
136 // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
137 //
138 // CHECK: [[cont]]
139 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.frameaddress(i32 0)
140 // CHECK: call void @"\01?fin$0@0@basic_finally@@"(i1 zeroext false, i8* %[[fp]])
141 // CHECK: ret void
142 //
143 // CHECK: [[lpad]]
144 // CHECK: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
145 // CHECK-NEXT: cleanup
146 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.frameaddress(i32 0)
147 // CHECK: call void @"\01?fin$0@0@basic_finally@@"(i1 zeroext true, i8* %[[fp]])
148 // CHECK: resume
149
150 // CHECK: define internal void @"\01?fin$0@0@basic_finally@@"(i1 zeroext %abnormal_termination, i8* %frame_pointer)
151 // CHECK: load i32, i32* @g, align 4
152 // CHECK: add i32 %{{.*}}, -1
153 // CHECK: store i32 %{{.*}}, i32* @g, align 4
154 // CHECK: ret void
155
156 int returns_int(void);
except_return(void)157 int except_return(void) {
158 __try {
159 return returns_int();
160 } __except(1) {
161 return 42;
162 }
163 }
164 // CHECK-LABEL: define i32 @except_return()
165 // CHECK: %[[tmp:[^ ]*]] = invoke i32 @returns_int()
166 // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]]
167 //
168 // CHECK: [[cont]]
169 // CHECK: store i32 %[[tmp]], i32* %[[rv:[^ ]*]]
170 // CHECK: br label %[[retbb:[^ ]*]]
171 //
172 // CHECK: [[lpad]]
173 // CHECK: store i32 42, i32* %[[rv]]
174 // CHECK: br label %[[retbb]]
175 //
176 // CHECK: [[retbb]]
177 // CHECK: %[[r:[^ ]*]] = load i32, i32* %[[rv]]
178 // CHECK: ret i32 %[[r]]
179
180 // CHECK: attributes #[[NOINLINE]] = { {{.*noinline.*}} }
181