microPython的源码解析之 nlrxtensa.c

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

microPython Python最小内核源码解析
以下代码是针对Xtensa架构的异常处理机制的实现。nlr_push函数用于在进入一个可能抛出异常的函数之前保存当前的函数上下文，而nlr_jump函数则用于在捕获到异常后，从异常处理程序中恢复原来的函数执行状态。
在内联汇编中，s32i.n和l32i.n分别是存储和加载32位整数的指令，mov.n和movi.n分别是移动和设置寄存器值的指令，ret.n是返回指令。这些指令都是Xtensa汇编语言的一部分。

// 代码重新输出，并补充注释

// 如果定义了MICROPY_NLR_XTENSA，则执行以下代码
#if MICROPY_NLR_XTENSA

// 取消原有的nlr_push函数定义
#undef nlr_push

// Xtensa调用约定：
// a0 = 返回地址
// a1 = 栈指针
// a2 = 第一个参数，返回值
// a3-a7 = 其余参数

// nlr_push函数，用于保存当前函数的上下文信息
unsigned int nlr_push(nlr_buf_t *nlr) {
   
    
    // 内联汇编，将寄存器的值保存到nlr_buf结构体中
    __asm volatile (
        "s32i.n  a0, a2, 8          \n" // 保存寄存器a0的值到a2指向的地址的第8个字节
        "s32i.n  a1, a2, 12         \n" // 保存寄存器a1的值到a2指向的地址的第12个字节
        "s32i.n  a8, a2, 16         \n" // 保存寄存器a8的值到a2指向的地址的第16个字节
        "s32i.n  a9, a2, 20         \n" // 保存寄存器a9的值到a2指向的地址的第20个字节
        "s32i.n  a10, a2, 24        \n" // 保存寄存器a10的值到a2指向的地址的第24个字节
        "s32i.n  a11, a2, 28        \n" // 保存寄存器a11的值到a2指向的地址的第28个字节
        "s32i.n  a12, a2, 32        \n" // 保存寄存器a12的值到a2指向的地址的第32个字节
        "s32i.n  a13, a2, 36        \n" // 保存寄存器a13的值到a2指向的地址的第36个字节
        "s32i.n  a14, a2, 40        \n" // 保存寄存器a14的值到a2指向的地址的第40个字节
        "s32i.n  a15, a2, 44        \n" // 保存寄存器a15的值到a2指向的地址的第44个字节
        "j      nlr_push_tail       \n" // 跳转到C代码中继续执行，完成剩余的上下文保存工作
        );

    // 由于编译器可能会警告未使用的返回值，这里返回0以消除警告
    return 0;
}

// nlr_jump函数，用于从异常处理程序中跳转回原来的函数
NORETURN void nlr_jump(void *val) {
   
    
    // 异常处理程序的头部代码，使用val作为返回值
    MP_NLR_JUMP_HEAD(val, top)
    
    // 内联汇编，从nlr_buf结构体中恢复寄存器的值
    __asm volatile (
        "mov.n   a2, %0             \n" // 将top的值移动到a2寄存器，a2指向nlr_buf
        "l32i.n  a0, a2, 8          \n" // 从a2指向的地址的第8个字节恢复寄存器a0的值
        "l32i.n  a1, a2, 12         \n" // 从a2指向的地址的第12个字节恢复寄存器a1的值
        "l32i.n  a8, a2, 16         \n" // 从a2指向的地址的第16个字节恢复寄存器a8的值
        "l32i.n  a9, a2, 20         \n" // 从a2指向的地址的第20个字节恢复寄存器a9的值
        "l32i.n  a10, a2, 24        \n" // 从a2指向的地址的第24个字节恢复寄存器a10的值
        "l32i.n  a11, a2, 28        \n" // 从a2指向的地址的第28个字节恢复寄存器a11的值
        "l32i.n  a12, a2, 32        \n" // 从a2指向的地址的第32个字节恢复寄存器a12的值
        "l32i.n  a13, a2, 36        \n" // 从a2指向的地址的第36个字节恢复寄存器a13的值
        "l32i.n  a14, a2, 40        \n" // 从a2指向的地址的第40个字节恢复寄存器a14的值
        "l32i.n  a15, a2, 44        \n" // 从a2指向的地址的第44个字节恢复寄存器a15的值
        "movi.n a2, 1               \n" // 将a2寄存器的值设置为1，表示非局部返回
        "ret.n                      \n" // 从当前函数返回