使用aarch64-none-elf工具链时ARM汇编FCMLE指令异常排查

一、编译错误问题：操作数必须是SIMD向量寄存器 #

问题场景 #

使用aarch64-none-elf-gcc 12.3.1工具链编译包含FCMLE指令的内嵌汇编代码时，触发如下错误：

/tmp/cc4yEhOw.s: Assembler messages:
/tmp/cc4yEhOw.s:1839: Error: operand 1 must be a SIMD vector register -- `fcmle s0,s0,s1'

编译命令：

aarch64-none-elf-gcc -Wall -Wextra -Wpedantic -nostdlib -ffreestanding -march=armv8-a -O0 -g -c -o main.o main.c

测试代码摘要：

#include <arm_neon.h>

bool test_fcmle(void)
{
    float32x4_t Vn  = { 1.5f,  1.1f, -3.5f, 0.0f};
    float32x4_t Vm1 = { 1.1f,  1.5f, -3.5f, 4.4f};

    asm volatile(
        "FMOV %s0, %s1\n" // Load Vn into the SIMD register
        "FCMLE %s0, %s0, %s2" // Compare Vn and Vm1
        : "=w" (Vn)
        : "w" (Vn), "w" (Vm1)
    );
    //...
    return true;
}

替换为FADD指令时，编译运行均正常。

错误原因 #

AArch64指令集中：

• FCMLE是向量单精度浮点比较指令，要求操作数为SIMD向量寄存器（如v0.4s，表示128位寄存器中的4个单精度元素）；
• 你使用的%s约束会让编译器分配标量单精度寄存器（如s0），这是标量浮点寄存器，不属于SIMD向量寄存器范畴，因此触发报错；
• FADD指令同时支持标量（FADDS）和向量（FADD）版本，用%s约束时编译器会自动适配标量版本，因此不会报错。

二、修改后编译成功但结果不符合预期 #

问题场景 #

修改代码后编译通过，但所有结果元素均为0，与预期不符：
修改后的代码：

#include <arm_neon.h>
#include <stdbool.h>
#include "uart.h"

bool test_fcmle(void)
{
    printUart0("Testing fcmle\n");

    float32x4_t Vn  = { 1.5f,  1.1f, -3.5f, 0.0f};
    uint32x4_t Vexpected = {0, 0, 0xFFFFFFFF, 0xFFFFFFFF};
    float32x4_t Vresult;

    asm volatile(
        "FMOV %s0, %s1\n" // Load Vn into the SIMD register
        "FCMLE %s0, %s0, #0.0" // Compare Vn and Vm1
        : "=w" (Vresult)
        : "w" (Vn)
    );

    for(int i = 0; i<4; ++i){
        printNumber("Actual   = ", Vresult[i]);
        printNumber("Expected = ", Vexpected[i]);
        if(Vresult[i] != Vexpected[i])
            return false;
    }
    return true;
}

int main()
{
    if(!test_fcmle())
        printUart0("Test failed\n");
}

程序输出：

---------------------------------------------
Testing fcmle
Actual   = 0
Expected = 0
Actual   = 0
Expected = 0
Actual   = 0
Expected = 4294967295
Test failed

错误原因 #

1. 指令使用仍不规范：依然用%s约束标量寄存器执行FCMLE向量指令，编译器实际生成的代码存在隐式错误，未正确执行向量比较；
2. 结果类型处理错误：FCMLE的比较结果是掩码向量，每个元素为0xFFFFFFFF（条件成立）或0x00000000（条件不成立），这是32位无符号整数格式。你将结果存储在float32x4_t类型中，直接读取浮点元素值时，0xFFFFFFFF会被解析为浮点NaN值，与预期的整数0xFFFFFFFF比较必然不相等。

三、解决方案 #

1. 正确使用FCMLE向量指令 #

删除冗余的FMOV指令（GCC的寄存器约束会自动完成变量的加载/存储），使用向量寄存器约束并明确指令的元素类型：

asm volatile(
    "FCMLE %0.4s, %1.4s, #0.0\n"
    : "=w" (Vresult)
    : "w" (Vn)
);

• %0.4s表示将寄存器视为包含4个单精度浮点元素的向量寄存器；
• "=w"约束可以正确匹配AArch64的SIMD向量寄存器。

2. 正确处理比较结果类型 #

将浮点向量结果转换为无符号整数向量后再与预期值比较：

uint32x4_t result_u32 = vreinterpretq_u32_f32(Vresult);
for(int i = 0; i<4; ++i){
    printNumber("Actual   = ", result_u32[i]);
    printNumber("Expected = ", Vexpected[i]);
    if(result_u32[i] != Vexpected[i])
        return false;
}

vreinterpretq_u32_f32是NEON内置函数，用于在不改变寄存器数据的前提下，将浮点向量类型重新解释为无符号整数向量类型。

完整修复后的代码示例 #

#include <arm_neon.h>
#include <stdbool.h>
#include "uart.h"

bool test_fcmle(void)
{
    printUart0("Testing fcmle\n");

    float32x4_t Vn  = { 1.5f,  1.1f, -3.5f, 0.0f};
    uint32x4_t Vexpected = {0, 0, 0xFFFFFFFF, 0xFFFFFFFF};
    float32x4_t Vresult;

    asm volatile(
        "FCMLE %0.4s, %1.4s, #0.0\n"
        : "=w" (Vresult)
        : "w" (Vn)
    );

    uint32x4_t result_u32 = vreinterpretq_u32_f32(Vresult);
    for(int i = 0; i<4; ++i){
        printNumber("Actual   = ", result_u32[i]);
        printNumber("Expected = ", Vexpected[i]);
        if(result_u32[i] != Vexpected[i])
            return false;
    }
    return true;
}

int main()
{
    if(!test_fcmle())
        printUart0("Test failed\n");
    else
        printUart0("Test passed\n");
}

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