SRET 和 MRET 的主要区别是什么？
在 V=0 的基础路径中，SRET 使用 sepc 和 SPP/SPIE；MRET 使用 mepc 和 MPP/MPIE。虚拟化的 SRET 还必须遵守 hstatus/vsstatus/vsepc 的专门规则。
SRET
RISC-V SRET 指令详解
指令手册I-type监督者陷阱返回：在 V=0 基础路径中 pc<-sepc、特权级由 sstatus.SPP 恢复、SIE<-SPIE；S-mode 下 TSR=1 时触发非法指令异常。虚拟化路径改用 hstatus/vsstatus/vsepc 的规则。
指令语法
sret
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Privileged系统与特权
指令行为说明
SRET 是监督者陷阱返回指令。无虚拟化的 V=0 路径先由 hstatus.SPV 与 sstatus.SPP 决定返回模式，然后清 hstatus.SPV、清 SPP、令 SIE<-SPIE、SPIE<-1，最后 pc<-sepc；未实现 H 时该路径退化为通常的 SPP/SPIE/sepc 恢复。V=1 的 VS-mode 路径改用 vsstatus.SPP/SPIE 和 vsepc。若 mstatus.TSR=1，在 S-mode 执行会触发非法指令异常；在低于 S 的模式执行 xRET 也触发非法指令异常。
SRET 指令解析与返回动画
从 SYSTEM 固定编码开始，展示 V=0 基础 SRET 的权限检查、sepc 到 PC 的恢复，以及 SPP/SPIE 状态更新。
无显式操作数
sretsret
执行环境mode=S
31..20
19..15
14..12
11..7
6..0
000100000010
funct12
00000
rs1=x0
000
funct3
00000
rd=x0
1110011
SYSTEM
instruction
0x10200073
opcode
1110011 -> SYSTEM
funct3
000 -> privileged return form
fixed
funct12=000100000010, rs1=x0, rd=x0
permission
S-mode may execute SRET
sepc
sepc=0x0000000000004040 -> pc
SPP
SPP=U -> privilege=U
SPIE
SIE=SPIE=1; SPIE=1
final
0x0000000000004040; mode=U
SRET 动画仅建模 V=0 的基础路径（不含 H 虚拟化）：不展示 hstatus.SPV、VS-mode 的 vsstatus/vsepc、VTSR 或 Ssdbltrp 条件状态；不应将该简化视图用于虚拟化返回。
快速理解与检索要点
SRET 在 V=0 路径恢复 trap handler 保存的返回上下文：PC 来自 sepc，返回特权级来自 SPP，中断使能来自 SPIE。TSR 可让 S-mode 中的 SRET 陷入非法指令异常；VS-mode 使用其专门的 vsepc/vsstatus 规则。
SYSTEM 编码中 funct12=000100000010，rs1=x0、rd=x0、funct3=000。
V=0 路径执行后 pc<-sepc，特权级由 hstatus.SPV/SPP 确定，SIE<-SPIE，SPIE<-1，SPP<-0；VS-mode 路径使用 vsepc/vsstatus。
S-mode 下 mstatus.TSR=1 会让 SRET 触发非法指令异常；M-mode 执行不受该 TSR 限制。
常见使用场景
OS内核异常/中断返回
结合 «sret # Return from S-mode trap» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认立即数字段在有效范围内。
- 确认源寄存器 rs1 指向正确的操作数。
语义检查
- 确认立即数符号扩展是否符合预期。
- 确认结果寄存器 rd 的用途是否明确。
容易混淆 / 常见误区
U-mode 执行触发非法指令异常。
mstatus.TSR=1 时，S-mode 执行 SRET 触发非法指令异常。
V=0 的基础路径不是普通跳转：目标 PC 来自 sepc，返回特权级和中断使能来自 SPP/SPIE；VS-mode 路径使用 vsepc/vsstatus。
xRET 允许但不要求清除 LR/SC 保留；需要时陷阱处理程序应显式清除。
常见问题
TSR 对 SRET 有什么影响？
当 mstatus.TSR=1 且当前在 S-mode 执行 SRET 时，规范要求触发非法指令异常，而不是完成返回。