SD.AQRL 可以写 offset(rs1) 吗？
不可以。官方语法是 rd,(rs1) 或 rs2,(rs1)，没有 offset 字段。
SD.AQRL
RISC-V SD.AQRL 指令详解
指令手册S-typeZalasr 原子存储8 字节，带 release+acquire-RCsc 排序标注（RV64-only）。
指令语法
sd.aqrl rs2, (rs1)
操作数说明
源寄存器 rs2：要写入内存的数据寄存器。
基址寄存器 rs1：内存访问的基地址。
立即数偏移：12 位有符号偏移量，与 rs1 相加得到最终地址。
Zalasr缓存与同步
指令行为说明
SD.AQRL 是 Zalasr 独立原子 store-release 指令。它把 x[rs2] 的低 64 位原子存储到 x[rs1] 指向地址。地址必须按操作数宽度自然对齐，除非 misaligned atomicity granule PMA 放宽该要求；D 宽度形式仅 RV64 定义。
快速理解与检索要点
SD.AQRL 是 Zalasr 的独立有序原子存储；它以 rs1 为唯一地址源，没有普通 load/store 的 offset 字段。
存储从 rs2 低位取值；SD.RL/SD.AQRL 仅 RV64。
自然对齐是默认要求，PMA 可选择性放宽。
常见使用场景
原子与同步
结合 «sd.aqrl x5, (x6)» 等实际代码理解该场景。
并发与多核
结合 «sd.aqrl x5, (x6)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 S-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
LD/SD 的 aq/rl 形式仅 RV64 定义。
存储只使用 rs2 的低位，高位被忽略。
未设置 rl 的存储编码是 RESERVED。
Zalasr 提供有序原子 load/store，不是 LR/SC 成对协议。
常见问题
SD.AQRL 是普通 load/store 加 fence 吗？
不是。它是 Zalasr 定义的单条原子有序 load/store 指令。