blob: 7dfd051d7f46931d18d9769437fde51eb52be56c [file] [log] [blame]
David Majnemer834c5122015-09-15 23:30:42 +00001// RUN: %clang_cc1 %s -triple i686-pc-win32 -fms-extensions -fexceptions -fcxx-exceptions -fnew-ms-eh -emit-llvm -o - -std=c++11 | FileCheck %s
2
3int f(int);
4
5void test_catch() {
6 try {
7 f(1);
8 } catch (int) {
9 f(2);
10 } catch (double) {
11 f(3);
12 }
13}
14
15// CHECK-LABEL: define void @"\01?test_catch@@YAXXZ"(
16// CHECK: invoke i32 @"\01?f@@YAHH@Z"(i32 1)
17// CHECK: to label %[[NORMAL:.*]] unwind label %[[CATCH_INT:.*]]
18
David Majnemer778ac142015-09-15 23:34:59 +000019// CHECK: [[CATCH_INT]]
David Majnemer834c5122015-09-15 23:30:42 +000020// CHECK: %[[CATCHPAD_INT:.*]] = catchpad [{{.*}} @llvm.eh.handlertype.H.0, i8* null]
21// CHECK: to label %[[CATCH_INT_HANDLER:.*]] unwind label %[[CATCH_DOUBLE:.*]]
22
David Majnemer778ac142015-09-15 23:34:59 +000023// CHECK: [[CATCH_INT_HANDLER]]
David Majnemer834c5122015-09-15 23:30:42 +000024// CHECK: invoke i32 @"\01?f@@YAHH@Z"(i32 2)
25// CHECK: to label %[[CATCH_INT_DONE:.*]] unwind label %[[CATCHENDPAD:.*]]
26
David Majnemer778ac142015-09-15 23:34:59 +000027// CHECK: [[CATCH_INT_DONE]]
David Majnemer834c5122015-09-15 23:30:42 +000028// CHECK: catchret %[[CATCHPAD_INT]] to label %[[LEAVE_INT_CATCH:.*]]
29
David Majnemer778ac142015-09-15 23:34:59 +000030// CHECK: [[LEAVE_INT_CATCH]]
David Majnemer834c5122015-09-15 23:30:42 +000031// CHECK: br label %[[LEAVE_FUNC:.*]]
32
David Majnemer778ac142015-09-15 23:34:59 +000033// CHECK: [[LEAVE_FUNC]]
David Majnemer834c5122015-09-15 23:30:42 +000034// CHECK: ret void
35
David Majnemer778ac142015-09-15 23:34:59 +000036// CHECK: [[CATCH_DOUBLE]]
David Majnemer834c5122015-09-15 23:30:42 +000037// CHECK: %[[CATCHPAD_DOUBLE:.*]] = catchpad [{{.*}} @llvm.eh.handlertype.N.0, i8* null]
38// CHECK: to label %[[CATCH_DOUBLE_HANDLER:.*]] unwind label %[[CATCHENDPAD]]
39
David Majnemer778ac142015-09-15 23:34:59 +000040// CHECK: [[CATCH_DOUBLE_HANDLER]]
David Majnemer834c5122015-09-15 23:30:42 +000041// CHECK: invoke i32 @"\01?f@@YAHH@Z"(i32 3)
42// CHECK: to label %[[CATCH_DOUBLE_DONE:.*]] unwind label %[[CATCHENDPAD]]
43
David Majnemer778ac142015-09-15 23:34:59 +000044// CHECK: [[CATCH_DOUBLE_DONE]]
David Majnemer834c5122015-09-15 23:30:42 +000045// CHECK: catchret %[[CATCHPAD_DOUBLE]] to label %[[LEAVE_DOUBLE_CATCH:.*]]
46
David Majnemer778ac142015-09-15 23:34:59 +000047// CHECK: [[LEAVE_DOUBLE_CATCH]]
David Majnemer834c5122015-09-15 23:30:42 +000048// CHECK: br label %[[LEAVE_FUNC]]
49
David Majnemer778ac142015-09-15 23:34:59 +000050// CHECK: [[CATCHENDPAD]]
David Majnemer834c5122015-09-15 23:30:42 +000051// CHECK: catchendpad unwind to caller
52
David Majnemer778ac142015-09-15 23:34:59 +000053// CHECK: [[NORMAL]]
David Majnemer834c5122015-09-15 23:30:42 +000054// CHECK: br label %[[LEAVE_FUNC]]
55
56struct Cleanup {
57 ~Cleanup() { f(-1); }
58};
59
60void test_cleanup() {
61 Cleanup C;
62 f(1);
63}
64
65// CHECK-LABEL: define {{.*}} @"\01?test_cleanup@@YAXXZ"(
66// CHECK: invoke i32 @"\01?f@@YAHH@Z"(i32 1)
67// CHECK: to label %[[LEAVE_FUNC:.*]] unwind label %[[CLEANUP:.*]]
68
David Majnemer778ac142015-09-15 23:34:59 +000069// CHECK: [[LEAVE_FUNC]]
David Majnemer834c5122015-09-15 23:30:42 +000070// CHECK: call x86_thiscallcc void @"\01??_DCleanup@@QAE@XZ"(
71// CHECK: ret void
72
David Majnemer778ac142015-09-15 23:34:59 +000073// CHECK: [[CLEANUP]]
David Majnemer834c5122015-09-15 23:30:42 +000074// CHECK: %[[CLEANUPPAD:.*]] = cleanuppad []
75// CHECK: call x86_thiscallcc void @"\01??_DCleanup@@QAE@XZ"(
76// CHECK: cleanupret %[[CLEANUPPAD]] unwind to caller
77
78
79// CHECK-LABEL: define {{.*}} void @"\01??1Cleanup@@QAE@XZ"(
80// CHECK: entry:
81// CHECK: invoke i32 @"\01?f@@YAHH@Z"(i32 -1)
82// CHECK: to label %[[LEAVE_FUNC:.*]] unwind label %[[TERMINATE:.*]]
83
David Majnemer778ac142015-09-15 23:34:59 +000084// CHECK: [[LEAVE_FUNC]]
David Majnemer834c5122015-09-15 23:30:42 +000085// CHECK: ret void
86
David Majnemer778ac142015-09-15 23:34:59 +000087// CHECK: [[TERMINATE]]
David Majnemer834c5122015-09-15 23:30:42 +000088// CHECK: terminatepad [void ()* @"\01?terminate@@YAXXZ"] unwind to caller
89