两个寄存器可以相同吗？
CM.MVA01S 的两个源可以相同，此时 a0/a1 取得同一旧值；CM.MVSA01 的两个目标必须不同。
CM.MVSA01
RISC-V CM.MVSA01 指令详解
指令手册C-type将 a0 和 a1 移动到两个不同的 s0-s7 寄存器
指令语法
cm.mvsa01 r1s', r2s'
操作数说明
RV32/RV64 Zcmp，依赖 Zca，与 Zcd 不兼容；16 位 CMMV 格式。
r1s'、r2s' 的三位字段编码 UABI s0-s7：0、1 对应 x8、x9，2-7 对应 x18-x23；RV32E 的 s2-s7 选择保留。
a0/x10 → r1s'，a1/x11 → r2s'；两个目标必须不同。
两次 XLEN 位寄存器写入原子可见；没有数据访存、立即数或直接等价的单条 32 位编码。
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 规范字段保留。
cm.mvsa01 s0, s1 → 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（编码 000、001 → x8、x9）。
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 选择保留。
常见使用场景
压缩与代码优化
RV32/RV64 Zcmp，旧 a0=0x12、a1=0x34：cm.mvsa01 s0, s1 原子写 s0=0x12、s1=0x34；不改变 a0/a1。
寄存器操作
RV32/RV64 Zcmp，旧 a0=0x12、a1=0x34：cm.mvsa01 s0, s1 原子写 s0=0x12、s1=0x34；不改变 a0/a1。
使用前检查清单
语法检查
- RV32/RV64 Zcmp，依赖 Zca，与 Zcd 不兼容；16 位 CMMV 格式。
- r1s'、r2s' 的三位字段编码 UABI s0-s7：0、1 对应 x8、x9，2-7 对应 x18-x23；RV32E 的 s2-s7 选择保留。
语义检查
- a0/x10 → r1s'，a1/x11 → r2s'；两个目标必须不同。
- 两次 XLEN 位寄存器写入原子可见；没有数据访存、立即数或直接等价的单条 32 位编码。
容易混淆 / 常见误区
r1s' 和 r2s' 是目标寄存器，方向是 a0/a1 -> s0-s7。
两个目标寄存器必须不同，且只能来自 UABI s0-s7。
RV32E 中选择 s2-s7 的编码保留；两个 s 寄存器写入原子可见。
与 Zcd 不兼容。
常见问题
这些字段是否选择 x8-x15？
不是。它们编码 UABI s0-s7，即 x8、x9、x18-x23。RV32E 选择 s2-s7 的编码保留。两次寄存器写入原子可见。