summaryrefslogtreecommitdiffstats
path: root/clang/test/CodeGen/exceptions-seh-new.c
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/CodeGen/exceptions-seh-new.c')
-rw-r--r--clang/test/CodeGen/exceptions-seh-new.c289
1 files changed, 0 insertions, 289 deletions
diff --git a/clang/test/CodeGen/exceptions-seh-new.c b/clang/test/CodeGen/exceptions-seh-new.c
deleted file mode 100644
index 1a50ed0deae..00000000000
--- a/clang/test/CodeGen/exceptions-seh-new.c
+++ /dev/null
@@ -1,289 +0,0 @@
-// RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -fnew-ms-eh -emit-llvm -o - \
-// RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=X64
-// RUN: %clang_cc1 %s -triple i686-pc-win32 -fms-extensions -fnew-ms-eh -emit-llvm -o - \
-// RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=X86
-// RUN: %clang_cc1 %s -triple i686-pc-windows-gnu -fms-extensions -fnew-ms-eh -emit-llvm -o - \
-// RUN: | FileCheck %s --check-prefix=X86-GNU
-// RUN: %clang_cc1 %s -triple x86_64-pc-windows-gnu -fms-extensions -fnew-ms-eh -emit-llvm -o - \
-// RUN: | FileCheck %s --check-prefix=X64-GNU
-
-void try_body(int numerator, int denominator, int *myres) {
- *myres = numerator / denominator;
-}
-// CHECK-LABEL: define void @try_body(i32 %numerator, i32 %denominator, i32* %myres)
-// CHECK: sdiv i32
-// CHECK: store i32 %{{.*}}, i32*
-// CHECK: ret void
-
-int safe_div(int numerator, int denominator, int *res) {
- int myres = 0;
- int success = 1;
- __try {
- try_body(numerator, denominator, &myres);
- } __except (1) {
- success = -42;
- }
- *res = myres;
- return success;
-}
-
-// CHECK-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res)
-// X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
-// X86-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*)
-// CHECK: invoke void @try_body(i32 %{{.*}}, i32 %{{.*}}, i32* %{{.*}}) #[[NOINLINE:[0-9]+]]
-// CHECK: to label %{{.*}} unwind label %[[catchpad:[^ ]*]]
-//
-// CHECK: [[catchpad]]
-// X64: %[[padtoken:[^ ]*]] = catchpad [i8* null]
-// X86: %[[padtoken:[^ ]*]] = catchpad [i8* bitcast (i32 ()* @"\01?filt$0@0@safe_div@@" to i8*)]
-// CHECK-NEXT: to label %[[exceptret:[^ ]*]] unwind label
-//
-// CHECK: [[exceptret]]
-// CHECK: catchret %[[padtoken]] to label %[[except:[^ ]*]]
-//
-// CHECK: [[except]]
-// CHECK: store i32 -42, i32* %[[success:[^ ]*]]
-//
-// CHECK: %[[res:[^ ]*]] = load i32, i32* %[[success]]
-// CHECK: ret i32 %[[res]]
-
-// 32-bit SEH needs this filter to save the exception code.
-//
-// X86-LABEL: define internal i32 @"\01?filt$0@0@safe_div@@"()
-// X86: %[[ebp:[^ ]*]] = call i8* @llvm.frameaddress(i32 1)
-// X86: %[[fp:[^ ]*]] = call i8* @llvm.x86.seh.recoverfp(i8* bitcast (i32 (i32, i32, i32*)* @safe_div to i8*), i8* %[[ebp]])
-// X86: call i8* @llvm.localrecover(i8* bitcast (i32 (i32, i32, i32*)* @safe_div to i8*), i8* %[[fp]], i32 0)
-// X86: load i8*, i8**
-// X86: load i32*, i32**
-// X86: load i32, i32*
-// X86: store i32 %{{.*}}, i32*
-// X86: ret i32 1
-
-// Mingw uses msvcrt, so it can also use _except_handler3.
-// X86-GNU-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res)
-// X86-GNU-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*)
-// X64-GNU-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res)
-// X64-GNU-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
-
-void j(void);
-
-int filter_expr_capture(void) {
- int r = 42;
- __try {
- j();
- } __except(r = -1) {
- r = 13;
- }
- return r;
-}
-
-// CHECK-LABEL: define i32 @filter_expr_capture()
-// X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
-// X86-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*)
-// X64: call void (...) @llvm.localescape(i32* %[[r:[^ ,]*]])
-// X86: call void (...) @llvm.localescape(i32* %[[r:[^ ,]*]], i32* %[[code:[^ ,]*]])
-// CHECK: store i32 42, i32* %[[r]]
-// CHECK: invoke void @j() #[[NOINLINE]]
-//
-// CHECK: catchpad [i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@filter_expr_capture@@" to i8*)]
-// CHECK: store i32 13, i32* %[[r]]
-//
-// CHECK: %[[rv:[^ ]*]] = load i32, i32* %[[r]]
-// CHECK: ret i32 %[[rv]]
-
-// X64-LABEL: define internal i32 @"\01?filt$0@0@filter_expr_capture@@"(i8* %exception_pointers, i8* %frame_pointer)
-// X64: call i8* @llvm.localrecover(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %frame_pointer, i32 0)
-//
-// X86-LABEL: define internal i32 @"\01?filt$0@0@filter_expr_capture@@"()
-// X86: %[[ebp:[^ ]*]] = call i8* @llvm.frameaddress(i32 1)
-// X86: %[[fp:[^ ]*]] = call i8* @llvm.x86.seh.recoverfp(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %[[ebp]])
-// X86: call i8* @llvm.localrecover(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %[[fp]], i32 0)
-//
-// CHECK: store i32 -1, i32* %{{.*}}
-// CHECK: ret i32 -1
-
-int nested_try(void) {
- int r = 42;
- __try {
- __try {
- j();
- r = 0;
- } __except(_exception_code() == 123) {
- r = 123;
- }
- } __except(_exception_code() == 456) {
- r = 456;
- }
- return r;
-}
-// CHECK-LABEL: define i32 @nested_try()
-// X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
-// X86-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*)
-// CHECK: store i32 42, i32* %[[r:[^ ,]*]]
-// CHECK: invoke void @j() #[[NOINLINE]]
-// CHECK: to label %[[cont:[^ ]*]] unwind label %[[cpad_inner:[^ ]*]]
-//
-// CHECK: [[cpad_inner]]
-// CHECK: catchpad [i8* bitcast (i32 ({{.*}})* @"\01?filt$1@0@nested_try@@" to i8*)]
-// CHECK-NEXT: to label %[[exceptret_inner:[^ ]*]] unwind label %[[cpad_outer:[^ ]*]]
-//
-// CHECK: [[exceptret_inner]]
-// CHECK: catchret {{.*}} to label %[[except_inner:[^ ]*]]
-//
-// CHECK: [[except_inner]]
-// CHECK: store i32 123, i32* %[[r]]
-// CHECK: br label %[[inner_try_cont:[^ ]*]]
-//
-// CHECK: [[inner_try_cont]]
-// CHECK: br label %[[outer_try_cont:[^ ]*]]
-//
-// CHECK: [[cpad_outer]]
-// CHECK: catchpad [i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@nested_try@@" to i8*)]
-// CHECK-NEXT: to label %[[exceptret_outer:[^ ]*]] unwind label
-//
-// CHECK: [[exceptret_outer]]
-// CHECK: catchret {{.*}} to label %[[except_outer:[^ ]*]]
-//
-// CHECK: [[except_outer]]
-// CHECK: store i32 456, i32* %[[r]]
-// CHECK: br label %[[outer_try_cont]]
-//
-// CHECK: [[outer_try_cont]]
-// CHECK: %[[r_load:[^ ]*]] = load i32, i32* %[[r]]
-// CHECK: ret i32 %[[r_load]]
-//
-// CHECK: [[cont]]
-// CHECK: store i32 0, i32* %[[r]]
-// CHECK: br label %[[inner_try_cont]]
-//
-// CHECK-LABEL: define internal i32 @"\01?filt$0@0@nested_try@@"({{.*}})
-// X86: call i8* @llvm.x86.seh.recoverfp({{.*}})
-// CHECK: load i32*, i32**
-// CHECK: load i32, i32*
-// CHECK: icmp eq i32 %{{.*}}, 456
-//
-// CHECK-LABEL: define internal i32 @"\01?filt$1@0@nested_try@@"({{.*}})
-// X86: call i8* @llvm.x86.seh.recoverfp({{.*}})
-// CHECK: load i32*, i32**
-// CHECK: load i32, i32*
-// CHECK: icmp eq i32 %{{.*}}, 123
-
-int basic_finally(int g) {
- __try {
- j();
- } __finally {
- ++g;
- }
- return g;
-}
-// CHECK-LABEL: define i32 @basic_finally(i32 %g)
-// X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*)
-// X86-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*)
-// CHECK: %[[g_addr:[^ ]*]] = alloca i32, align 4
-// CHECK: call void (...) @llvm.localescape(i32* %[[g_addr]])
-// CHECK: store i32 %g, i32* %[[g_addr]]
-//
-// CHECK: invoke void @j()
-// CHECK: to label %[[cont:[^ ]*]] unwind label %[[cleanuppad:[^ ]*]]
-//
-// CHECK: [[cont]]
-// CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
-// CHECK: call void @"\01?fin$0@0@basic_finally@@"({{i8( zeroext)?}} 0, i8* %[[fp]])
-// CHECK: load i32, i32* %[[g_addr]], align 4
-// CHECK: ret i32
-//
-// CHECK: [[cleanuppad]]
-// CHECK: %[[padtoken:[^ ]*]] = cleanuppad []
-// CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress()
-// CHECK: invoke void @"\01?fin$0@0@basic_finally@@"({{i8( zeroext)?}} 1, i8* %[[fp]])
-// CHECK: to label %[[cleanupcont:[^ ]*]] unwind label %[[cleanupend:[^ ]*]]
-// CHECK: [[cleanupcont]]
-// CHECK: cleanupret %[[padtoken]] unwind to caller
-// CHECK: [[cleanupend]]
-// CHECK: cleanupendpad %[[padtoken]] unwind to caller
-
-// CHECK: define internal void @"\01?fin$0@0@basic_finally@@"({{i8( zeroext)?}} %abnormal_termination, i8* %frame_pointer)
-// CHECK: call i8* @llvm.localrecover(i8* bitcast (i32 (i32)* @basic_finally to i8*), i8* %frame_pointer, i32 0)
-// CHECK: load i32, i32* %{{.*}}, align 4
-// CHECK: add nsw i32 %{{.*}}, 1
-// CHECK: store i32 %{{.*}}, i32* %{{.*}}, align 4
-// CHECK: ret void
-
-int returns_int(void);
-int except_return(void) {
- __try {
- return returns_int();
- } __except(1) {
- return 42;
- }
-}
-// CHECK-LABEL: define i32 @except_return()
-// CHECK: %[[tmp:[^ ]*]] = invoke i32 @returns_int()
-// CHECK: to label %[[cont:[^ ]*]] unwind label %[[catchpad:[^ ]*]]
-//
-// CHECK: [[catchpad]]
-// CHECK: catchpad
-// CHECK: catchret
-// CHECK: store i32 42, i32* %[[rv:[^ ]*]]
-// CHECK: br label %[[retbb:[^ ]*]]
-//
-// CHECK: [[cont]]
-// CHECK: store i32 %[[tmp]], i32* %[[rv]]
-// CHECK: br label %[[retbb]]
-//
-// CHECK: [[retbb]]
-// CHECK: %[[r:[^ ]*]] = load i32, i32* %[[rv]]
-// CHECK: ret i32 %[[r]]
-
-
-// PR 24751: don't assert if a variable is used twice in a __finally block.
-// Also, make sure we don't do redundant work to capture/project it.
-void finally_capture_twice(int x) {
- __try {
- } __finally {
- int y = x;
- int z = x;
- }
-}
-//
-// CHECK-LABEL: define void @finally_capture_twice(
-// CHECK: [[X:%.*]] = alloca i32, align 4
-// CHECK: call void (...) @llvm.localescape(i32* [[X]])
-// CHECK-NEXT: store i32 {{.*}}, i32* [[X]], align 4
-// CHECK-NEXT: [[LOCAL:%.*]] = call i8* @llvm.localaddress()
-// CHECK-NEXT: call void [[FINALLY:@.*]](i8{{ zeroext | }}0, i8* [[LOCAL]])
-// CHECK: define internal void [[FINALLY]](
-// CHECK: [[LOCAL:%.*]] = call i8* @llvm.localrecover(
-// CHECK: [[X:%.*]] = bitcast i8* [[LOCAL]] to i32*
-// CHECK-NEXT: [[Y:%.*]] = alloca i32, align 4
-// CHECK-NEXT: [[Z:%.*]] = alloca i32, align 4
-// CHECK-NEXT: store i8*
-// CHECK-NEXT: store i8
-// CHECK-NEXT: [[T0:%.*]] = load i32, i32* [[X]], align 4
-// CHECK-NEXT: store i32 [[T0]], i32* [[Y]], align 4
-// CHECK-NEXT: [[T0:%.*]] = load i32, i32* [[X]], align 4
-// CHECK-NEXT: store i32 [[T0]], i32* [[Z]], align 4
-// CHECK-NEXT: ret void
-
-int exception_code_in_except(void) {
- __try {
- try_body(0, 0, 0);
- } __except(1) {
- return _exception_code();
- }
-}
-
-// CHECK-LABEL: define i32 @exception_code_in_except()
-// CHECK: %[[ret_slot:[^ ]*]] = alloca i32
-// CHECK: %[[code_slot:[^ ]*]] = alloca i32
-// CHECK: invoke void @try_body(i32 0, i32 0, i32* null)
-// CHECK: %[[pad:[^ ]*]] = catchpad
-// CHECK: catchret %[[pad]]
-// X64: %[[code:[^ ]*]] = call i32 @llvm.eh.exceptioncode(token %[[pad]])
-// X64: store i32 %[[code]], i32* %[[code_slot]]
-// CHECK: %[[ret1:[^ ]*]] = load i32, i32* %[[code_slot]]
-// CHECK: store i32 %[[ret1]], i32* %[[ret_slot]]
-// CHECK: %[[ret2:[^ ]*]] = load i32, i32* %[[ret_slot]]
-// CHECK: ret i32 %[[ret2]]
-
-// CHECK: attributes #[[NOINLINE]] = { {{.*noinline.*}} }
OpenPOWER on IntegriCloud