annotate libcxxabi/src/cxa_personality.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1f2b6ac9f198
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1 //===----------------------------------------------------------------------===//
150
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //
anatofuz
parents:
diff changeset
8 // This file implements the "Exception Handling APIs"
anatofuz
parents:
diff changeset
9 // https://itanium-cxx-abi.github.io/cxx-abi/abi-eh.html
anatofuz
parents:
diff changeset
10 // http://www.intel.com/design/itanium/downloads/245358.htm
anatofuz
parents:
diff changeset
11 //
anatofuz
parents:
diff changeset
12 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 #include <assert.h>
anatofuz
parents:
diff changeset
15 #include <stdlib.h>
anatofuz
parents:
diff changeset
16 #include <string.h>
anatofuz
parents:
diff changeset
17 #include <typeinfo>
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 #include "__cxxabi_config.h"
anatofuz
parents:
diff changeset
20 #include "cxa_exception.h"
anatofuz
parents:
diff changeset
21 #include "cxa_handlers.h"
anatofuz
parents:
diff changeset
22 #include "private_typeinfo.h"
anatofuz
parents:
diff changeset
23 #include "unwind.h"
anatofuz
parents:
diff changeset
24
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
25 // TODO: This is a temporary workaround for libc++abi to recognize that it's being
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
26 // built against LLVM's libunwind. LLVM's libunwind started reporting _LIBUNWIND_VERSION
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
27 // in LLVM 15 -- we can remove this workaround after shipping LLVM 17. Once we remove
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
28 // this workaround, it won't be possible to build libc++abi against libunwind headers
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
29 // from LLVM 14 and before anymore.
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
30 #if defined(____LIBUNWIND_CONFIG_H__) && !defined(_LIBUNWIND_VERSION)
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
31 # define _LIBUNWIND_VERSION
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
32 #endif
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
33
150
anatofuz
parents:
diff changeset
34 #if defined(__SEH__) && !defined(__USING_SJLJ_EXCEPTIONS__)
anatofuz
parents:
diff changeset
35 #include <windows.h>
anatofuz
parents:
diff changeset
36 #include <winnt.h>
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 extern "C" EXCEPTION_DISPOSITION _GCC_specific_handler(PEXCEPTION_RECORD,
anatofuz
parents:
diff changeset
39 void *, PCONTEXT,
anatofuz
parents:
diff changeset
40 PDISPATCHER_CONTEXT,
anatofuz
parents:
diff changeset
41 _Unwind_Personality_Fn);
anatofuz
parents:
diff changeset
42 #endif
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 /*
anatofuz
parents:
diff changeset
45 Exception Header Layout:
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 +---------------------------+-----------------------------+---------------+
anatofuz
parents:
diff changeset
48 | __cxa_exception | _Unwind_Exception CLNGC++\0 | thrown object |
anatofuz
parents:
diff changeset
49 +---------------------------+-----------------------------+---------------+
anatofuz
parents:
diff changeset
50 ^
anatofuz
parents:
diff changeset
51 |
anatofuz
parents:
diff changeset
52 +-------------------------------------------------------+
anatofuz
parents:
diff changeset
53 |
anatofuz
parents:
diff changeset
54 +---------------------------+-----------------------------+
anatofuz
parents:
diff changeset
55 | __cxa_dependent_exception | _Unwind_Exception CLNGC++\1 |
anatofuz
parents:
diff changeset
56 +---------------------------+-----------------------------+
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 Exception Handling Table Layout:
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 +-----------------+--------+
anatofuz
parents:
diff changeset
61 | lpStartEncoding | (char) |
anatofuz
parents:
diff changeset
62 +---------+-------+--------+---------------+-----------------------+
anatofuz
parents:
diff changeset
63 | lpStart | (encoded with lpStartEncoding) | defaults to funcStart |
anatofuz
parents:
diff changeset
64 +---------+-----+--------+-----------------+---------------+-------+
anatofuz
parents:
diff changeset
65 | ttypeEncoding | (char) | Encoding of the type_info table |
anatofuz
parents:
diff changeset
66 +---------------+-+------+----+----------------------------+----------------+
anatofuz
parents:
diff changeset
67 | classInfoOffset | (ULEB128) | Offset to type_info table, defaults to null |
anatofuz
parents:
diff changeset
68 +-----------------++--------+-+----------------------------+----------------+
anatofuz
parents:
diff changeset
69 | callSiteEncoding | (char) | Encoding for Call Site Table |
anatofuz
parents:
diff changeset
70 +------------------+--+-----+-----+------------------------+--------------------------+
anatofuz
parents:
diff changeset
71 | callSiteTableLength | (ULEB128) | Call Site Table length, used to find Action table |
anatofuz
parents:
diff changeset
72 +---------------------+-----------+---------------------------------------------------+
anatofuz
parents:
diff changeset
73 #ifndef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
74 +---------------------+-----------+------------------------------------------------+
anatofuz
parents:
diff changeset
75 | Beginning of Call Site Table The current ip lies within the |
anatofuz
parents:
diff changeset
76 | ... (start, length) range of one of these |
anatofuz
parents:
diff changeset
77 | call sites. There may be action needed. |
anatofuz
parents:
diff changeset
78 | +-------------+---------------------------------+------------------------------+ |
anatofuz
parents:
diff changeset
79 | | start | (encoded with callSiteEncoding) | offset relative to funcStart | |
anatofuz
parents:
diff changeset
80 | | length | (encoded with callSiteEncoding) | length of code fragment | |
anatofuz
parents:
diff changeset
81 | | landingPad | (encoded with callSiteEncoding) | offset relative to lpStart | |
anatofuz
parents:
diff changeset
82 | | actionEntry | (ULEB128) | Action Table Index 1-based | |
anatofuz
parents:
diff changeset
83 | | | | actionEntry == 0 -> cleanup | |
anatofuz
parents:
diff changeset
84 | +-------------+---------------------------------+------------------------------+ |
anatofuz
parents:
diff changeset
85 | ... |
anatofuz
parents:
diff changeset
86 +----------------------------------------------------------------------------------+
anatofuz
parents:
diff changeset
87 #else // __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
88 +---------------------+-----------+------------------------------------------------+
anatofuz
parents:
diff changeset
89 | Beginning of Call Site Table The current ip is a 1-based index into |
anatofuz
parents:
diff changeset
90 | ... this table. Or it is -1 meaning no |
anatofuz
parents:
diff changeset
91 | action is needed. Or it is 0 meaning |
anatofuz
parents:
diff changeset
92 | terminate. |
anatofuz
parents:
diff changeset
93 | +-------------+---------------------------------+------------------------------+ |
anatofuz
parents:
diff changeset
94 | | landingPad | (ULEB128) | offset relative to lpStart | |
anatofuz
parents:
diff changeset
95 | | actionEntry | (ULEB128) | Action Table Index 1-based | |
anatofuz
parents:
diff changeset
96 | | | | actionEntry == 0 -> cleanup | |
anatofuz
parents:
diff changeset
97 | +-------------+---------------------------------+------------------------------+ |
anatofuz
parents:
diff changeset
98 | ... |
anatofuz
parents:
diff changeset
99 +----------------------------------------------------------------------------------+
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
100 #endif // __USING_SJLJ_EXCEPTIONS__
150
anatofuz
parents:
diff changeset
101 +---------------------------------------------------------------------+
anatofuz
parents:
diff changeset
102 | Beginning of Action Table ttypeIndex == 0 : cleanup |
anatofuz
parents:
diff changeset
103 | ... ttypeIndex > 0 : catch |
anatofuz
parents:
diff changeset
104 | ttypeIndex < 0 : exception spec |
anatofuz
parents:
diff changeset
105 | +--------------+-----------+--------------------------------------+ |
anatofuz
parents:
diff changeset
106 | | ttypeIndex | (SLEB128) | Index into type_info Table (1-based) | |
anatofuz
parents:
diff changeset
107 | | actionOffset | (SLEB128) | Offset into next Action Table entry | |
anatofuz
parents:
diff changeset
108 | +--------------+-----------+--------------------------------------+ |
anatofuz
parents:
diff changeset
109 | ... |
anatofuz
parents:
diff changeset
110 +---------------------------------------------------------------------+-----------------+
anatofuz
parents:
diff changeset
111 | type_info Table, but classInfoOffset does *not* point here! |
anatofuz
parents:
diff changeset
112 | +----------------+------------------------------------------------+-----------------+ |
anatofuz
parents:
diff changeset
113 | | Nth type_info* | Encoded with ttypeEncoding, 0 means catch(...) | ttypeIndex == N | |
anatofuz
parents:
diff changeset
114 | +----------------+------------------------------------------------+-----------------+ |
anatofuz
parents:
diff changeset
115 | ... |
anatofuz
parents:
diff changeset
116 | +----------------+------------------------------------------------+-----------------+ |
anatofuz
parents:
diff changeset
117 | | 1st type_info* | Encoded with ttypeEncoding, 0 means catch(...) | ttypeIndex == 1 | |
anatofuz
parents:
diff changeset
118 | +----------------+------------------------------------------------+-----------------+ |
anatofuz
parents:
diff changeset
119 | +---------------------------------------+-----------+------------------------------+ |
anatofuz
parents:
diff changeset
120 | | 1st ttypeIndex for 1st exception spec | (ULEB128) | classInfoOffset points here! | |
anatofuz
parents:
diff changeset
121 | | ... | (ULEB128) | | |
anatofuz
parents:
diff changeset
122 | | Mth ttypeIndex for 1st exception spec | (ULEB128) | | |
anatofuz
parents:
diff changeset
123 | | 0 | (ULEB128) | | |
anatofuz
parents:
diff changeset
124 | +---------------------------------------+------------------------------------------+ |
anatofuz
parents:
diff changeset
125 | ... |
anatofuz
parents:
diff changeset
126 | +---------------------------------------+------------------------------------------+ |
anatofuz
parents:
diff changeset
127 | | 0 | (ULEB128) | throw() | |
anatofuz
parents:
diff changeset
128 | +---------------------------------------+------------------------------------------+ |
anatofuz
parents:
diff changeset
129 | ... |
anatofuz
parents:
diff changeset
130 | +---------------------------------------+------------------------------------------+ |
anatofuz
parents:
diff changeset
131 | | 1st ttypeIndex for Nth exception spec | (ULEB128) | | |
anatofuz
parents:
diff changeset
132 | | ... | (ULEB128) | | |
anatofuz
parents:
diff changeset
133 | | Mth ttypeIndex for Nth exception spec | (ULEB128) | | |
anatofuz
parents:
diff changeset
134 | | 0 | (ULEB128) | | |
anatofuz
parents:
diff changeset
135 | +---------------------------------------+------------------------------------------+ |
anatofuz
parents:
diff changeset
136 +---------------------------------------------------------------------------------------+
anatofuz
parents:
diff changeset
137
anatofuz
parents:
diff changeset
138 Notes:
anatofuz
parents:
diff changeset
139
anatofuz
parents:
diff changeset
140 * ttypeIndex in the Action Table, and in the exception spec table, is an index,
anatofuz
parents:
diff changeset
141 not a byte count, if positive. It is a negative index offset of
anatofuz
parents:
diff changeset
142 classInfoOffset and the sizeof entry depends on ttypeEncoding.
anatofuz
parents:
diff changeset
143 But if ttypeIndex is negative, it is a positive 1-based byte offset into the
anatofuz
parents:
diff changeset
144 type_info Table.
anatofuz
parents:
diff changeset
145 And if ttypeIndex is zero, it refers to a catch (...).
anatofuz
parents:
diff changeset
146
anatofuz
parents:
diff changeset
147 * landingPad can be 0, this implies there is nothing to be done.
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 * landingPad != 0 and actionEntry == 0 implies a cleanup needs to be done
anatofuz
parents:
diff changeset
150 @landingPad.
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 * A cleanup can also be found under landingPad != 0 and actionEntry != 0 in
anatofuz
parents:
diff changeset
153 the Action Table with ttypeIndex == 0.
anatofuz
parents:
diff changeset
154 */
anatofuz
parents:
diff changeset
155
anatofuz
parents:
diff changeset
156 namespace __cxxabiv1
anatofuz
parents:
diff changeset
157 {
anatofuz
parents:
diff changeset
158
anatofuz
parents:
diff changeset
159 namespace
anatofuz
parents:
diff changeset
160 {
anatofuz
parents:
diff changeset
161
anatofuz
parents:
diff changeset
162 template <class AsType>
anatofuz
parents:
diff changeset
163 uintptr_t readPointerHelper(const uint8_t*& p) {
anatofuz
parents:
diff changeset
164 AsType value;
anatofuz
parents:
diff changeset
165 memcpy(&value, p, sizeof(AsType));
anatofuz
parents:
diff changeset
166 p += sizeof(AsType);
anatofuz
parents:
diff changeset
167 return static_cast<uintptr_t>(value);
anatofuz
parents:
diff changeset
168 }
anatofuz
parents:
diff changeset
169
anatofuz
parents:
diff changeset
170 } // end namespace
anatofuz
parents:
diff changeset
171
anatofuz
parents:
diff changeset
172 extern "C"
anatofuz
parents:
diff changeset
173 {
anatofuz
parents:
diff changeset
174
anatofuz
parents:
diff changeset
175 // private API
anatofuz
parents:
diff changeset
176
anatofuz
parents:
diff changeset
177 // Heavily borrowed from llvm/examples/ExceptionDemo/ExceptionDemo.cpp
anatofuz
parents:
diff changeset
178
anatofuz
parents:
diff changeset
179 // DWARF Constants
anatofuz
parents:
diff changeset
180 enum
anatofuz
parents:
diff changeset
181 {
anatofuz
parents:
diff changeset
182 DW_EH_PE_absptr = 0x00,
anatofuz
parents:
diff changeset
183 DW_EH_PE_uleb128 = 0x01,
anatofuz
parents:
diff changeset
184 DW_EH_PE_udata2 = 0x02,
anatofuz
parents:
diff changeset
185 DW_EH_PE_udata4 = 0x03,
anatofuz
parents:
diff changeset
186 DW_EH_PE_udata8 = 0x04,
anatofuz
parents:
diff changeset
187 DW_EH_PE_sleb128 = 0x09,
anatofuz
parents:
diff changeset
188 DW_EH_PE_sdata2 = 0x0A,
anatofuz
parents:
diff changeset
189 DW_EH_PE_sdata4 = 0x0B,
anatofuz
parents:
diff changeset
190 DW_EH_PE_sdata8 = 0x0C,
anatofuz
parents:
diff changeset
191 DW_EH_PE_pcrel = 0x10,
anatofuz
parents:
diff changeset
192 DW_EH_PE_textrel = 0x20,
anatofuz
parents:
diff changeset
193 DW_EH_PE_datarel = 0x30,
anatofuz
parents:
diff changeset
194 DW_EH_PE_funcrel = 0x40,
anatofuz
parents:
diff changeset
195 DW_EH_PE_aligned = 0x50,
anatofuz
parents:
diff changeset
196 DW_EH_PE_indirect = 0x80,
anatofuz
parents:
diff changeset
197 DW_EH_PE_omit = 0xFF
anatofuz
parents:
diff changeset
198 };
anatofuz
parents:
diff changeset
199
anatofuz
parents:
diff changeset
200 /// Read a uleb128 encoded value and advance pointer
anatofuz
parents:
diff changeset
201 /// See Variable Length Data Appendix C in:
anatofuz
parents:
diff changeset
202 /// @link http://dwarfstd.org/Dwarf4.pdf @unlink
anatofuz
parents:
diff changeset
203 /// @param data reference variable holding memory pointer to decode from
anatofuz
parents:
diff changeset
204 /// @returns decoded value
anatofuz
parents:
diff changeset
205 static
anatofuz
parents:
diff changeset
206 uintptr_t
anatofuz
parents:
diff changeset
207 readULEB128(const uint8_t** data)
anatofuz
parents:
diff changeset
208 {
anatofuz
parents:
diff changeset
209 uintptr_t result = 0;
anatofuz
parents:
diff changeset
210 uintptr_t shift = 0;
anatofuz
parents:
diff changeset
211 unsigned char byte;
anatofuz
parents:
diff changeset
212 const uint8_t *p = *data;
anatofuz
parents:
diff changeset
213 do
anatofuz
parents:
diff changeset
214 {
anatofuz
parents:
diff changeset
215 byte = *p++;
anatofuz
parents:
diff changeset
216 result |= static_cast<uintptr_t>(byte & 0x7F) << shift;
anatofuz
parents:
diff changeset
217 shift += 7;
anatofuz
parents:
diff changeset
218 } while (byte & 0x80);
anatofuz
parents:
diff changeset
219 *data = p;
anatofuz
parents:
diff changeset
220 return result;
anatofuz
parents:
diff changeset
221 }
anatofuz
parents:
diff changeset
222
anatofuz
parents:
diff changeset
223 /// Read a sleb128 encoded value and advance pointer
anatofuz
parents:
diff changeset
224 /// See Variable Length Data Appendix C in:
anatofuz
parents:
diff changeset
225 /// @link http://dwarfstd.org/Dwarf4.pdf @unlink
anatofuz
parents:
diff changeset
226 /// @param data reference variable holding memory pointer to decode from
anatofuz
parents:
diff changeset
227 /// @returns decoded value
anatofuz
parents:
diff changeset
228 static
anatofuz
parents:
diff changeset
229 intptr_t
anatofuz
parents:
diff changeset
230 readSLEB128(const uint8_t** data)
anatofuz
parents:
diff changeset
231 {
anatofuz
parents:
diff changeset
232 uintptr_t result = 0;
anatofuz
parents:
diff changeset
233 uintptr_t shift = 0;
anatofuz
parents:
diff changeset
234 unsigned char byte;
anatofuz
parents:
diff changeset
235 const uint8_t *p = *data;
anatofuz
parents:
diff changeset
236 do
anatofuz
parents:
diff changeset
237 {
anatofuz
parents:
diff changeset
238 byte = *p++;
anatofuz
parents:
diff changeset
239 result |= static_cast<uintptr_t>(byte & 0x7F) << shift;
anatofuz
parents:
diff changeset
240 shift += 7;
anatofuz
parents:
diff changeset
241 } while (byte & 0x80);
anatofuz
parents:
diff changeset
242 *data = p;
anatofuz
parents:
diff changeset
243 if ((byte & 0x40) && (shift < (sizeof(result) << 3)))
anatofuz
parents:
diff changeset
244 result |= static_cast<uintptr_t>(~0) << shift;
anatofuz
parents:
diff changeset
245 return static_cast<intptr_t>(result);
anatofuz
parents:
diff changeset
246 }
anatofuz
parents:
diff changeset
247
anatofuz
parents:
diff changeset
248 /// Read a pointer encoded value and advance pointer
anatofuz
parents:
diff changeset
249 /// See Variable Length Data in:
anatofuz
parents:
diff changeset
250 /// @link http://dwarfstd.org/Dwarf3.pdf @unlink
anatofuz
parents:
diff changeset
251 /// @param data reference variable holding memory pointer to decode from
anatofuz
parents:
diff changeset
252 /// @param encoding dwarf encoding type
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
253 /// @param base for adding relative offset, default to 0
150
anatofuz
parents:
diff changeset
254 /// @returns decoded value
anatofuz
parents:
diff changeset
255 static
anatofuz
parents:
diff changeset
256 uintptr_t
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
257 readEncodedPointer(const uint8_t** data, uint8_t encoding, uintptr_t base = 0)
150
anatofuz
parents:
diff changeset
258 {
anatofuz
parents:
diff changeset
259 uintptr_t result = 0;
anatofuz
parents:
diff changeset
260 if (encoding == DW_EH_PE_omit)
anatofuz
parents:
diff changeset
261 return result;
anatofuz
parents:
diff changeset
262 const uint8_t* p = *data;
anatofuz
parents:
diff changeset
263 // first get value
anatofuz
parents:
diff changeset
264 switch (encoding & 0x0F)
anatofuz
parents:
diff changeset
265 {
anatofuz
parents:
diff changeset
266 case DW_EH_PE_absptr:
anatofuz
parents:
diff changeset
267 result = readPointerHelper<uintptr_t>(p);
anatofuz
parents:
diff changeset
268 break;
anatofuz
parents:
diff changeset
269 case DW_EH_PE_uleb128:
anatofuz
parents:
diff changeset
270 result = readULEB128(&p);
anatofuz
parents:
diff changeset
271 break;
anatofuz
parents:
diff changeset
272 case DW_EH_PE_sleb128:
anatofuz
parents:
diff changeset
273 result = static_cast<uintptr_t>(readSLEB128(&p));
anatofuz
parents:
diff changeset
274 break;
anatofuz
parents:
diff changeset
275 case DW_EH_PE_udata2:
anatofuz
parents:
diff changeset
276 result = readPointerHelper<uint16_t>(p);
anatofuz
parents:
diff changeset
277 break;
anatofuz
parents:
diff changeset
278 case DW_EH_PE_udata4:
anatofuz
parents:
diff changeset
279 result = readPointerHelper<uint32_t>(p);
anatofuz
parents:
diff changeset
280 break;
anatofuz
parents:
diff changeset
281 case DW_EH_PE_udata8:
anatofuz
parents:
diff changeset
282 result = readPointerHelper<uint64_t>(p);
anatofuz
parents:
diff changeset
283 break;
anatofuz
parents:
diff changeset
284 case DW_EH_PE_sdata2:
anatofuz
parents:
diff changeset
285 result = readPointerHelper<int16_t>(p);
anatofuz
parents:
diff changeset
286 break;
anatofuz
parents:
diff changeset
287 case DW_EH_PE_sdata4:
anatofuz
parents:
diff changeset
288 result = readPointerHelper<int32_t>(p);
anatofuz
parents:
diff changeset
289 break;
anatofuz
parents:
diff changeset
290 case DW_EH_PE_sdata8:
anatofuz
parents:
diff changeset
291 result = readPointerHelper<int64_t>(p);
anatofuz
parents:
diff changeset
292 break;
anatofuz
parents:
diff changeset
293 default:
anatofuz
parents:
diff changeset
294 // not supported
anatofuz
parents:
diff changeset
295 abort();
anatofuz
parents:
diff changeset
296 break;
anatofuz
parents:
diff changeset
297 }
anatofuz
parents:
diff changeset
298 // then add relative offset
anatofuz
parents:
diff changeset
299 switch (encoding & 0x70)
anatofuz
parents:
diff changeset
300 {
anatofuz
parents:
diff changeset
301 case DW_EH_PE_absptr:
anatofuz
parents:
diff changeset
302 // do nothing
anatofuz
parents:
diff changeset
303 break;
anatofuz
parents:
diff changeset
304 case DW_EH_PE_pcrel:
anatofuz
parents:
diff changeset
305 if (result)
anatofuz
parents:
diff changeset
306 result += (uintptr_t)(*data);
anatofuz
parents:
diff changeset
307 break;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
308 case DW_EH_PE_datarel:
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
309 assert((base != 0) && "DW_EH_PE_datarel is invalid with a base of 0");
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
310 if (result)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
311 result += base;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
312 break;
150
anatofuz
parents:
diff changeset
313 case DW_EH_PE_textrel:
anatofuz
parents:
diff changeset
314 case DW_EH_PE_funcrel:
anatofuz
parents:
diff changeset
315 case DW_EH_PE_aligned:
anatofuz
parents:
diff changeset
316 default:
anatofuz
parents:
diff changeset
317 // not supported
anatofuz
parents:
diff changeset
318 abort();
anatofuz
parents:
diff changeset
319 break;
anatofuz
parents:
diff changeset
320 }
anatofuz
parents:
diff changeset
321 // then apply indirection
anatofuz
parents:
diff changeset
322 if (result && (encoding & DW_EH_PE_indirect))
anatofuz
parents:
diff changeset
323 result = *((uintptr_t*)result);
anatofuz
parents:
diff changeset
324 *data = p;
anatofuz
parents:
diff changeset
325 return result;
anatofuz
parents:
diff changeset
326 }
anatofuz
parents:
diff changeset
327
anatofuz
parents:
diff changeset
328 static
anatofuz
parents:
diff changeset
329 void
anatofuz
parents:
diff changeset
330 call_terminate(bool native_exception, _Unwind_Exception* unwind_exception)
anatofuz
parents:
diff changeset
331 {
anatofuz
parents:
diff changeset
332 __cxa_begin_catch(unwind_exception);
anatofuz
parents:
diff changeset
333 if (native_exception)
anatofuz
parents:
diff changeset
334 {
anatofuz
parents:
diff changeset
335 // Use the stored terminate_handler if possible
anatofuz
parents:
diff changeset
336 __cxa_exception* exception_header = (__cxa_exception*)(unwind_exception+1) - 1;
anatofuz
parents:
diff changeset
337 std::__terminate(exception_header->terminateHandler);
anatofuz
parents:
diff changeset
338 }
anatofuz
parents:
diff changeset
339 std::terminate();
anatofuz
parents:
diff changeset
340 }
anatofuz
parents:
diff changeset
341
anatofuz
parents:
diff changeset
342 #if defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
343 static const void* read_target2_value(const void* ptr)
anatofuz
parents:
diff changeset
344 {
anatofuz
parents:
diff changeset
345 uintptr_t offset = *reinterpret_cast<const uintptr_t*>(ptr);
anatofuz
parents:
diff changeset
346 if (!offset)
anatofuz
parents:
diff changeset
347 return 0;
anatofuz
parents:
diff changeset
348 // "ARM EABI provides a TARGET2 relocation to describe these typeinfo
anatofuz
parents:
diff changeset
349 // pointers. The reason being it allows their precise semantics to be
anatofuz
parents:
diff changeset
350 // deferred to the linker. For bare-metal they turn into absolute
anatofuz
parents:
diff changeset
351 // relocations. For linux they turn into GOT-REL relocations."
anatofuz
parents:
diff changeset
352 // https://gcc.gnu.org/ml/gcc-patches/2009-08/msg00264.html
anatofuz
parents:
diff changeset
353 #if defined(LIBCXXABI_BAREMETAL)
anatofuz
parents:
diff changeset
354 return reinterpret_cast<const void*>(reinterpret_cast<uintptr_t>(ptr) +
anatofuz
parents:
diff changeset
355 offset);
anatofuz
parents:
diff changeset
356 #else
anatofuz
parents:
diff changeset
357 return *reinterpret_cast<const void **>(reinterpret_cast<uintptr_t>(ptr) +
anatofuz
parents:
diff changeset
358 offset);
anatofuz
parents:
diff changeset
359 #endif
anatofuz
parents:
diff changeset
360 }
anatofuz
parents:
diff changeset
361
anatofuz
parents:
diff changeset
362 static const __shim_type_info*
anatofuz
parents:
diff changeset
363 get_shim_type_info(uint64_t ttypeIndex, const uint8_t* classInfo,
anatofuz
parents:
diff changeset
364 uint8_t ttypeEncoding, bool native_exception,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
365 _Unwind_Exception* unwind_exception, uintptr_t /*base*/ = 0)
150
anatofuz
parents:
diff changeset
366 {
anatofuz
parents:
diff changeset
367 if (classInfo == 0)
anatofuz
parents:
diff changeset
368 {
anatofuz
parents:
diff changeset
369 // this should not happen. Indicates corrupted eh_table.
anatofuz
parents:
diff changeset
370 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
371 }
anatofuz
parents:
diff changeset
372
anatofuz
parents:
diff changeset
373 assert(((ttypeEncoding == DW_EH_PE_absptr) || // LLVM or GCC 4.6
anatofuz
parents:
diff changeset
374 (ttypeEncoding == DW_EH_PE_pcrel) || // GCC 4.7 baremetal
anatofuz
parents:
diff changeset
375 (ttypeEncoding == (DW_EH_PE_pcrel | DW_EH_PE_indirect))) && // GCC 4.7 linux
anatofuz
parents:
diff changeset
376 "Unexpected TTypeEncoding");
anatofuz
parents:
diff changeset
377 (void)ttypeEncoding;
anatofuz
parents:
diff changeset
378
anatofuz
parents:
diff changeset
379 const uint8_t* ttypePtr = classInfo - ttypeIndex * sizeof(uintptr_t);
anatofuz
parents:
diff changeset
380 return reinterpret_cast<const __shim_type_info *>(
anatofuz
parents:
diff changeset
381 read_target2_value(ttypePtr));
anatofuz
parents:
diff changeset
382 }
anatofuz
parents:
diff changeset
383 #else // !defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
384 static
anatofuz
parents:
diff changeset
385 const __shim_type_info*
anatofuz
parents:
diff changeset
386 get_shim_type_info(uint64_t ttypeIndex, const uint8_t* classInfo,
anatofuz
parents:
diff changeset
387 uint8_t ttypeEncoding, bool native_exception,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
388 _Unwind_Exception* unwind_exception, uintptr_t base = 0)
150
anatofuz
parents:
diff changeset
389 {
anatofuz
parents:
diff changeset
390 if (classInfo == 0)
anatofuz
parents:
diff changeset
391 {
anatofuz
parents:
diff changeset
392 // this should not happen. Indicates corrupted eh_table.
anatofuz
parents:
diff changeset
393 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
394 }
anatofuz
parents:
diff changeset
395 switch (ttypeEncoding & 0x0F)
anatofuz
parents:
diff changeset
396 {
anatofuz
parents:
diff changeset
397 case DW_EH_PE_absptr:
anatofuz
parents:
diff changeset
398 ttypeIndex *= sizeof(void*);
anatofuz
parents:
diff changeset
399 break;
anatofuz
parents:
diff changeset
400 case DW_EH_PE_udata2:
anatofuz
parents:
diff changeset
401 case DW_EH_PE_sdata2:
anatofuz
parents:
diff changeset
402 ttypeIndex *= 2;
anatofuz
parents:
diff changeset
403 break;
anatofuz
parents:
diff changeset
404 case DW_EH_PE_udata4:
anatofuz
parents:
diff changeset
405 case DW_EH_PE_sdata4:
anatofuz
parents:
diff changeset
406 ttypeIndex *= 4;
anatofuz
parents:
diff changeset
407 break;
anatofuz
parents:
diff changeset
408 case DW_EH_PE_udata8:
anatofuz
parents:
diff changeset
409 case DW_EH_PE_sdata8:
anatofuz
parents:
diff changeset
410 ttypeIndex *= 8;
anatofuz
parents:
diff changeset
411 break;
anatofuz
parents:
diff changeset
412 default:
anatofuz
parents:
diff changeset
413 // this should not happen. Indicates corrupted eh_table.
anatofuz
parents:
diff changeset
414 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
415 }
anatofuz
parents:
diff changeset
416 classInfo -= ttypeIndex;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
417 return (const __shim_type_info*)readEncodedPointer(&classInfo,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
418 ttypeEncoding, base);
150
anatofuz
parents:
diff changeset
419 }
anatofuz
parents:
diff changeset
420 #endif // !defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
421
anatofuz
parents:
diff changeset
422 /*
anatofuz
parents:
diff changeset
423 This is checking a thrown exception type, excpType, against a possibly empty
anatofuz
parents:
diff changeset
424 list of catchType's which make up an exception spec.
anatofuz
parents:
diff changeset
425
anatofuz
parents:
diff changeset
426 An exception spec acts like a catch handler, but in reverse. This "catch
anatofuz
parents:
diff changeset
427 handler" will catch an excpType if and only if none of the catchType's in
anatofuz
parents:
diff changeset
428 the list will catch a excpType. If any catchType in the list can catch an
anatofuz
parents:
diff changeset
429 excpType, then this exception spec does not catch the excpType.
anatofuz
parents:
diff changeset
430 */
anatofuz
parents:
diff changeset
431 #if defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
432 static
anatofuz
parents:
diff changeset
433 bool
anatofuz
parents:
diff changeset
434 exception_spec_can_catch(int64_t specIndex, const uint8_t* classInfo,
anatofuz
parents:
diff changeset
435 uint8_t ttypeEncoding, const __shim_type_info* excpType,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
436 void* adjustedPtr, _Unwind_Exception* unwind_exception,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
437 uintptr_t /*base*/ = 0)
150
anatofuz
parents:
diff changeset
438 {
anatofuz
parents:
diff changeset
439 if (classInfo == 0)
anatofuz
parents:
diff changeset
440 {
anatofuz
parents:
diff changeset
441 // this should not happen. Indicates corrupted eh_table.
anatofuz
parents:
diff changeset
442 call_terminate(false, unwind_exception);
anatofuz
parents:
diff changeset
443 }
anatofuz
parents:
diff changeset
444
anatofuz
parents:
diff changeset
445 assert(((ttypeEncoding == DW_EH_PE_absptr) || // LLVM or GCC 4.6
anatofuz
parents:
diff changeset
446 (ttypeEncoding == DW_EH_PE_pcrel) || // GCC 4.7 baremetal
anatofuz
parents:
diff changeset
447 (ttypeEncoding == (DW_EH_PE_pcrel | DW_EH_PE_indirect))) && // GCC 4.7 linux
anatofuz
parents:
diff changeset
448 "Unexpected TTypeEncoding");
anatofuz
parents:
diff changeset
449 (void)ttypeEncoding;
anatofuz
parents:
diff changeset
450
anatofuz
parents:
diff changeset
451 // specIndex is negative of 1-based byte offset into classInfo;
anatofuz
parents:
diff changeset
452 specIndex = -specIndex;
anatofuz
parents:
diff changeset
453 --specIndex;
anatofuz
parents:
diff changeset
454 const void** temp = reinterpret_cast<const void**>(
anatofuz
parents:
diff changeset
455 reinterpret_cast<uintptr_t>(classInfo) +
anatofuz
parents:
diff changeset
456 static_cast<uintptr_t>(specIndex) * sizeof(uintptr_t));
anatofuz
parents:
diff changeset
457 // If any type in the spec list can catch excpType, return false, else return true
anatofuz
parents:
diff changeset
458 // adjustments to adjustedPtr are ignored.
anatofuz
parents:
diff changeset
459 while (true)
anatofuz
parents:
diff changeset
460 {
anatofuz
parents:
diff changeset
461 // ARM EHABI exception specification table (filter table) consists of
anatofuz
parents:
diff changeset
462 // several pointers which will directly point to the type info object
anatofuz
parents:
diff changeset
463 // (instead of ttypeIndex). The table will be terminated with 0.
anatofuz
parents:
diff changeset
464 const void** ttypePtr = temp++;
anatofuz
parents:
diff changeset
465 if (*ttypePtr == 0)
anatofuz
parents:
diff changeset
466 break;
anatofuz
parents:
diff changeset
467 // We can get the __shim_type_info simply by performing a
anatofuz
parents:
diff changeset
468 // R_ARM_TARGET2 relocation, and cast the result to __shim_type_info.
anatofuz
parents:
diff changeset
469 const __shim_type_info* catchType =
anatofuz
parents:
diff changeset
470 static_cast<const __shim_type_info*>(read_target2_value(ttypePtr));
anatofuz
parents:
diff changeset
471 void* tempPtr = adjustedPtr;
anatofuz
parents:
diff changeset
472 if (catchType->can_catch(excpType, tempPtr))
anatofuz
parents:
diff changeset
473 return false;
anatofuz
parents:
diff changeset
474 }
anatofuz
parents:
diff changeset
475 return true;
anatofuz
parents:
diff changeset
476 }
anatofuz
parents:
diff changeset
477 #else
anatofuz
parents:
diff changeset
478 static
anatofuz
parents:
diff changeset
479 bool
anatofuz
parents:
diff changeset
480 exception_spec_can_catch(int64_t specIndex, const uint8_t* classInfo,
anatofuz
parents:
diff changeset
481 uint8_t ttypeEncoding, const __shim_type_info* excpType,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
482 void* adjustedPtr, _Unwind_Exception* unwind_exception,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
483 uintptr_t base = 0)
150
anatofuz
parents:
diff changeset
484 {
anatofuz
parents:
diff changeset
485 if (classInfo == 0)
anatofuz
parents:
diff changeset
486 {
anatofuz
parents:
diff changeset
487 // this should not happen. Indicates corrupted eh_table.
anatofuz
parents:
diff changeset
488 call_terminate(false, unwind_exception);
anatofuz
parents:
diff changeset
489 }
anatofuz
parents:
diff changeset
490 // specIndex is negative of 1-based byte offset into classInfo;
anatofuz
parents:
diff changeset
491 specIndex = -specIndex;
anatofuz
parents:
diff changeset
492 --specIndex;
anatofuz
parents:
diff changeset
493 const uint8_t* temp = classInfo + specIndex;
anatofuz
parents:
diff changeset
494 // If any type in the spec list can catch excpType, return false, else return true
anatofuz
parents:
diff changeset
495 // adjustments to adjustedPtr are ignored.
anatofuz
parents:
diff changeset
496 while (true)
anatofuz
parents:
diff changeset
497 {
anatofuz
parents:
diff changeset
498 uint64_t ttypeIndex = readULEB128(&temp);
anatofuz
parents:
diff changeset
499 if (ttypeIndex == 0)
anatofuz
parents:
diff changeset
500 break;
anatofuz
parents:
diff changeset
501 const __shim_type_info* catchType = get_shim_type_info(ttypeIndex,
anatofuz
parents:
diff changeset
502 classInfo,
anatofuz
parents:
diff changeset
503 ttypeEncoding,
anatofuz
parents:
diff changeset
504 true,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
505 unwind_exception,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
506 base);
150
anatofuz
parents:
diff changeset
507 void* tempPtr = adjustedPtr;
anatofuz
parents:
diff changeset
508 if (catchType->can_catch(excpType, tempPtr))
anatofuz
parents:
diff changeset
509 return false;
anatofuz
parents:
diff changeset
510 }
anatofuz
parents:
diff changeset
511 return true;
anatofuz
parents:
diff changeset
512 }
anatofuz
parents:
diff changeset
513 #endif
anatofuz
parents:
diff changeset
514
anatofuz
parents:
diff changeset
515 static
anatofuz
parents:
diff changeset
516 void*
anatofuz
parents:
diff changeset
517 get_thrown_object_ptr(_Unwind_Exception* unwind_exception)
anatofuz
parents:
diff changeset
518 {
anatofuz
parents:
diff changeset
519 // Even for foreign exceptions, the exception object is *probably* at unwind_exception + 1
anatofuz
parents:
diff changeset
520 // Regardless, this library is prohibited from touching a foreign exception
anatofuz
parents:
diff changeset
521 void* adjustedPtr = unwind_exception + 1;
anatofuz
parents:
diff changeset
522 if (__getExceptionClass(unwind_exception) == kOurDependentExceptionClass)
anatofuz
parents:
diff changeset
523 adjustedPtr = ((__cxa_dependent_exception*)adjustedPtr - 1)->primaryException;
anatofuz
parents:
diff changeset
524 return adjustedPtr;
anatofuz
parents:
diff changeset
525 }
anatofuz
parents:
diff changeset
526
anatofuz
parents:
diff changeset
527 namespace
anatofuz
parents:
diff changeset
528 {
anatofuz
parents:
diff changeset
529
anatofuz
parents:
diff changeset
530 struct scan_results
anatofuz
parents:
diff changeset
531 {
anatofuz
parents:
diff changeset
532 int64_t ttypeIndex; // > 0 catch handler, < 0 exception spec handler, == 0 a cleanup
anatofuz
parents:
diff changeset
533 const uint8_t* actionRecord; // Currently unused. Retained to ease future maintenance.
anatofuz
parents:
diff changeset
534 const uint8_t* languageSpecificData; // Needed only for __cxa_call_unexpected
anatofuz
parents:
diff changeset
535 uintptr_t landingPad; // null -> nothing found, else something found
anatofuz
parents:
diff changeset
536 void* adjustedPtr; // Used in cxa_exception.cpp
anatofuz
parents:
diff changeset
537 _Unwind_Reason_Code reason; // One of _URC_FATAL_PHASE1_ERROR,
anatofuz
parents:
diff changeset
538 // _URC_FATAL_PHASE2_ERROR,
anatofuz
parents:
diff changeset
539 // _URC_CONTINUE_UNWIND,
anatofuz
parents:
diff changeset
540 // _URC_HANDLER_FOUND
anatofuz
parents:
diff changeset
541 };
anatofuz
parents:
diff changeset
542
anatofuz
parents:
diff changeset
543 } // unnamed namespace
anatofuz
parents:
diff changeset
544
anatofuz
parents:
diff changeset
545 static
anatofuz
parents:
diff changeset
546 void
anatofuz
parents:
diff changeset
547 set_registers(_Unwind_Exception* unwind_exception, _Unwind_Context* context,
anatofuz
parents:
diff changeset
548 const scan_results& results)
anatofuz
parents:
diff changeset
549 {
anatofuz
parents:
diff changeset
550 #if defined(__USING_SJLJ_EXCEPTIONS__)
anatofuz
parents:
diff changeset
551 #define __builtin_eh_return_data_regno(regno) regno
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
552 #elif defined(__ibmxl__)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
553 // IBM xlclang++ compiler does not support __builtin_eh_return_data_regno.
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
554 #define __builtin_eh_return_data_regno(regno) regno + 3
150
anatofuz
parents:
diff changeset
555 #endif
anatofuz
parents:
diff changeset
556 _Unwind_SetGR(context, __builtin_eh_return_data_regno(0),
anatofuz
parents:
diff changeset
557 reinterpret_cast<uintptr_t>(unwind_exception));
anatofuz
parents:
diff changeset
558 _Unwind_SetGR(context, __builtin_eh_return_data_regno(1),
anatofuz
parents:
diff changeset
559 static_cast<uintptr_t>(results.ttypeIndex));
anatofuz
parents:
diff changeset
560 _Unwind_SetIP(context, results.landingPad);
anatofuz
parents:
diff changeset
561 }
anatofuz
parents:
diff changeset
562
anatofuz
parents:
diff changeset
563 /*
anatofuz
parents:
diff changeset
564 There are 3 types of scans needed:
anatofuz
parents:
diff changeset
565
anatofuz
parents:
diff changeset
566 1. Scan for handler with native or foreign exception. If handler found,
anatofuz
parents:
diff changeset
567 save state and return _URC_HANDLER_FOUND, else return _URC_CONTINUE_UNWIND.
anatofuz
parents:
diff changeset
568 May also report an error on invalid input.
anatofuz
parents:
diff changeset
569 May terminate for invalid exception table.
anatofuz
parents:
diff changeset
570 _UA_SEARCH_PHASE
anatofuz
parents:
diff changeset
571
anatofuz
parents:
diff changeset
572 2. Scan for handler with foreign exception. Must return _URC_HANDLER_FOUND,
anatofuz
parents:
diff changeset
573 or call terminate.
anatofuz
parents:
diff changeset
574 _UA_CLEANUP_PHASE && _UA_HANDLER_FRAME && !native_exception
anatofuz
parents:
diff changeset
575
anatofuz
parents:
diff changeset
576 3. Scan for cleanups. If a handler is found and this isn't forced unwind,
anatofuz
parents:
diff changeset
577 then terminate, otherwise ignore the handler and keep looking for cleanup.
anatofuz
parents:
diff changeset
578 If a cleanup is found, return _URC_HANDLER_FOUND, else return _URC_CONTINUE_UNWIND.
anatofuz
parents:
diff changeset
579 May also report an error on invalid input.
anatofuz
parents:
diff changeset
580 May terminate for invalid exception table.
anatofuz
parents:
diff changeset
581 _UA_CLEANUP_PHASE && !_UA_HANDLER_FRAME
anatofuz
parents:
diff changeset
582 */
anatofuz
parents:
diff changeset
583
anatofuz
parents:
diff changeset
584 static void scan_eh_tab(scan_results &results, _Unwind_Action actions,
anatofuz
parents:
diff changeset
585 bool native_exception,
anatofuz
parents:
diff changeset
586 _Unwind_Exception *unwind_exception,
anatofuz
parents:
diff changeset
587 _Unwind_Context *context) {
anatofuz
parents:
diff changeset
588 // Initialize results to found nothing but an error
anatofuz
parents:
diff changeset
589 results.ttypeIndex = 0;
anatofuz
parents:
diff changeset
590 results.actionRecord = 0;
anatofuz
parents:
diff changeset
591 results.languageSpecificData = 0;
anatofuz
parents:
diff changeset
592 results.landingPad = 0;
anatofuz
parents:
diff changeset
593 results.adjustedPtr = 0;
anatofuz
parents:
diff changeset
594 results.reason = _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
595 // Check for consistent actions
anatofuz
parents:
diff changeset
596 if (actions & _UA_SEARCH_PHASE)
anatofuz
parents:
diff changeset
597 {
anatofuz
parents:
diff changeset
598 // Do Phase 1
anatofuz
parents:
diff changeset
599 if (actions & (_UA_CLEANUP_PHASE | _UA_HANDLER_FRAME | _UA_FORCE_UNWIND))
anatofuz
parents:
diff changeset
600 {
anatofuz
parents:
diff changeset
601 // None of these flags should be set during Phase 1
anatofuz
parents:
diff changeset
602 // Client error
anatofuz
parents:
diff changeset
603 results.reason = _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
604 return;
anatofuz
parents:
diff changeset
605 }
anatofuz
parents:
diff changeset
606 }
anatofuz
parents:
diff changeset
607 else if (actions & _UA_CLEANUP_PHASE)
anatofuz
parents:
diff changeset
608 {
anatofuz
parents:
diff changeset
609 if ((actions & _UA_HANDLER_FRAME) && (actions & _UA_FORCE_UNWIND))
anatofuz
parents:
diff changeset
610 {
anatofuz
parents:
diff changeset
611 // _UA_HANDLER_FRAME should only be set if phase 1 found a handler.
anatofuz
parents:
diff changeset
612 // If _UA_FORCE_UNWIND is set, phase 1 shouldn't have happened.
anatofuz
parents:
diff changeset
613 // Client error
anatofuz
parents:
diff changeset
614 results.reason = _URC_FATAL_PHASE2_ERROR;
anatofuz
parents:
diff changeset
615 return;
anatofuz
parents:
diff changeset
616 }
anatofuz
parents:
diff changeset
617 }
anatofuz
parents:
diff changeset
618 else // Neither _UA_SEARCH_PHASE nor _UA_CLEANUP_PHASE is set
anatofuz
parents:
diff changeset
619 {
anatofuz
parents:
diff changeset
620 // One of these should be set.
anatofuz
parents:
diff changeset
621 // Client error
anatofuz
parents:
diff changeset
622 results.reason = _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
623 return;
anatofuz
parents:
diff changeset
624 }
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
625 // Start scan by getting exception table address.
150
anatofuz
parents:
diff changeset
626 const uint8_t *lsda = (const uint8_t *)_Unwind_GetLanguageSpecificData(context);
anatofuz
parents:
diff changeset
627 if (lsda == 0)
anatofuz
parents:
diff changeset
628 {
anatofuz
parents:
diff changeset
629 // There is no exception table
anatofuz
parents:
diff changeset
630 results.reason = _URC_CONTINUE_UNWIND;
anatofuz
parents:
diff changeset
631 return;
anatofuz
parents:
diff changeset
632 }
anatofuz
parents:
diff changeset
633 results.languageSpecificData = lsda;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
634 #if defined(_AIX)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
635 uintptr_t base = _Unwind_GetDataRelBase(context);
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
636 #else
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
637 uintptr_t base = 0;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
638 #endif
150
anatofuz
parents:
diff changeset
639 // Get the current instruction pointer and offset it before next
anatofuz
parents:
diff changeset
640 // instruction in the current frame which threw the exception.
anatofuz
parents:
diff changeset
641 uintptr_t ip = _Unwind_GetIP(context) - 1;
anatofuz
parents:
diff changeset
642 // Get beginning current frame's code (as defined by the
anatofuz
parents:
diff changeset
643 // emitted dwarf code)
anatofuz
parents:
diff changeset
644 uintptr_t funcStart = _Unwind_GetRegionStart(context);
anatofuz
parents:
diff changeset
645 #ifdef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
646 if (ip == uintptr_t(-1))
anatofuz
parents:
diff changeset
647 {
anatofuz
parents:
diff changeset
648 // no action
anatofuz
parents:
diff changeset
649 results.reason = _URC_CONTINUE_UNWIND;
anatofuz
parents:
diff changeset
650 return;
anatofuz
parents:
diff changeset
651 }
anatofuz
parents:
diff changeset
652 else if (ip == 0)
anatofuz
parents:
diff changeset
653 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
654 // ip is 1-based index into call site table
anatofuz
parents:
diff changeset
655 #else // !__USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
656 uintptr_t ipOffset = ip - funcStart;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
657 #endif // !defined(_USING_SLJL_EXCEPTIONS__)
150
anatofuz
parents:
diff changeset
658 const uint8_t* classInfo = NULL;
anatofuz
parents:
diff changeset
659 // Note: See JITDwarfEmitter::EmitExceptionTable(...) for corresponding
anatofuz
parents:
diff changeset
660 // dwarf emission
anatofuz
parents:
diff changeset
661 // Parse LSDA header.
anatofuz
parents:
diff changeset
662 uint8_t lpStartEncoding = *lsda++;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
663 const uint8_t* lpStart =
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
664 (const uint8_t*)readEncodedPointer(&lsda, lpStartEncoding, base);
150
anatofuz
parents:
diff changeset
665 if (lpStart == 0)
anatofuz
parents:
diff changeset
666 lpStart = (const uint8_t*)funcStart;
anatofuz
parents:
diff changeset
667 uint8_t ttypeEncoding = *lsda++;
anatofuz
parents:
diff changeset
668 if (ttypeEncoding != DW_EH_PE_omit)
anatofuz
parents:
diff changeset
669 {
anatofuz
parents:
diff changeset
670 // Calculate type info locations in emitted dwarf code which
anatofuz
parents:
diff changeset
671 // were flagged by type info arguments to llvm.eh.selector
anatofuz
parents:
diff changeset
672 // intrinsic
anatofuz
parents:
diff changeset
673 uintptr_t classInfoOffset = readULEB128(&lsda);
anatofuz
parents:
diff changeset
674 classInfo = lsda + classInfoOffset;
anatofuz
parents:
diff changeset
675 }
anatofuz
parents:
diff changeset
676 // Walk call-site table looking for range that
anatofuz
parents:
diff changeset
677 // includes current PC.
anatofuz
parents:
diff changeset
678 uint8_t callSiteEncoding = *lsda++;
anatofuz
parents:
diff changeset
679 #ifdef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
680 (void)callSiteEncoding; // When using SjLj exceptions, callSiteEncoding is never used
anatofuz
parents:
diff changeset
681 #endif
anatofuz
parents:
diff changeset
682 uint32_t callSiteTableLength = static_cast<uint32_t>(readULEB128(&lsda));
anatofuz
parents:
diff changeset
683 const uint8_t* callSiteTableStart = lsda;
anatofuz
parents:
diff changeset
684 const uint8_t* callSiteTableEnd = callSiteTableStart + callSiteTableLength;
anatofuz
parents:
diff changeset
685 const uint8_t* actionTableStart = callSiteTableEnd;
anatofuz
parents:
diff changeset
686 const uint8_t* callSitePtr = callSiteTableStart;
anatofuz
parents:
diff changeset
687 while (callSitePtr < callSiteTableEnd)
anatofuz
parents:
diff changeset
688 {
anatofuz
parents:
diff changeset
689 // There is one entry per call site.
anatofuz
parents:
diff changeset
690 #ifndef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
691 // The call sites are non-overlapping in [start, start+length)
anatofuz
parents:
diff changeset
692 // The call sites are ordered in increasing value of start
anatofuz
parents:
diff changeset
693 uintptr_t start = readEncodedPointer(&callSitePtr, callSiteEncoding);
anatofuz
parents:
diff changeset
694 uintptr_t length = readEncodedPointer(&callSitePtr, callSiteEncoding);
anatofuz
parents:
diff changeset
695 uintptr_t landingPad = readEncodedPointer(&callSitePtr, callSiteEncoding);
anatofuz
parents:
diff changeset
696 uintptr_t actionEntry = readULEB128(&callSitePtr);
anatofuz
parents:
diff changeset
697 if ((start <= ipOffset) && (ipOffset < (start + length)))
anatofuz
parents:
diff changeset
698 #else // __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
699 // ip is 1-based index into this table
anatofuz
parents:
diff changeset
700 uintptr_t landingPad = readULEB128(&callSitePtr);
anatofuz
parents:
diff changeset
701 uintptr_t actionEntry = readULEB128(&callSitePtr);
anatofuz
parents:
diff changeset
702 if (--ip == 0)
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
703 #endif // __USING_SJLJ_EXCEPTIONS__
150
anatofuz
parents:
diff changeset
704 {
anatofuz
parents:
diff changeset
705 // Found the call site containing ip.
anatofuz
parents:
diff changeset
706 #ifndef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
707 if (landingPad == 0)
anatofuz
parents:
diff changeset
708 {
anatofuz
parents:
diff changeset
709 // No handler here
anatofuz
parents:
diff changeset
710 results.reason = _URC_CONTINUE_UNWIND;
anatofuz
parents:
diff changeset
711 return;
anatofuz
parents:
diff changeset
712 }
anatofuz
parents:
diff changeset
713 landingPad = (uintptr_t)lpStart + landingPad;
anatofuz
parents:
diff changeset
714 #else // __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
715 ++landingPad;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
716 #endif // __USING_SJLJ_EXCEPTIONS__
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
717 results.landingPad = landingPad;
150
anatofuz
parents:
diff changeset
718 if (actionEntry == 0)
anatofuz
parents:
diff changeset
719 {
anatofuz
parents:
diff changeset
720 // Found a cleanup
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
721 results.reason = actions & _UA_SEARCH_PHASE
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
722 ? _URC_CONTINUE_UNWIND
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
723 : _URC_HANDLER_FOUND;
150
anatofuz
parents:
diff changeset
724 return;
anatofuz
parents:
diff changeset
725 }
anatofuz
parents:
diff changeset
726 // Convert 1-based byte offset into
anatofuz
parents:
diff changeset
727 const uint8_t* action = actionTableStart + (actionEntry - 1);
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
728 bool hasCleanup = false;
150
anatofuz
parents:
diff changeset
729 // Scan action entries until you find a matching handler, cleanup, or the end of action list
anatofuz
parents:
diff changeset
730 while (true)
anatofuz
parents:
diff changeset
731 {
anatofuz
parents:
diff changeset
732 const uint8_t* actionRecord = action;
anatofuz
parents:
diff changeset
733 int64_t ttypeIndex = readSLEB128(&action);
anatofuz
parents:
diff changeset
734 if (ttypeIndex > 0)
anatofuz
parents:
diff changeset
735 {
anatofuz
parents:
diff changeset
736 // Found a catch, does it actually catch?
anatofuz
parents:
diff changeset
737 // First check for catch (...)
anatofuz
parents:
diff changeset
738 const __shim_type_info* catchType =
anatofuz
parents:
diff changeset
739 get_shim_type_info(static_cast<uint64_t>(ttypeIndex),
anatofuz
parents:
diff changeset
740 classInfo, ttypeEncoding,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
741 native_exception, unwind_exception,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
742 base);
150
anatofuz
parents:
diff changeset
743 if (catchType == 0)
anatofuz
parents:
diff changeset
744 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
745 // Found catch (...) catches everything, including
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
746 // foreign exceptions. This is search phase, cleanup
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
747 // phase with foreign exception, or forced unwinding.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
748 assert(actions & (_UA_SEARCH_PHASE | _UA_HANDLER_FRAME |
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
749 _UA_FORCE_UNWIND));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
750 results.ttypeIndex = ttypeIndex;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
751 results.actionRecord = actionRecord;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
752 results.adjustedPtr =
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
753 get_thrown_object_ptr(unwind_exception);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
754 results.reason = _URC_HANDLER_FOUND;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
755 return;
150
anatofuz
parents:
diff changeset
756 }
anatofuz
parents:
diff changeset
757 // Else this is a catch (T) clause and will never
anatofuz
parents:
diff changeset
758 // catch a foreign exception
anatofuz
parents:
diff changeset
759 else if (native_exception)
anatofuz
parents:
diff changeset
760 {
anatofuz
parents:
diff changeset
761 __cxa_exception* exception_header = (__cxa_exception*)(unwind_exception+1) - 1;
anatofuz
parents:
diff changeset
762 void* adjustedPtr = get_thrown_object_ptr(unwind_exception);
anatofuz
parents:
diff changeset
763 const __shim_type_info* excpType =
anatofuz
parents:
diff changeset
764 static_cast<const __shim_type_info*>(exception_header->exceptionType);
anatofuz
parents:
diff changeset
765 if (adjustedPtr == 0 || excpType == 0)
anatofuz
parents:
diff changeset
766 {
anatofuz
parents:
diff changeset
767 // Something very bad happened
anatofuz
parents:
diff changeset
768 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
769 }
anatofuz
parents:
diff changeset
770 if (catchType->can_catch(excpType, adjustedPtr))
anatofuz
parents:
diff changeset
771 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
772 // Found a matching handler. This is either search
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
773 // phase or forced unwinding.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
774 assert(actions &
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
775 (_UA_SEARCH_PHASE | _UA_FORCE_UNWIND));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
776 results.ttypeIndex = ttypeIndex;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
777 results.actionRecord = actionRecord;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
778 results.adjustedPtr = adjustedPtr;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
779 results.reason = _URC_HANDLER_FOUND;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
780 return;
150
anatofuz
parents:
diff changeset
781 }
anatofuz
parents:
diff changeset
782 }
anatofuz
parents:
diff changeset
783 // Scan next action ...
anatofuz
parents:
diff changeset
784 }
anatofuz
parents:
diff changeset
785 else if (ttypeIndex < 0)
anatofuz
parents:
diff changeset
786 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
787 // Found an exception specification.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
788 if (actions & _UA_FORCE_UNWIND) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
789 // Skip if forced unwinding.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
790 } else if (native_exception) {
150
anatofuz
parents:
diff changeset
791 // Does the exception spec catch this native exception?
anatofuz
parents:
diff changeset
792 __cxa_exception* exception_header = (__cxa_exception*)(unwind_exception+1) - 1;
anatofuz
parents:
diff changeset
793 void* adjustedPtr = get_thrown_object_ptr(unwind_exception);
anatofuz
parents:
diff changeset
794 const __shim_type_info* excpType =
anatofuz
parents:
diff changeset
795 static_cast<const __shim_type_info*>(exception_header->exceptionType);
anatofuz
parents:
diff changeset
796 if (adjustedPtr == 0 || excpType == 0)
anatofuz
parents:
diff changeset
797 {
anatofuz
parents:
diff changeset
798 // Something very bad happened
anatofuz
parents:
diff changeset
799 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
800 }
anatofuz
parents:
diff changeset
801 if (exception_spec_can_catch(ttypeIndex, classInfo,
anatofuz
parents:
diff changeset
802 ttypeEncoding, excpType,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
803 adjustedPtr,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
804 unwind_exception, base))
150
anatofuz
parents:
diff changeset
805 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
806 // Native exception caught by exception
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
807 // specification.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
808 assert(actions & _UA_SEARCH_PHASE);
150
anatofuz
parents:
diff changeset
809 results.ttypeIndex = ttypeIndex;
anatofuz
parents:
diff changeset
810 results.actionRecord = actionRecord;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
811 results.adjustedPtr = adjustedPtr;
150
anatofuz
parents:
diff changeset
812 results.reason = _URC_HANDLER_FOUND;
anatofuz
parents:
diff changeset
813 return;
anatofuz
parents:
diff changeset
814 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
815 } else {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
816 // foreign exception caught by exception spec
150
anatofuz
parents:
diff changeset
817 results.ttypeIndex = ttypeIndex;
anatofuz
parents:
diff changeset
818 results.actionRecord = actionRecord;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
819 results.adjustedPtr =
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
820 get_thrown_object_ptr(unwind_exception);
150
anatofuz
parents:
diff changeset
821 results.reason = _URC_HANDLER_FOUND;
anatofuz
parents:
diff changeset
822 return;
anatofuz
parents:
diff changeset
823 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
824 // Scan next action ...
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
825 } else {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
826 hasCleanup = true;
150
anatofuz
parents:
diff changeset
827 }
anatofuz
parents:
diff changeset
828 const uint8_t* temp = action;
anatofuz
parents:
diff changeset
829 int64_t actionOffset = readSLEB128(&temp);
anatofuz
parents:
diff changeset
830 if (actionOffset == 0)
anatofuz
parents:
diff changeset
831 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
832 // End of action list. If this is phase 2 and we have found
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
833 // a cleanup (ttypeIndex=0), return _URC_HANDLER_FOUND;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
834 // otherwise return _URC_CONTINUE_UNWIND.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
835 results.reason = hasCleanup && actions & _UA_CLEANUP_PHASE
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
836 ? _URC_HANDLER_FOUND
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
837 : _URC_CONTINUE_UNWIND;
150
anatofuz
parents:
diff changeset
838 return;
anatofuz
parents:
diff changeset
839 }
anatofuz
parents:
diff changeset
840 // Go to next action
anatofuz
parents:
diff changeset
841 action += actionOffset;
anatofuz
parents:
diff changeset
842 } // there is no break out of this loop, only return
anatofuz
parents:
diff changeset
843 }
anatofuz
parents:
diff changeset
844 #ifndef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
845 else if (ipOffset < start)
anatofuz
parents:
diff changeset
846 {
anatofuz
parents:
diff changeset
847 // There is no call site for this ip
anatofuz
parents:
diff changeset
848 // Something bad has happened. We should never get here.
anatofuz
parents:
diff changeset
849 // Possible stack corruption.
anatofuz
parents:
diff changeset
850 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
851 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
852 #endif // !__USING_SJLJ_EXCEPTIONS__
150
anatofuz
parents:
diff changeset
853 } // there might be some tricky cases which break out of this loop
anatofuz
parents:
diff changeset
854
anatofuz
parents:
diff changeset
855 // It is possible that no eh table entry specify how to handle
anatofuz
parents:
diff changeset
856 // this exception. By spec, terminate it immediately.
anatofuz
parents:
diff changeset
857 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
858 }
anatofuz
parents:
diff changeset
859
anatofuz
parents:
diff changeset
860 // public API
anatofuz
parents:
diff changeset
861
anatofuz
parents:
diff changeset
862 /*
anatofuz
parents:
diff changeset
863 The personality function branches on actions like so:
anatofuz
parents:
diff changeset
864
anatofuz
parents:
diff changeset
865 _UA_SEARCH_PHASE
anatofuz
parents:
diff changeset
866
anatofuz
parents:
diff changeset
867 If _UA_CLEANUP_PHASE or _UA_HANDLER_FRAME or _UA_FORCE_UNWIND there's
anatofuz
parents:
diff changeset
868 an error from above, return _URC_FATAL_PHASE1_ERROR.
anatofuz
parents:
diff changeset
869
anatofuz
parents:
diff changeset
870 Scan for anything that could stop unwinding:
anatofuz
parents:
diff changeset
871
anatofuz
parents:
diff changeset
872 1. A catch clause that will catch this exception
anatofuz
parents:
diff changeset
873 (will never catch foreign).
anatofuz
parents:
diff changeset
874 2. A catch (...) (will always catch foreign).
anatofuz
parents:
diff changeset
875 3. An exception spec that will catch this exception
anatofuz
parents:
diff changeset
876 (will always catch foreign).
anatofuz
parents:
diff changeset
877 If a handler is found
anatofuz
parents:
diff changeset
878 If not foreign
anatofuz
parents:
diff changeset
879 Save state in header
anatofuz
parents:
diff changeset
880 return _URC_HANDLER_FOUND
anatofuz
parents:
diff changeset
881 Else a handler not found
anatofuz
parents:
diff changeset
882 return _URC_CONTINUE_UNWIND
anatofuz
parents:
diff changeset
883
anatofuz
parents:
diff changeset
884 _UA_CLEANUP_PHASE
anatofuz
parents:
diff changeset
885
anatofuz
parents:
diff changeset
886 If _UA_HANDLER_FRAME
anatofuz
parents:
diff changeset
887 If _UA_FORCE_UNWIND
anatofuz
parents:
diff changeset
888 How did this happen? return _URC_FATAL_PHASE2_ERROR
anatofuz
parents:
diff changeset
889 If foreign
anatofuz
parents:
diff changeset
890 Do _UA_SEARCH_PHASE to recover state
anatofuz
parents:
diff changeset
891 else
anatofuz
parents:
diff changeset
892 Recover state from header
anatofuz
parents:
diff changeset
893 Transfer control to landing pad. return _URC_INSTALL_CONTEXT
anatofuz
parents:
diff changeset
894
anatofuz
parents:
diff changeset
895 Else
anatofuz
parents:
diff changeset
896
anatofuz
parents:
diff changeset
897 This branch handles both normal C++ non-catching handlers (cleanups)
anatofuz
parents:
diff changeset
898 and forced unwinding.
anatofuz
parents:
diff changeset
899 Scan for anything that can not stop unwinding:
anatofuz
parents:
diff changeset
900
anatofuz
parents:
diff changeset
901 1. A cleanup.
anatofuz
parents:
diff changeset
902
anatofuz
parents:
diff changeset
903 If a cleanup is found
anatofuz
parents:
diff changeset
904 transfer control to it. return _URC_INSTALL_CONTEXT
anatofuz
parents:
diff changeset
905 Else a cleanup is not found: return _URC_CONTINUE_UNWIND
anatofuz
parents:
diff changeset
906 */
anatofuz
parents:
diff changeset
907
anatofuz
parents:
diff changeset
908 #if !defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
909 #if defined(__SEH__) && !defined(__USING_SJLJ_EXCEPTIONS__)
anatofuz
parents:
diff changeset
910 static _Unwind_Reason_Code __gxx_personality_imp
anatofuz
parents:
diff changeset
911 #else
anatofuz
parents:
diff changeset
912 _LIBCXXABI_FUNC_VIS _Unwind_Reason_Code
anatofuz
parents:
diff changeset
913 #ifdef __USING_SJLJ_EXCEPTIONS__
anatofuz
parents:
diff changeset
914 __gxx_personality_sj0
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
915 #elif defined(__MVS__)
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
916 __zos_cxx_personality_v2
150
anatofuz
parents:
diff changeset
917 #else
anatofuz
parents:
diff changeset
918 __gxx_personality_v0
anatofuz
parents:
diff changeset
919 #endif
anatofuz
parents:
diff changeset
920 #endif
anatofuz
parents:
diff changeset
921 (int version, _Unwind_Action actions, uint64_t exceptionClass,
anatofuz
parents:
diff changeset
922 _Unwind_Exception* unwind_exception, _Unwind_Context* context)
anatofuz
parents:
diff changeset
923 {
anatofuz
parents:
diff changeset
924 if (version != 1 || unwind_exception == 0 || context == 0)
anatofuz
parents:
diff changeset
925 return _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
926
anatofuz
parents:
diff changeset
927 bool native_exception = (exceptionClass & get_vendor_and_language) ==
anatofuz
parents:
diff changeset
928 (kOurExceptionClass & get_vendor_and_language);
anatofuz
parents:
diff changeset
929 scan_results results;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
930 // Process a catch handler for a native exception first.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
931 if (actions == (_UA_CLEANUP_PHASE | _UA_HANDLER_FRAME) &&
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
932 native_exception) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
933 // Reload the results from the phase 1 cache.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
934 __cxa_exception* exception_header =
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
935 (__cxa_exception*)(unwind_exception + 1) - 1;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
936 results.ttypeIndex = exception_header->handlerSwitchValue;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
937 results.actionRecord = exception_header->actionRecord;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
938 results.languageSpecificData = exception_header->languageSpecificData;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
939 results.landingPad =
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
940 reinterpret_cast<uintptr_t>(exception_header->catchTemp);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
941 results.adjustedPtr = exception_header->adjustedPtr;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
942
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
943 // Jump to the handler.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
944 set_registers(unwind_exception, context, results);
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
945 // Cache base for calculating the address of ttype in
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
946 // __cxa_call_unexpected.
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
947 if (results.ttypeIndex < 0) {
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
948 #if defined(_AIX)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
949 exception_header->catchTemp = (void *)_Unwind_GetDataRelBase(context);
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
950 #else
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
951 exception_header->catchTemp = 0;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
952 #endif
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
953 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
954 return _URC_INSTALL_CONTEXT;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
955 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
956
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
957 // In other cases we need to scan LSDA.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
958 scan_eh_tab(results, actions, native_exception, unwind_exception, context);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
959 if (results.reason == _URC_CONTINUE_UNWIND ||
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
960 results.reason == _URC_FATAL_PHASE1_ERROR)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
961 return results.reason;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
962
150
anatofuz
parents:
diff changeset
963 if (actions & _UA_SEARCH_PHASE)
anatofuz
parents:
diff changeset
964 {
anatofuz
parents:
diff changeset
965 // Phase 1 search: All we're looking for in phase 1 is a handler that
anatofuz
parents:
diff changeset
966 // halts unwinding
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
967 assert(results.reason == _URC_HANDLER_FOUND);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
968 if (native_exception) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
969 // For a native exception, cache the LSDA result.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
970 __cxa_exception* exc = (__cxa_exception*)(unwind_exception + 1) - 1;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
971 exc->handlerSwitchValue = static_cast<int>(results.ttypeIndex);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
972 exc->actionRecord = results.actionRecord;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
973 exc->languageSpecificData = results.languageSpecificData;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
974 exc->catchTemp = reinterpret_cast<void*>(results.landingPad);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
975 exc->adjustedPtr = results.adjustedPtr;
150
anatofuz
parents:
diff changeset
976 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
977 return _URC_HANDLER_FOUND;
150
anatofuz
parents:
diff changeset
978 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
979
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
980 assert(actions & _UA_CLEANUP_PHASE);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
981 assert(results.reason == _URC_HANDLER_FOUND);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
982 set_registers(unwind_exception, context, results);
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
983 // Cache base for calculating the address of ttype in __cxa_call_unexpected.
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
984 if (results.ttypeIndex < 0) {
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
985 __cxa_exception* exception_header =
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
986 (__cxa_exception*)(unwind_exception + 1) - 1;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
987 #if defined(_AIX)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
988 exception_header->catchTemp = (void *)_Unwind_GetDataRelBase(context);
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
989 #else
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
990 exception_header->catchTemp = 0;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
991 #endif
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
992 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
993 return _URC_INSTALL_CONTEXT;
150
anatofuz
parents:
diff changeset
994 }
anatofuz
parents:
diff changeset
995
anatofuz
parents:
diff changeset
996 #if defined(__SEH__) && !defined(__USING_SJLJ_EXCEPTIONS__)
anatofuz
parents:
diff changeset
997 extern "C" _LIBCXXABI_FUNC_VIS EXCEPTION_DISPOSITION
anatofuz
parents:
diff changeset
998 __gxx_personality_seh0(PEXCEPTION_RECORD ms_exc, void *this_frame,
anatofuz
parents:
diff changeset
999 PCONTEXT ms_orig_context, PDISPATCHER_CONTEXT ms_disp)
anatofuz
parents:
diff changeset
1000 {
anatofuz
parents:
diff changeset
1001 return _GCC_specific_handler(ms_exc, this_frame, ms_orig_context, ms_disp,
anatofuz
parents:
diff changeset
1002 __gxx_personality_imp);
anatofuz
parents:
diff changeset
1003 }
anatofuz
parents:
diff changeset
1004 #endif
anatofuz
parents:
diff changeset
1005
anatofuz
parents:
diff changeset
1006 #else
anatofuz
parents:
diff changeset
1007
anatofuz
parents:
diff changeset
1008 extern "C" _Unwind_Reason_Code __gnu_unwind_frame(_Unwind_Exception*,
anatofuz
parents:
diff changeset
1009 _Unwind_Context*);
anatofuz
parents:
diff changeset
1010
anatofuz
parents:
diff changeset
1011 // Helper function to unwind one frame.
anatofuz
parents:
diff changeset
1012 // ARM EHABI 7.3 and 7.4: If the personality function returns _URC_CONTINUE_UNWIND, the
anatofuz
parents:
diff changeset
1013 // personality routine should update the virtual register set (VRS) according to the
anatofuz
parents:
diff changeset
1014 // corresponding frame unwinding instructions (ARM EHABI 9.3.)
anatofuz
parents:
diff changeset
1015 static _Unwind_Reason_Code continue_unwind(_Unwind_Exception* unwind_exception,
anatofuz
parents:
diff changeset
1016 _Unwind_Context* context)
anatofuz
parents:
diff changeset
1017 {
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1018 switch (__gnu_unwind_frame(unwind_exception, context)) {
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1019 case _URC_OK:
150
anatofuz
parents:
diff changeset
1020 return _URC_CONTINUE_UNWIND;
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1021 case _URC_END_OF_STACK:
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1022 return _URC_END_OF_STACK;
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1023 default:
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1024 return _URC_FAILURE;
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1025 }
150
anatofuz
parents:
diff changeset
1026 }
anatofuz
parents:
diff changeset
1027
anatofuz
parents:
diff changeset
1028 // ARM register names
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1029 #if !defined(_LIBUNWIND_VERSION)
150
anatofuz
parents:
diff changeset
1030 static const uint32_t REG_UCB = 12; // Register to save _Unwind_Control_Block
anatofuz
parents:
diff changeset
1031 #endif
anatofuz
parents:
diff changeset
1032 static const uint32_t REG_SP = 13;
anatofuz
parents:
diff changeset
1033
anatofuz
parents:
diff changeset
1034 static void save_results_to_barrier_cache(_Unwind_Exception* unwind_exception,
anatofuz
parents:
diff changeset
1035 const scan_results& results)
anatofuz
parents:
diff changeset
1036 {
anatofuz
parents:
diff changeset
1037 unwind_exception->barrier_cache.bitpattern[0] = (uint32_t)results.adjustedPtr;
anatofuz
parents:
diff changeset
1038 unwind_exception->barrier_cache.bitpattern[1] = (uint32_t)results.actionRecord;
anatofuz
parents:
diff changeset
1039 unwind_exception->barrier_cache.bitpattern[2] = (uint32_t)results.languageSpecificData;
anatofuz
parents:
diff changeset
1040 unwind_exception->barrier_cache.bitpattern[3] = (uint32_t)results.landingPad;
anatofuz
parents:
diff changeset
1041 unwind_exception->barrier_cache.bitpattern[4] = (uint32_t)results.ttypeIndex;
anatofuz
parents:
diff changeset
1042 }
anatofuz
parents:
diff changeset
1043
anatofuz
parents:
diff changeset
1044 static void load_results_from_barrier_cache(scan_results& results,
anatofuz
parents:
diff changeset
1045 const _Unwind_Exception* unwind_exception)
anatofuz
parents:
diff changeset
1046 {
anatofuz
parents:
diff changeset
1047 results.adjustedPtr = (void*)unwind_exception->barrier_cache.bitpattern[0];
anatofuz
parents:
diff changeset
1048 results.actionRecord = (const uint8_t*)unwind_exception->barrier_cache.bitpattern[1];
anatofuz
parents:
diff changeset
1049 results.languageSpecificData = (const uint8_t*)unwind_exception->barrier_cache.bitpattern[2];
anatofuz
parents:
diff changeset
1050 results.landingPad = (uintptr_t)unwind_exception->barrier_cache.bitpattern[3];
anatofuz
parents:
diff changeset
1051 results.ttypeIndex = (int64_t)(int32_t)unwind_exception->barrier_cache.bitpattern[4];
anatofuz
parents:
diff changeset
1052 }
anatofuz
parents:
diff changeset
1053
anatofuz
parents:
diff changeset
1054 extern "C" _LIBCXXABI_FUNC_VIS _Unwind_Reason_Code
anatofuz
parents:
diff changeset
1055 __gxx_personality_v0(_Unwind_State state,
anatofuz
parents:
diff changeset
1056 _Unwind_Exception* unwind_exception,
anatofuz
parents:
diff changeset
1057 _Unwind_Context* context)
anatofuz
parents:
diff changeset
1058 {
anatofuz
parents:
diff changeset
1059 if (unwind_exception == 0 || context == 0)
anatofuz
parents:
diff changeset
1060 return _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
1061
anatofuz
parents:
diff changeset
1062 bool native_exception = __isOurExceptionClass(unwind_exception);
anatofuz
parents:
diff changeset
1063
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1064 #if !defined(_LIBUNWIND_VERSION)
150
anatofuz
parents:
diff changeset
1065 // Copy the address of _Unwind_Control_Block to r12 so that
anatofuz
parents:
diff changeset
1066 // _Unwind_GetLanguageSpecificData() and _Unwind_GetRegionStart() can
anatofuz
parents:
diff changeset
1067 // return correct address.
anatofuz
parents:
diff changeset
1068 _Unwind_SetGR(context, REG_UCB, reinterpret_cast<uint32_t>(unwind_exception));
anatofuz
parents:
diff changeset
1069 #endif
anatofuz
parents:
diff changeset
1070
anatofuz
parents:
diff changeset
1071 // Check the undocumented force unwinding behavior
anatofuz
parents:
diff changeset
1072 bool is_force_unwinding = state & _US_FORCE_UNWIND;
anatofuz
parents:
diff changeset
1073 state &= ~_US_FORCE_UNWIND;
anatofuz
parents:
diff changeset
1074
anatofuz
parents:
diff changeset
1075 scan_results results;
anatofuz
parents:
diff changeset
1076 switch (state) {
anatofuz
parents:
diff changeset
1077 case _US_VIRTUAL_UNWIND_FRAME:
anatofuz
parents:
diff changeset
1078 if (is_force_unwinding)
anatofuz
parents:
diff changeset
1079 return continue_unwind(unwind_exception, context);
anatofuz
parents:
diff changeset
1080
anatofuz
parents:
diff changeset
1081 // Phase 1 search: All we're looking for in phase 1 is a handler that halts unwinding
anatofuz
parents:
diff changeset
1082 scan_eh_tab(results, _UA_SEARCH_PHASE, native_exception, unwind_exception, context);
anatofuz
parents:
diff changeset
1083 if (results.reason == _URC_HANDLER_FOUND)
anatofuz
parents:
diff changeset
1084 {
anatofuz
parents:
diff changeset
1085 unwind_exception->barrier_cache.sp = _Unwind_GetGR(context, REG_SP);
anatofuz
parents:
diff changeset
1086 if (native_exception)
anatofuz
parents:
diff changeset
1087 save_results_to_barrier_cache(unwind_exception, results);
anatofuz
parents:
diff changeset
1088 return _URC_HANDLER_FOUND;
anatofuz
parents:
diff changeset
1089 }
anatofuz
parents:
diff changeset
1090 // Did not find the catch handler
anatofuz
parents:
diff changeset
1091 if (results.reason == _URC_CONTINUE_UNWIND)
anatofuz
parents:
diff changeset
1092 return continue_unwind(unwind_exception, context);
anatofuz
parents:
diff changeset
1093 return results.reason;
anatofuz
parents:
diff changeset
1094
anatofuz
parents:
diff changeset
1095 case _US_UNWIND_FRAME_STARTING:
anatofuz
parents:
diff changeset
1096 // TODO: Support force unwinding in the phase 2 search.
anatofuz
parents:
diff changeset
1097 // NOTE: In order to call the cleanup functions, _Unwind_ForcedUnwind()
anatofuz
parents:
diff changeset
1098 // will call this personality function with (_US_FORCE_UNWIND |
anatofuz
parents:
diff changeset
1099 // _US_UNWIND_FRAME_STARTING).
anatofuz
parents:
diff changeset
1100
anatofuz
parents:
diff changeset
1101 // Phase 2 search
anatofuz
parents:
diff changeset
1102 if (unwind_exception->barrier_cache.sp == _Unwind_GetGR(context, REG_SP))
anatofuz
parents:
diff changeset
1103 {
anatofuz
parents:
diff changeset
1104 // Found a catching handler in phase 1
anatofuz
parents:
diff changeset
1105 if (native_exception)
anatofuz
parents:
diff changeset
1106 {
anatofuz
parents:
diff changeset
1107 // Load the result from the native exception barrier cache.
anatofuz
parents:
diff changeset
1108 load_results_from_barrier_cache(results, unwind_exception);
anatofuz
parents:
diff changeset
1109 results.reason = _URC_HANDLER_FOUND;
anatofuz
parents:
diff changeset
1110 }
anatofuz
parents:
diff changeset
1111 else
anatofuz
parents:
diff changeset
1112 {
anatofuz
parents:
diff changeset
1113 // Search for the catching handler again for the foreign exception.
anatofuz
parents:
diff changeset
1114 scan_eh_tab(results, static_cast<_Unwind_Action>(_UA_CLEANUP_PHASE | _UA_HANDLER_FRAME),
anatofuz
parents:
diff changeset
1115 native_exception, unwind_exception, context);
anatofuz
parents:
diff changeset
1116 if (results.reason != _URC_HANDLER_FOUND) // phase1 search should guarantee to find one
anatofuz
parents:
diff changeset
1117 call_terminate(native_exception, unwind_exception);
anatofuz
parents:
diff changeset
1118 }
anatofuz
parents:
diff changeset
1119
anatofuz
parents:
diff changeset
1120 // Install the context for the catching handler
anatofuz
parents:
diff changeset
1121 set_registers(unwind_exception, context, results);
anatofuz
parents:
diff changeset
1122 return _URC_INSTALL_CONTEXT;
anatofuz
parents:
diff changeset
1123 }
anatofuz
parents:
diff changeset
1124
anatofuz
parents:
diff changeset
1125 // Either we didn't do a phase 1 search (due to forced unwinding), or
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1126 // phase 1 reported no catching-handlers.
150
anatofuz
parents:
diff changeset
1127 // Search for a (non-catching) cleanup
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1128 if (is_force_unwinding)
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1129 scan_eh_tab(
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1130 results,
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1131 static_cast<_Unwind_Action>(_UA_CLEANUP_PHASE | _UA_FORCE_UNWIND),
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1132 native_exception, unwind_exception, context);
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1133 else
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1134 scan_eh_tab(results, _UA_CLEANUP_PHASE, native_exception,
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1135 unwind_exception, context);
150
anatofuz
parents:
diff changeset
1136 if (results.reason == _URC_HANDLER_FOUND)
anatofuz
parents:
diff changeset
1137 {
anatofuz
parents:
diff changeset
1138 // Found a non-catching handler
anatofuz
parents:
diff changeset
1139
anatofuz
parents:
diff changeset
1140 // ARM EHABI 8.4.2: Before we can jump to the cleanup handler, we have to setup some
anatofuz
parents:
diff changeset
1141 // internal data structures, so that __cxa_end_cleanup() can get unwind_exception from
anatofuz
parents:
diff changeset
1142 // __cxa_get_globals().
anatofuz
parents:
diff changeset
1143 __cxa_begin_cleanup(unwind_exception);
anatofuz
parents:
diff changeset
1144
anatofuz
parents:
diff changeset
1145 // Install the context for the cleanup handler
anatofuz
parents:
diff changeset
1146 set_registers(unwind_exception, context, results);
anatofuz
parents:
diff changeset
1147 return _URC_INSTALL_CONTEXT;
anatofuz
parents:
diff changeset
1148 }
anatofuz
parents:
diff changeset
1149
anatofuz
parents:
diff changeset
1150 // Did not find any handler
anatofuz
parents:
diff changeset
1151 if (results.reason == _URC_CONTINUE_UNWIND)
anatofuz
parents:
diff changeset
1152 return continue_unwind(unwind_exception, context);
anatofuz
parents:
diff changeset
1153 return results.reason;
anatofuz
parents:
diff changeset
1154
anatofuz
parents:
diff changeset
1155 case _US_UNWIND_FRAME_RESUME:
anatofuz
parents:
diff changeset
1156 return continue_unwind(unwind_exception, context);
anatofuz
parents:
diff changeset
1157 }
anatofuz
parents:
diff changeset
1158
anatofuz
parents:
diff changeset
1159 // We were called improperly: neither a phase 1 or phase 2 search
anatofuz
parents:
diff changeset
1160 return _URC_FATAL_PHASE1_ERROR;
anatofuz
parents:
diff changeset
1161 }
anatofuz
parents:
diff changeset
1162 #endif
anatofuz
parents:
diff changeset
1163
anatofuz
parents:
diff changeset
1164
anatofuz
parents:
diff changeset
1165 __attribute__((noreturn))
anatofuz
parents:
diff changeset
1166 _LIBCXXABI_FUNC_VIS void
anatofuz
parents:
diff changeset
1167 __cxa_call_unexpected(void* arg)
anatofuz
parents:
diff changeset
1168 {
anatofuz
parents:
diff changeset
1169 _Unwind_Exception* unwind_exception = static_cast<_Unwind_Exception*>(arg);
anatofuz
parents:
diff changeset
1170 if (unwind_exception == 0)
anatofuz
parents:
diff changeset
1171 call_terminate(false, unwind_exception);
anatofuz
parents:
diff changeset
1172 __cxa_begin_catch(unwind_exception);
anatofuz
parents:
diff changeset
1173 bool native_old_exception = __isOurExceptionClass(unwind_exception);
anatofuz
parents:
diff changeset
1174 std::unexpected_handler u_handler;
anatofuz
parents:
diff changeset
1175 std::terminate_handler t_handler;
anatofuz
parents:
diff changeset
1176 __cxa_exception* old_exception_header = 0;
anatofuz
parents:
diff changeset
1177 int64_t ttypeIndex;
anatofuz
parents:
diff changeset
1178 const uint8_t* lsda;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1179 uintptr_t base = 0;
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1180
150
anatofuz
parents:
diff changeset
1181 if (native_old_exception)
anatofuz
parents:
diff changeset
1182 {
anatofuz
parents:
diff changeset
1183 old_exception_header = (__cxa_exception*)(unwind_exception+1) - 1;
anatofuz
parents:
diff changeset
1184 t_handler = old_exception_header->terminateHandler;
anatofuz
parents:
diff changeset
1185 u_handler = old_exception_header->unexpectedHandler;
anatofuz
parents:
diff changeset
1186 // If std::__unexpected(u_handler) rethrows the same exception,
anatofuz
parents:
diff changeset
1187 // these values get overwritten by the rethrow. So save them now:
anatofuz
parents:
diff changeset
1188 #if defined(_LIBCXXABI_ARM_EHABI)
anatofuz
parents:
diff changeset
1189 ttypeIndex = (int64_t)(int32_t)unwind_exception->barrier_cache.bitpattern[4];
anatofuz
parents:
diff changeset
1190 lsda = (const uint8_t*)unwind_exception->barrier_cache.bitpattern[2];
anatofuz
parents:
diff changeset
1191 #else
anatofuz
parents:
diff changeset
1192 ttypeIndex = old_exception_header->handlerSwitchValue;
anatofuz
parents:
diff changeset
1193 lsda = old_exception_header->languageSpecificData;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1194 base = (uintptr_t)old_exception_header->catchTemp;
150
anatofuz
parents:
diff changeset
1195 #endif
anatofuz
parents:
diff changeset
1196 }
anatofuz
parents:
diff changeset
1197 else
anatofuz
parents:
diff changeset
1198 {
anatofuz
parents:
diff changeset
1199 t_handler = std::get_terminate();
anatofuz
parents:
diff changeset
1200 u_handler = std::get_unexpected();
anatofuz
parents:
diff changeset
1201 }
anatofuz
parents:
diff changeset
1202 try
anatofuz
parents:
diff changeset
1203 {
anatofuz
parents:
diff changeset
1204 std::__unexpected(u_handler);
anatofuz
parents:
diff changeset
1205 }
anatofuz
parents:
diff changeset
1206 catch (...)
anatofuz
parents:
diff changeset
1207 {
anatofuz
parents:
diff changeset
1208 // If the old exception is foreign, then all we can do is terminate.
anatofuz
parents:
diff changeset
1209 // We have no way to recover the needed old exception spec. There's
anatofuz
parents:
diff changeset
1210 // no way to pass that information here. And the personality routine
anatofuz
parents:
diff changeset
1211 // can't call us directly and do anything but terminate() if we throw
anatofuz
parents:
diff changeset
1212 // from here.
anatofuz
parents:
diff changeset
1213 if (native_old_exception)
anatofuz
parents:
diff changeset
1214 {
anatofuz
parents:
diff changeset
1215 // Have:
anatofuz
parents:
diff changeset
1216 // old_exception_header->languageSpecificData
anatofuz
parents:
diff changeset
1217 // old_exception_header->actionRecord
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1218 // old_exception_header->catchTemp, base for calculating ttype
150
anatofuz
parents:
diff changeset
1219 // Need
anatofuz
parents:
diff changeset
1220 // const uint8_t* classInfo
anatofuz
parents:
diff changeset
1221 // uint8_t ttypeEncoding
anatofuz
parents:
diff changeset
1222 uint8_t lpStartEncoding = *lsda++;
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1223 const uint8_t* lpStart =
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1224 (const uint8_t*)readEncodedPointer(&lsda, lpStartEncoding, base);
150
anatofuz
parents:
diff changeset
1225 (void)lpStart; // purposefully unused. Just needed to increment lsda.
anatofuz
parents:
diff changeset
1226 uint8_t ttypeEncoding = *lsda++;
anatofuz
parents:
diff changeset
1227 if (ttypeEncoding == DW_EH_PE_omit)
anatofuz
parents:
diff changeset
1228 std::__terminate(t_handler);
anatofuz
parents:
diff changeset
1229 uintptr_t classInfoOffset = readULEB128(&lsda);
anatofuz
parents:
diff changeset
1230 const uint8_t* classInfo = lsda + classInfoOffset;
anatofuz
parents:
diff changeset
1231 // Is this new exception catchable by the exception spec at ttypeIndex?
anatofuz
parents:
diff changeset
1232 // The answer is obviously yes if the new and old exceptions are the same exception
anatofuz
parents:
diff changeset
1233 // If no
anatofuz
parents:
diff changeset
1234 // throw;
anatofuz
parents:
diff changeset
1235 __cxa_eh_globals* globals = __cxa_get_globals_fast();
anatofuz
parents:
diff changeset
1236 __cxa_exception* new_exception_header = globals->caughtExceptions;
anatofuz
parents:
diff changeset
1237 if (new_exception_header == 0)
anatofuz
parents:
diff changeset
1238 // This shouldn't be able to happen!
anatofuz
parents:
diff changeset
1239 std::__terminate(t_handler);
anatofuz
parents:
diff changeset
1240 bool native_new_exception = __isOurExceptionClass(&new_exception_header->unwindHeader);
anatofuz
parents:
diff changeset
1241 void* adjustedPtr;
anatofuz
parents:
diff changeset
1242 if (native_new_exception && (new_exception_header != old_exception_header))
anatofuz
parents:
diff changeset
1243 {
anatofuz
parents:
diff changeset
1244 const __shim_type_info* excpType =
anatofuz
parents:
diff changeset
1245 static_cast<const __shim_type_info*>(new_exception_header->exceptionType);
anatofuz
parents:
diff changeset
1246 adjustedPtr =
anatofuz
parents:
diff changeset
1247 __getExceptionClass(&new_exception_header->unwindHeader) == kOurDependentExceptionClass ?
anatofuz
parents:
diff changeset
1248 ((__cxa_dependent_exception*)new_exception_header)->primaryException :
anatofuz
parents:
diff changeset
1249 new_exception_header + 1;
anatofuz
parents:
diff changeset
1250 if (!exception_spec_can_catch(ttypeIndex, classInfo, ttypeEncoding,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1251 excpType, adjustedPtr,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1252 unwind_exception, base))
150
anatofuz
parents:
diff changeset
1253 {
anatofuz
parents:
diff changeset
1254 // We need to __cxa_end_catch, but for the old exception,
anatofuz
parents:
diff changeset
1255 // not the new one. This is a little tricky ...
anatofuz
parents:
diff changeset
1256 // Disguise new_exception_header as a rethrown exception, but
anatofuz
parents:
diff changeset
1257 // don't actually rethrow it. This means you can temporarily
anatofuz
parents:
diff changeset
1258 // end the catch clause enclosing new_exception_header without
anatofuz
parents:
diff changeset
1259 // __cxa_end_catch destroying new_exception_header.
anatofuz
parents:
diff changeset
1260 new_exception_header->handlerCount = -new_exception_header->handlerCount;
anatofuz
parents:
diff changeset
1261 globals->uncaughtExceptions += 1;
anatofuz
parents:
diff changeset
1262 // Call __cxa_end_catch for new_exception_header
anatofuz
parents:
diff changeset
1263 __cxa_end_catch();
anatofuz
parents:
diff changeset
1264 // Call __cxa_end_catch for old_exception_header
anatofuz
parents:
diff changeset
1265 __cxa_end_catch();
anatofuz
parents:
diff changeset
1266 // Renter this catch clause with new_exception_header
anatofuz
parents:
diff changeset
1267 __cxa_begin_catch(&new_exception_header->unwindHeader);
anatofuz
parents:
diff changeset
1268 // Rethrow new_exception_header
anatofuz
parents:
diff changeset
1269 throw;
anatofuz
parents:
diff changeset
1270 }
anatofuz
parents:
diff changeset
1271 }
anatofuz
parents:
diff changeset
1272 // Will a std::bad_exception be catchable by the exception spec at
anatofuz
parents:
diff changeset
1273 // ttypeIndex?
anatofuz
parents:
diff changeset
1274 // If no
anatofuz
parents:
diff changeset
1275 // throw std::bad_exception();
anatofuz
parents:
diff changeset
1276 const __shim_type_info* excpType =
anatofuz
parents:
diff changeset
1277 static_cast<const __shim_type_info*>(&typeid(std::bad_exception));
anatofuz
parents:
diff changeset
1278 std::bad_exception be;
anatofuz
parents:
diff changeset
1279 adjustedPtr = &be;
anatofuz
parents:
diff changeset
1280 if (!exception_spec_can_catch(ttypeIndex, classInfo, ttypeEncoding,
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1281 excpType, adjustedPtr,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1282 unwind_exception, base))
150
anatofuz
parents:
diff changeset
1283 {
anatofuz
parents:
diff changeset
1284 // We need to __cxa_end_catch for both the old exception and the
anatofuz
parents:
diff changeset
1285 // new exception. Technically we should do it in that order.
anatofuz
parents:
diff changeset
1286 // But it is expedient to do it in the opposite order:
anatofuz
parents:
diff changeset
1287 // Call __cxa_end_catch for new_exception_header
anatofuz
parents:
diff changeset
1288 __cxa_end_catch();
anatofuz
parents:
diff changeset
1289 // Throw std::bad_exception will __cxa_end_catch for
anatofuz
parents:
diff changeset
1290 // old_exception_header
anatofuz
parents:
diff changeset
1291 throw be;
anatofuz
parents:
diff changeset
1292 }
anatofuz
parents:
diff changeset
1293 }
anatofuz
parents:
diff changeset
1294 }
anatofuz
parents:
diff changeset
1295 std::__terminate(t_handler);
anatofuz
parents:
diff changeset
1296 }
anatofuz
parents:
diff changeset
1297
223
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1298 #if defined(_AIX)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1299 // Personality routine for EH using the range table. Make it an alias of
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1300 // __gxx_personality_v0().
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1301 _LIBCXXABI_FUNC_VIS _Unwind_Reason_Code __xlcxx_personality_v1(
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1302 int version, _Unwind_Action actions, uint64_t exceptionClass,
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1303 _Unwind_Exception* unwind_exception, _Unwind_Context* context)
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1304 __attribute__((__alias__("__gxx_personality_v0")));
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1305 #endif
5f17cb93ff66 LLVM13 (2021/7/18)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 221
diff changeset
1306
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
1307 } // extern "C"
150
anatofuz
parents:
diff changeset
1308
anatofuz
parents:
diff changeset
1309 } // __cxxabiv1
236
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1310
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1311 #if defined(_AIX)
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1312 // Include implementation of the personality and helper functions for the
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1313 // state table based EH used by IBM legacy compilers xlC and xlclang++ on AIX.
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1314 # include "aix_state_tab_eh.inc"
c4bab56944e8 LLVM 16
kono
parents: 223
diff changeset
1315 #endif