CM.JT

RISC-V CM.JT 指令详解

指令手册C-type

通过跳转向量表间接跳转

指令语法

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

指令行为说明

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

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

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

cm.jt
执行环境

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

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

快速理解与检索要点

CM.JT 使用 8 位 index 的 0-31 范围查找 JVT 表项,并跳到清除 bit 0 的取出目标值,不写入 ra。

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

常见使用场景

分支与跳转

RV32 Zcmt,jvt.mode=0、base=0x2000、表项[0x200c]=0x80001001:cm.jt 3 在取指成功且访问获准时写 PC=0x80001000,不写 ra。

压缩与代码优化

RV32 Zcmt,jvt.mode=0、base=0x2000、表项[0x200c]=0x80001001:cm.jt 3 在取指成功且访问获准时写 PC=0x80001000,不写 ra。

使用前检查清单

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

容易混淆 / 常见误区

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

常见问题

表项是普通数据加载吗?

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

index 与链接有什么关系?

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