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
7declare i32 @__gxx_personality_v0(...)
8declare void @filt0()
9declare void @filt1()
10declare void @_Z1fv()
11declare i32 @llvm.eh.typeid.for(i8*)
12
13define i32 @main() uwtable personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
14entry:
15  invoke void @_Z1fv()
16          to label %try.cont unwind label %lpad
17
18try.cont:
19  ret i32 0
20
21lpad:
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
31check_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
36eh.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