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