1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
|
/* Copyright 2009-2021
* Kaz Kylheku <kaz@kylheku.com>
* Vancouver, Canada
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* 1. Redistributions of source code must retain the above copyright notice, this
* list of conditions and the following disclaimer.
*
* 2. Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#if __i386__
struct jmp {
unsigned eip;
unsigned esp;
unsigned ebp;
unsigned ebx;
unsigned esi;
unsigned edi;
};
#elif __x86_64__
struct jmp {
unsigned long rip;
unsigned long rsp;
unsigned long rbp;
unsigned long rbx;
unsigned long r12;
unsigned long r13;
unsigned long r14;
unsigned long r15;
#if __CYGWIN__
unsigned long rsi;
unsigned long rdi;
#endif
};
#elif __arm__ && !__thumb__
struct jmp {
unsigned long r4;
unsigned long r5;
unsigned long r6;
unsigned long r7;
unsigned long r8;
unsigned long r9;
unsigned long r10;
unsigned long fp;
unsigned long sp;
unsigned long lr;
};
#elif __arm__ && __thumb__
struct jmp {
unsigned long lr;
unsigned long r4;
unsigned long r5;
unsigned long r6;
unsigned long r7;
unsigned long r8;
unsigned long r9;
unsigned long r10;
unsigned long fp;
unsigned long sp;
};
#elif __PPC64__
struct jmp {
unsigned long r1;
unsigned long r2;
unsigned long r11;
unsigned long r12;
unsigned long r13;
unsigned long r14;
unsigned long r15;
unsigned long r16;
unsigned long r17;
unsigned long r18;
unsigned long r19;
unsigned long r20;
unsigned long r21;
unsigned long r22;
unsigned long r23;
unsigned long r24;
unsigned long r25;
unsigned long r26;
unsigned long r27;
unsigned long r28;
unsigned long r29;
unsigned long r30;
unsigned long r31;
};
#elif __aarch64__
struct jmp {
unsigned long x19;
unsigned long x20;
unsigned long x21;
unsigned long x22;
unsigned long x23;
unsigned long x24;
unsigned long x25;
unsigned long x26;
unsigned long x27;
unsigned long x28;
unsigned long x29;
unsigned long x30;
unsigned long d8;
unsigned long d9;
unsigned long d10;
unsigned long d11;
unsigned long d12;
unsigned long d13;
unsigned long d14;
unsigned long d15;
unsigned long x16;
};
/* Jump buffer contains:
x19-x28, x29(fp), x30(lr), (x31)sp, d8-d15. Other registers are not
saved. */
#elif __mips__
struct jmp {
unsigned long s0; /* $16 */
unsigned long s1; /* ... */
unsigned long s2;
unsigned long s3;
unsigned long s4;
unsigned long s5;
unsigned long s6; /* ... */
unsigned long s8; /* $23 */
unsigned long gp; /* $28 */
unsigned long sp; /* $29 */
unsigned long fp; /* $30 */
unsigned long ra; /* $31 */
};
#else
#error port me!
#endif
#ifdef __cplusplus
extern "C" {
#endif
int jmp_save(struct jmp *);
NORETURN void jmp_restore(struct jmp *, int);
#ifdef __cplusplus
}
#endif
#if CONFIG_DEBUG_SUPPORT
#define EJ_DBG_MEMB int ds;
#else
#define EJ_DBG_MEMB
#endif
#define EJ_OPT_MEMB EJ_DBG_MEMB
#if HAVE_POSIX_SIGS
typedef struct {
struct jmp jb;
volatile sig_atomic_t se;
volatile small_sigset_t blocked;
volatile val de;
volatile int gc;
val **volatile gc_pt;
EJ_OPT_MEMB
volatile int rv;
} extended_jmp_buf;
#else
typedef struct {
struct jmp jb;
volatile val de;
volatile int gc;
val **volatile gc_pt;
EJ_OPT_MEMB
volatile int rv;
} extended_jmp_buf;
#endif
#define extended_setjmp(EJB) \
(jmp_save(&(EJB).jb) \
? ((EJB).rv) \
: (extjmp_save(&(EJB)), 0))
#define extended_longjmp(EJB, ARG) \
((EJB).rv = (ARG), extjmp_restore(&(EJB)), jmp_restore(&(EJB).jb, 1))
void extjmp_save(extended_jmp_buf *ejb);
void extjmp_restore(extended_jmp_buf *);
typedef union uw_frame uw_frame_t;
typedef enum uw_frtype {
UW_BLOCK, UW_CAPTURED_BLOCK, UW_MENV, UW_CATCH, UW_HANDLE,
UW_CONT_COPY, UW_GUARD,
#if CONFIG_DEBUG_SUPPORT
UW_FCALL, UW_EVAL, UW_EXPAND
#endif
} uw_frtype_t;
struct uw_common {
uw_frame_t *up;
uw_frtype_t type;
};
struct uw_block {
uw_frame_t *up;
uw_frtype_t type;
val tag;
val result;
val protocol;
mem_t *cont_bottom;
extended_jmp_buf jb;
};
struct uw_dynamic_env {
uw_frame_t *up;
uw_frtype_t type;
uw_frame_t *up_env;
val func_bindings;
val match_context;
};
struct uw_catch {
uw_frame_t *up;
uw_frtype_t type;
val matches;
int visible;
val sym;
val args;
val desc;
uw_frame_t *cont;
extended_jmp_buf jb;
};
struct uw_handler {
uw_frame_t *up;
uw_frtype_t type;
val matches; /* Same position as in uw_catch! */
int visible; /* Likewise. */
val fun;
val package, package_alist;
};
struct uw_cont_copy {
uw_frame_t *up;
uw_frtype_t type;
mem_t *ptr;
void (*copy)(mem_t *ptr);
};
struct uw_guard {
uw_frame_t *up;
uw_frtype_t type;
int uw_ok;
};
#if CONFIG_DEBUG_SUPPORT
struct uw_fcall {
uw_frame_t *up;
uw_frtype_t type;
val fun;
struct args *args;
};
struct uw_eval {
uw_frame_t *up;
uw_frtype_t type;
val form;
val env;
};
#endif
#if __aarch64__
#define UW_FRAME_ALIGN __attribute__ ((aligned (16)))
#else
#define UW_FRAME_ALIGN
#endif
union uw_frame {
struct uw_common uw;
struct uw_block bl;
struct uw_dynamic_env ev;
struct uw_catch ca;
struct uw_handler ha;
struct uw_cont_copy cp;
struct uw_guard gu;
#if CONFIG_DEBUG_SUPPORT
struct uw_fcall fc;
struct uw_eval el;
#endif
} UW_FRAME_ALIGN;
void uw_push_block(uw_frame_t *, val tag);
void uw_push_match_env(uw_frame_t *);
val uw_get_func(val sym);
val uw_set_func(val sym, val value);
val uw_get_match_context(void);
val uw_set_match_context(val context);
val uw_block_return_proto(val tag, val result, val protocol);
INLINE val uw_block_return(val tag, val result)
{
return uw_block_return_proto(tag, result, nil);
}
val uw_block_abscond(val tag, val result);
void uw_push_catch(uw_frame_t *, val matches);
void uw_push_handler(uw_frame_t *, val matches, val fun);
#if CONFIG_DEBUG_SUPPORT
void uw_push_fcall(uw_frame_t *, val fun, struct args *args);
void uw_push_eval(uw_frame_t *, val form, val env);
void uw_push_expand(uw_frame_t *, val form, val env);
#endif
val uw_rthrow(val sym, val exception);
val uw_rthrowv(val sym, struct args *);
val uw_rthrowfv(val sym, val fmt, struct args *);
NORETURN val uw_throw(val sym, val exception);
NORETURN val uw_throwf(val sym, val fmt, ...);
NORETURN val uw_errorf(val fmt, ...);
NORETURN val uw_errorfv(val fmt, struct args *args);
val uw_warningf(val fmt, ...);
val uw_defer_warning(val args);
val uw_warning_exists(val tag);
val uw_dump_deferred_warnings(val stream);
val uw_release_deferred_warnings(void);
val uw_purge_deferred_warning(val tag);
val uw_register_tentative_def(val tag);
val uw_tentative_def_exists(val tag);
val uw_register_subtype(val sub, val super);
val uw_exception_subtype_p(val sub, val sup);
void uw_continue(uw_frame_t *target);
void uw_push_guard(uw_frame_t *, int uw_ok);
void uw_pop_frame(uw_frame_t *);
void uw_pop_block(uw_frame_t *, val *pret);
void uw_pop_until(uw_frame_t *);
uw_frame_t *uw_current_frame(void);
uw_frame_t *uw_current_exit_point(void);
val uw_get_frames(void);
val uw_find_frame(val extype, val frtype);
val uw_find_frames(val extype, val frtype);
#if CONFIG_DEBUG_SUPPORT
val uw_find_frames_by_mask(val mask);
val uw_last_form_expanded(void);
#else
define uw_last_form_expanded() ((void) 0)
#endif
val uw_invoke_catch(val catch_frame, val sym, struct args *);
val uw_muffle_warning(val exc, struct args *);
val uw_trace_error(val ctx, val exc, struct args *);
val uw_capture_cont(val tag, val fun, val ctx_form);
void uw_push_cont_copy(uw_frame_t *, mem_t *ptr,
void (*copy)(mem_t *ptr));
void uw_init(void);
void uw_late_init(void);
NORETURN val type_mismatch(val, ...);
#define uw_mark_frame \
uw_frame_t *uw_top = uw_current_frame()
#define uw_fast_return(VAL) \
do { \
uw_pop_until(uw_top); \
return VAL; \
} while (0)
#define uw_block_begin(TAG, RESULTVAR) \
obj_t *RESULTVAR = nil; \
do { \
uw_frame_t uw_blk; \
obj_t **uw_rslt = &RESULTVAR; \
uw_push_block(&uw_blk, TAG); \
if (extended_setjmp(uw_blk.bl.jb)) { \
RESULTVAR = uw_blk.bl.result; \
} else { \
do { } while (0)
#define uw_block_end \
} \
uw_pop_block(&uw_blk, uw_rslt); \
} while (0)
#define uw_match_env_begin \
do { \
uw_frame_t uw_env; \
uw_push_match_env(&uw_env)
#define uw_match_env_end \
uw_pop_frame(&uw_env); \
} while (0)
#define uw_simple_catch_begin \
do { \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, nil); \
switch (extended_setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch_begin(MATCHES, SYMVAR, \
EXCVAR) \
do { \
obj_t *SYMVAR = nil; \
obj_t *EXCVAR = nil; \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, MATCHES); \
switch (extended_setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch_begin_w_desc(MATCHES, SYMVAR, \
EXCVAR, DESC) \
do { \
obj_t *SYMVAR = nil; \
obj_t *EXCVAR = nil; \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, MATCHES); \
uw_catch.ca.desc = (DESC); \
switch (extended_setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch(SYMVAR, EXCVAR) \
goto uw_unwind_label; \
break; \
case 2: \
EXCVAR = uw_catch.ca.args; \
SYMVAR = uw_catch.ca.sym; \
(void) SYMVAR; \
/* prevent looping */ \
uw_catch.ca.matches = nil;
#define uw_unwind \
/* suppress unused label warning */ \
goto uw_unwind_label; \
uw_unwind_label: \
case 1: \
/* prevent looping */ \
uw_catch.ca.visible = 0;
#define uw_curr_exit_point \
(uw_catch.ca.cont)
#define uw_catch_end \
break; \
default: \
abort(); \
} \
uw_pop_frame(&uw_catch); \
if (uw_catch.ca.cont) \
uw_continue(uw_catch.ca.cont); \
} while(0)
#define internal_error(STR) \
do { \
extern obj_t *num(cnum); \
uw_throwf(internal_error_s, \
lit("~a:~a ~a"), \
lit(__FILE__), \
num(__LINE__), lit(STR), \
nao); \
} while (0)
#define panic(STR) \
do { \
extern obj_t *num(cnum); \
uw_throwf(panic_s, \
lit("~a:~a ~a"), \
lit(__FILE__), \
num(__LINE__), lit(STR), \
nao); \
} while (0)
#define type_assert(EXPR, ARGS) \
if (!(EXPR)) type_mismatch ARGS
#define bug_unless(EXPR) \
if (!(EXPR)) \
internal_error("assertion " \
#EXPR \
" failed")
#define ignerr_func_body(type, init, expr, \
stream, prefix) \
val (_s_y_m_s) = cons(error_s, nil); \
type (_r_e_t) = (init); \
uw_frame_t _h_n_d; \
uw_catch_begin (_s_y_m_s, _e_x, _e_x_a); \
uw_push_handler(&_h_n_d, _s_y_m_s, \
func_f1v(cons(stream, prefix), \
uw_trace_error)); \
_r_e_t = expr; \
uw_pop_frame(&_h_n_d); \
uw_catch(_e_x, _e_x_a); \
(void) _e_x_a; \
uw_unwind { } \
uw_catch_end; \
return _r_e_t;
#define ignerr_begin \
uw_catch_begin (cons(error_s, nil), _x_s_y_m, _x_a_r_g_s)
#define ignerr_end \
uw_catch(_x_s_y_m, _x_a_r_g_s) \
(void) _x_s_y_m; (void) _x_a_r_g_s; \
uw_unwind { } \
uw_catch_end
|