1 // RUN: %clang_cc1 -std=c++11 -fblocks -fms-extensions %s -triple=x86_64-windows-msvc -emit-llvm \
2 // RUN: -o - -mconstructor-aliases -fcxx-exceptions -fexceptions | \
3 // RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CXXEH
4
5 extern "C" int basic_filter(int v, ...);
6 extern "C" void might_crash();
7
test_freefunc(int p1)8 extern "C" void test_freefunc(int p1) {
9 int l1 = 13;
10 static int s1 = 42;
11 __try {
12 might_crash();
13 } __except(basic_filter(p1, l1, s1)) {
14 }
15 }
16
17 // CHECK-LABEL: define dso_local void @test_freefunc(i32 %p1)
18 // CHECK: @llvm.localescape(i32* %[[p1_ptr:[^, ]*]], i32* %[[l1_ptr:[^, ]*]])
19 // CHECK: store i32 %p1, i32* %[[p1_ptr]], align 4
20 // CHECK: store i32 13, i32* %[[l1_ptr]], align 4
21 // CHECK: invoke void @might_crash()
22
23 // CHECK-LABEL: define internal i32 @"?filt$0@0@test_freefunc@@"(i8* %exception_pointers, i8* %frame_pointer)
24 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.eh.recoverfp(i8* bitcast (void (i32)* @test_freefunc to i8*), i8* %frame_pointer)
25 // CHECK: %[[p1_i8:[^ ]*]] = call i8* @llvm.localrecover(i8* bitcast (void (i32)* @test_freefunc to i8*), i8* %[[fp]], i32 0)
26 // CHECK: %[[p1_ptr:[^ ]*]] = bitcast i8* %[[p1_i8]] to i32*
27 // CHECK: %[[l1_i8:[^ ]*]] = call i8* @llvm.localrecover(i8* bitcast (void (i32)* @test_freefunc to i8*), i8* %[[fp]], i32 1)
28 // CHECK: %[[l1_ptr:[^ ]*]] = bitcast i8* %[[l1_i8]] to i32*
29 // CHECK: %[[s1:[^ ]*]] = load i32, i32* @"?s1@?1??test_freefunc@@9@4HA", align 4
30 // CHECK: %[[l1:[^ ]*]] = load i32, i32* %[[l1_ptr]]
31 // CHECK: %[[p1:[^ ]*]] = load i32, i32* %[[p1_ptr]]
32 // CHECK: call i32 (i32, ...) @basic_filter(i32 %[[p1]], i32 %[[l1]], i32 %[[s1]])
33
34 struct S {
35 int m1;
36 void test_method(void);
37 };
38
test_method()39 void S::test_method() {
40 int l1 = 13;
41 __try {
42 might_crash();
43 } __except(basic_filter(l1)) {
44 // FIXME: Test capturing 'this' and 'm1'.
45 }
46 }
47
48 // CHECK-LABEL: define dso_local void @"?test_method@S@@QEAAXXZ"(%struct.S* %this)
49 // CHECK: @llvm.localescape(i32* %[[l1_addr:[^, ]*]])
50 // CHECK: store i32 13, i32* %[[l1_addr]], align 4
51 // CHECK: invoke void @might_crash()
52
53 // CHECK-LABEL: define internal i32 @"?filt$0@0@test_method@S@@"(i8* %exception_pointers, i8* %frame_pointer)
54 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.eh.recoverfp(i8* bitcast (void (%struct.S*)* @"?test_method@S@@QEAAXXZ" to i8*), i8* %frame_pointer)
55 // CHECK: %[[l1_i8:[^ ]*]] = call i8* @llvm.localrecover(i8* bitcast (void (%struct.S*)* @"?test_method@S@@QEAAXXZ" to i8*), i8* %[[fp]], i32 0)
56 // CHECK: %[[l1_ptr:[^ ]*]] = bitcast i8* %[[l1_i8]] to i32*
57 // CHECK: %[[l1:[^ ]*]] = load i32, i32* %[[l1_ptr]]
58 // CHECK: call i32 (i32, ...) @basic_filter(i32 %[[l1]])
59
test_lambda()60 void test_lambda() {
61 int l1 = 13;
62 auto lambda = [&]() {
63 int l2 = 42;
64 __try {
65 might_crash();
66 } __except(basic_filter(l2)) {
67 // FIXME: Test 'l1' when we can capture the lambda's 'this' decl.
68 }
69 };
70 lambda();
71 }
72
73 // CHECK-LABEL: define internal void @"??R<lambda_0>@?0??test_lambda@@YAXXZ@QEBA@XZ"(%class.anon* %this)
74 // CHECK: @llvm.localescape(i32* %[[l2_addr:[^, ]*]])
75 // CHECK: store i32 42, i32* %[[l2_addr]], align 4
76 // CHECK: invoke void @might_crash()
77
78 // CHECK-LABEL: define internal i32 @"?filt$0@0@?R<lambda_0>@?0??test_lambda@@YAXXZ@"(i8* %exception_pointers, i8* %frame_pointer)
79 // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.eh.recoverfp(i8* bitcast (void (%class.anon*)* @"??R<lambda_0>@?0??test_lambda@@YAXXZ@QEBA@XZ" to i8*), i8* %frame_pointer)
80 // CHECK: %[[l2_i8:[^ ]*]] = call i8* @llvm.localrecover(i8* bitcast (void (%class.anon*)* @"??R<lambda_0>@?0??test_lambda@@YAXXZ@QEBA@XZ" to i8*), i8* %[[fp]], i32 0)
81 // CHECK: %[[l2_ptr:[^ ]*]] = bitcast i8* %[[l2_i8]] to i32*
82 // CHECK: %[[l2:[^ ]*]] = load i32, i32* %[[l2_ptr]]
83 // CHECK: call i32 (i32, ...) @basic_filter(i32 %[[l2]])
84