ARM内联汇编实现C++向量加法出错，求排查与修复方案

问题代码 #

你提供的代码如下：

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

using namespace std;

int main(){
float v1[4] = {1.0f, 2.1f, -3.1f, 2.5f};
float v2[4] = {2.0f, 1.0f, 1.1f, -2.5f};
float result[4] = { };

asm(
"ldr q31, [%[vec1]]\n"
"ldr q30, [%[vec2]]\n"
"FADD v31.4S, v31.4S, v30.4S\n"
"str q31, [%[r]]\n"
:[r]"=r"(result): [vec1]"r"(&v1), [vec2]"r"(&v2)
);

for (float i: result) cout << " " << i;
cout << "\n";
}

运行后得到垃圾值，核心问题及修复方案如下：

核心问题分析 #

• 硬编码寄存器冲突：直接使用q31、q30这类寄存器会和编译器的寄存器分配逻辑冲突，编译器可能已将这些寄存器用于存储其他变量，导致原有数据被破坏，最终输出垃圾值。内联汇编不应硬编码寄存器，需依赖编译器分配。
• 参数传递与约束错误："=r"(result)试图将数组指针放入寄存器，但我们需要将结果写入result指向的内存区域，应使用"=m"约束表示输出为内存位置；另外&v1是数组的地址（类型为float(*)[4]），冗余且易引发类型问题，直接用v1即可表示数组首地址。
• 缺少寄存器破坏声明：汇编代码修改了寄存器，但未告知编译器，编译器会默认这些寄存器的值未改变，可能导致后续代码逻辑错误。
• 指令语法不规范：ARMv8 NEON指令中，向量元素类型需用小写（如.4s而非.4S），部分编译器虽兼容大写，但遵循规范能避免潜在兼容性问题。

修复后的代码 #

以下是修正后的代码，可正确执行向量加法：

#include <iostream>
#include <arm_neon.h>

using namespace std;

int main(){
    float v1[4] = {1.0f, 2.1f, -3.1f, 2.5f};
    float v2[4] = {2.0f, 1.0f, 1.1f, -2.5f};
    float result[4] = { };

    asm volatile (
        "ldr %q0, [%[vec1]]\n"          // 从v1加载向量到编译器分配的寄存器
        "ldr %q1, [%[vec2]]\n"          // 从v2加载向量到编译器分配的寄存器
        "fadd %q0, %q0, %q1\n"          // 执行向量加法，结果存回第一个寄存器
        "str %q0, [%[r]]\n"             // 将结果写入result指向的内存
        : [r]"=m"(result)               // 输出：result是内存区域，存储计算结果
        : [vec1]"r"(v1), [vec2]"r"(v2), "0"(result)  // 输入：v1、v2的首地址，"0"表示复用输出寄存器的初始值
        : "v0", "v1"                    // 声明被修改的寄存器，告知编译器
    );

    for (float i: result) cout << " " << i;
    cout << "\n";
}

运行结果 #

执行后会输出预期的向量加法结果：
3 3.1 -2 0

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