首页/指令库/CM-MVSA01
CM.MVSA01

RISC-V CM.MVSA01 指令详解

指令手册C-type

将 a0 和 a1 移动到两个不同的 s0-s7 寄存器

指令语法

cm.mvsa01 r1s', r2s'
操作数说明
压缩指令仅 16 位,寄存器选择通常限制在 x8–x15。
立即数字段较窄,查看特定压缩指令的完整编码。
Zcmp栈与函数压缩指令

指令行为说明

CM.MVSA01 (Zcmp) 将 a0 写入 r1s'、将 a1 写入 r2s';两个目标来自 UABI 的 s0-s7,且必须不同。两次写入以原子方式可见。RV32E 中 r1s' 或 r2s' 为 s2-s7 的编码保留。该指令复用 c.fsdsp 编码,与 Zcd 不兼容;Zcmp 依赖 Zca。

CM.MVSA01 指令解析与执行动画

仅显示官方定义的压缩字段、条件与架构可见状态;不模拟流水线、缓存或时序。

cm.mvsa01,
执行环境

Zcmp 依赖 Zca,且与 Zcd 不兼容;RV32E 对 s2-s7 规范字段保留。

s0 <- 0x11223344; s1 <- 0x55667788 (atomic)
16 位编码字段
15..13
funct3
101
12..10
fixed
011
9..7
r1s'
000
6..5
fixed
01
4..2
r2s'
001
1..0
op
10
执行数据路径
s-register 规范字段还原为 s0 和 s1(编码值 0、0)。
s0 <- a0 (0x11223344); s1 <- a1 (0x55667788)
s0 <- 0x11223344; s1 <- 0x55667788 (atomic)
尚未提交架构状态。

快速理解与检索要点

CM.MVSA01 是 Zcmp 的 16 位寄存器搬移指令:a0/a1 原子写入两个不同的 UABI s0-s7 目标。

官方操作为 X[xreg1]=X[10]、X[xreg2]=X[11];不要把它写成 s 寄存器 -> a0/a1。
r1s' 与 r2s' 必须不同,并编码 UABI s0-s7;RV32E 的 s2-s7 选择保留。

常见使用场景

压缩与代码优化

结合 «cm.mvsa01 s0, s1 # s0 = a0; s1 = a1» 等实际代码理解该场景。

寄存器操作

结合 «cm.mvsa01 s0, s1 # s0 = a0; s1 = a1» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认压缩指令 16 位编码只在支持 C 扩展的 CPU 上可用。
  • 确认 rd/rs1'/rs2' 字段映射到 x8–x15。
语义检查
  • 注意压缩指令的操作数空间有限。
  • 确认这条压缩指令有对应的 32 位展开形式。

容易混淆 / 常见误区

r1s' 和 r2s' 是目标寄存器,方向是 a0/a1 -> s0-s7。
两个目标寄存器必须不同,且只能来自 UABI s0-s7。
RV32E 中选择 s2-s7 的编码保留;两个 s 寄存器写入原子可见。
与 Zcd 不兼容。

常见问题

它一定等价于同名 32 位指令吗?

不一定。有些 C/Zc 指令是常见 32 位指令的压缩形式,有些有专门的栈帧或查表语义。

为什么要关注寄存器限制?

许多 16 位编码只能表示压缩寄存器子集或固定寄存器,如 sp、ra、a0/a1。