diff options
Diffstat (limited to 'test/CodeGen/X86/gcc_except_table_functions.ll')
| -rw-r--r-- | test/CodeGen/X86/gcc_except_table_functions.ll | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/test/CodeGen/X86/gcc_except_table_functions.ll b/test/CodeGen/X86/gcc_except_table_functions.ll new file mode 100644 index 0000000..4a81680 --- /dev/null +++ b/test/CodeGen/X86/gcc_except_table_functions.ll @@ -0,0 +1,53 @@ +; RUN: llc -mtriple x86_64-pc-linux-gnu < %s | FileCheck %s + +; This test demonstrates that it is possible to use functions for typeinfo +; instead of global variables. While __gxx_personality_v0 would never know what +; to do with them, other EH schemes such as SEH might use them. + +declare i32 @__gxx_personality_v0(...) +declare void @filt0() +declare void @filt1() +declare void @_Z1fv() +declare i32 @llvm.eh.typeid.for(i8*) + +define i32 @main() uwtable { +entry: + invoke void @_Z1fv() + to label %try.cont unwind label %lpad + +try.cont: + ret i32 0 + +lpad: + %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + catch i8* bitcast (void ()* @filt0 to i8*) + catch i8* bitcast (void ()* @filt1 to i8*) + %sel = extractvalue { i8*, i32 } %0, 1 + %id0 = call i32 @llvm.eh.typeid.for(i8* bitcast (void ()* @filt0 to i8*)) + %is_f0 = icmp eq i32 %sel, %id0 + br i1 %is_f0, label %try.cont, label %check_f1 + +check_f1: + %id1 = call i32 @llvm.eh.typeid.for(i8* bitcast (void ()* @filt1 to i8*)) + %is_f1 = icmp eq i32 %sel, %id1 + br i1 %is_f1, label %try.cont, label %eh.resume + +eh.resume: + resume { i8*, i32 } %0 +} + +; CHECK-LABEL: main: +; CHECK: .cfi_startproc +; CHECK: .cfi_personality 3, __gxx_personality_v0 +; CHECK: .cfi_lsda 3, .Lexception0 +; CHECK: .cfi_def_cfa_offset 16 +; CHECK: callq _Z1fv +; CHECK: retq +; CHECK: cmpl $2, %edx +; CHECK: je +; CHECK: cmpl $1, %edx +; CHECK: je +; CHECK: callq _Unwind_Resume +; CHECK: .cfi_endproc +; CHECK: GCC_except_table0: +; CHECK: Lexception0: |