1 ; RUN: llc < %s -march=xcore | FileCheck %s
4 declare i32 @__gxx_personality_v0(...)
5 declare i32 @llvm.eh.typeid.for(i8*) nounwind readnone
6 declare i8* @__cxa_begin_catch(i8*)
7 declare void @__cxa_end_catch()
8 declare i8* @__cxa_allocate_exception(i32)
9 declare void @__cxa_throw(i8*, i8*, i8*)
11 @_ZTIi = external constant i8*
12 @_ZTId = external constant i8*
14 ; CHECK-LABEL: fn_typeid:
15 ; CHECK: .cfi_startproc
19 define i32 @fn_typeid() {
21 %0 = call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*)) nounwind
25 ; CHECK-LABEL: fn_throw
26 ; CHECK: .cfi_startproc
28 ; CHECK: .cfi_def_cfa_offset 4
29 ; CHECK: .cfi_offset 15, 0
31 ; CHECK: bl __cxa_allocate_exception
32 ; CHECK: ldaw r1, dp[_ZTIi]
34 ; CHECK: bl __cxa_throw
35 define void @fn_throw() {
37 %0 = call i8* @__cxa_allocate_exception(i32 4) nounwind
38 call void @__cxa_throw(i8* %0, i8* bitcast (i8** @_ZTIi to i8*), i8* null) noreturn
42 ; CHECK-LABEL: fn_catch
43 ; CHECK: .cfi_startproc
44 ; CHECK: .cfi_personality 0, __gxx_personality_v0
45 ; CHECK: [[START:.L[a-zA-Z0-9_]+]]
46 ; CHECK: .cfi_lsda 0, [[LSDA:.L[a-zA-Z0-9_]+]]
48 ; CHECK: .cfi_def_cfa_offset 16
49 ; CHECK: .cfi_offset 15, 0
50 define void @fn_catch() {
53 ; N.B. we alloc no variables, hence force compiler to spill
54 ; CHECK: stw r4, sp[3]
55 ; CHECK: .cfi_offset 4, -4
56 ; CHECK: stw r5, sp[2]
57 ; CHECK: .cfi_offset 5, -8
58 ; CHECK: stw r6, sp[1]
59 ; CHECK: .cfi_offset 6, -12
60 ; CHECK: [[PRE_G:.L[a-zA-Z0-9_]+]]
62 ; CHECK: [[POST_G:.L[a-zA-Z0-9_]+]]
63 ; CHECK: [[RETURN:.L[a-zA-Z0-9_]+]]
64 ; CHECK: ldw r6, sp[1]
65 ; CHECK: ldw r5, sp[2]
66 ; CHECK: ldw r4, sp[3]
68 invoke void @g() to label %cont unwind label %lpad
72 ; CHECK: {{.L[a-zA-Z0-9_]+}}
73 ; CHECK: [[LANDING:.L[a-zA-Z0-9_]+]]
76 ; CHECK: bl __cxa_begin_catch
77 ; CHECK: ldw r6, r0[0]
78 ; CHECK: bl __cxa_end_catch
80 %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
81 catch i8* bitcast (i8** @_ZTIi to i8*)
82 catch i8* bitcast (i8** @_ZTId to i8*)
83 %1 = extractvalue { i8*, i32 } %0, 0
84 %2 = extractvalue { i8*, i32 } %0, 1
85 %3 = call i8* @__cxa_begin_catch(i8* %1) nounwind
86 %4 = bitcast i8* %3 to i32*
88 call void @__cxa_end_catch() nounwind
90 ; CHECK: eq r0, r6, r5
91 ; CHECK: bf r0, [[RETURN]]
93 ; CHECK: bl _Unwind_Resume
95 ; CHECK: [[END:.L[a-zA-Z0-9_]+]]
96 %6 = icmp eq i32 %5, %2
97 br i1 %6, label %Resume, label %Exit
99 resume { i8*, i32 } %0
110 ; CHECK: [[SET0:.L[a-zA-Z0-9_]+]] = [[PRE_G]]-[[START]]
111 ; CHECK: .long [[SET0]]
112 ; CHECK: [[SET1:.L[a-zA-Z0-9_]+]] = [[POST_G]]-[[PRE_G]]
113 ; CHECK: .long [[SET1]]
114 ; CHECK: [[SET2:.L[a-zA-Z0-9_]+]] = [[LANDING]]-[[START]]
115 ; CHECK: .long [[SET2]]
117 ; CHECK: [[SET3:.L[a-zA-Z0-9_]+]] = [[POST_G]]-[[START]]
118 ; CHECK: .long [[SET3]]
119 ; CHECK: [[SET4:.L[a-zA-Z0-9_]+]] = [[END]]-[[POST_G]]
120 ; CHECK: .long [[SET4]]