ret
RISC-V ret 伪指令详解
汇编器伪指令函数返回伪指令，展开为 jalr x0, 0(ra)。通过 ra 寄存器间接跳转回调用者。是 RISC-V 函数尾声（epilogue）的标准返回方式。
你写下的是
ret
常见真实展开
jalr x0, 0(ra)
这条伪指令到底在帮你省什么
函数返回最常见的 JALR 模式是 rd=x0、rs1=ra，用 ret 明确表达返回意图。反汇编器中识别 ret 有助于理解控制流。
ret 的核心作用是“通过ra返回调用者”。它是汇编器层面的简写；调试、审计或阅读机器码时，应回到页面列出的真实展开指令和相关重定位语义来判断行为。
官方语义核对重点
官方汇编手册把 ret 作为汇编器层面的伪指令/别名处理，硬件执行的是展开后的真实指令序列。
真实语义以 JALR 等展开指令的 ISA 定义为准；本页不把 ret 当作独立硬件 opcode。
展开过程怎么理解
步骤 1
汇编器展开为 jalr x0, 0(ra)，等效于 jalr x0, 0(x1)。
步骤 2
JALR 计算 ra + 0 作为目标地址，并将 PC+4 写入 x0（丢弃），仅完成跳转。
步骤 3
如果函数建立了栈帧，ret 前通常需要先恢复 sp、ra 和 callee-saved 寄存器。
在 objdump / 反汇编里可能看到什么
jalr x0, 0(ra) 在反汇编中显示为 ret。注意与 jr ra 的区别——两者机器码相同，但 ret 语义上暗示函数返回。
官方依据与阅读顺序
本页把伪指令当作汇编器层面的别名或宏来解释：先看它会展开成哪些真实指令，再回到官方 ISA 手册理解真实指令的行为。涉及 ABI、重定位或链接器松弛时，以 psABI 文档为准。
什么时候优先想到它
普通函数末尾返回调用者
函数尾声恢复 callee-saved 寄存器后跳回 ra
非叶子函数在恢复 ra 后返回
阅读反汇编时识别标准函数边界
容易混淆 / 常见误区
ret 依赖 ra 保存正确返回地址——若函数内覆盖了 ra，必须先在栈上保存/恢复
异常或中断返回应使用 SRET/MRET 等特权指令，不可使用 ret
ret 不解栈（不调整 sp）——栈帧释放需在 ret 前用 addi sp, sp, N 完成
常见问题
ret 是真实 RISC-V 指令吗？
ret 是汇编器伪指令或别名，不是单独硬件 opcode。页面中的“常见真实展开”列出官方展开，真实行为由展开后的 ISA 指令决定。
使用 ret 时最容易误解什么？
ret 依赖 ra 保存正确返回地址——若函数内覆盖了 ra，必须先在栈上保存/恢复