Damien George | 110ba35 | 2014-08-28 23:37:02 +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) 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 | |
| 27 | #include <stdio.h> |
| 28 | #include <string.h> |
| 29 | #include <assert.h> |
| 30 | |
Damien George | 51dfcb4 | 2015-01-01 20:27:54 +0000 | [diff] [blame] | 31 | #include "py/nlr.h" |
| 32 | #include "py/runtime0.h" |
| 33 | #include "py/runtime.h" |
| 34 | #include "py/emitglue.h" |
Damien George | 9988618 | 2015-04-06 22:38:53 +0100 | [diff] [blame] | 35 | #include "py/bc.h" |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 36 | |
| 37 | #if MICROPY_EMIT_NATIVE |
| 38 | |
| 39 | #if 0 // print debugging info |
| 40 | #define DEBUG_printf DEBUG_printf |
| 41 | #else // don't print debugging info |
| 42 | #define DEBUG_printf(...) (void)0 |
| 43 | #endif |
| 44 | |
| 45 | // convert a Micro Python object to a valid native value based on type |
| 46 | mp_uint_t mp_convert_obj_to_native(mp_obj_t obj, mp_uint_t type) { |
| 47 | DEBUG_printf("mp_convert_obj_to_native(%p, " UINT_FMT ")\n", obj, type); |
| 48 | switch (type & 3) { |
| 49 | case MP_NATIVE_TYPE_OBJ: return (mp_uint_t)obj; |
| 50 | case MP_NATIVE_TYPE_BOOL: |
Damien George | e9dac3b | 2014-09-29 22:10:41 +0100 | [diff] [blame] | 51 | case MP_NATIVE_TYPE_INT: return mp_obj_get_int(obj); |
| 52 | case MP_NATIVE_TYPE_UINT: { |
| 53 | mp_buffer_info_t bufinfo; |
| 54 | if (mp_get_buffer(obj, &bufinfo, MP_BUFFER_RW)) { |
| 55 | return (mp_uint_t)bufinfo.buf; |
| 56 | } else { |
| 57 | // TODO should be mp_obj_get_uint_truncated or something |
| 58 | return mp_obj_get_int(obj); |
| 59 | } |
| 60 | } |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 61 | default: assert(0); return 0; |
| 62 | } |
| 63 | } |
| 64 | |
| 65 | // convert a native value to a Micro Python object based on type |
| 66 | mp_obj_t mp_convert_native_to_obj(mp_uint_t val, mp_uint_t type) { |
| 67 | DEBUG_printf("mp_convert_native_to_obj(" UINT_FMT ", " UINT_FMT ")\n", val, type); |
| 68 | switch (type & 3) { |
| 69 | case MP_NATIVE_TYPE_OBJ: return (mp_obj_t)val; |
| 70 | case MP_NATIVE_TYPE_BOOL: return MP_BOOL(val); |
| 71 | case MP_NATIVE_TYPE_INT: return mp_obj_new_int(val); |
| 72 | case MP_NATIVE_TYPE_UINT: return mp_obj_new_int_from_uint(val); |
| 73 | default: assert(0); return mp_const_none; |
| 74 | } |
| 75 | } |
| 76 | |
| 77 | // wrapper that accepts n_args and n_kw in one argument |
| 78 | // (native emitter can only pass at most 3 arguments to a function) |
Damien George | 4abff75 | 2014-08-30 14:59:21 +0100 | [diff] [blame] | 79 | mp_obj_t mp_native_call_function_n_kw(mp_obj_t fun_in, mp_uint_t n_args_kw, const mp_obj_t *args) { |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 80 | return mp_call_function_n_kw(fun_in, n_args_kw & 0xff, (n_args_kw >> 8) & 0xff, args); |
| 81 | } |
| 82 | |
| 83 | // wrapper that makes raise obj and raises it |
Damien George | b6e6b52 | 2015-01-21 17:00:01 +0000 | [diff] [blame] | 84 | // END_FINALLY opcode requires that we don't raise if o==None |
| 85 | void mp_native_raise(mp_obj_t o) { |
| 86 | if (o != mp_const_none) { |
| 87 | nlr_raise(mp_make_raise_obj(o)); |
| 88 | } |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | // these must correspond to the respective enum in runtime0.h |
| 92 | void *const mp_fun_table[MP_F_NUMBER_OF] = { |
| 93 | mp_convert_obj_to_native, |
| 94 | mp_convert_native_to_obj, |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 95 | mp_load_const_str, |
| 96 | mp_load_const_bytes, |
| 97 | mp_load_name, |
| 98 | mp_load_global, |
| 99 | mp_load_build_class, |
| 100 | mp_load_attr, |
| 101 | mp_load_method, |
| 102 | mp_store_name, |
| 103 | mp_store_global, |
| 104 | mp_store_attr, |
| 105 | mp_obj_subscr, |
| 106 | mp_obj_is_true, |
| 107 | mp_unary_op, |
| 108 | mp_binary_op, |
| 109 | mp_obj_new_tuple, |
| 110 | mp_obj_new_list, |
| 111 | mp_obj_list_append, |
| 112 | mp_obj_new_dict, |
| 113 | mp_obj_dict_store, |
| 114 | #if MICROPY_PY_BUILTINS_SET |
| 115 | mp_obj_new_set, |
| 116 | mp_obj_set_store, |
| 117 | #endif |
| 118 | mp_make_function_from_raw_code, |
| 119 | mp_native_call_function_n_kw, |
| 120 | mp_call_method_n_kw, |
Damien George | 78772ad | 2015-04-06 22:48:21 +0100 | [diff] [blame] | 121 | mp_call_method_n_kw_var, |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 122 | mp_getiter, |
| 123 | mp_iternext, |
| 124 | nlr_push, |
| 125 | nlr_pop, |
| 126 | mp_native_raise, |
| 127 | mp_import_name, |
| 128 | mp_import_from, |
| 129 | mp_import_all, |
| 130 | #if MICROPY_PY_BUILTINS_SLICE |
| 131 | mp_obj_new_slice, |
| 132 | #endif |
| 133 | mp_unpack_sequence, |
| 134 | mp_unpack_ex, |
Damien George | e6ce10a | 2014-09-06 18:38:20 +0100 | [diff] [blame] | 135 | mp_delete_name, |
| 136 | mp_delete_global, |
Damien George | 4cd9ced | 2015-01-15 14:41:41 +0000 | [diff] [blame] | 137 | mp_obj_new_cell, |
| 138 | mp_make_closure_from_raw_code, |
Damien George | 9988618 | 2015-04-06 22:38:53 +0100 | [diff] [blame] | 139 | mp_setup_code_state, |
Damien George | 110ba35 | 2014-08-28 23:37:02 +0100 | [diff] [blame] | 140 | }; |
| 141 | |
| 142 | /* |
| 143 | void mp_f_vector(mp_fun_kind_t fun_kind) { |
| 144 | (mp_f_table[fun_kind])(); |
| 145 | } |
| 146 | */ |
| 147 | |
| 148 | #endif // MICROPY_EMIT_NATIVE |