ARM A64汇编浮点常量加载及寄存器使用问题咨询

嘿，你遇到的这些问题都是ARM A64汇编里浮点指令的常见坑，我来给你逐个捋清楚：

这是因为ARM A64的fmov（给浮点寄存器传立即数）指令有严格的编码限制：它能表示的浮点常量必须是**±k × 2^n**的形式，其中：

• k是0到31之间的整数（包含31）
• n是-64到63之间的整数

31.0刚好是31 × 2^0，完全符合规则；但32.0是32 × 2^0，k=32超出了0-31的上限；而0.0虽然是0 × 2^n，但这个指令的编码逻辑里没有专门适配0的立即数格式，所以都会报错。

有两种常用方法：

1. 从数据段加载（最通用） #

把浮点常量放到.data段，然后用ldr指令加载到寄存器，汇编器会自动帮你处理所有格式的浮点值：

.data
    zero_d:     .double 0.0       @ 64位双精度0.0
    big_num_d:  .double 100.0     @ 64位双精度100.0
    zero_s:     .float 0.0        @ 32位单精度0.0
.text
    ldr d1, =zero_d       @ 加载双精度0.0到d1
    ldr d2, =big_num_d    @ 加载双精度100.0到d2
    ldr s3, =zero_s       @ 加载单精度0.0到s3

你甚至可以直接写ldr d1, =0.0，汇编器会自动把常量放到数据段，不用手动定义标签。

2. 用十六进制比特模式表示 #

把浮点数转换成对应的二进制比特模式（十六进制形式），通过通用寄存器中转或者直接加载：

• 0.0的64位双精度十六进制是0x0000000000000000，可以这样写：

mov x0, #0x0                  @ 把通用寄存器x0设为0
fmov d1, x0                   @ 把x0的64位值转到d1，得到0.0

• 32.0的64位双精度十六进制是0x4040000000000000，可以这样写：

mov x0, #0x40400000
movk x0, #0x0000, lsl #32     @ 拼接高32位，得到完整的64位值
fmov d1, x0                   @ 转到d1得到32.0

或者更简单的方式：ldr d1, =0x4040000000000000，汇编器会自动处理这个十六进制立即数。

ARM的FP寄存器确实支持Bx（8位）、Hx（16位）、Sx（32位）、Dx（64位）、Qx（128位）的粒度访问，但fmov立即数指令只支持Sx和Dx，其他粒度需要特殊处理：

1. Bx（8位浮点寄存器） #

A64没有fmov bX, #imm这种指令，你可以通过两种方式赋值：

• 从内存加载8位浮点值：

.data
    b_val: .byte 0x3F    @ 示例：对应某个8位浮点格式的1.0（具体值需根据格式计算）
.text
    ldr b1, =b_val

• 从更大的浮点寄存器中转：

fmov s0, #1.0    @ 先把值放到32位寄存器s0
fmov b1, s0      @ 把s0的低8位转到b1（注意精度损失）

2. Hx（16位半精度浮点寄存器） #

报错“selected processor does not support fmov h1,#2.0'”是因为半精度的fmov`立即数指令是ARMv8.2-A及以上架构才支持的。解决方法：

• 如果你的目标架构支持ARMv8.2-A+，编译时添加参数-march=armv8.2-a+fp16，就能直接用fmov h1, #2.0；
• 如果是旧架构，同样用内存加载：

.data
    h_val: .hword 0x4000    @ 半精度浮点的2.0对应的十六进制值
.text
    ldr h1, =h_val

3. Qx（128位浮点寄存器） #

fmov q1,#2.0报错是因为fmov不支持给128位寄存器传立即数。Qx由两个64位Dx寄存器组成，你可以这样赋值：

• 从内存加载128位值：

.data
    q_val: .double 2.0, 2.0    @ Qx包含两个双精度值，这里填充两个2.0
.text
    ldr q1, =q_val

• 用dup指令填充（如果只需要重复同一个值）：

fmov d0, #2.0    @ 先给d0赋值2.0
dup q1, d0       @ 把d0的值复制到q1的两个64位部分

• fmov给浮点寄存器传立即数仅支持Sx（32位）和Dx（64位），且常量必须符合±k×2^n（k∈0-31，n∈-64~63）的格式；
• 超出范围的常量或0.0，优先用ldr从数据段加载，这是最省心的方式；
• Hx需要ARMv8.2-A+架构支持才能用fmov立即数，否则用内存加载；
• Bx和Qx不支持fmov立即数，需通过内存加载或从其他寄存器中转。

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