STATIC void emit_pass1_load_id(emit_t *emit, qstr qst) { // name adding/lookup bool added; id_info_t *id = scope_find_or_add_id(emit->scope, qst, &added); if (added) { #if MICROPY_EMIT_CPYTHON if (qst == MP_QSTR_super && emit->scope->kind == SCOPE_FUNCTION) { // special case, super is a global, and also counts as use of __class__ id->kind = ID_INFO_KIND_GLOBAL_EXPLICIT; id_info_t *id2 = scope_find_local_in_parent(emit->scope, MP_QSTR___class__); if (id2 != NULL) { id2 = scope_find_or_add_id(emit->scope, MP_QSTR___class__, &added); if (added) { id2->kind = ID_INFO_KIND_FREE; scope_close_over_in_parents(emit->scope, MP_QSTR___class__); } } } else #endif { id_info_t *id2 = scope_find_local_in_parent(emit->scope, qst); if (id2 != NULL && (id2->kind == ID_INFO_KIND_LOCAL || id2->kind == ID_INFO_KIND_CELL || id2->kind == ID_INFO_KIND_FREE)) { id->kind = ID_INFO_KIND_FREE; scope_close_over_in_parents(emit->scope, qst); } else { id->kind = ID_INFO_KIND_GLOBAL_IMPLICIT; } } } }
void scope_close_over_in_parents(scope_t *scope, qstr qstr) { assert(scope->parent != NULL); // we should have at least 1 parent for (scope_t *s = scope->parent; s->parent != NULL; s = s->parent) { id_info_t *id = NULL; for (int i = 0; i < s->id_info_len; i++) { if (s->id_info[i].qstr == qstr) { id = &s->id_info[i]; break; } } if (id == NULL) { // variable not declared in this scope, so declare it as free and keep searching parents bool added; id = scope_find_or_add_id(s, qstr, &added); assert(added); 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 }
void mp_emit_common_get_id_for_load(scope_t *scope, qstr qst) { // name adding/lookup bool added; id_info_t *id = scope_find_or_add_id(scope, qst, &added); if (added) { scope_find_local_and_close_over(scope, id, qst); } }
void mp_emit_common_get_id_for_modification(scope_t *scope, qstr qst) { // name adding/lookup bool added; id_info_t *id = scope_find_or_add_id(scope, qst, &added); if (added) { if (SCOPE_IS_FUNC_LIKE(scope->kind)) { id->kind = ID_INFO_KIND_LOCAL; } else { id->kind = ID_INFO_KIND_GLOBAL_IMPLICIT; } } else if (SCOPE_IS_FUNC_LIKE(scope->kind) && id->kind == ID_INFO_KIND_GLOBAL_IMPLICIT) { // rebind as a local variable id->kind = ID_INFO_KIND_LOCAL; } }
STATIC id_info_t *get_id_for_modification(scope_t *scope, qstr qst) { // name adding/lookup bool added; id_info_t *id = scope_find_or_add_id(scope, qst, &added); if (added) { if (scope->kind == SCOPE_MODULE || scope->kind == SCOPE_CLASS) { id->kind = ID_INFO_KIND_GLOBAL_IMPLICIT; } else { id->kind = ID_INFO_KIND_LOCAL; } } else if (scope->kind >= SCOPE_FUNCTION && scope->kind <= SCOPE_GEN_EXPR && id->kind == ID_INFO_KIND_GLOBAL_IMPLICIT) { // rebind as a local variable id->kind = ID_INFO_KIND_LOCAL; } assert(id != NULL); // TODO can this ever fail? return id; }
void scope_declare_nonlocal(scope_t *scope, qstr qstr) { if (scope->kind == SCOPE_MODULE) { printf("SyntaxError?: can't declare nonlocal in outer code\n"); return; } bool added; id_info_t *id_info = scope_find_or_add_id(scope, qstr, &added); if (!added) { printf("SyntaxError?: identifier already declared something\n"); return; } id_info_t *id_info2 = scope_find_local_in_parent(scope, qstr); 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)) { printf("SyntaxError: no binding for nonlocal '%s' found\n", qstr_str(qstr)); return; } id_info->kind = ID_INFO_KIND_FREE; scope_close_over_in_parents(scope, qstr); }
void scope_declare_global(scope_t *scope, qstr qstr) { if (scope->kind == SCOPE_MODULE) { printf("SyntaxError?: can't declare global in outer code\n"); return; } bool added; id_info_t *id_info = scope_find_or_add_id(scope, qstr, &added); 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 id_info = scope_find_global(scope, qstr); if (id_info != NULL) { id_info->kind = ID_INFO_KIND_GLOBAL_EXPLICIT; } }