microPython的源码解析之 asmbase.c

MicroPython 是一种适用于微控制器和其他受限环境的 Python 编程语言的实现。它旨在提供与 Python 3 语言的紧密兼容，同时考虑到内存和计算资源的限制。MicroPython 库是这门语言的核心组成部分，提供了一系列的模块和函数，使得开发者能够在硬件上执行各种任务。
下面将通过系列文章,逐一解读microPython,以便让读者了解掌握microPython的整个核心逻辑.,以便读者可以透过这个Python的最小内核,掌握Python解析器的核心实现逻辑,学习世界上最优秀的源码设计.

#include <assert.h>
#include <string.h>

#include "py/obj.h"
#include "py/misc.h"
#include "py/asmbase.h"

#if MICROPY_EMIT_MACHINE_CODE

// 初始化汇编基础结构体
void mp_asm_base_init(mp_asm_base_t *as, size_t max_num_labels) {
   
    as->max_num_labels = max_num_labels; // 设置最大标签数量
    as->label_offsets = m_new(size_t, max_num_labels); // 分配标签偏移量的内存
}

// 反初始化汇编基础结构体
void mp_asm_base_deinit(mp_asm_base_t *as, bool free_code) {
   
    if (free_code) {
   
        // 如果需要释放代码，则执行平台特定的释放操作
        MP_PLAT_FREE_EXEC(as->code_base, as->code_size);
    }
    // 释放标签偏移量的内存
    m_del(size_t, as->label_offsets, as->max_num_labels);
}

// 开始一个汇编遍历
void mp_asm_base_start_pass(mp_asm_base_t *as, int pass) {
   
    if (pass < MP_ASM_PASS_EMIT) {
   
        // 重置标签，以便检测向后跳转（并验证唯一赋值）
        memset(as->label_offsets, -1, as->max_num_labels * sizeof(size_t));
    } else {
   
        // 分配可执行RAM是平台特定的
        MP_PLAT_ALLOC_EXEC(as->code_offset, (void **)&as->code_base, &as->code_size);
        assert(as->code_base != NULL); // 断言代码基地址不为空
    }
    as->pass = pass; // 设置当前遍历
    as->suppress = false; // 标记代码生成是否被禁止
    as->code_offset = 0; // 初始化代码偏移量为0
}

// 所有函数必须通过这个函数来发射字节
// 如果 as->pass < MP_ASM_PASS_EMIT, 那么这个函数只是计算需要的字节数并返回NULL，调用者不应该存储任何数据
// 如果在这一点上生成的代码应该被禁止，它也会返回NULL。
uint8_t *mp_asm_base_get_cur_to_write_bytes(void *as_in, size_t num_bytes_to_write) {
   
    mp_asm_base_t *as = as_in;
    uint8_t *c = NULL;
    if (as->suppress) {
   
        return c; // 如果代码生成被禁止，返回NULL
    }
    if (as->pass == MP_ASM_PASS_EMIT) {
   
        // 断言代码偏移量加上要写入的字节数不会超过代码大小
        assert(as->code_offset + num_bytes_to_write <= as->code_size);
        c = as->code_base + as->code_offset; // 获取当前写入的指针
    }
    as