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 | |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 27 | #include <stdlib.h> |
| 28 | #include <stdint.h> |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 29 | #include <assert.h> |
| 30 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 31 | #include "mpconfig.h" |
Paul Sokolovsky | 59c675a | 2014-06-21 22:43:22 +0300 | [diff] [blame] | 32 | #include "misc.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 33 | #include "qstr.h" |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 34 | #include "lexer.h" |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 35 | #include "parse.h" |
Damien George | df8127a | 2014-04-13 11:04:33 +0100 | [diff] [blame] | 36 | #include "obj.h" |
| 37 | #include "emitglue.h" |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 38 | #include "scope.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 39 | #include "runtime0.h" |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 40 | #include "emit.h" |
| 41 | |
| 42 | struct _emit_t { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 43 | scope_t *scope; |
| 44 | }; |
| 45 | |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 46 | emit_t *emit_pass1_new(void) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 47 | emit_t *emit = m_new(emit_t, 1); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 48 | return emit; |
| 49 | } |
| 50 | |
| 51 | void emit_pass1_free(emit_t *emit) { |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 52 | m_del_obj(emit_t, emit); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 53 | } |
| 54 | |
Paul Sokolovsky | 520e2f5 | 2014-02-12 18:31:30 +0200 | [diff] [blame] | 55 | STATIC void emit_pass1_dummy(emit_t *emit) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 56 | } |
| 57 | |
Paul Sokolovsky | 520e2f5 | 2014-02-12 18:31:30 +0200 | [diff] [blame] | 58 | STATIC void emit_pass1_start_pass(emit_t *emit, pass_kind_t pass, scope_t *scope) { |
Damien George | 36db6bc | 2014-05-07 17:24:22 +0100 | [diff] [blame] | 59 | assert(pass == MP_PASS_SCOPE); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 60 | emit->scope = scope; |
| 61 | } |
| 62 | |
Paul Sokolovsky | 520e2f5 | 2014-02-12 18:31:30 +0200 | [diff] [blame] | 63 | STATIC void emit_pass1_end_pass(emit_t *emit) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 64 | } |
| 65 | |
Damien George | c90717a | 2014-04-10 15:40:38 +0000 | [diff] [blame] | 66 | STATIC bool emit_pass1_last_emit_was_return_value(emit_t *emit) { |
| 67 | return false; |
| 68 | } |
| 69 | |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 70 | STATIC void emit_pass1_load_id(emit_t *emit, qstr qst) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 71 | // name adding/lookup |
| 72 | bool added; |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 73 | id_info_t *id = scope_find_or_add_id(emit->scope, qst, &added); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 74 | if (added) { |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 75 | #if MICROPY_EMIT_CPYTHON |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 76 | if (qst == MP_QSTR_super && emit->scope->kind == SCOPE_FUNCTION) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 77 | // special case, super is a global, and also counts as use of __class__ |
| 78 | id->kind = ID_INFO_KIND_GLOBAL_EXPLICIT; |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 79 | id_info_t *id2 = scope_find_local_in_parent(emit->scope, MP_QSTR___class__); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 80 | if (id2 != NULL) { |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 81 | id2 = scope_find_or_add_id(emit->scope, MP_QSTR___class__, &added); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 82 | if (added) { |
| 83 | id2->kind = ID_INFO_KIND_FREE; |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 84 | scope_close_over_in_parents(emit->scope, MP_QSTR___class__); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 85 | } |
| 86 | } |
Damien George | 35e2a4e | 2014-02-05 00:51:47 +0000 | [diff] [blame] | 87 | } else |
| 88 | #endif |
| 89 | { |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 90 | id_info_t *id2 = scope_find_local_in_parent(emit->scope, qst); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 91 | if (id2 != NULL && (id2->kind == ID_INFO_KIND_LOCAL || id2->kind == ID_INFO_KIND_CELL || id2->kind == ID_INFO_KIND_FREE)) { |
| 92 | id->kind = ID_INFO_KIND_FREE; |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 93 | scope_close_over_in_parents(emit->scope, qst); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 94 | } else { |
| 95 | id->kind = ID_INFO_KIND_GLOBAL_IMPLICIT; |
| 96 | } |
| 97 | } |
| 98 | } |
| 99 | } |
| 100 | |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 101 | STATIC id_info_t *get_id_for_modification(scope_t *scope, qstr qst) { |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 102 | // name adding/lookup |
| 103 | bool added; |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 104 | id_info_t *id = scope_find_or_add_id(scope, qst, &added); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 105 | if (added) { |
| 106 | if (scope->kind == SCOPE_MODULE || scope->kind == SCOPE_CLASS) { |
| 107 | id->kind = ID_INFO_KIND_GLOBAL_IMPLICIT; |
| 108 | } else { |
| 109 | id->kind = ID_INFO_KIND_LOCAL; |
| 110 | } |
| 111 | } else if (scope->kind >= SCOPE_FUNCTION && scope->kind <= SCOPE_GEN_EXPR && id->kind == ID_INFO_KIND_GLOBAL_IMPLICIT) { |
| 112 | // rebind as a local variable |
| 113 | id->kind = ID_INFO_KIND_LOCAL; |
| 114 | } |
| 115 | |
| 116 | assert(id != NULL); // TODO can this ever fail? |
| 117 | |
| 118 | return id; |
| 119 | } |
| 120 | |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 121 | STATIC void emit_pass1_store_id(emit_t *emit, qstr qst) { |
| 122 | get_id_for_modification(emit->scope, qst); |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 123 | } |
| 124 | |
Damien George | 7ff996c | 2014-09-08 23:05:16 +0100 | [diff] [blame] | 125 | STATIC void emit_pass1_delete_id(emit_t *emit, qstr qst) { |
| 126 | id_info_t *id = get_id_for_modification(emit->scope, qst); |
Damien George | 6ce4277 | 2014-04-12 18:20:40 +0100 | [diff] [blame] | 127 | // this flag is unused |
| 128 | //id->flags |= ID_FLAG_IS_DELETED; |
| 129 | (void)id; // suppress compiler warning |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 130 | } |
| 131 | |
| 132 | const emit_method_table_t emit_pass1_method_table = { |
| 133 | (void*)emit_pass1_dummy, |
| 134 | emit_pass1_start_pass, |
| 135 | emit_pass1_end_pass, |
Damien George | c90717a | 2014-04-10 15:40:38 +0000 | [diff] [blame] | 136 | emit_pass1_last_emit_was_return_value, |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 137 | (void*)emit_pass1_dummy, |
Damien George | 0833500 | 2014-01-18 23:24:36 +0000 | [diff] [blame] | 138 | (void*)emit_pass1_dummy, |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 139 | |
| 140 | emit_pass1_load_id, |
| 141 | emit_pass1_store_id, |
| 142 | emit_pass1_delete_id, |
| 143 | |
| 144 | (void*)emit_pass1_dummy, |
| 145 | (void*)emit_pass1_dummy, |
| 146 | (void*)emit_pass1_dummy, |
| 147 | (void*)emit_pass1_dummy, |
| 148 | (void*)emit_pass1_dummy, |
| 149 | (void*)emit_pass1_dummy, |
| 150 | (void*)emit_pass1_dummy, |
| 151 | (void*)emit_pass1_dummy, |
| 152 | (void*)emit_pass1_dummy, |
| 153 | (void*)emit_pass1_dummy, |
| 154 | (void*)emit_pass1_dummy, |
| 155 | (void*)emit_pass1_dummy, |
| 156 | (void*)emit_pass1_dummy, |
| 157 | (void*)emit_pass1_dummy, |
| 158 | (void*)emit_pass1_dummy, |
| 159 | (void*)emit_pass1_dummy, |
| 160 | (void*)emit_pass1_dummy, |
| 161 | (void*)emit_pass1_dummy, |
| 162 | (void*)emit_pass1_dummy, |
| 163 | (void*)emit_pass1_dummy, |
| 164 | (void*)emit_pass1_dummy, |
| 165 | (void*)emit_pass1_dummy, |
| 166 | (void*)emit_pass1_dummy, |
| 167 | (void*)emit_pass1_dummy, |
| 168 | (void*)emit_pass1_dummy, |
| 169 | (void*)emit_pass1_dummy, |
| 170 | (void*)emit_pass1_dummy, |
| 171 | (void*)emit_pass1_dummy, |
| 172 | (void*)emit_pass1_dummy, |
| 173 | (void*)emit_pass1_dummy, |
| 174 | (void*)emit_pass1_dummy, |
| 175 | (void*)emit_pass1_dummy, |
| 176 | (void*)emit_pass1_dummy, |
| 177 | (void*)emit_pass1_dummy, |
| 178 | (void*)emit_pass1_dummy, |
| 179 | (void*)emit_pass1_dummy, |
| 180 | (void*)emit_pass1_dummy, |
| 181 | (void*)emit_pass1_dummy, |
| 182 | (void*)emit_pass1_dummy, |
| 183 | (void*)emit_pass1_dummy, |
| 184 | (void*)emit_pass1_dummy, |
| 185 | (void*)emit_pass1_dummy, |
| 186 | (void*)emit_pass1_dummy, |
| 187 | (void*)emit_pass1_dummy, |
| 188 | (void*)emit_pass1_dummy, |
| 189 | (void*)emit_pass1_dummy, |
| 190 | (void*)emit_pass1_dummy, |
| 191 | (void*)emit_pass1_dummy, |
| 192 | (void*)emit_pass1_dummy, |
| 193 | (void*)emit_pass1_dummy, |
| 194 | (void*)emit_pass1_dummy, |
| 195 | (void*)emit_pass1_dummy, |
| 196 | (void*)emit_pass1_dummy, |
| 197 | (void*)emit_pass1_dummy, |
| 198 | (void*)emit_pass1_dummy, |
| 199 | (void*)emit_pass1_dummy, |
| 200 | (void*)emit_pass1_dummy, |
| 201 | (void*)emit_pass1_dummy, |
| 202 | (void*)emit_pass1_dummy, |
| 203 | (void*)emit_pass1_dummy, |
Damien George | e37dcaa | 2014-12-27 17:07:16 +0000 | [diff] [blame^] | 204 | #if MICROPY_PY_BUILTINS_SET |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 205 | (void*)emit_pass1_dummy, |
| 206 | (void*)emit_pass1_dummy, |
Damien George | e37dcaa | 2014-12-27 17:07:16 +0000 | [diff] [blame^] | 207 | #endif |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 208 | (void*)emit_pass1_dummy, |
| 209 | (void*)emit_pass1_dummy, |
| 210 | (void*)emit_pass1_dummy, |
| 211 | (void*)emit_pass1_dummy, |
| 212 | (void*)emit_pass1_dummy, |
| 213 | (void*)emit_pass1_dummy, |
| 214 | (void*)emit_pass1_dummy, |
| 215 | (void*)emit_pass1_dummy, |
| 216 | (void*)emit_pass1_dummy, |
| 217 | (void*)emit_pass1_dummy, |
| 218 | (void*)emit_pass1_dummy, |
Damien George | b601d95 | 2014-06-30 05:17:25 +0100 | [diff] [blame] | 219 | |
| 220 | (void*)emit_pass1_dummy, |
| 221 | (void*)emit_pass1_dummy, |
| 222 | |
Damien George | 5f6a25f | 2014-04-20 18:02:27 +0100 | [diff] [blame] | 223 | #if MICROPY_EMIT_CPYTHON |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 224 | (void*)emit_pass1_dummy, |
Damien George | 729f7b4 | 2014-04-17 22:10:53 +0100 | [diff] [blame] | 225 | (void*)emit_pass1_dummy, |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 226 | (void*)emit_pass1_dummy, |
Damien George | 5f6a25f | 2014-04-20 18:02:27 +0100 | [diff] [blame] | 227 | #endif |
Damien | 39cf328 | 2013-10-05 23:18:38 +0100 | [diff] [blame] | 228 | }; |