xref: /llvm-project/llvm/test/CodeGen/XCore/exception.ll (revision f1987c74ee5637ec248675a9a7070654167a5260)
1; RUN: llc < %s -mtriple=xcore | FileCheck %s
2
3declare void @g()
4declare i32 @__gxx_personality_v0(...)
5declare i32 @llvm.eh.typeid.for(ptr) nounwind readnone
6declare ptr @__cxa_begin_catch(ptr)
7declare void @__cxa_end_catch()
8declare ptr @__cxa_allocate_exception(i32)
9declare void @__cxa_throw(ptr, ptr, ptr)
10
11@_ZTIi = external constant ptr
12@_ZTId = external constant ptr
13
14; CHECK-LABEL: fn_typeid:
15; CHECK: .cfi_startproc
16; CHECK: mkmsk r0, 1
17; CHECK: retsp 0
18; CHECK: .cfi_endproc
19define i32 @fn_typeid() {
20entry:
21  %0 = call i32 @llvm.eh.typeid.for(ptr @_ZTIi) nounwind
22  ret i32 %0
23}
24
25; CHECK-LABEL: fn_throw
26; CHECK: .cfi_startproc
27; CHECK: entsp 1
28; CHECK: .cfi_def_cfa_offset 4
29; CHECK: .cfi_offset 15, 0
30; CHECK: ldc r0, 4
31; CHECK: bl __cxa_allocate_exception
32; CHECK: ldaw r1, dp[_ZTIi]
33; CHECK: ldc r2, 0
34; CHECK: bl __cxa_throw
35define void @fn_throw() {
36entry:
37  %0 = call ptr @__cxa_allocate_exception(i32 4) nounwind
38  call void @__cxa_throw(ptr %0, ptr @_ZTIi, ptr null) noreturn
39  unreachable
40}
41
42; CHECK-LABEL: fn_catch:
43; CHECK-NEXT: [[START:.L[a-zA-Z0-9_]+]]
44; CHECK: .cfi_startproc
45; CHECK: .cfi_personality 0, __gxx_personality_v0
46; CHECK: .cfi_lsda 0, [[LSDA:.L[a-zA-Z0-9_]+]]
47; CHECK: entsp 4
48; CHECK: .cfi_def_cfa_offset 16
49; CHECK: .cfi_offset 15, 0
50define void @fn_catch() personality ptr @__gxx_personality_v0 {
51entry:
52
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_]+]]
61; CHECK: bl g
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]
67; CHECK: retsp 4
68  invoke void @g() to label %cont unwind label %lpad
69cont:
70  ret void
71
72; CHECK: {{.L[a-zA-Z0-9_]+}}
73; CHECK: [[LANDING:.L[a-zA-Z0-9_]+]]
74; CHECK: mov r5, r1
75; CHECK: mov r4, r0
76; CHECK: bl __cxa_begin_catch
77; CHECK: ldw r6, r0[0]
78; CHECK: bl __cxa_end_catch
79lpad:
80  %0 = landingpad { ptr, i32 }
81          cleanup
82          catch ptr @_ZTIi
83          catch ptr @_ZTId
84  %1 = extractvalue { ptr, i32 } %0, 0
85  %2 = extractvalue { ptr, i32 } %0, 1
86  %3 = call ptr @__cxa_begin_catch(ptr %1) nounwind
87  %4 = load i32, ptr %3
88  call void @__cxa_end_catch() nounwind
89
90; CHECK: eq r0, r6, r5
91; CHECK: bf r0, [[RETURN]]
92; CHECK: mov r0, r4
93; CHECK: bl _Unwind_Resume
94; CHECK: [[END:.L[a-zA-Z0-9_]+]]
95; CHECK: .cfi_endproc
96  %5 = icmp eq i32 %4, %2
97  br i1 %5, label %Resume, label %Exit
98Resume:
99  resume { ptr, i32 } %0
100Exit:
101  ret void
102}
103
104; CHECK: [[LSDA]]:
105; CHECK: .byte  255
106; CHECK: .byte  0
107; CHECK: .uleb128 [[TTBASE:.Lttbase[0-9]+]]-[[TTBASEREF:.Lttbaseref[0-9]+]]
108; CHECK: [[TTBASEREF]]:
109; CHECK: .byte  1
110; CHECK: .uleb128 [[CST_END:.Lcst_end[0-9]+]]-[[CST_BEGIN:.Lcst_begin[0-9]+]]
111; CHECK: [[CST_BEGIN]]:
112; CHECK: .uleb128 [[PRE_G]]-[[START]]
113; CHECK: .uleb128 [[POST_G]]-[[PRE_G]]
114; CHECK: .uleb128 [[LANDING]]-[[START]]
115; CHECK: .byte 5
116; CHECK: .uleb128 [[POST_G]]-[[START]]
117; CHECK: .uleb128 [[END]]-[[POST_G]]
118; CHECK: .byte 0
119; CHECK: .byte 0
120; CHECK: [[CST_END]]:
121; CHECK: .byte 0
122; CHECK: .byte 0
123; CHECK: .byte 1
124; CHECK: .byte 125
125; CHECK: .byte 2
126; CHECK: .byte 125
127; CHECK: .p2align 2
128; CHECK: .long _ZTIi
129; CHECK: .long _ZTId
130; CHECK: [[TTBASE]]:
131