ARM架构内联汇编数组展开循环的正确约束配置问询

核心思路 #

通过寄存器约束获取数组基址，配合显式内存操作数约束告知编译器哪些内存区域被读写，既满足基址+偏移寻址需求，又无需依赖asm volatile或通用"memory" clobber，让编译器能精准优化且不浪费寄存器。

ARMv7-M（Cortex-M4）实现代码 #

void f(int out[10], const int in[10]) {
    // r0 = out基址, r1 = in基址
    asm (
        // 完全展开10个元素的读写操作，使用基址+偏移寻址
        "ldr r2, [r1, #0]\n"
        "str r2, [r0, #0]\n"
        "ldr r2, [r1, #4]\n"
        "str r2, [r0, #4]\n"
        "ldr r2, [r1, #8]\n"
        "str r2, [r0, #8]\n"
        "ldr r2, [r1, #12]\n"
        "str r2, [r0, #12]\n"
        "ldr r2, [r1, #16]\n"
        "str r2, [r0, #16]\n"
        "ldr r2, [r1, #20]\n"
        "str r2, [r0, #20]\n"
        "ldr r2, [r1, #24]\n"
        "str r2, [r0, #24]\n"
        "ldr r2, [r1, #28]\n"
        "str r2, [r0, #28]\n"
        "ldr r2, [r1, #32]\n"
        "str r2, [r0, #32]\n"
        "ldr r2, [r1, #36]\n"
        "str r2, [r0, #36]\n"
        : "+r" (out), "+m" (*out)  // out基址寄存器 + 告知编译器out数组内存被修改
        : "r" (in), "m" (*in)      // in基址寄存器 + 告知编译器in数组内存被读取
        : "r2"                     // 声明临时使用的寄存器，避免编译器冲突
    );
}

代码说明 #

1. "+r" (out)/"r" (in)：强制编译器将数组指针分配到通用寄存器（自动避开栈指针、链接寄存器等特殊寄存器），直接拿到基址用于偏移寻址。
2. "+m" (*out)/"m" (*in)：显式告知编译器，out数组的整个内存区域会被修改、in数组的整个内存区域会被读取，替代"memory" clobber的模糊约束，让编译器能精准优化。
3. Clobber列表"r2"：声明汇编临时使用的寄存器，避免编译器将其他变量存入该寄存器导致数据丢失。

AArch64实现代码 #

void f(int out[10], const int in[10]) {
    // x0 = out基址, x1 = in基址
    asm (
        "ldr w2, [x1, #0]\n"
        "str w2, [x0, #0]\n"
        "ldr w2, [x1, #4]\n"
        "str w2, [x0, #4]\n"
        "ldr w2, [x1, #8]\n"
        "str w2, [x0, #8]\n"
        "ldr w2, [x1, #12]\n"
        "str w2, [x0, #12]\n"
        "ldr w2, [x1, #16]\n"
        "str w2, [x0, #16]\n"
        "ldr w2, [x1, #20]\n"
        "str w2, [x0, #20]\n"
        "ldr w2, [x1, #24]\n"
        "str w2, [x0, #24]\n"
        "ldr w2, [x1, #28]\n"
        "str w2, [x0, #28]\n"
        "ldr w2, [x1, #32]\n"
        "str w2, [x0, #32]\n"
        "ldr w2, [x1, #36]\n"
        "str w2, [x0, #36]\n"
        : "+r" (out), "+m" (*out)
        : "r" (in), "m" (*in)
        : "w2"
    );
}

代码说明 #

逻辑与ARMv7-M一致，仅寄存器适配AArch64架构：用64位寄存器x0/x1存基址，32位寄存器w2处理32位int数据。

为何之前的尝试失败 #

1. "=m"/"m"约束：仅传递内存操作数，无法获取基址寄存器，无法使用基址+偏移寻址。
2. "rm"约束：编译器可能选择传递内存操作数而非寄存器，导致汇编中寄存器语法报错。
3. "Q"约束：本质是内存操作数约束，而非寄存器约束，生成的代码会带多余括号，无法直接作为基址使用。

额外注意事项 #

• 若需复用更多寄存器（如Cortex-M4可用的14个寄存器），可将需使用的寄存器加入clobber列表，编译器会自动避开这些寄存器存储其他变量。
• 若要更精确地指定内存范围，可将*out/*in替换为逐个元素的约束（如"m" (out[0])到"m" (out[9])），但会增加代码冗余，*out已足够让编译器识别数组的完整内存区域。

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