| // RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -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: | FileCheck %s --check-prefix=CHECK --check-prefix=X86 |
| // RUN: %clang_cc1 %s -triple aarch64-windows -fms-extensions -emit-llvm -o - \ |
| // RUN: | FileCheck %s --check-prefixes=CHECK,ARM64 |
| // RUN: %clang_cc1 %s -triple i686-pc-windows-gnu -fms-extensions -emit-llvm -o - \ |
| // RUN: | FileCheck %s --check-prefix=X86-GNU |
| // RUN: %clang_cc1 %s -triple x86_64-pc-windows-gnu -fms-extensions -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 dso_local 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 dso_local i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res) |
| // X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| // ARM64-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 within %{{[^ ]*}} [i8* null] |
| // ARM64: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [i8* null] |
| // X86: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [i8* bitcast (i32 ()* @"?filt$0@0@safe_div@@" to i8*)] |
| // CHECK-NEXT: catchret from %[[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 @"?filt$0@0@safe_div@@"() |
| // X86: %[[ebp:[^ ]*]] = call i8* @llvm.frameaddress.p0i8(i32 1) |
| // X86: %[[fp:[^ ]*]] = call i8* @llvm.eh.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 dso_local i32 @safe_div(i32 %numerator, i32 %denominator, i32* %res) |
| // X86-GNU-SAME: personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) |
| // X64-GNU-LABEL: define dso_local 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 dso_local i32 @filter_expr_capture() |
| // X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| // ARM64-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:[^ ,]*]]) |
| // ARM64: 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 within %{{[^ ]*}} [i8* bitcast (i32 ({{.*}})* @"?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 @"?filt$0@0@filter_expr_capture@@"(i8* %exception_pointers, i8* %frame_pointer) |
| // X64: %[[fp:[^ ]*]] = call i8* @llvm.eh.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) |
| // |
| // ARM64-LABEL: define internal i32 @"?filt$0@0@filter_expr_capture@@"(i8* %exception_pointers, i8* %frame_pointer) |
| // ARM64: %[[fp:[^ ]*]] = call i8* @llvm.eh.recoverfp(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %frame_pointer) |
| // ARM64: call i8* @llvm.localrecover(i8* bitcast (i32 ()* @filter_expr_capture to i8*), i8* %[[fp]], i32 0) |
| // |
| // X86-LABEL: define internal i32 @"?filt$0@0@filter_expr_capture@@"() |
| // X86: %[[ebp:[^ ]*]] = call i8* @llvm.frameaddress.p0i8(i32 1) |
| // X86: %[[fp:[^ ]*]] = call i8* @llvm.eh.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 dso_local i32 @nested_try() |
| // X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| // ARM64-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 %[[cswitch_inner:[^ ]*]] |
| // |
| // CHECK: [[cswitch_inner]] |
| // CHECK: %[[cs_inner:[^ ]*]] = catchswitch within none [label %[[cpad_inner:[^ ]*]]] unwind label %[[cswitch_outer:[^ ]*]] |
| // |
| // CHECK: [[cswitch_outer]] |
| // CHECK: %[[cs_outer:[^ ]*]] = catchswitch within none [label %[[cpad_outer:[^ ]*]]] unwind to caller |
| // |
| // CHECK: [[cpad_outer]] |
| // CHECK: catchpad within %{{[^ ]*}} [i8* bitcast (i32 ({{.*}})* @"?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:[^ ]*]] |
| // |
| // CHECK: [[outer_try_cont]] |
| // CHECK: %[[r_load:[^ ]*]] = load i32, i32* %[[r]] |
| // CHECK: ret i32 %[[r_load]] |
| // |
| // CHECK: [[cpad_inner]] |
| // CHECK: catchpad within %[[cs_inner]] [i8* bitcast (i32 ({{.*}})* @"?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: [[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 @"?filt$0@0@nested_try@@"({{.*}}) |
| // X86: call i8* @llvm.eh.recoverfp({{.*}}) |
| // CHECK: load i32*, i32** |
| // CHECK: load i32, i32* |
| // CHECK: icmp eq i32 %{{.*}}, 456 |
| // |
| // CHECK-LABEL: define internal i32 @"?filt$1@0@nested_try@@"({{.*}}) |
| // X86: call i8* @llvm.eh.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 dso_local i32 @basic_finally(i32 %g) |
| // X64-SAME: personality i8* bitcast (i32 (...)* @__C_specific_handler to i8*) |
| // ARM64-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 @"?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 within none [] |
| // CHECK: %[[fp:[^ ]*]] = call i8* @llvm.localaddress() |
| // CHECK: call void @"?fin$0@0@basic_finally@@"({{i8( zeroext)?}} 1, i8* %[[fp]]) |
| // CHECK: cleanupret from %[[padtoken]] unwind to caller |
| |
| // CHECK: define internal void @"?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 dso_local 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 dso_local 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 dso_local 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]] |
| // ARM64: %[[code:[^ ]*]] = call i32 @llvm.eh.exceptioncode(token %[[pad]]) |
| // ARM64: 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.*}} } |