Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 1 | /* |
| 2 | * This file is part of the Micro Python project, http://micropython.org/ |
| 3 | * |
| 4 | * The MIT License (MIT) |
| 5 | * |
| 6 | * Copyright (c) 2013, 2014 Damien P. George |
| 7 | * |
| 8 | * Permission is hereby granted, free of charge, to any person obtaining a copy |
| 9 | * of this software and associated documentation files (the "Software"), to deal |
| 10 | * in the Software without restriction, including without limitation the rights |
| 11 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| 12 | * copies of the Software, and to permit persons to whom the Software is |
| 13 | * furnished to do so, subject to the following conditions: |
| 14 | * |
| 15 | * The above copyright notice and this permission notice shall be included in |
| 16 | * all copies or substantial portions of the Software. |
| 17 | * |
| 18 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 19 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 20 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| 21 | * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 22 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| 23 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| 24 | * THE SOFTWARE. |
| 25 | */ |
| 26 | |
Paul Sokolovsky | b1ce37d | 2014-04-30 04:19:20 +0300 | [diff] [blame] | 27 | #if defined(__i386__) && !MICROPY_NLR_SETJMP |
Damien George | 133b083 | 2014-09-26 13:07:26 +0000 | [diff] [blame] | 28 | |
| 29 | // We only need the functions here if we are on x86, and we are not |
| 30 | // using setjmp/longjmp. |
| 31 | // |
| 32 | // For reference, x86 callee save regs are: |
| 33 | // ebx, esi, edi, ebp, esp, eip |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 34 | |
Damien George | b4b10fd | 2015-01-01 23:30:53 +0000 | [diff] [blame] | 35 | // the offset of nlr_top within mp_state_ctx_t |
| 36 | #define NLR_TOP_OFFSET (2 * 4) |
| 37 | |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 38 | #ifdef _WIN32 |
Damien George | b4b10fd | 2015-01-01 23:30:53 +0000 | [diff] [blame] | 39 | #define NLR_TOP (_mp_state_ctx + NLR_TOP_OFFSET) |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 40 | #else |
Damien George | b4b10fd | 2015-01-01 23:30:53 +0000 | [diff] [blame] | 41 | #define NLR_TOP (mp_state_ctx + NLR_TOP_OFFSET) |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 42 | #endif |
| 43 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 44 | .file "nlr.s" |
| 45 | .text |
| 46 | |
Damien George | 133b083 | 2014-09-26 13:07:26 +0000 | [diff] [blame] | 47 | /**************************************/ |
| 48 | // mp_uint_t nlr_push(4(%esp)=nlr_buf_t *nlr) |
| 49 | |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 50 | #ifdef _WIN32 |
| 51 | .globl _nlr_push |
| 52 | .def _nlr_push; .scl 2; .type 32; .endef |
| 53 | _nlr_push: |
| 54 | #else |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 55 | .globl nlr_push |
| 56 | .type nlr_push, @function |
| 57 | nlr_push: |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 58 | #endif |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 59 | mov 4(%esp), %edx # load nlr_buf |
| 60 | mov (%esp), %eax # load return %ip |
| 61 | mov %eax, 8(%edx) # store %ip into nlr_buf+8 |
| 62 | mov %ebp, 12(%edx) # store %bp into nlr_buf+12 |
| 63 | mov %esp, 16(%edx) # store %sp into nlr_buf+16 |
| 64 | mov %ebx, 20(%edx) # store %bx into nlr_buf+20 |
| 65 | mov %edi, 24(%edx) # store %di into nlr_buf |
| 66 | mov %esi, 28(%edx) # store %si into nlr_buf |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 67 | mov NLR_TOP, %eax # load nlr_top |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 68 | mov %eax, (%edx) # store it |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 69 | mov %edx, NLR_TOP # stor new nlr_buf (to make linked list) |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 70 | xor %eax, %eax # return 0, normal return |
| 71 | ret # return |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 72 | #ifndef _WIN32 |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 73 | .size nlr_push, .-nlr_push |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 74 | #endif |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 75 | |
Damien George | 133b083 | 2014-09-26 13:07:26 +0000 | [diff] [blame] | 76 | /**************************************/ |
| 77 | // void nlr_pop() |
| 78 | |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 79 | #ifdef _WIN32 |
| 80 | .globl _nlr_pop |
| 81 | .def _nlr_pop; .scl 2; .type 32; .endef |
| 82 | _nlr_pop: |
| 83 | #else |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 84 | .globl nlr_pop |
| 85 | .type nlr_pop, @function |
| 86 | nlr_pop: |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 87 | #endif |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 88 | mov NLR_TOP, %eax # load nlr_top |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 89 | mov (%eax), %eax # load prev nlr_buf |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 90 | mov %eax, NLR_TOP # store nlr_top (to unlink list) |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 91 | ret # return |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 92 | #ifndef _WIN32 |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 93 | .size nlr_pop, .-nlr_pop |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 94 | #endif |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 95 | |
Damien George | 133b083 | 2014-09-26 13:07:26 +0000 | [diff] [blame] | 96 | /**************************************/ |
| 97 | // void nlr_jump(4(%esp)=mp_uint_t val) |
| 98 | |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 99 | #ifdef _WIN32 |
| 100 | .globl _nlr_jump |
| 101 | .def _nlr_jump; .scl 2; .type 32; .endef |
| 102 | _nlr_jump: |
| 103 | #else |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 104 | .globl nlr_jump |
| 105 | .type nlr_jump, @function |
| 106 | nlr_jump: |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 107 | #endif |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 108 | mov NLR_TOP, %edx # load nlr_top |
Damien George | 26cf55a | 2014-04-08 14:08:14 +0000 | [diff] [blame] | 109 | test %edx, %edx # check for nlr_top being NULL |
Paul Sokolovsky | 41809a1 | 2014-04-20 22:14:58 +0300 | [diff] [blame] | 110 | #ifdef _WIN32 |
| 111 | je _nlr_jump_fail # fail if nlr_top is NULL |
| 112 | #else |
Damien George | 26cf55a | 2014-04-08 14:08:14 +0000 | [diff] [blame] | 113 | je nlr_jump_fail # fail if nlr_top is NULL |
Paul Sokolovsky | 41809a1 | 2014-04-20 22:14:58 +0300 | [diff] [blame] | 114 | #endif |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 115 | mov 4(%esp), %eax # load return value |
| 116 | mov %eax, 4(%edx) # store return value |
| 117 | mov (%edx), %eax # load prev nlr_top |
Damien George | 872a829 | 2015-01-01 22:03:44 +0000 | [diff] [blame] | 118 | mov %eax, NLR_TOP # store nlr_top (to unlink list) |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 119 | mov 28(%edx), %esi # load saved %si |
| 120 | mov 24(%edx), %edi # load saved %di |
| 121 | mov 20(%edx), %ebx # load saved %bx |
| 122 | mov 16(%edx), %esp # load saved %sp |
| 123 | mov 12(%edx), %ebp # load saved %bp |
| 124 | mov 8(%edx), %eax # load saved %ip |
| 125 | mov %eax, (%esp) # store saved %ip to stack |
| 126 | xor %eax, %eax # clear return register |
| 127 | inc %al # increase to make 1, non-local return |
| 128 | ret # return |
Markus Siemens | 242856c | 2014-01-28 19:52:04 +0100 | [diff] [blame] | 129 | #ifndef _WIN32 |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 130 | .size nlr_jump, .-nlr_jump |
Markus Siemens | 19ccc6b | 2014-01-27 22:53:28 +0100 | [diff] [blame] | 131 | #endif |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 132 | |
Damien George | 133b083 | 2014-09-26 13:07:26 +0000 | [diff] [blame] | 133 | #endif // defined(__i386__) && !MICROPY_NLR_SETJMP |