Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 1 | // non-local return |
| 2 | // exception handling, basically a stack of setjmp/longjmp buffers |
| 3 | |
| 4 | #include <limits.h> |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 5 | #include <setjmp.h> |
Paul Sokolovsky | e908591 | 2014-04-30 05:35:18 +0300 | [diff] [blame] | 6 | #include "mpconfig.h" |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 7 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 8 | typedef struct _nlr_buf_t nlr_buf_t; |
| 9 | struct _nlr_buf_t { |
| 10 | // the entries here must all be machine word size |
| 11 | nlr_buf_t *prev; |
| 12 | void *ret_val; |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 13 | #if !MICROPY_NLR_SETJMP |
Paul Sokolovsky | 82a165d | 2014-02-27 18:01:43 +0200 | [diff] [blame] | 14 | #if defined(__i386__) |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 15 | void *regs[6]; |
Paul Sokolovsky | 82a165d | 2014-02-27 18:01:43 +0200 | [diff] [blame] | 16 | #elif defined(__x86_64__) |
Damien George | 4b34c76 | 2014-04-03 23:51:16 +0100 | [diff] [blame] | 17 | #if defined(__CYGWIN__) |
| 18 | void *regs[12]; |
| 19 | #else |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 20 | void *regs[8]; |
Damien George | 4b34c76 | 2014-04-03 23:51:16 +0100 | [diff] [blame] | 21 | #endif |
Paul Sokolovsky | 82a165d | 2014-02-27 18:01:43 +0200 | [diff] [blame] | 22 | #elif defined(__thumb2__) |
Damien | 152568b | 2013-10-16 00:46:39 +0100 | [diff] [blame] | 23 | void *regs[10]; |
Paul Sokolovsky | 82a165d | 2014-02-27 18:01:43 +0200 | [diff] [blame] | 24 | #else |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 25 | #define MICROPY_NLR_SETJMP (1) |
Paul Sokolovsky | 851c856 | 2014-04-30 04:14:31 +0300 | [diff] [blame] | 26 | //#warning "No native NLR support for this arch, using setjmp implementation" |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 27 | #endif |
| 28 | #endif |
| 29 | |
| 30 | #if MICROPY_NLR_SETJMP |
| 31 | jmp_buf jmpbuf; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 32 | #endif |
| 33 | }; |
| 34 | |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 35 | #if MICROPY_NLR_SETJMP |
| 36 | extern nlr_buf_t *nlr_setjmp_top; |
Paul Sokolovsky | e908591 | 2014-04-30 05:35:18 +0300 | [diff] [blame] | 37 | NORETURN void nlr_setjmp_jump(void *val); |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 38 | // nlr_push() must be defined as a macro, because "The stack context will be |
| 39 | // invalidated if the function which called setjmp() returns." |
| 40 | #define nlr_push(buf) ((buf)->prev = nlr_setjmp_top, nlr_setjmp_top = (buf), setjmp((buf)->jmpbuf)) |
| 41 | #define nlr_pop() { nlr_setjmp_top = nlr_setjmp_top->prev; } |
| 42 | #define nlr_jump(val) nlr_setjmp_jump(val) |
| 43 | #else |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 44 | unsigned int nlr_push(nlr_buf_t *); |
Damien | 8b3a7c2 | 2013-10-23 20:20:17 +0100 | [diff] [blame] | 45 | void nlr_pop(void); |
Paul Sokolovsky | e908591 | 2014-04-30 05:35:18 +0300 | [diff] [blame] | 46 | NORETURN void nlr_jump(void *val); |
Paul Sokolovsky | 3a83b80 | 2014-04-17 00:16:45 +0300 | [diff] [blame] | 47 | #endif |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 48 | |
Damien George | 26cf55a | 2014-04-08 14:08:14 +0000 | [diff] [blame] | 49 | // This must be implemented by a port. It's called by nlr_jump |
| 50 | // if no nlr buf has been pushed. It must not return, but rather |
| 51 | // should bail out with a fatal error. |
| 52 | void nlr_jump_fail(void *val); |
| 53 | |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 54 | // use nlr_raise instead of nlr_jump so that debugging is easier |
| 55 | #ifndef DEBUG |
| 56 | #define nlr_raise(val) nlr_jump(val) |
| 57 | #else |
| 58 | #define nlr_raise(val) \ |
| 59 | do { \ |
| 60 | void *_val = val; \ |
| 61 | assert(_val != NULL); \ |
| 62 | assert(mp_obj_is_exception_instance(_val)); \ |
| 63 | nlr_jump(_val); \ |
| 64 | } while (0) |
| 65 | #endif |