CM.JALT

RISC-V CM.JALT 指令详解

指令手册C-type

通过跳转向量表间接跳转并保存返回地址

指令语法

cm.jalt index
操作数说明
RV32/RV64 Zcmt,依赖 Zca+Zicsr,与 Zcd 不兼容;16 位 CMJT 格式,index 位于 bits[9:2]。
CM.JALT index=32-255,写 ra=PC+2;同一编码按 index 范围区分两条指令。
jvt.mode=0 时,表地址为 jvt.base + index×(XLEN/8),按 XLEN 位截断;取出的目标清零 bit 0。
jvt.base 至少 64 字节对齐;表项按数据端序,两次隐式取指都需执行权限。适用 stateen 控制也必须允许访问。
保留 mode 不定义普通跳转;任一次取指故障时,xEPC 指向本指令,xTVAL(若非零)记录故障取指地址。没有直接等价的单条 32 位编码。
Zcmt跳转与控制转移压缩指令

指令行为说明

CM.JALT (Zcmt) 仅在 index=32-255 时解码;它从 JVT CSR 的 base 加上 RV32 的 index<<2 或 RV64 的 index<<3 所得指令存储器表项取目标,把 pc+2 写入 x1(ra),再将取出目标值的 bit 0 清零后写入 pc。仅 jvt.mode=0 定义该行为;保留 mode 使该指令保留。它复用 c.fsdsp 编码,与 Zcd 不兼容;Zcmt 依赖 Zca 和 Zicsr。

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

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

cm.jalt
执行环境

示例假设 Zca、Zicsr、Zcmt 可用,且 jvt 访问获准(含适用 stateen 控制);Zcmt 表项按当前数据端序,作为指令存储器取指;JVT base 必须至少 64 字节对齐。

cm.jalt 32 → ra <- 0x00001002; PC <- 0x80001000
16 位编码字段
15..13
funct3
101
12..10
fixed
000
9..2
index
00100000
1..0
op
10
执行数据路径
CM.JALT 的 8 位 index=32 来自 bits[9:2];它至少为 32,因此解码为当前指令。
0x00002080 = 0x00002000 + (32 << 2); PC' = JVT[0x00002080] & ~1 = 0x80001001 & ~1 = 0x80001000; ra' = 0x00001000 + 2 = 0x00001002
ra <- 0x00001002; PC <- 0x80001000
尚未提交架构状态。

快速理解与检索要点

CM.JALT 使用 8 位 index 的 32-255 范围查找 JVT 表项;它把 pc+2 链接到 ra,并跳到清除 bit 0 的取出目标值。

index<32 解码为 CM.JT;CM.JALT 的 index 必须为 32-255。
仅 jvt.mode=0 定义表跳转;两次隐式取指中的任一次异常都不会提交普通跳转。
jvt.base 至少 64 字节对齐;表项采用当前数据端序。取指异常时 xEPC 指向本指令,xTVAL(若非零)为故障取指地址。

常见使用场景

函数调用与返回

RV32 Zcmt,PC=0x1000、jvt.mode=0、base=0x2000、表项[0x2080]=0x80001001:cm.jalt 32 在取指成功且访问获准时写 PC=0x80001000、ra=0x1002。

分支与跳转

RV32 Zcmt,PC=0x1000、jvt.mode=0、base=0x2000、表项[0x2080]=0x80001001:cm.jalt 32 在取指成功且访问获准时写 PC=0x80001000、ra=0x1002。

压缩与代码优化

RV32 Zcmt,PC=0x1000、jvt.mode=0、base=0x2000、表项[0x2080]=0x80001001:cm.jalt 32 在取指成功且访问获准时写 PC=0x80001000、ra=0x1002。

使用前检查清单

语法检查
  • RV32/RV64 Zcmt,依赖 Zca+Zicsr,与 Zcd 不兼容;16 位 CMJT 格式,index 位于 bits[9:2]。
  • CM.JALT index=32-255,写 ra=PC+2;同一编码按 index 范围区分两条指令。
语义检查
  • jvt.mode=0 时,表地址为 jvt.base + index×(XLEN/8),按 XLEN 位截断;取出的目标清零 bit 0。
  • jvt.base 至少 64 字节对齐;表项按数据端序,两次隐式取指都需执行权限。适用 stateen 控制也必须允许访问。
  • 保留 mode 不定义普通跳转;任一次取指故障时,xEPC 指向本指令,xTVAL(若非零)记录故障取指地址。没有直接等价的单条 32 位编码。

容易混淆 / 常见误区

index 只能为 32-255;0-31 会解码为 CM.JT。
jvt.mode 必须为 0;保留 mode 使该指令保留。
表项作为指令存储器取指,目标地址 bit 0 会清零;链接地址为 pc+2。
两次隐式取指均需执行权限;适用 stateen 控制必须允许访问 jvt。

常见问题

表项是普通数据加载吗?

不是。指令与表项是两次隐式取指,都需要执行权限,读权限无关;表项采用当前数据端序。

index 与链接有什么关系?

相同编码中 index=0-31 解码为 CM.JT,不写 ra;32-255 解码为 CM.JALT,成功时写 ra=PC+2。仅 jvt.mode=0 定义此行为。