diff options
Diffstat (limited to 'test/CodeGen/exceptions-seh.c')
| -rw-r--r-- | test/CodeGen/exceptions-seh.c | 172 |
1 files changed, 111 insertions, 61 deletions
diff --git a/test/CodeGen/exceptions-seh.c b/test/CodeGen/exceptions-seh.c index 9707a9a..b027bd8 100644 --- a/test/CodeGen/exceptions-seh.c +++ b/test/CodeGen/exceptions-seh.c @@ -1,7 +1,11 @@ -// RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -o - \ +// 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 -emit-llvm -o - \ +// 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; @@ -23,36 +27,25 @@ int safe_div(int numerator, int denominator, int *res) { return success; } -// X64-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res) {{.*}} personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) -// X64: invoke void @try_body(i32 %{{.*}}, i32 %{{.*}}, i32* %{{.*}}) #[[NOINLINE:[0-9]+]] -// X64: to label %{{.*}} unwind label %[[lpad:[^ ]*]] +// 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:[^ ]*]] // -// X64: [[lpad]] -// X64: landingpad { i8*, i32 } -// X64-NEXT: catch i8* null -// X64-NOT: br i1 -// X64: br label %[[except:[^ ]*]] -// X64: [[except]] -// X64: store i32 -42, i32* %[[success:[^ ]*]] +// CHECK: [[catchpad]] +// X64: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [i8* null] +// X86: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [i8* bitcast (i32 ()* @"\01?filt$0@0@safe_div@@" to i8*)] +// CHECK-NEXT: catchret from %[[padtoken]] to label %[[except:[^ ]*]] // -// X64: %[[res:[^ ]*]] = load i32, i32* %[[success]] -// X64: ret i32 %[[res]] - -// X86-LABEL: define i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res) {{.*}} personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) -// X86: invoke void @try_body(i32 %{{.*}}, i32 %{{.*}}, i32* %{{.*}}) #[[NOINLINE:[0-9]+]] -// X86: to label %{{.*}} unwind label %[[lpad:[^ ]*]] -// -// X86: [[lpad]] -// X86: landingpad { i8*, i32 } -// X86-NEXT: catch i8* bitcast (i32 ()* @"\01?filt$0@0@safe_div@@" to i8*) -// X86-NOT: br i1 -// X86: br label %[[except:[^ ]*]] -// X86: [[except]] -// X86: store i32 -42, i32* %[[success:[^ ]*]] +// CHECK: [[except]] +// CHECK: store i32 -42, i32* %[[success:[^ ]*]] // -// X86: %[[res:[^ ]*]] = load i32, i32* %[[success]] -// X86: ret i32 %[[res]] +// 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]]) @@ -63,6 +56,12 @@ int safe_div(int numerator, int denominator, int *res) { // 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) { @@ -83,15 +82,15 @@ int filter_expr_capture(void) { // CHECK: store i32 42, i32* %[[r]] // CHECK: invoke void @j() #[[NOINLINE]] // -// CHECK: landingpad -// CHECK-NEXT: catch i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@filter_expr_capture@@" to i8*) +// CHECK: catchpad within %{{[^ ]*}} [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) +// X64: %[[fp:[^ ]*]] = call i8* @llvm.x86.seh.recoverfp(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %frame_pointer) +// X64: call i8* @llvm.localrecover(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %[[fp]], i32 0) // // X86-LABEL: define internal i32 @"\01?filt$0@0@filter_expr_capture@@"() // X86: %[[ebp:[^ ]*]] = call i8* @llvm.frameaddress(i32 1) @@ -120,29 +119,19 @@ int nested_try(void) { // 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 %[[lpad:[^ ]*]] -// -// CHECK: [[cont]] -// CHECK: store i32 0, i32* %[[r]] -// CHECK: br label %[[inner_try_cont:[^ ]*]] +// CHECK: to label %[[cont:[^ ]*]] unwind label %[[cswitch_inner:[^ ]*]] // -// CHECK: [[lpad]] -// CHECK: landingpad { i8*, i32 } -// CHECK: catch i8* bitcast (i32 ({{.*}})* @"\01?filt$1@0@nested_try@@" to i8*) -// CHECK: catch i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@nested_try@@" to i8*) -// CHECK: store i8* %{{.*}}, i8** %[[ehptr_slot:[^ ]*]] -// CHECK: store i32 %{{.*}}, i32* %[[sel_slot:[^ ]*]] +// CHECK: [[cswitch_inner]] +// CHECK: %[[cs_inner:[^ ]*]] = catchswitch within none [label %[[cpad_inner:[^ ]*]]] unwind label %[[cswitch_outer:[^ ]*]] // -// CHECK: load i32, i32* %[[sel_slot]] -// CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ({{.*}})* @"\01?filt$1@0@nested_try@@" to i8*)) -// CHECK: icmp eq i32 -// CHECK: br i1 +// CHECK: [[cswitch_outer]] +// CHECK: %[[cs_outer:[^ ]*]] = catchswitch within none [label %[[cpad_outer:[^ ]*]]] unwind to caller // -// CHECK: load i32, i32* %[[sel_slot]] -// CHECK: call i32 @llvm.eh.typeid.for(i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@nested_try@@" to i8*)) -// CHECK: icmp eq i32 -// CHECK: br i1 +// CHECK: [[cpad_outer]] +// CHECK: catchpad within %{{[^ ]*}} [i8* bitcast (i32 ({{.*}})* @"\01?filt$0@0@nested_try@@" to i8*)] +// CHECK-NEXT: catchret {{.*}} to label %[[except_outer:[^ ]*]] // +// CHECK: [[except_outer]] // CHECK: store i32 456, i32* %[[r]] // CHECK: br label %[[outer_try_cont:[^ ]*]] // @@ -150,12 +139,21 @@ int nested_try(void) { // CHECK: %[[r_load:[^ ]*]] = load i32, i32* %[[r]] // CHECK: ret i32 %[[r_load]] // +// CHECK: [[cpad_inner]] +// CHECK: catchpad within %[[cs_inner]] [i8* bitcast (i32 ({{.*}})* @"\01?filt$1@0@nested_try@@" to i8*)] +// CHECK-NEXT: catchret {{.*}} to label %[[except_inner:[^ ]*]] +// +// CHECK: [[except_inner]] // CHECK: store i32 123, i32* %[[r]] -// CHECK: br label %[[inner_try_cont]] +// CHECK: br label %[[inner_try_cont:[^ ]*]] // // CHECK: [[inner_try_cont]] // CHECK: br label %[[outer_try_cont]] // +// 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** @@ -184,7 +182,7 @@ int basic_finally(int g) { // CHECK: store i32 %g, i32* %[[g_addr]] // // CHECK: invoke void @j() -// CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] +// CHECK: to label %[[cont:[^ ]*]] unwind label %[[cleanuppad:[^ ]*]] // // CHECK: [[cont]] // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress() @@ -192,12 +190,11 @@ int basic_finally(int g) { // CHECK: load i32, i32* %[[g_addr]], align 4 // CHECK: ret i32 // -// CHECK: [[lpad]] -// CHECK: landingpad { i8*, i32 } -// CHECK-NEXT: cleanup +// CHECK: [[cleanuppad]] +// CHECK: %[[padtoken:[^ ]*]] = cleanuppad within none [] // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress() // CHECK: call void @"\01?fin$0@0@basic_finally@@"({{i8( zeroext)?}} 1, i8* %[[fp]]) -// CHECK: resume +// CHECK: cleanupret from %[[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) @@ -216,18 +213,71 @@ int except_return(void) { } // CHECK-LABEL: define i32 @except_return() // CHECK: %[[tmp:[^ ]*]] = invoke i32 @returns_int() -// CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] +// CHECK: to label %[[cont:[^ ]*]] unwind label %[[catchpad:[^ ]*]] // -// CHECK: [[cont]] -// CHECK: store i32 %[[tmp]], i32* %[[rv:[^ ]*]] +// CHECK: [[catchpad]] +// CHECK: catchpad +// CHECK: catchret +// CHECK: store i32 42, i32* %[[rv:[^ ]*]] // CHECK: br label %[[retbb:[^ ]*]] // -// CHECK: [[lpad]] -// CHECK: store i32 42, i32* %[[rv]] +// 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 from %[[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.*}} } |
