FLD 的 offset 是 8 字节倍数吗？
不是。offset 是 12 位有符号字节偏移；自然对齐是访问地址属性，不是编码单位。
FLD
RISC-V FLD 指令详解
指令手册I-type从内存加载64位双精度浮点数到浮点寄存器。
指令语法
fld rd, offset(rs1)
操作数说明
rd：目标浮点寄存器。
rs1：整数基址寄存器。
offset：12 位有符号字节偏移，与 rs1 相加形成有效地址。
D浮点加载
指令行为说明
FLD 使用 I-type LOAD-FP 编码，从 x[rs1] 加 12 位有符号字节偏移形成的有效地址加载 64 位双精度浮点位模式，并写入浮点寄存器 f[rd]。传输不会修改位模式或规范化 NaN payload。仅当有效地址自然对齐且 XLEN 不小于 64 时，FLD 的访问原子性由官方 D 扩展规则保证；非对齐访问由执行环境约束。
FLD 指令解析与执行动画
展示 D 扩展浮点加载的 ISA 可见流程：解析 I-type 编码，用整数基址加 12 位偏移形成地址，并传输 64 位浮点位模式。
rd
offset
rs1
fld
,
,
执行环境
fmt=D / width=64
基址寄存器是整数 x 寄存器
fflags 不改变
31..20
19..15
14..12
11..7
6..0
000000010000
imm[11:0]
01010
rs1
011
FLD
01010
rd
0000111
LOAD-FP
执行数据路径
instruction
0x01053507
opcode
0000111 -> LOAD-FP
funct3
011 -> 64-bit load
offset
000000010000 -> 16
rd/rs1
fa0(f10) / a0(x10)
read
a0(x10) = 0x0000000000001000
address
0x0000000000001000 + (16) = 0x0000000000001010
write
fa0(f10) = 0x400921FB54442D18
当前步骤
Fetch：展示 32-bit I-type 编码
机器码按 I-type 字段切分；浮点访存不是 OP-FP 算术编码。
encoding: 0x01053507
syntax : fld fa0(f10), 16(a0(x10))
result : fa0(f10) = 0x400921FB54442D18
地址与位模式传输
base
0x0000000000001000
offset
16
address
0x0000000000001010
loaded bits
0x400921FB54442D18
FLD 传输 64 位双精度位模式；自然对齐访问的原子性与非对齐处理按官方规范和执行环境约束。
该动画只展示 RISC-V D 扩展浮点加载/存储的 ISA 可见地址计算和位模式传输；不模拟 cache、总线、异常处理器、FPU 流水线或微架构时序。
快速理解与检索要点
FLD 是 D 扩展双精度浮点加载。它用整数寄存器 rs1 加 12 位有符号字节偏移形成地址，从内存取 64 位双精度位模式写入浮点寄存器 rd；传输不做浮点舍入。
I-type LOAD-FP：imm[11:0]、rs1、funct3=011、rd、opcode=0000111。
有效地址 = x[rs1] + sign_extend(offset)，偏移单位是字节。
FLD 传输 64 位位模式；自然对齐且 XLEN≥64 时有访问原子性保证。
常见使用场景
浮点基本运算
结合 «fld f0, 0(x10)» 等实际代码理解该场景。
使用前检查清单
语法检查
- rd：目标浮点寄存器。
- rs1：整数基址寄存器。
- offset：12 位有符号字节偏移，与 rs1 相加形成有效地址。
语义检查
- 确认 offset 是字节偏移，不是元素索引。
- 确认目标地址的自然对齐和执行环境的非对齐访问规则。
容易混淆 / 常见误区
rs1 是整数基址寄存器，rd 是浮点目标寄存器。
offset 是 12 位有符号字节偏移，范围 -2048 到 2047。
FLD 传输 64 位双精度位模式，不执行舍入或 NaN payload 规范化。
原子性保证要求自然对齐且 XLEN≥64；不要把非对齐 FLD 当作可移植同步原语。
常见问题
FLD 会改变 NaN payload 吗？
不会。官方 D 扩展说明加载/存储传输不修改位模式，非规范 NaN payload 会被保留。