MOP.R.2

RISC-V MOP.R.2 指令详解

指令手册Zimop MOP.R SYSTEM fields

MOP.R.2 是 Zimop 1.0 的 32 位 MOP;未被其他扩展重定义时向 x[rd] 写 0。

指令语法

mop.r.2 rd, rs1
操作数说明
rd:默认语义把 0 写入 x[rd];rd=x0 时该架构写入被丢弃,x0 保持 0。
rs1:推荐汇编语法中的显式寄存器字段;默认 Zimop 定义不读取它,也不带从 rs1 到 rd 的语法依赖。
bits 31..20 是固定的 MOP.R.n 选择子,不是汇编立即数,也不能按 12 位有符号值进行符号扩展;未来重定义扩展才可规定读取 rs1。
Zimop系统与特权

指令编码

31..20
fixed n selector
19..15
rs1
14..12
funct3
11..7
rd
6..0
opcode

MOP.R.2 使用 opcode 1110011(0x73)、funct3 100。MOP.R.n 使用 SYSTEM 字段:bits 31..20 是固定的 n 选择子,rs1 和 rd 是显式寄存器字段,funct3=100,opcode=SYSTEM。默认定义只向 x[rd] 写 0;rs1 不是默认读取的源操作数。

格式: Zimop MOP.R SYSTEM 字段(n=2)
opcode: 1110011 (0x73)
funct3: 100 (0x4)
固定 n 选择子(bits 31..20): 100000011110 (0x81e)

指令行为说明

MOP.R.2 是 Zimop may-be-operation,推荐语法为 mop.r.2 rd, rs1。若没有其他扩展重定义该编码,官方默认行为是把 0 写入 x[rd];该编码空间允许未来扩展定义为读取 x[rs1] 并写入 x[rd]。标准软件不应执行 MOP,除非明确面向重定义该 MOP 的扩展。

快速理解与检索要点

MOP.R.2 采用两个显式整数寄存器字段;未被重定义时,x[rd] 写入 0,与 x[rs1] 的原值无关。rd=x0 时零寄存器保持 0。

Zimop 1.0 定义 MOP.R.0 到 MOP.R.31;默认向 x[rd] 写 0,没有 rs1 到 rd 的语法依赖;重定义扩展可规定读取 rs1。
RV32/RV64 使用相同的 32 位 SYSTEM 编码;MOP.R.2 的 bits 31..20 固定为 0x81e,funct3=100,opcode=1110011;该选择子不是立即数。
推荐语法 mop.r.2 rd, rs1;在 RV32I/RV64I 寄存器模型中,rd、rs1 均可选 x0 到 x31,不要求二者不同。
标准软件只应在明确面向重定义该 MOP 的扩展时执行它;未被重定义的行为不能代表未来扩展的操作。

常见使用场景

系统与特权

仅演示未被重定义的 Zimop 行为:mop.r.2 x5, x6 将 x5 设为 0,与 x6 原值无关;x6 保持原值。普通软件只应在明确面向重定义该 MOP 的扩展时执行它。

扩展兼容性

仅演示未被重定义的 Zimop 行为:mop.r.2 x5, x6 将 x5 设为 0,与 x6 原值无关;x6 保持原值。普通软件只应在明确面向重定义该 MOP 的扩展时执行它。

使用前检查清单

语法检查
  • 确认汇编语法只有 rd、rs1;bits 31..20 是固定的 MOP.R.n 选择子,不是立即数。
  • 确认任意 x 寄存器都可作为 rd 或 rs1;默认定义不读取 rs1,也不产生 rs1 到 rd 的语法依赖。
语义检查
  • 确认未被其他扩展重定义时只向 x[rd] 写入 0;rd=x0 时 x0 仍保持 0。
  • 不要假定未来重定义扩展的具体操作;标准软件只应在明确面向该重定义扩展时执行该 MOP。

容易混淆 / 常见误区

未被重定义时默认写 0 到 x[rd],并非保留目标寄存器原值;rd=x0 时 x0 仍为 0。
默认 Zimop MOP 不携带从 rs1 到 rd 的语法依赖;重定义扩展可另行规定。
不要把 Zimop MOP.R.n 与 Zcmop C.MOP.n 混淆,后者默认不写寄存器。

常见问题

MOP.R.2 默认是 NOP 吗?

未被重定义时,它默认向 x[rd] 写 0,而不是保留目标寄存器的原值;若 rd=x0,x0 仍保持 0。

普通软件能随便执行 MOP.R.2 吗?

不应如此,除非软件明确面向重定义该 MOP 的扩展。