6a3a742a6c
Each NLR implementation (Thumb, x86, x64, xtensa, setjmp) duplicates a lot of the NLR code, specifically that dealing with pushing and popping the NLR pointer to maintain the linked-list of NLR buffers. This patch factors all of that code out of the specific implementations into generic functions in nlr.c. This eliminates duplicated code. The factoring also allows to make the machine-specific NLR code pure assembler code, thus allowing nlrthumb.c to use naked function attributes in the correct way (naked functions can only have basic inline assembler code in them). There is a small overhead introduced (typically 1 machine instruction) because now the generic nlr_jump() must call nlr_jump_tail() rather than them being one combined function.
130 lines
4.1 KiB
C
130 lines
4.1 KiB
C
/*
|
|
* This file is part of the MicroPython project, http://micropython.org/
|
|
*
|
|
* The MIT License (MIT)
|
|
*
|
|
* Copyright (c) 2013, 2014 Damien P. George
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
#ifndef MICROPY_INCLUDED_PY_NLR_H
|
|
#define MICROPY_INCLUDED_PY_NLR_H
|
|
|
|
// non-local return
|
|
// exception handling, basically a stack of setjmp/longjmp buffers
|
|
|
|
#include <limits.h>
|
|
#include <assert.h>
|
|
|
|
#include "py/mpconfig.h"
|
|
|
|
// If MICROPY_NLR_SETJMP is not enabled then auto-detect the machine arch
|
|
// Allow a port to set MICROPY_NLR_NUM_REGS to define their own implementation
|
|
#if !MICROPY_NLR_SETJMP && !defined(MICROPY_NLR_NUM_REGS)
|
|
#if defined(__i386__)
|
|
#define MICROPY_NLR_X86 (1)
|
|
#define MICROPY_NLR_NUM_REGS (6)
|
|
#elif defined(__x86_64__)
|
|
#define MICROPY_NLR_X64 (1)
|
|
#if defined(__CYGWIN__)
|
|
#define MICROPY_NLR_NUM_REGS (12)
|
|
#else
|
|
#define MICROPY_NLR_NUM_REGS (8)
|
|
#endif
|
|
#elif defined(__thumb2__) || defined(__thumb__) || defined(__arm__)
|
|
#define MICROPY_NLR_THUMB (1)
|
|
#define MICROPY_NLR_NUM_REGS (10)
|
|
#elif defined(__xtensa__)
|
|
#define MICROPY_NLR_XTENSA (1)
|
|
#define MICROPY_NLR_NUM_REGS (10)
|
|
#else
|
|
#define MICROPY_NLR_SETJMP (1)
|
|
//#warning "No native NLR support for this arch, using setjmp implementation"
|
|
#endif
|
|
#endif
|
|
|
|
#if MICROPY_NLR_SETJMP
|
|
#include <setjmp.h>
|
|
#endif
|
|
|
|
typedef struct _nlr_buf_t nlr_buf_t;
|
|
struct _nlr_buf_t {
|
|
// the entries here must all be machine word size
|
|
nlr_buf_t *prev;
|
|
void *ret_val; // always a concrete object (an exception instance)
|
|
|
|
#if MICROPY_NLR_SETJMP
|
|
jmp_buf jmpbuf;
|
|
#else
|
|
void *regs[MICROPY_NLR_NUM_REGS];
|
|
#endif
|
|
|
|
#if MICROPY_ENABLE_PYSTACK
|
|
void *pystack;
|
|
#endif
|
|
};
|
|
|
|
#if MICROPY_NLR_SETJMP
|
|
// nlr_push() must be defined as a macro, because "The stack context will be
|
|
// invalidated if the function which called setjmp() returns."
|
|
// For this case it is safe to call nlr_push_tail() first.
|
|
#define nlr_push(buf) (nlr_push_tail(buf), setjmp((buf)->jmpbuf))
|
|
#else
|
|
unsigned int nlr_push(nlr_buf_t *);
|
|
#endif
|
|
|
|
unsigned int nlr_push_tail(nlr_buf_t *top);
|
|
void nlr_pop(void);
|
|
NORETURN void nlr_jump(void *val);
|
|
NORETURN void nlr_jump_tail(nlr_buf_t *top);
|
|
|
|
// This must be implemented by a port. It's called by nlr_jump
|
|
// if no nlr buf has been pushed. It must not return, but rather
|
|
// should bail out with a fatal error.
|
|
NORETURN void nlr_jump_fail(void *val);
|
|
|
|
// use nlr_raise instead of nlr_jump so that debugging is easier
|
|
#ifndef MICROPY_DEBUG_NLR
|
|
#define nlr_raise(val) nlr_jump(MP_OBJ_TO_PTR(val))
|
|
#else
|
|
#include "mpstate.h"
|
|
#define nlr_raise(val) \
|
|
do { \
|
|
/*printf("nlr_raise: nlr_top=%p\n", MP_STATE_THREAD(nlr_top)); \
|
|
fflush(stdout);*/ \
|
|
void *_val = MP_OBJ_TO_PTR(val); \
|
|
assert(_val != NULL); \
|
|
assert(mp_obj_is_exception_instance(val)); \
|
|
nlr_jump(_val); \
|
|
} while (0)
|
|
|
|
#if !MICROPY_NLR_SETJMP
|
|
#define nlr_push(val) \
|
|
assert(MP_STATE_THREAD(nlr_top) != val),nlr_push(val)
|
|
|
|
/*
|
|
#define nlr_push(val) \
|
|
printf("nlr_push: before: nlr_top=%p, val=%p\n", MP_STATE_THREAD(nlr_top), val),assert(MP_STATE_THREAD(nlr_top) != val),nlr_push(val)
|
|
*/
|
|
#endif
|
|
|
|
#endif
|
|
|
|
#endif // MICROPY_INCLUDED_PY_NLR_H
|