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