AMOMIN.D 的 rd 保存新内存结果吗？
不。AMOMIN.D 的 rd 保存操作前的旧 64 位内存值；signed min(oldDoubleword, rs2Doubleword) 的结果写回内存。
AMOMIN.D
RISC-V AMOMIN.D 指令详解
指令手册R-typeRV64 原子有符号最小值 64 位 doubleword：rd 返回旧内存值，内存写回 signed min(old, rs2)
指令语法
amomin.d rd, rs2, (rs1)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
AZaamo原子操作
指令行为说明
AMOMIN.D 对 rs1 指向的 64 位 doubleword 执行原子 read-modify-write：先读取旧内存 doubleword 并写入 rd，然后按 有符号最小值 语义计算 signed min(oldDoubleword, rs2Doubleword)，把 64 位结果写回同一地址。该运算使用有符号 64 位比较，不是逐 bit 逻辑运算。 aq/rl 位只影响内存排序，不改变数据结果。
AMOMIN.D 原子指令解析与执行动画
展示 A-extension doubleword 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
rd
rs2
rs1
amomin.d,,()
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
10000
funct5
0
aq
0
rl
01011
rs2
01010
rs1
011
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x80B532AF
opcode
0101111 -> AMO
funct3
011 -> doubleword width
funct5
10000 -> AMOMIN.D
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)=0x0000000000000001 / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old doubleword 0x8000000000000000
RMW
-9223372036854775808 <= 1 -> 0x8000000000000000
rd / memory
t0(x5) = 0x00000000; mem[0x00001000] = 0x8000000000000000
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A 扩展 doubleword 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x80B532AF
syntax : amomin.d t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0x00000000; mem[0x00001000] = 0x8000000000000000
Signed 64-bit Doubleword Comparison
old doubleword
0x8000000000000000 (-9223372036854775808)
rs2 doubleword
0x0000000000000001 (1)
comparison
old <= rs2 -> old value
memory result
0x8000000000000000
AMOMIN.D 按有符号 64-bit doubleword 比较选择内存写回值；这不是逐 bit 逻辑运算。
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位，不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
快速理解与检索要点
AMOMIN.D 是 RV64 的 64 位 AMO.D 读改写指令。rd 始终返回操作前的旧 doubleword；signed min(oldDoubleword, rs2Doubleword) 的结果只写回内存，所以学习时要把“返回旧值”和“更新内存”分开看。
funct5=10000、funct3=011、opcode=0101111 识别 AMOMIN.D；aq/rl 位不改变数据计算。
rd 接收操作前的旧 64 位内存 doubleword；内存接收本条 AMO.D 计算出的 64 位结果。
AMOMIN.D 是 RV64-only doubleword AMO，地址必须按 8 字节自然对齐。
AMOMIN.D 使用有符号 64 位比较选择写回值；不要用逐 bit 逻辑视图解释 min/max。
常见使用场景
原子与同步
结合 «amomin.d a0, a1, (a2) # a0 = *a2; *a2 = min(*a2, a1) (64-bit signed)» 等实际代码理解该场景。
有符号比较
使用 slt t0, a0, a1 得到布尔结果，配合 bnez/beq 实现条件分支。
RV64 专用操作
结合 «amomin.d a0, a1, (a2) # a0 = *a2; *a2 = min(*a2, a1) (64-bit signed)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
rd 保存操作前的旧 64 位内存值，不保存 有符号最小值 后的新内存结果。
AMOMIN.D 是 RV64-only doubleword AMO，地址必须 8 字节自然对齐。
内存写回 signed min(oldDoubleword, rs2Doubleword) 的 64 位结果；有符号 64 位比较 与另一类比较可能得到不同选择。
aq/rl 只约束内存排序，不改变本条 AMO.D 的数据计算结果。
常见问题
AMOMIN.D 的 aq/rl 会改变 有符号最小值 结果吗？
不会。aq/rl 只影响内存排序约束，不改变本条 AMO.D 的 64 位数据计算结果。