2014-05-03 22:27:38 +00:00
|
|
|
/*
|
|
|
|
* This file is part of the Micro Python 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.
|
|
|
|
*/
|
|
|
|
|
2014-03-16 07:14:26 +00:00
|
|
|
#include <stdbool.h>
|
2013-10-04 18:53:11 +00:00
|
|
|
#include <stdint.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <assert.h>
|
|
|
|
|
2013-12-21 18:17:45 +00:00
|
|
|
#include "mpconfig.h"
|
2014-06-21 19:43:22 +00:00
|
|
|
#include "misc.h"
|
2014-01-21 21:40:13 +00:00
|
|
|
#include "qstr.h"
|
2014-04-13 10:04:33 +00:00
|
|
|
#include "obj.h"
|
2013-10-04 18:53:11 +00:00
|
|
|
#include "parse.h"
|
2014-04-13 10:04:33 +00:00
|
|
|
#include "emitglue.h"
|
2013-10-04 18:53:11 +00:00
|
|
|
#include "scope.h"
|
|
|
|
|
2014-08-30 13:59:21 +00:00
|
|
|
scope_t *scope_new(scope_kind_t kind, mp_parse_node_t pn, qstr source_file, mp_uint_t emit_options) {
|
2014-04-09 11:27:39 +00:00
|
|
|
scope_t *scope = m_new0(scope_t, 1);
|
2013-10-04 18:53:11 +00:00
|
|
|
scope->kind = kind;
|
|
|
|
scope->pn = pn;
|
2014-01-19 11:48:48 +00:00
|
|
|
scope->source_file = source_file;
|
2013-10-04 18:53:11 +00:00
|
|
|
switch (kind) {
|
|
|
|
case SCOPE_MODULE:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_module_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_FUNCTION:
|
|
|
|
case SCOPE_CLASS:
|
2013-12-21 18:17:45 +00:00
|
|
|
assert(MP_PARSE_NODE_IS_STRUCT(pn));
|
|
|
|
scope->simple_name = MP_PARSE_NODE_LEAF_ARG(((mp_parse_node_struct_t*)pn)->nodes[0]);
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_LAMBDA:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_lambda_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_LIST_COMP:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_listcomp_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_DICT_COMP:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_dictcomp_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_SET_COMP:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_setcomp_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
case SCOPE_GEN_EXPR:
|
2014-01-23 22:22:00 +00:00
|
|
|
scope->simple_name = MP_QSTR__lt_genexpr_gt_;
|
2013-10-04 18:53:11 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
assert(0);
|
|
|
|
}
|
2014-04-13 10:04:33 +00:00
|
|
|
scope->raw_code = mp_emit_glue_new_raw_code();
|
2013-10-05 17:08:26 +00:00
|
|
|
scope->emit_options = emit_options;
|
2014-05-21 19:32:59 +00:00
|
|
|
scope->id_info_alloc = MICROPY_ALLOC_SCOPE_ID_INIT;
|
2014-04-09 11:27:39 +00:00
|
|
|
scope->id_info = m_new(id_info_t, scope->id_info_alloc);
|
2013-10-04 18:53:11 +00:00
|
|
|
|
|
|
|
return scope;
|
|
|
|
}
|
|
|
|
|
2014-01-23 21:05:47 +00:00
|
|
|
void scope_free(scope_t *scope) {
|
|
|
|
m_del(id_info_t, scope->id_info, scope->id_info_alloc);
|
|
|
|
m_del(scope_t, scope, 1);
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *scope_find_or_add_id(scope_t *scope, qstr qst, bool *added) {
|
|
|
|
id_info_t *id_info = scope_find(scope, qst);
|
2014-08-15 13:30:52 +00:00
|
|
|
if (id_info != NULL) {
|
|
|
|
*added = false;
|
|
|
|
return id_info;
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// make sure we have enough memory
|
|
|
|
if (scope->id_info_len >= scope->id_info_alloc) {
|
2014-05-21 19:32:59 +00:00
|
|
|
scope->id_info = m_renew(id_info_t, scope->id_info, scope->id_info_alloc, scope->id_info_alloc + MICROPY_ALLOC_SCOPE_ID_INC);
|
|
|
|
scope->id_info_alloc += MICROPY_ALLOC_SCOPE_ID_INC;
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
|
2014-01-19 11:48:48 +00:00
|
|
|
// add new id to end of array of all ids; this seems to match CPython
|
|
|
|
// important thing is that function arguments are first, but that is
|
|
|
|
// handled by the compiler because it adds arguments before compiling the body
|
2014-08-15 13:30:52 +00:00
|
|
|
id_info = &scope->id_info[scope->id_info_len++];
|
2013-10-04 18:53:11 +00:00
|
|
|
|
|
|
|
id_info->kind = 0;
|
2014-04-09 13:42:51 +00:00
|
|
|
id_info->flags = 0;
|
2013-10-20 14:07:49 +00:00
|
|
|
id_info->local_num = 0;
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info->qst = qst;
|
2013-10-04 18:53:11 +00:00
|
|
|
*added = true;
|
|
|
|
return id_info;
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *scope_find(scope_t *scope, qstr qst) {
|
2014-08-15 13:30:52 +00:00
|
|
|
for (mp_uint_t i = 0; i < scope->id_info_len; i++) {
|
2014-09-08 22:05:16 +00:00
|
|
|
if (scope->id_info[i].qst == qst) {
|
2013-10-04 18:53:11 +00:00
|
|
|
return &scope->id_info[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *scope_find_global(scope_t *scope, qstr qst) {
|
2013-10-04 18:53:11 +00:00
|
|
|
while (scope->parent != NULL) {
|
|
|
|
scope = scope->parent;
|
|
|
|
}
|
2014-09-08 22:05:16 +00:00
|
|
|
return scope_find(scope, qst);
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *scope_find_local_in_parent(scope_t *scope, qstr qst) {
|
2013-10-04 18:53:11 +00:00
|
|
|
if (scope->parent == NULL) {
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
for (scope_t *s = scope->parent; s->parent != NULL; s = s->parent) {
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *id = scope_find(s, qst);
|
2014-08-15 13:30:52 +00:00
|
|
|
if (id != NULL) {
|
|
|
|
return id;
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
void scope_close_over_in_parents(scope_t *scope, qstr qst) {
|
2013-10-04 18:53:11 +00:00
|
|
|
assert(scope->parent != NULL); // we should have at least 1 parent
|
|
|
|
for (scope_t *s = scope->parent; s->parent != NULL; s = s->parent) {
|
2014-08-15 13:30:52 +00:00
|
|
|
bool added;
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *id = scope_find_or_add_id(s, qst, &added);
|
2014-08-15 13:30:52 +00:00
|
|
|
if (added) {
|
|
|
|
// variable not previously declared in this scope, so declare it as free and keep searching parents
|
2013-10-04 18:53:11 +00:00
|
|
|
id->kind = ID_INFO_KIND_FREE;
|
|
|
|
} else {
|
|
|
|
// variable is declared in this scope, so finish
|
|
|
|
switch (id->kind) {
|
|
|
|
case ID_INFO_KIND_LOCAL: id->kind = ID_INFO_KIND_CELL; break; // variable local to this scope, close it over
|
|
|
|
case ID_INFO_KIND_FREE: break; // variable already closed over in a parent scope
|
|
|
|
case ID_INFO_KIND_CELL: break; // variable already closed over in this scope
|
|
|
|
default: assert(0); // TODO
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
assert(0); // we should have found the variable in one of the parents
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
void scope_declare_global(scope_t *scope, qstr qst) {
|
2013-10-05 11:19:06 +00:00
|
|
|
if (scope->kind == SCOPE_MODULE) {
|
|
|
|
printf("SyntaxError?: can't declare global in outer code\n");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
bool added;
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *id_info = scope_find_or_add_id(scope, qst, &added);
|
2013-10-05 11:19:06 +00:00
|
|
|
if (!added) {
|
|
|
|
printf("SyntaxError?: identifier already declared something\n");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
id_info->kind = ID_INFO_KIND_GLOBAL_EXPLICIT;
|
|
|
|
|
|
|
|
// if the id exists in the global scope, set its kind to EXPLICIT_GLOBAL
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info = scope_find_global(scope, qst);
|
2013-10-05 11:19:06 +00:00
|
|
|
if (id_info != NULL) {
|
|
|
|
id_info->kind = ID_INFO_KIND_GLOBAL_EXPLICIT;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-08 22:05:16 +00:00
|
|
|
void scope_declare_nonlocal(scope_t *scope, qstr qst) {
|
2013-10-05 11:19:06 +00:00
|
|
|
if (scope->kind == SCOPE_MODULE) {
|
|
|
|
printf("SyntaxError?: can't declare nonlocal in outer code\n");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
bool added;
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *id_info = scope_find_or_add_id(scope, qst, &added);
|
2013-10-05 11:19:06 +00:00
|
|
|
if (!added) {
|
|
|
|
printf("SyntaxError?: identifier already declared something\n");
|
|
|
|
return;
|
|
|
|
}
|
2014-09-08 22:05:16 +00:00
|
|
|
id_info_t *id_info2 = scope_find_local_in_parent(scope, qst);
|
2013-10-05 11:19:06 +00:00
|
|
|
if (id_info2 == NULL || !(id_info2->kind == ID_INFO_KIND_LOCAL || id_info2->kind == ID_INFO_KIND_CELL || id_info2->kind == ID_INFO_KIND_FREE)) {
|
2014-09-08 22:05:16 +00:00
|
|
|
printf("SyntaxError: no binding for nonlocal '%s' found\n", qstr_str(qst));
|
2013-10-05 11:19:06 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
id_info->kind = ID_INFO_KIND_FREE;
|
2014-09-08 22:05:16 +00:00
|
|
|
scope_close_over_in_parents(scope, qst);
|
2013-10-05 11:19:06 +00:00
|
|
|
}
|
|
|
|
|
2014-01-19 11:48:48 +00:00
|
|
|
#if MICROPY_EMIT_CPYTHON
|
2013-10-04 18:53:11 +00:00
|
|
|
void scope_print_info(scope_t *s) {
|
|
|
|
if (s->kind == SCOPE_MODULE) {
|
|
|
|
printf("code <module>\n");
|
|
|
|
} else if (s->kind == SCOPE_LAMBDA) {
|
|
|
|
printf("code <lambda>\n");
|
|
|
|
} else if (s->kind == SCOPE_LIST_COMP) {
|
|
|
|
printf("code <listcomp>\n");
|
|
|
|
} else if (s->kind == SCOPE_DICT_COMP) {
|
|
|
|
printf("code <dictcomp>\n");
|
|
|
|
} else if (s->kind == SCOPE_SET_COMP) {
|
|
|
|
printf("code <setcomp>\n");
|
|
|
|
} else if (s->kind == SCOPE_GEN_EXPR) {
|
|
|
|
printf("code <genexpr>\n");
|
|
|
|
} else {
|
|
|
|
printf("code %s\n", qstr_str(s->simple_name));
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
printf("var global:");
|
|
|
|
for (int i = 0; i < s->id_info_len; i++) {
|
|
|
|
if (s->id_info[i].kind == ID_INFO_KIND_GLOBAL_EXPLICIT) {
|
2014-09-08 22:05:16 +00:00
|
|
|
printf(" %s", qstr_str(s->id_info[i].qst));
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
printf("var name:");
|
|
|
|
for (int i = 0; i < s->id_info_len; i++) {
|
|
|
|
if (s->id_info[i].kind == ID_INFO_KIND_GLOBAL_IMPLICIT) {
|
2014-09-08 22:05:16 +00:00
|
|
|
printf(" %s", qstr_str(s->id_info[i].qst));
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
printf("var local:");
|
|
|
|
for (int i = 0; i < s->id_info_len; i++) {
|
|
|
|
if (s->id_info[i].kind == ID_INFO_KIND_LOCAL) {
|
2014-09-08 22:05:16 +00:00
|
|
|
printf(" %s", qstr_str(s->id_info[i].qst));
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
printf("var free:");
|
|
|
|
for (int i = 0; i < s->id_info_len; i++) {
|
|
|
|
if (s->id_info[i].kind == ID_INFO_KIND_FREE) {
|
2014-09-08 22:05:16 +00:00
|
|
|
printf(" %s", qstr_str(s->id_info[i].qst));
|
2013-10-04 18:53:11 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
*/
|
2014-02-15 19:33:11 +00:00
|
|
|
printf(" flags %04x\n", s->scope_flags);
|
2014-04-27 14:50:52 +00:00
|
|
|
printf(" argcount %d\n", s->num_pos_args);
|
2013-10-04 18:53:11 +00:00
|
|
|
printf(" nlocals %d\n", s->num_locals);
|
|
|
|
printf(" stacksize %d\n", s->stack_size);
|
|
|
|
}
|
2014-01-19 11:48:48 +00:00
|
|
|
#endif
|