对手臂内联装配的不同clobber描述感到困惑

Question

我正在学习ARM内联汇编，并且对一个非常简单的功能感到困惑：将x的值分配给y（两者都是int类型），在arm32和arm64上为什么不同的clobber需要说明吗？

代码如下：

#include <arm_neon.h>
#include <stdio.h>

void asm_test()
{
    int x = 10;
    int y = 0;

#ifdef __aarch64__
    asm volatile(
        "mov %w[in], %w[out]"
        : [out] "=r"(y)
        : [in] "r"(x)
        : "r0" // r0 not working, but r1 or x1 works
    );
#else
    asm volattile(
        "mov %[in], %[out]"
        : [out] "=r"(y)
        : [in] "r"(x)
        : "r0"    // r0 works, but r1 not working
    );
#endif
    printf("y is %d\n", y);
}

int main() {
    arm_test();

    return 0;
}

在我的 android 手机上测试，对于 arm32，r0 生成正确的结果，但 r1 不会。对于 arm64，r1 或 x1 生成正确的结果，而 r0 不会。为什么在 arm32 和 arm64 上它们不同？具体规则是什么？在哪里可以找到？

Answer 1

ARM / AArch64 语法为mov dst, src。

只有当编译器碰巧为"=r" 输出和"r" 输入选择了相同的寄存器时，您的asm 语句才有效（或类似的，给定x 的额外副本浮动）。

不同的clobbers只会扰乱编译器的寄存器分配选择。查看生成的asm（gcc -S或https://godbolt.org/，尤其是-fverbose-asm。）

由于约束与模板字符串中的指令不匹配而导致的未定义行为仍然可能发生；永远不要仅仅因为 asm 语句与一组编译器选项和周边代码一起工作就认为它是正确的。