STM32CubeIDE中混合C/汇编函数定义ARM Literal Pool的问题

错误原因 #

你遇到的invalid offset, value too big错误，本质是ARM M0+的LDR Rd, =imm伪指令依赖的**文字池（Literal Pool）**与指令的距离超出了±4KB的寻址范围。内嵌汇编中直接在return后加.LTORG无效，因为编译器已经生成了函数返回的收尾代码，文字池被放在了离LDR指令过远的位置，导致寻址偏移超限。

核心结论 #

不是不能在混合C/汇编函数中使用Literal Pool，而是不能用这种错误的位置插入.LTORG，需要调整文字池的位置或改用其他加载方式

具体解决方案 #

方案1：改用立即数加载指令（推荐，无文字池依赖） #

ARM M0+支持MOVW（加载低16位）和MOVT（加载高16位）指令组合加载32位常量，完全不需要文字池。把你的LDR R0, =0xXXXXXX替换成：

// 加载0x55555555
asm("MOVW R0, #0x5555");
asm("MOVT R0, #0x5555");

// 加载0xAAAAAAAA
asm("MOVW R0, #0xAAAA");
asm("MOVT R0, #0xAAAA");

这种方式不依赖文字池，也不会出现偏移错误，同时指令效率更高。

方案2：在合适位置插入文字池 #

将.LTORG放在对应的LDR Rd, =imm指令紧邻的位置（比如指令前或后），确保文字池与指令的距离在±4KB范围内。修改后的代码示例：

uint32_t registerTest(void)
{
volatile uint32_t testReg, rc = 0;

    asm("PUSH {R0, R1}");

    // 在第一个LDR指令前插入文字池
    asm(".LTORG");

    // 加载testReg的地址（改用=符号让编译器处理）
    asm("LDR R3, =testReg");

    // 加载0x55555555
    asm("LDR R0, =0x55555555");
    asm("STR R0, [R3]");

    if (testReg == 0x55555555)
    {
        // 在此处插入第二个文字池，覆盖后续LDR指令
        asm(".LTORG");
        asm("LDR R0, =0xAAAAAAAA");
        asm("STR R0, [R3]");
        if (testReg != 0xAAAAAAAA)
            rc = 0xAAAAAAAA;
    }
    else
        rc = 0x55555555;

    asm("POP {R0, R1}");
    return rc;
}

注意：每次使用LDR Rd, =imm前都要确保附近有文字池，避免偏移超限。

方案3：改用纯汇编函数 #

如果内嵌汇编的文字池控制麻烦，直接把测试逻辑写到单独的汇编文件中，自由控制.LTORG的位置。示例汇编文件：

.syntax unified
.cpu cortex-m0plus
.thumb

.global registerTest
.type registerTest, %function

registerTest:
    ; 保存调用约定要求的寄存器
    PUSH {R0, R1, R4, R5, LR}
    ; 访问栈上的testReg（偏移需根据编译器栈布局调整，此处假设偏移为8）
    ADD R3, SP, #8

    LDR R0, =0x55555555
    STR R0, [R3]
    LDR R4, [R3]
    LDR R5, =0x55555555
    CMP R4, R5
    BNE fail_55

    LDR R0, =0xAAAAAAAA
    STR R0, [R3]
    LDR R4, [R3]
    LDR R5, =0xAAAAAAAA
    CMP R4, R5
    BEQ success

    MOV R0, #0xAAAAAAAA
    B exit

fail_55:
    MOV R0, #0x55555555
    B exit

success:
    MOV R0, #0

exit:
    POP {R0, R1, R4, R5, LR}
    BX LR

.LTORG ; 文字池放在函数末尾，确保所有LDR指令都能寻址到

然后在C中声明函数并调用：

extern uint32_t registerTest(void);

额外注意事项 #

• 遵守ARM Thumb调用约定：R0-R3是临时寄存器，若汇编中使用了其他寄存器（如R3、R4），必须保存和恢复，避免破坏C函数的上下文。
• 局部变量testReg是volatile类型，确保编译器不会优化掉对它的读写操作。

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