1 ; RUN: llc -mtriple x86_64-pc-linux-gnu < %s | FileCheck %s 2 3 ; This test demonstrates that it is possible to use functions for typeinfo 4 ; instead of global variables. While __gxx_personality_v0 would never know what 5 ; to do with them, other EH schemes such as SEH might use them. 6 7 declare i32 @__gxx_personality_v0(...) 8 declare void @filt0() 9 declare void @filt1() 10 declare void @_Z1fv() 11 declare i32 @llvm.eh.typeid.for(i8*) 12 13 define i32 @main() uwtable personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { 14 entry: 15 invoke void @_Z1fv() 16 to label %try.cont unwind label %lpad 17 18 try.cont: 19 ret i32 0 20 21 lpad: 22 %0 = landingpad { i8*, i32 } 23 cleanup 24 catch i8* bitcast (void ()* @filt0 to i8*) 25 catch i8* bitcast (void ()* @filt1 to i8*) 26 %sel = extractvalue { i8*, i32 } %0, 1 27 %id0 = call i32 @llvm.eh.typeid.for(i8* bitcast (void ()* @filt0 to i8*)) 28 %is_f0 = icmp eq i32 %sel, %id0 29 br i1 %is_f0, label %try.cont, label %check_f1 30 31 check_f1: 32 %id1 = call i32 @llvm.eh.typeid.for(i8* bitcast (void ()* @filt1 to i8*)) 33 %is_f1 = icmp eq i32 %sel, %id1 34 br i1 %is_f1, label %try.cont, label %eh.resume 35 36 eh.resume: 37 resume { i8*, i32 } %0 38 } 39 40 ; CHECK-LABEL: main: 41 ; CHECK: .cfi_startproc 42 ; CHECK: .cfi_personality 3, __gxx_personality_v0 43 ; CHECK: .cfi_lsda 3, .Lexception0 44 ; CHECK: .cfi_def_cfa_offset 16 45 ; CHECK: callq _Z1fv 46 ; CHECK: retq 47 ; CHECK: cmpl $2, %edx 48 ; CHECK: je 49 ; CHECK: cmpl $1, %edx 50 ; CHECK: je 51 ; CHECK: callq _Unwind_Resume 52 ; CHECK: .cfi_endproc 53 ; CHECK: GCC_except_table0: 54 ; CHECK: Lexception0: 55
