RVOPcode
首页/指令库/监管者模式返回
SRET

RISC-V SRET 指令详解

指令手册I-type

S 模式陷阱返回：pc<-sepc，特权级<-sstatus.SPP，SIE<-SPIE；TSR=1 时 S-mode 执行触发非法指令异常。

指令语法

sret
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Privileged系统与特权
相关检索词
SRET 指令RISC-V SRETsret 语法sret 编码sret 特权监督者陷阱返回

指令编码

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

SRET 使用 opcode 1110011（0x73）、funct3 000、funct12 000100000010。rs1 字段选择源寄存器，12 位立即数提供第二操作数，rd 选择目标寄存器。

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

指令行为说明

SRET 从 supervisor 陷阱处理程序返回：pc 设置为 sepc，当前特权级恢复为 sstatus.SPP，SIE 恢复为 SPIE，SPIE 置 1，SPP 置 0。SRET 可在 S-mode 或更高特权级执行；若 mstatus.TSR=1，在 S-mode 执行会触发非法指令异常。U-mode 执行 SRET 也会触发非法指令异常。

快速理解与检索要点

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

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

常见使用场景

OS内核异常/中断返回

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

使用前检查清单

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

容易混淆 / 常见误区

U-mode 执行触发非法指令异常。
mstatus.TSR=1 时，S-mode 执行 SRET 触发非法指令异常。
xRET 允许但不要求清除 LR/SC 保留；需要时陷阱处理程序应显式清除。

常见问题

它是用户态普通指令吗？

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

它是否替代普通内存 fence？

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