MRET 和普通 JALR 返回有什么区别？
MRET 的目标来自 mepc，并同时恢复特权级和中断使能状态；JALR 只按寄存器加立即数更新 PC，并可写链接寄存器。
MRET
RISC-V MRET 指令详解
指令手册I-typeM 模式陷阱返回：pc<-mepc，特权级<-mstatus.MPP，MIE<-MPIE，并按特权规范更新 MPIE、MPP 和相关状态。
指令语法
mret
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Privileged系统与特权
指令行为说明
MRET 是机器模式陷阱处理程序使用的特权返回指令。执行时，pc 设置为 mepc，当前特权级恢复为 mstatus.MPP，MIE 恢复为 MPIE，MPIE 置 1，MPP 置为最低支持特权级；如果返回到低于 M 的特权级，MPRV 也被清零。MRET 只能在 M-mode 执行，较低特权级执行会触发非法指令异常。
MRET 指令解析与返回动画
从 SYSTEM 固定编码开始，展示 xRET 的权限检查、EPC 到 PC 的恢复，以及 previous interrupt-enable 和 previous privilege 字段更新。
无显式操作数
mretmret
执行环境mode=M
31..20
19..15
14..12
11..7
6..0
001100000010
funct12
00000
rs1=x0
000
funct3
00000
rd=x0
1110011
SYSTEM
instruction
0x30200073
opcode
1110011 -> SYSTEM
funct3
000 -> privileged return form
fixed
funct12=001100000010, rs1=x0, rd=x0
permission
M-mode may execute MRET
mepc
mepc=0x0000000000008040 -> pc
MPP
MPP=S -> privilege=S
MPIE
MIE=MPIE=1; MPIE=1
final
0x0000000000008040; mode=S
该动画只展示特权架构定义的 ISA 可见返回状态；不模拟操作系统调度、handler 内容、流水线、延迟或平台策略。
快速理解与检索要点
MRET 把机器模式 trap handler 保存的返回上下文恢复到架构状态：PC 来自 mepc，返回特权级来自 MPP，中断使能来自 MPIE。它不是函数返回或普通跳转。
SYSTEM 编码中 funct12=001100000010，rs1=x0、rd=x0、funct3=000。
执行后 pc<-mepc，特权级<-MPP，MIE<-MPIE，MPIE<-1，MPP<-最低支持特权级。
若返回到低于 M 的特权级，MPRV 被清零；xRET 可但不必须清除 LR/SC reservation。
常见使用场景
M模式中断/异常处理程序返回
结合 «mret # Return from M-mode trap» 等实际代码理解该场景。
固件/SEE返回
结合 «mret # Return from M-mode trap» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 I-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
只能在 M-mode 执行；S/U-mode 执行触发非法指令异常。
MRET 不是普通跳转：目标 PC 来自 mepc，返回特权级和中断使能来自 mstatus.MPP/MPIE。
返回到低于 M 的特权级时 MPRV 会被清零；不要假设 trap handler 后仍保持原 MPRV 数据访问设置。
xRET 允许但不要求清除 LR/SC 保留；需要时陷阱处理程序应显式清除。
常见问题
MRET 会写通用寄存器吗？
不会。它的编码中 rd 固定为 x0，架构效果是 PC、当前特权级和相关 mstatus 字段的更新。