它一定等价于同名 32 位指令吗？
不一定。有些 C/Zc 指令是常见 32 位指令的压缩形式，有些有专门的栈帧或查表语义。
CM.POPRET
RISC-V CM.POPRET 指令详解
指令手册C-type恢复寄存器、回收栈帧并执行ret
指令语法
cm.popret {reg_list}, stack_adj
操作数说明
压缩指令仅 16 位，寄存器选择通常限制在 x8–x15。
立即数字段较窄，查看特定压缩指令的完整编码。
Zcmp栈与函数压缩指令
指令行为说明
CM.POPRET (Zcmp)弹出{reg_list}中的寄存器，调整sp，然后执行ret（跳到ra）。用于返回非零值的函数尾声。复用c.fsdsp编码，与Zcd不兼容。sp调整和ret必须原子提交。属于Zcmp，依赖Zca。
快速理解与检索要点
CM.POPRET 是 压缩弹出并返回 的 16 位编码形式；语义和可编码寄存器/立即数范围必须按官方 Zc 扩展规则理解。
压缩指令常限制可用寄存器集合、立即数编码或目标寄存器；非法组合可能是 reserved。
页面示例只展示汇编意图；实际编码限制以官方 C/Zc 表格为准。
常见使用场景
函数调用与返回
使用 jal ra, label 或 jalr ra, rs, imm。
压缩与代码优化
结合 «cm.popret {ra, s0-s3}, 32 # pop ra,s0-s3, sp+=32, ret» 等实际代码理解该场景。
寄存器操作
结合 «cm.popret {ra, s0-s3}, 32 # pop ra,s0-s3, sp+=32, ret» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 C-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
与Zcd不兼容
保留a0值（与POPRETZ区别）
sp调整和ret必须原子提交
常见问题
为什么要关注寄存器限制？
许多 16 位编码只能表示压缩寄存器子集或固定寄存器，如 sp、ra、a0/a1。