MRET 和普通 JALR 返回有什么区别？
MRET 的目标来自 mepc，并同时恢复特权级和中断使能状态；JALR 只按寄存器加立即数更新 PC，并可写链接寄存器。
MRET
RISC-V MRET 指令详解
指令手册I-type机器模式陷阱返回：pc<-mepc，返回模式由 mstatus.MPP 和（H 扩展下的）MPV 确定，MIE<-MPIE，并按特权规范更新 MPIE、MPP、MPV 和相关状态。
指令语法
mret
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Privileged系统与特权
指令行为说明
MRET 是机器模式陷阱处理程序使用的特权返回指令。它先由 mstatus（RV32 上也可能为 mstatush）中的 MPP 和 MPV 确定返回模式，再将 MPV 清零、MIE 恢复为 MPIE、MPIE 置 1、MPP 置为最低支持特权级，最后将 pc 设为 mepc；返回到低于 M 的模式时 MPRV 也被清零。MPV 仅在实现 H 扩展时参与虚拟化返回模式的选择，且 MPP=M 时被忽略。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, MPV=0 -> privilege=S
MPV (H)
0 -> 0
MPIE
MIE=MPIE=1; MPIE=1
final
0x0000000000008040; mode=S
该动画展示核心 xRET 状态及 MRET 的 MPV 返回分支；不模拟扩展条件状态（例如 MDT、ELP）、操作系统调度、handler 内容、流水线、延迟或平台策略。
快速理解与检索要点
MRET 把机器模式 trap handler 保存的返回上下文恢复到架构状态：PC 来自 mepc，返回模式由 MPP 和（H 扩展下的）MPV 确定，中断使能来自 MPIE。它不是函数返回或普通跳转。
SYSTEM 编码中 funct12=001100000010，rs1=x0、rd=x0、funct3=000。
执行后 MPP 和（H 扩展下的）MPV 先确定返回模式，随后 MPV<-0、MIE<-MPIE、MPIE<-1、MPP<-最低支持特权级、pc<-mepc。
若返回到低于 M 的特权级，MPRV 被清零；xRET 可但不必须清除 LR/SC reservation。
常见使用场景
M模式中断/异常处理程序返回
结合 «mret # Return from M-mode trap» 等实际代码理解该场景。
固件/SEE返回
结合 «mret # Return from M-mode trap» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认立即数字段在有效范围内。
- 确认源寄存器 rs1 指向正确的操作数。
语义检查
- 确认立即数符号扩展是否符合预期。
- 确认结果寄存器 rd 的用途是否明确。
容易混淆 / 常见误区
只能在 M-mode 执行；S/U-mode 执行触发非法指令异常。
MRET 不是普通跳转：目标 PC 来自 mepc，返回模式和中断使能来自 mstatus.MPP/MPV/MPIE；MPP=M 时忽略 MPV。
返回到低于 M 的特权级时 MPRV 会被清零；不要假设 trap handler 后仍保持原 MPRV 数据访问设置。
xRET 允许但不要求清除 LR/SC 保留；需要时陷阱处理程序应显式清除。
常见问题
MRET 会写通用寄存器吗？
不会。它的编码中 rd 固定为 x0，架构效果是 PC、当前特权级和相关 mstatus 字段的更新。