两个寄存器可以相同吗？
CM.MVA01S 的两个源可以相同，此时 a0/a1 取得同一旧值；CM.MVSA01 的两个目标必须不同。
CM.MVA01S
RISC-V CM.MVA01S 指令详解
指令手册C-type将两个 s0-s7 寄存器移动到 a0 和 a1（可相同）
指令语法
cm.mva01s 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 选择保留。
r1s' → a0/x10，r2s' → a1/x11；两源可相同，必须共用同一旧值。
两次 XLEN 位寄存器写入原子可见；没有数据访存、立即数或直接等价的单条 32 位编码。
Zcmp栈与函数压缩指令
指令行为说明
CM.MVA01S (Zcmp) 将 r1s' 写入 a0、将 r2s' 写入 a1；两个源寄存器来自 UABI 的 s0-s7。两个源可以相同，且两次写入以原子方式可见。RV32E 中 r1s' 或 r2s' 为 s2-s7 的编码保留。该指令复用 c.fsdsp 编码，与 Zcd 不兼容；Zcmp 依赖 Zca。
CM.MVA01S 指令解析与执行动画
仅显示官方定义的压缩字段、条件与架构可见状态；不模拟流水线、缓存或时序。
cm.mva01s,
执行环境
Zcmp 依赖 Zca，且与 Zcd 不兼容；RV32E 对 s2-s7 规范字段保留。
cm.mva01s s0, s1 → a0 <- 0x11223344; a1 <- 0x55667788 (atomic)
16 位编码字段
15..13
funct3
101
12..10
fixed
011
9..7
r1s'
000
6..5
fixed
11
4..2
r2s'
001
1..0
op
10
执行数据路径
s-register 规范字段还原为 s0 和 s1（编码 000、001 → x8、x9）。
a0 <- s0 (0x11223344); a1 <- s1 (0x55667788)
a0 <- 0x11223344; a1 <- 0x55667788 (atomic)
尚未提交架构状态。
快速理解与检索要点
CM.MVA01S 是 Zcmp 的 16 位寄存器搬移指令：UABI s0-s7 的两个源写入 a0/a1，源可相同。
官方操作为 X[10]=X[xreg1]、X[11]=X[xreg2]；不要把它写成 a0/a1 -> s 寄存器。
r1s' 与 r2s' 编码覆盖 UABI s0-s7；RV32E 的 s2-s7 选择保留。
常见使用场景
函数调用与返回
RV32/RV64 Zcmp，旧 s0=0x12、s1=0x34：cm.mva01s s0, s1 原子写 a0=0x12、a1=0x34；不改变源寄存器。
压缩与代码优化
RV32/RV64 Zcmp，旧 s0=0x12、s1=0x34：cm.mva01s s0, s1 原子写 a0=0x12、a1=0x34；不改变源寄存器。
寄存器操作
RV32/RV64 Zcmp，旧 s0=0x12、s1=0x34：cm.mva01s s0, s1 原子写 a0=0x12、a1=0x34；不改变源寄存器。
使用前检查清单
语法检查
- RV32/RV64 Zcmp，依赖 Zca，与 Zcd 不兼容；16 位 CMMV 格式。
- r1s'、r2s' 的三位字段编码 UABI s0-s7：0、1 对应 x8、x9，2-7 对应 x18-x23；RV32E 的 s2-s7 选择保留。
语义检查
- r1s' → a0/x10，r2s' → a1/x11；两源可相同，必须共用同一旧值。
- 两次 XLEN 位寄存器写入原子可见；没有数据访存、立即数或直接等价的单条 32 位编码。
容易混淆 / 常见误区
r1s' 和 r2s' 是源寄存器，方向是 s0-s7 -> a0/a1。
两个源寄存器只能来自 UABI s0-s7；它们可以相同。
RV32E 中选择 s2-s7 的编码保留；两个 a 寄存器写入原子可见。
与 Zcd 不兼容。
常见问题
这些字段是否选择 x8-x15？
不是。它们编码 UABI s0-s7，即 x8、x9、x18-x23。RV32E 选择 s2-s7 的编码保留。两次寄存器写入原子可见。