Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 1 | #include <stdint.h> |
| 2 | #include <stdlib.h> |
| 3 | #include <stdio.h> |
| 4 | #include <string.h> |
| 5 | #include <assert.h> |
| 6 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 7 | #include "nlr.h" |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 8 | #include "misc.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 9 | #include "mpconfig.h" |
| 10 | #include "obj.h" |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 11 | #include "runtime.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 12 | #include "bc0.h" |
Damien | eb19efb | 2013-10-10 22:06:54 +0100 | [diff] [blame] | 13 | #include "bc.h" |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 14 | |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 15 | // (value) stack grows down (to be compatible with native code when passing pointers to the stack), top element is pointed to |
| 16 | // exception stack grows up, top element is pointed to |
| 17 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 18 | #define DECODE_UINT do { unum = *ip++; if (unum > 127) { unum = ((unum & 0x3f) << 8) | (*ip++); } } while (0) |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 19 | #define DECODE_ULABEL do { unum = (ip[0] | (ip[1] << 8)); ip += 2; } while (0) |
| 20 | #define DECODE_SLABEL do { unum = (ip[0] | (ip[1] << 8)) - 0x8000; ip += 2; } while (0) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 21 | #define DECODE_QSTR do { qstr = *ip++; if (qstr > 127) { qstr = ((qstr & 0x3f) << 8) | (*ip++); } } while (0) |
| 22 | #define PUSH(val) *--sp = (val) |
| 23 | #define POP() (*sp++) |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 24 | #define TOP() (*sp) |
| 25 | #define SET_TOP(val) *sp = (val) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 26 | |
Damien | a397776 | 2013-10-09 23:10:10 +0100 | [diff] [blame] | 27 | // args are in reverse order in array |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 28 | mp_obj_t mp_execute_byte_code(const byte *code, const mp_obj_t *args, uint n_args, uint n_state) { |
| 29 | mp_obj_t temp_state[10]; // TODO allocate properly |
| 30 | mp_obj_t *state = &temp_state[0]; |
| 31 | mp_obj_t *sp = &state[10]; |
Damien | 40fdfe3 | 2013-11-05 22:16:22 +0000 | [diff] [blame] | 32 | if (n_state > 10) { |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 33 | state = m_new(mp_obj_t, n_state); |
Damien | 40fdfe3 | 2013-11-05 22:16:22 +0000 | [diff] [blame] | 34 | sp = &state[n_state]; |
| 35 | } |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 36 | // init args |
| 37 | for (int i = 0; i < n_args; i++) { |
| 38 | assert(i < 8); |
| 39 | state[i] = args[n_args - 1 - i]; |
| 40 | } |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 41 | const byte *ip = code; |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 42 | |
| 43 | // execute prelude to make any cells (closed over variables) |
| 44 | { |
| 45 | for (uint n_local = *ip++; n_local > 0; n_local--) { |
| 46 | uint local_num = *ip++; |
| 47 | if (local_num < n_args) { |
| 48 | state[local_num] = mp_obj_new_cell(state[local_num]); |
| 49 | } else { |
| 50 | state[local_num] = mp_obj_new_cell(MP_OBJ_NULL); |
| 51 | } |
| 52 | } |
| 53 | } |
| 54 | |
| 55 | // execute the byte code |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 56 | if (mp_execute_byte_code_2(&ip, &state[0], &sp)) { |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 57 | // it shouldn't yield |
| 58 | assert(0); |
| 59 | } |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 60 | |
Damien | 4ebb32f | 2013-11-02 14:33:10 +0000 | [diff] [blame] | 61 | // TODO check fails if, eg, return from within for loop |
| 62 | //assert(sp == &state[17]); |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 63 | return *sp; |
| 64 | } |
| 65 | |
| 66 | // fastn has items in normal order |
| 67 | // sp points to top of stack which grows down |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 68 | bool mp_execute_byte_code_2(const byte **ip_in_out, mp_obj_t *fastn, mp_obj_t **sp_in_out) { |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 69 | // careful: be sure to declare volatile any variables read in the exception handler (written is ok, I think) |
| 70 | |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 71 | const byte *ip = *ip_in_out; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 72 | mp_obj_t *sp = *sp_in_out; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 73 | machine_uint_t unum; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 74 | qstr qstr; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 75 | mp_obj_t obj1, obj2; |
| 76 | mp_obj_t fast0 = fastn[0], fast1 = fastn[1], fast2 = fastn[2]; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 77 | nlr_buf_t nlr; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 78 | |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 79 | volatile machine_uint_t currently_in_except_block = 0; // 0 or 1, to detect nested exceptions |
| 80 | machine_uint_t exc_stack[8]; // on the exception stack we store (ip, sp | X) for each block, X = previous value of currently_in_except_block |
Damien George | 6632700 | 2014-01-02 18:20:41 +0000 | [diff] [blame] | 81 | machine_uint_t *volatile exc_sp = &exc_stack[0] - 1; // stack grows up, exc_sp points to top of stack |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 82 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 83 | // outer exception handling loop |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 84 | for (;;) { |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 85 | if (nlr_push(&nlr) == 0) { |
| 86 | // loop to execute byte code |
| 87 | for (;;) { |
| 88 | int op = *ip++; |
| 89 | switch (op) { |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 90 | case MP_BC_LOAD_CONST_FALSE: |
| 91 | PUSH(mp_const_false); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 92 | break; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 93 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 94 | case MP_BC_LOAD_CONST_NONE: |
| 95 | PUSH(mp_const_none); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 96 | break; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 97 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 98 | case MP_BC_LOAD_CONST_TRUE: |
| 99 | PUSH(mp_const_true); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 100 | break; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 101 | |
Damien George | e9906ac | 2014-01-04 18:44:46 +0000 | [diff] [blame] | 102 | case MP_BC_LOAD_CONST_ELLIPSIS: |
| 103 | PUSH(mp_const_ellipsis); |
| 104 | break; |
| 105 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 106 | case MP_BC_LOAD_CONST_SMALL_INT: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 107 | unum = (ip[0] | (ip[1] << 8) | (ip[2] << 16)) - 0x800000; |
Damien | 6addc89 | 2013-11-04 23:04:50 +0000 | [diff] [blame] | 108 | ip += 3; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 109 | PUSH((mp_obj_t)(unum << 1 | 1)); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 110 | break; |
| 111 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 112 | case MP_BC_LOAD_CONST_DEC: |
Damien | 7410e44 | 2013-11-02 19:47:57 +0000 | [diff] [blame] | 113 | DECODE_QSTR; |
| 114 | PUSH(rt_load_const_dec(qstr)); |
| 115 | break; |
| 116 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 117 | case MP_BC_LOAD_CONST_ID: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 118 | DECODE_QSTR; |
| 119 | PUSH(rt_load_const_str(qstr)); // TODO |
| 120 | break; |
| 121 | |
Paul Sokolovsky | bdf822b | 2014-01-02 18:46:27 +0200 | [diff] [blame] | 122 | case MP_BC_LOAD_CONST_BYTES: |
| 123 | DECODE_QSTR; |
| 124 | PUSH(rt_load_const_str(qstr)); // TODO |
| 125 | break; |
| 126 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 127 | case MP_BC_LOAD_CONST_STRING: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 128 | DECODE_QSTR; |
| 129 | PUSH(rt_load_const_str(qstr)); |
| 130 | break; |
| 131 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 132 | case MP_BC_LOAD_FAST_0: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 133 | PUSH(fast0); |
| 134 | break; |
| 135 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 136 | case MP_BC_LOAD_FAST_1: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 137 | PUSH(fast1); |
| 138 | break; |
| 139 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 140 | case MP_BC_LOAD_FAST_2: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 141 | PUSH(fast2); |
| 142 | break; |
| 143 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 144 | case MP_BC_LOAD_FAST_N: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 145 | DECODE_UINT; |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 146 | PUSH(fastn[unum]); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 147 | break; |
| 148 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 149 | case MP_BC_LOAD_DEREF: |
Damien | 9ecbcff | 2013-12-11 00:41:43 +0000 | [diff] [blame] | 150 | DECODE_UINT; |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 151 | PUSH(rt_get_cell(fastn[unum])); |
Damien | 9ecbcff | 2013-12-11 00:41:43 +0000 | [diff] [blame] | 152 | break; |
| 153 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 154 | case MP_BC_LOAD_NAME: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 155 | DECODE_QSTR; |
| 156 | PUSH(rt_load_name(qstr)); |
| 157 | break; |
| 158 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 159 | case MP_BC_LOAD_GLOBAL: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 160 | DECODE_QSTR; |
| 161 | PUSH(rt_load_global(qstr)); |
| 162 | break; |
| 163 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 164 | case MP_BC_LOAD_ATTR: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 165 | DECODE_QSTR; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 166 | SET_TOP(rt_load_attr(TOP(), qstr)); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 167 | break; |
| 168 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 169 | case MP_BC_LOAD_METHOD: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 170 | DECODE_QSTR; |
| 171 | sp -= 1; |
| 172 | rt_load_method(sp[1], qstr, sp); |
| 173 | break; |
| 174 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 175 | case MP_BC_LOAD_BUILD_CLASS: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 176 | PUSH(rt_load_build_class()); |
| 177 | break; |
| 178 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 179 | case MP_BC_STORE_FAST_0: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 180 | fast0 = POP(); |
| 181 | break; |
| 182 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 183 | case MP_BC_STORE_FAST_1: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 184 | fast1 = POP(); |
| 185 | break; |
| 186 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 187 | case MP_BC_STORE_FAST_2: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 188 | fast2 = POP(); |
| 189 | break; |
| 190 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 191 | case MP_BC_STORE_FAST_N: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 192 | DECODE_UINT; |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 193 | fastn[unum] = POP(); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 194 | break; |
| 195 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 196 | case MP_BC_STORE_DEREF: |
Damien | 9ecbcff | 2013-12-11 00:41:43 +0000 | [diff] [blame] | 197 | DECODE_UINT; |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 198 | rt_set_cell(fastn[unum], POP()); |
Damien | 9ecbcff | 2013-12-11 00:41:43 +0000 | [diff] [blame] | 199 | break; |
| 200 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 201 | case MP_BC_STORE_NAME: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 202 | DECODE_QSTR; |
| 203 | rt_store_name(qstr, POP()); |
| 204 | break; |
| 205 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 206 | case MP_BC_STORE_GLOBAL: |
Damien | 6addc89 | 2013-11-04 23:04:50 +0000 | [diff] [blame] | 207 | DECODE_QSTR; |
| 208 | rt_store_global(qstr, POP()); |
| 209 | break; |
| 210 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 211 | case MP_BC_STORE_ATTR: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 212 | DECODE_QSTR; |
| 213 | rt_store_attr(sp[0], qstr, sp[1]); |
| 214 | sp += 2; |
| 215 | break; |
| 216 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 217 | case MP_BC_STORE_SUBSCR: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 218 | rt_store_subscr(sp[1], sp[0], sp[2]); |
| 219 | sp += 3; |
| 220 | break; |
| 221 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 222 | case MP_BC_DUP_TOP: |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 223 | obj1 = TOP(); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 224 | PUSH(obj1); |
| 225 | break; |
| 226 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 227 | case MP_BC_DUP_TOP_TWO: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 228 | sp -= 2; |
| 229 | sp[0] = sp[2]; |
| 230 | sp[1] = sp[3]; |
| 231 | break; |
| 232 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 233 | case MP_BC_POP_TOP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 234 | ++sp; |
| 235 | break; |
| 236 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 237 | case MP_BC_ROT_TWO: |
Damien | 4ebb32f | 2013-11-02 14:33:10 +0000 | [diff] [blame] | 238 | obj1 = sp[0]; |
| 239 | sp[0] = sp[1]; |
| 240 | sp[1] = obj1; |
| 241 | break; |
| 242 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 243 | case MP_BC_ROT_THREE: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 244 | obj1 = sp[0]; |
| 245 | sp[0] = sp[1]; |
| 246 | sp[1] = sp[2]; |
| 247 | sp[2] = obj1; |
| 248 | break; |
| 249 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 250 | case MP_BC_JUMP: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 251 | DECODE_SLABEL; |
| 252 | ip += unum; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 253 | break; |
| 254 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 255 | case MP_BC_POP_JUMP_IF_TRUE: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 256 | DECODE_SLABEL; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 257 | if (rt_is_true(POP())) { |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 258 | ip += unum; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 259 | } |
| 260 | break; |
| 261 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 262 | case MP_BC_POP_JUMP_IF_FALSE: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 263 | DECODE_SLABEL; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 264 | if (!rt_is_true(POP())) { |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 265 | ip += unum; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 266 | } |
| 267 | break; |
| 268 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 269 | case MP_BC_JUMP_IF_TRUE_OR_POP: |
Damien | 94658e2 | 2013-11-09 20:12:32 +0000 | [diff] [blame] | 270 | DECODE_SLABEL; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 271 | if (rt_is_true(TOP())) { |
Damien | 94658e2 | 2013-11-09 20:12:32 +0000 | [diff] [blame] | 272 | ip += unum; |
| 273 | } else { |
| 274 | sp++; |
| 275 | } |
| 276 | break; |
| 277 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 278 | case MP_BC_JUMP_IF_FALSE_OR_POP: |
Damien | 94658e2 | 2013-11-09 20:12:32 +0000 | [diff] [blame] | 279 | DECODE_SLABEL; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 280 | if (rt_is_true(TOP())) { |
Damien | 94658e2 | 2013-11-09 20:12:32 +0000 | [diff] [blame] | 281 | sp++; |
| 282 | } else { |
| 283 | ip += unum; |
| 284 | } |
| 285 | break; |
| 286 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 287 | /* we are trying to get away without using this opcode |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 288 | case MP_BC_SETUP_LOOP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 289 | DECODE_UINT; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 290 | // push_block(MP_BC_SETUP_LOOP, ip + unum, sp) |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 291 | break; |
| 292 | */ |
| 293 | |
Damien | 02a7c41 | 2013-12-29 18:48:37 +0000 | [diff] [blame] | 294 | // matched against: POP_BLOCK or POP_EXCEPT (anything else?) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 295 | case MP_BC_SETUP_EXCEPT: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 296 | DECODE_ULABEL; // except labels are always forward |
| 297 | *++exc_sp = (machine_uint_t)ip + unum; |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 298 | *++exc_sp = (((machine_uint_t)sp) | currently_in_except_block); |
| 299 | currently_in_except_block = 0; // in a try block now |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 300 | break; |
| 301 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 302 | case MP_BC_END_FINALLY: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 303 | // not implemented |
| 304 | // if TOS is an exception, reraises the exception (3 values on TOS) |
| 305 | // if TOS is an integer, does something else |
| 306 | // if TOS is None, just pops it and continues |
| 307 | // else error |
| 308 | assert(0); |
| 309 | break; |
| 310 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 311 | case MP_BC_GET_ITER: |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 312 | SET_TOP(rt_getiter(TOP())); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 313 | break; |
| 314 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 315 | case MP_BC_FOR_ITER: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 316 | DECODE_ULABEL; // the jump offset if iteration finishes; for labels are always forward |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 317 | obj1 = rt_iternext(TOP()); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 318 | if (obj1 == mp_const_stop_iteration) { |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 319 | ++sp; // pop the exhausted iterator |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 320 | ip += unum; // jump to after for-block |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 321 | } else { |
| 322 | PUSH(obj1); // push the next iteration value |
| 323 | } |
| 324 | break; |
| 325 | |
Damien | 02a7c41 | 2013-12-29 18:48:37 +0000 | [diff] [blame] | 326 | // matched against: SETUP_EXCEPT, SETUP_FINALLY, SETUP_WITH |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 327 | case MP_BC_POP_BLOCK: |
Damien | 02a7c41 | 2013-12-29 18:48:37 +0000 | [diff] [blame] | 328 | // we are exiting an exception handler, so pop the last one of the exception-stack |
| 329 | assert(exc_sp >= &exc_stack[0]); |
| 330 | currently_in_except_block = (exc_sp[0] & 1); // restore previous state |
| 331 | exc_sp -= 2; // pop back to previous exception handler |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 332 | break; |
| 333 | |
Damien | 02a7c41 | 2013-12-29 18:48:37 +0000 | [diff] [blame] | 334 | // matched againts: SETUP_EXCEPT |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 335 | case MP_BC_POP_EXCEPT: |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 336 | // TODO need to work out how blocks work etc |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 337 | // pops block, checks it's an exception block, and restores the stack, saving the 3 exception values to local threadstate |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 338 | assert(exc_sp >= &exc_stack[0]); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 339 | //sp = (mp_obj_t*)(*exc_sp--); |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 340 | //exc_sp--; // discard ip |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 341 | currently_in_except_block = (exc_sp[0] & 1); // restore previous state |
| 342 | exc_sp -= 2; // pop back to previous exception handler |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 343 | //sp += 3; // pop 3 exception values |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 344 | break; |
| 345 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 346 | case MP_BC_UNARY_OP: |
Damien | 7410e44 | 2013-11-02 19:47:57 +0000 | [diff] [blame] | 347 | unum = *ip++; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 348 | SET_TOP(rt_unary_op(unum, TOP())); |
Damien | 7410e44 | 2013-11-02 19:47:57 +0000 | [diff] [blame] | 349 | break; |
| 350 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 351 | case MP_BC_BINARY_OP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 352 | unum = *ip++; |
| 353 | obj2 = POP(); |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 354 | obj1 = TOP(); |
| 355 | SET_TOP(rt_binary_op(unum, obj1, obj2)); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 356 | break; |
| 357 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 358 | case MP_BC_COMPARE_OP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 359 | unum = *ip++; |
| 360 | obj2 = POP(); |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 361 | obj1 = TOP(); |
| 362 | SET_TOP(rt_compare_op(unum, obj1, obj2)); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 363 | break; |
| 364 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 365 | case MP_BC_BUILD_TUPLE: |
Damien | c226dca | 2013-10-16 16:12:52 +0100 | [diff] [blame] | 366 | DECODE_UINT; |
| 367 | obj1 = rt_build_tuple(unum, sp); |
| 368 | sp += unum - 1; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 369 | SET_TOP(obj1); |
Damien | c226dca | 2013-10-16 16:12:52 +0100 | [diff] [blame] | 370 | break; |
| 371 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 372 | case MP_BC_BUILD_LIST: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 373 | DECODE_UINT; |
| 374 | obj1 = rt_build_list(unum, sp); |
| 375 | sp += unum - 1; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 376 | SET_TOP(obj1); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 377 | break; |
| 378 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 379 | case MP_BC_LIST_APPEND: |
Damien | c226dca | 2013-10-16 16:12:52 +0100 | [diff] [blame] | 380 | DECODE_UINT; |
| 381 | // I think it's guaranteed by the compiler that sp[unum] is a list |
| 382 | rt_list_append(sp[unum], sp[0]); |
| 383 | sp++; |
| 384 | break; |
| 385 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 386 | case MP_BC_BUILD_MAP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 387 | DECODE_UINT; |
| 388 | PUSH(rt_build_map(unum)); |
| 389 | break; |
| 390 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 391 | case MP_BC_STORE_MAP: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 392 | sp += 2; |
| 393 | rt_store_map(sp[0], sp[-2], sp[-1]); |
| 394 | break; |
| 395 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 396 | case MP_BC_MAP_ADD: |
Damien | 5fd0966 | 2013-10-16 20:54:01 +0100 | [diff] [blame] | 397 | DECODE_UINT; |
| 398 | // I think it's guaranteed by the compiler that sp[unum + 1] is a map |
| 399 | rt_store_map(sp[unum + 1], sp[0], sp[1]); |
| 400 | sp += 2; |
| 401 | break; |
| 402 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 403 | case MP_BC_BUILD_SET: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 404 | DECODE_UINT; |
| 405 | obj1 = rt_build_set(unum, sp); |
| 406 | sp += unum - 1; |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 407 | SET_TOP(obj1); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 408 | break; |
| 409 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 410 | case MP_BC_SET_ADD: |
Damien | c12aa46 | 2013-10-16 20:57:49 +0100 | [diff] [blame] | 411 | DECODE_UINT; |
| 412 | // I think it's guaranteed by the compiler that sp[unum] is a set |
| 413 | rt_store_set(sp[unum], sp[0]); |
| 414 | sp++; |
| 415 | break; |
| 416 | |
Paul Sokolovsky | e606cb6 | 2014-01-04 01:34:23 +0200 | [diff] [blame] | 417 | #if MICROPY_ENABLE_SLICE |
Paul Sokolovsky | ded0a1e | 2014-01-03 02:48:56 +0200 | [diff] [blame] | 418 | case MP_BC_BUILD_SLICE: |
| 419 | DECODE_UINT; |
| 420 | if (unum == 2) { |
| 421 | obj2 = POP(); |
| 422 | obj1 = TOP(); |
| 423 | SET_TOP(mp_obj_new_slice(obj1, obj2, NULL)); |
| 424 | } else { |
| 425 | printf("3-argument slice is not supported\n"); |
| 426 | assert(0); |
| 427 | } |
| 428 | break; |
Paul Sokolovsky | e606cb6 | 2014-01-04 01:34:23 +0200 | [diff] [blame] | 429 | #endif |
Paul Sokolovsky | ded0a1e | 2014-01-03 02:48:56 +0200 | [diff] [blame] | 430 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 431 | case MP_BC_UNPACK_SEQUENCE: |
Damien | 6f3e7fc | 2013-11-26 15:15:50 +0000 | [diff] [blame] | 432 | DECODE_UINT; |
| 433 | rt_unpack_sequence(sp[0], unum, sp - unum + 1); |
| 434 | sp -= unum - 1; |
| 435 | break; |
| 436 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 437 | case MP_BC_MAKE_FUNCTION: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 438 | DECODE_UINT; |
| 439 | PUSH(rt_make_function_from_id(unum)); |
| 440 | break; |
| 441 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 442 | case MP_BC_MAKE_CLOSURE: |
Damien | 9ecbcff | 2013-12-11 00:41:43 +0000 | [diff] [blame] | 443 | DECODE_UINT; |
| 444 | obj1 = POP(); |
| 445 | PUSH(rt_make_closure_from_id(unum, obj1)); |
| 446 | break; |
| 447 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 448 | case MP_BC_CALL_FUNCTION: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 449 | DECODE_UINT; |
| 450 | assert((unum & 0xff00) == 0); // n_keyword |
| 451 | unum &= 0xff; // n_positional |
| 452 | sp += unum; |
| 453 | *sp = rt_call_function_n(*sp, unum, sp - unum); |
| 454 | break; |
| 455 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 456 | case MP_BC_CALL_METHOD: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 457 | DECODE_UINT; |
Damien | 6f3e7fc | 2013-11-26 15:15:50 +0000 | [diff] [blame] | 458 | if ((unum & 0xff00) == 0) { |
| 459 | // no keywords |
| 460 | unum &= 0xff; |
| 461 | obj1 = rt_call_method_n(unum, sp); |
| 462 | sp += unum + 1; |
| 463 | } else { |
| 464 | // keywords |
| 465 | obj1 = rt_call_method_n_kw(unum & 0xff, (unum >> 8) & 0xff, sp); |
| 466 | sp += (unum & 0xff) + ((unum >> 7) & 0x1fe) + 1; |
| 467 | } |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 468 | SET_TOP(obj1); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 469 | break; |
| 470 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 471 | case MP_BC_RETURN_VALUE: |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 472 | nlr_pop(); |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 473 | *sp_in_out = sp; |
Damien George | 6632700 | 2014-01-02 18:20:41 +0000 | [diff] [blame] | 474 | assert(exc_sp == &exc_stack[0] - 1); |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 475 | return false; |
| 476 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 477 | case MP_BC_YIELD_VALUE: |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 478 | nlr_pop(); |
| 479 | *ip_in_out = ip; |
| 480 | fastn[0] = fast0; |
| 481 | fastn[1] = fast1; |
| 482 | fastn[2] = fast2; |
| 483 | *sp_in_out = sp; |
| 484 | return true; |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 485 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 486 | case MP_BC_IMPORT_NAME: |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 487 | DECODE_QSTR; |
| 488 | obj1 = POP(); |
| 489 | SET_TOP(rt_import_name(qstr, obj1, TOP())); |
| 490 | break; |
| 491 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 492 | case MP_BC_IMPORT_FROM: |
Damien | db4c361 | 2013-12-10 17:27:24 +0000 | [diff] [blame] | 493 | DECODE_QSTR; |
| 494 | obj1 = rt_import_from(TOP(), qstr); |
| 495 | PUSH(obj1); |
| 496 | break; |
| 497 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 498 | default: |
Damien | 03c9cfb | 2013-11-05 22:06:08 +0000 | [diff] [blame] | 499 | printf("code %p, byte code 0x%02x not implemented\n", ip, op); |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 500 | assert(0); |
| 501 | nlr_pop(); |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 502 | return false; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 503 | } |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 504 | } |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 505 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 506 | } else { |
| 507 | // exception occurred |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 508 | |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 509 | while (currently_in_except_block) { |
| 510 | // nested exception |
| 511 | |
| 512 | assert(exc_sp >= &exc_stack[0]); |
| 513 | |
| 514 | // TODO make a proper message for nested exception |
| 515 | // at the moment we are just raising the very last exception (the one that caused the nested exception) |
| 516 | |
| 517 | // move up to previous exception handler |
| 518 | currently_in_except_block = (exc_sp[0] & 1); // restore previous state |
| 519 | exc_sp -= 2; // pop back to previous exception handler |
| 520 | } |
| 521 | |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 522 | if (exc_sp >= &exc_stack[0]) { |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 523 | // set flag to indicate that we are now handling an exception |
| 524 | currently_in_except_block = 1; |
| 525 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 526 | // catch exception and pass to byte code |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 527 | sp = (mp_obj_t*)(exc_sp[0] & (~((machine_uint_t)1))); |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 528 | ip = (const byte*)(exc_sp[-1]); |
| 529 | // push(traceback, exc-val, exc-type) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 530 | PUSH(mp_const_none); |
Damien | c9f9197 | 2013-10-15 23:46:01 +0100 | [diff] [blame] | 531 | PUSH(nlr.ret_val); |
Damien | b86e3f9 | 2013-12-29 17:17:43 +0000 | [diff] [blame] | 532 | PUSH(nlr.ret_val); // TODO should be type(nlr.ret_val), I think... |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 533 | |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 534 | } else { |
Damien | 8f9e2ee | 2013-12-29 16:54:59 +0000 | [diff] [blame] | 535 | // re-raise exception to higher level |
Damien | bd25445 | 2013-10-16 20:39:12 +0100 | [diff] [blame] | 536 | // TODO what to do if this is a generator?? |
Damien | ce89a21 | 2013-10-15 22:25:17 +0100 | [diff] [blame] | 537 | nlr_jump(nlr.ret_val); |
| 538 | } |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 539 | } |
| 540 | } |
| 541 | } |