它一定等价于同名 32 位指令吗？
不一定。有些 C/Zc 指令是常见 32 位指令的压缩形式，有些有专门的栈帧或查表语义。
CM.POPRETZ
RISC-V CM.POPRETZ 指令详解
指令手册C2 (Zcmp CMPP)恢复寄存器、a0=0、回收栈帧并返回
指令语法
cm.popretz {reg_list}, stack_adj
操作数说明
本指令为 C2 (Zcmp CMPP) 格式，请根据汇编语法确认各操作数位置。
Zcmp栈与函数压缩指令
指令行为说明
CM.POPRETZ (Zcmp)弹出{reg_list}中的寄存器，将a0置零，调整sp，然后执行ret。用于返回零值的函数尾声。与POPRET的区别是显式将a0清零。复用c.fsdsp编码。属于Zcmp，依赖Zca。
CM.POPRETZ 指令解析与执行动画
仅展示 Zcmp 架构可见序列和条件；访问次序、合并或重试不代表实现细节。
cm.popretz {reg_list}, stack_adj
执行环境
Zcmp 依赖 Zca 且与 Zcd 不兼容。正确执行要求 sp 指向幂等内存；RV32E 仅允许 rlist=4-6。
a0 <- 0; sp <- 0x00001040; PC <- ra & ~1 = 0x00002000
16 位编码字段
15..13
funct3
101
12..8
fixed
11100
7..4
rlist
0111
3..2
spimm
11
1..0
op
10
rlist=7 还原为 {ra, s0, s1, s2}；spimm=3 表示在 stack_adj 基数之外增加 48 字节。
伪代码地址映射：s2 @ 0x0000103C; s1 @ 0x00001038; s0 @ 0x00001034; ra @ 0x00001030。实际 加载可按任意顺序、合并或重复；sp' = 0x00001000 + 64 = 0x00001040。
a0 <- 0; sp <- 0x00001040; PC <- ra & ~1 = 0x00002000
尚未提交架构状态。
快速理解与检索要点
CM.POPRETZ 是 压缩弹出置零并返回 的 16 位编码形式；语义和可编码寄存器/立即数范围必须按官方 Zc 扩展规则理解。
压缩指令常限制可用寄存器集合、立即数编码或目标寄存器；非法组合可能是 reserved。
页面示例只展示汇编意图；实际编码限制以官方 C/Zc 表格为准。
常见使用场景
函数调用与返回
使用 jal ra, label 或 jalr ra, rs, imm。
分支与跳转
结合 «cm.popretz {ra, s0-s5}, 64 # pop, a0=0, sp+=64, ret» 等实际代码理解该场景。
压缩与代码优化
结合 «cm.popretz {ra, s0-s5}, 64 # pop, a0=0, sp+=64, ret» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 C2 (Zcmp CMPP)。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
会覆盖a0为0（破坏任何已计算的返回值）
与Zcd不兼容
常见问题
为什么要关注寄存器限制？
许多 16 位编码只能表示压缩寄存器子集或固定寄存器，如 sp、ra、a0/a1。