RV32 可以使用 LD 吗?
需要 Zilsd;该形式写偶/奇寄存器对,不能套用 RV64I 的单寄存器语义。
RV64I:从内存加载64位双字到rd;RV32 Zilsd:加载64位值到偶/奇寄存器对。
LD 使用 I 型编码(opcode=0000011, funct3=011),地址为 rs1 加符号扩展的 12 位字节偏移。在 RV64I 中,64 位内存值写入单个 rd;在 RV32 Zilsd 中,rd 必须为偶数,低 32 位写入 rd、高 32 位写入 rd+1,与端序无关。rd=x0 时丢弃整个结果,Zilsd 不写 x1。8 字节自然对齐访问不得引发地址未对齐异常;Zilsd 不保证整个双字访问原子性,但地址为 4 的倍数时每个 word 访问必须原子。Zilsd 加载陷入时保留基址寄存器原值,寄存器对中的另一个寄存器可能已更新。
从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
本例使用固定寄存器初值和初始 PC=0x2000;取指成功,没有异步中断或额外扩展检查。异常分支只显示普通提交停止,陷入后的 PC 和处理程序状态由 EEI 决定。
假定普通内存可读;每个所选有效地址处使用上方固定的内存示例值。只建模非对齐 EEI 分支,不建模地址权限或设备副作用。字节访问始终自然对齐;成功加载后 PC+4,异常时不作普通写回。
仅当有效地址不是 8 的倍数时使用此 EEI 分支;自然对齐访问不得引发地址未对齐异常。
机器码按当前指令格式切成字段,动画从 encoding/decode 开始。
该 LD 动画只建模 RV64I 的单寄存器 64 位加载;RV32 Zilsd 使用同一助记符和编码但操作偶/奇寄存器对,其独立条件见静态页面内容。
先区分 XLEN:RV64I 的 LD 写一个 64 位寄存器;RV32 Zilsd 的 LD 写一个偶/奇寄存器对。
结合 «ld x10, 16(x2) # load 64-bit value from stack at offset 16» 等实际代码理解该场景。
结合 «ld x10, 16(x2) # load 64-bit value from stack at offset 16» 等实际代码理解该场景。
需要 Zilsd;该形式写偶/奇寄存器对,不能套用 RV64I 的单寄存器语义。