MNRET

RISC-V MNRET 指令详解

指令手册I-type

从 Smrnmi RNMI 处理程序返回:从 mnepc 恢复 PC,并从 mnstatus 恢复特权级/虚拟化状态。

指令语法

mnret
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数所在的寄存器。
立即数 imm:12 位有符号立即数,符号扩展后与 rs1 进行运算。
PrivilegedSmrnmi系统与特权

指令编码

31..20
imm[11:0]
19..15
rs1
14..12
funct3
11..7
rd
6..0
opcode

MNRET 使用 opcode 1110011(0x73)、funct3 000、funct12 011100000010。rs1 字段选择源寄存器,12 位立即数提供第二操作数,rd 选择目标寄存器。

格式: I-type
opcode: 1110011 (0x73)
funct3: 000 (0x0)
funct12: 011100000010 (0x702)

指令行为说明

MNRET 是 Smrnmi 增加的仅 M-mode 可执行返回指令。它使用 mnepc 和 mnstatus 返回到被 RNMI 打断时的 PC、特权级和虚拟化模式,设置 mnstatus.NMIE;若返回到低于 M-mode 的特权级,还会清除 mstatus.MPRV。

快速理解与检索要点

MNRET 是特权架构定义的系统级指令,页面说明只覆盖官方规定的架构语义,不推断平台固件策略。

执行权限、trap 类型和状态恢复由特权级、相关 CSR 位和扩展存在性决定。
在不支持的特权级或未实现扩展中执行会产生相应异常。

常见使用场景

分支与跳转

结合 «mnret # Return from NMI handler» 等实际代码理解该场景。

操作系统接口

结合 «mnret # Return from NMI handler» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 I-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

需要 Smrnmi,且只能在 M-mode 执行。
用于可恢复 NMI(RNMI)处理程序返回,不是通用 trap return。
MRET/SRET 不受 mnstatus.NMIE 影响;从 RNMI 恢复应使用 MNRET。

常见问题

它是用户态普通指令吗?

不是。该类指令受特权级和扩展支持约束,用户态是否可执行必须看官方特权规则。

它是否替代普通内存 fence?

不能简单替代。地址转换、指令获取和数据内存排序分别有不同的 fence/失效指令。