首页/指令库/机器模式返回
MRET

RISC-V MRET 指令详解

指令手册I-type

M 模式陷阱返回:pc<-mepc,特权级<-mstatus.MPP,MIE<-MPIE。

指令语法

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

指令编码

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

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

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

指令行为说明

MRET 从机器模式陷阱处理程序返回:pc 设置为 mepc,当前特权级恢复为 mstatus.MPP,MIE 恢复为 MPIE,MPIE 置 1,MPP 置为最低支持特权级。若实现 H 扩展,还会按 MPV/MPP 恢复虚拟化状态。MRET 只能在 M-mode 执行;较低特权级执行会触发非法指令异常。

快速理解与检索要点

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

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

常见使用场景

M模式中断/异常处理程序返回

结合 «mret # Return from M-mode trap» 等实际代码理解该场景。

固件/SEE返回

结合 «mret # Return from M-mode trap» 等实际代码理解该场景。

使用前检查清单

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

容易混淆 / 常见误区

只能在 M-mode 执行;S/U-mode 执行触发非法指令异常。
xRET 允许但不要求清除 LR/SC 保留;需要时陷阱处理程序应显式清除。
MRET 恢复的是 MPP/MPIE 保存的状态,返回前应确保 mepc 和相关 CSR 已按目标上下文设置。

常见问题

它是用户态普通指令吗?

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

它是否替代普通内存 fence?

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