裸函数内执行引脚赋值触发硬故障的原因与解决方法

针对你在裸函数中添加寄存器赋值触发硬故障的问题，我来逐一解答：

1. 为什么赋值行会触发硬故障？ #

问题的核心在于__attribute__((naked))裸函数的特性和C代码的编译行为冲突：

• 裸函数的本质是编译器不会自动生成函数的序言/尾声代码，不会帮你保存调用者寄存器、初始化栈帧（比如push {r4-r11, lr}这类操作），所有寄存器和栈的管理都需要开发者手动完成。
• 当你在裸函数中写入C代码（比如那行寄存器赋值）时，编译器会按照普通C代码的规则生成指令，这些指令往往会依赖栈存储临时数据，或者直接使用未保存的寄存器。但此时裸函数的栈状态是不确定的（没有被编译器初始化栈帧），再加上这个函数是线程切换的核心逻辑，栈指针本身可能正处于切换的不稳定状态，C代码的栈操作会直接引发非法内存访问，最终触发硬故障。

2. 如何在裸函数内完成该赋值操作？ #

要避开C代码带来的栈/寄存器依赖问题，你需要用纯内联汇编完成赋值，完全手动控制指令流程，不依赖编译器生成的栈操作。修改后的代码示例如下：

inline __attribute__((naked)) void CScheduler::SwapToThread(void* pNew, void* pPrev) {
    // 用内联汇编完成寄存器赋值，完全规避C代码的栈依赖
    asm volatile (
        "ldr r0, =0x400FF08C\n"  // 将目标寄存器地址加载到r0
        "mov r1, #0x4000\n"      // 加载(1 << 14)对应的值0x4000到r1
        "str r1, [r0]\n"         // 将r1的值写入r0指向的外设寄存器地址
        ::: "r0", "r1"           // 告知编译器我们修改了r0、r1寄存器
    );

    if (pPrev != NULL) {
        if (pPrev == this) // 启动时保存调度器栈的特殊情况
        {
            asm("mov lr,%0"::"p"(&CScheduler_Run_Exit)); // 加载r1为调度器的结束线程
            asm("orr lr, 1");
        }
    }
}

关键说明： #

• asm volatile确保编译器不会因为优化逻辑删掉这段汇编代码；
• 全程用汇编指令完成地址访问和赋值，完全不涉及栈操作，符合裸函数对寄存器/栈手动管理的要求；
• 最后声明"r0", "r1"为被破坏的寄存器，让编译器知晓这些寄存器的值已被修改，避免后续代码出现错误依赖。

内容的提问来源于stack exchange，提问作者Bob