首页/指令库/立即数小于置位
SLTI

RISC-V SLTI 指令详解

指令手册I-type

将 rs1 与符号扩展到 XLEN 的 12 位立即数作有符号比较,小于时 rd=1,否则为 0

指令语法

slti rd, rs1, imm
操作数说明
rd:选择 x0–x31;rd 与源重叠时使用写回前的源值;写入 x0 被丢弃。
imm:-2048 到 2047,先符号扩展到 XLEN,再按有符号数比较。
小于时 rd=1,否则 rd=0;没有条件分支。
RV32IRV64I算术运算比较

指令行为说明

SLTI指令采用I型格式。将rs1作为有符号整数与12位有符号立即数比较,若rs1<立即数则将rd置为1,否则置为0。该指令实现有符号比较的单次置位操作,常用于循环条件判断和值范围检查。

SLTI 指令解析与执行动画

从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。

rd
rs1
imm
slti
,
,
执行环境

本例使用固定寄存器初值和初始 PC=0x2000;取指成功,没有异步中断或额外扩展检查。异常分支只显示普通提交停止,陷入后的 PC 和处理程序状态由 EEI 决定。

a6(x16)
0xFFFFFFF0
31..20
19..15
14..12
11..7
6..0
000000001010
imm[11:0]
10000
rs1
010
funct3
00101
rd
0010011
opcode
执行数据路径
instruction
0x00A82293
opcode
0010011 -> OP-IMM
funct3
010 -> SLTI
rd / rs1
t0(x5) / a6(x16)
imm[11:0]
imm[11:0]=000000001010 -> sign_extend=0x0000000A (signed)
compare
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤

概念步骤:拿到 32-bit 指令编码

机器码按当前指令格式切成字段,动画从 encoding/decode 开始。

encoding: 0x00A82293
syntax : slti t0(x5), a6(x16), 10
待提交结果: 尚未计算
当前架构状态
t0(x5) = 0x00003001; pc = 0x00002000

该动画展示 ISA 可见的解码和状态变化,不表示任何特定 CPU 的流水线、缓存、预测或时序实现。

快速理解与检索要点

SLTI 执行有符号比较 rs1 < imm;条件为真时 rd=1,否则 rd=0。它适合把比较结果转成可继续参与运算或分支的整数值。

立即数版本使用符号扩展的 12 位立即数。
有符号和无符号比较只改变解释位模式的方式,不改变寄存器宽度。

常见使用场景

比较与判断

结合 «slti x5, x6, 10 # x5 = (x6 < 10) ? 1 : 0 (signed)» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 寄存器选择 x0–x31;重叠操作数读取写回前的值。
  • 12 位立即数范围 -2048..2047;比较前符号扩展到 XLEN。
语义检查
  • 比较的有符号/无符号解释与算术右移的符号填充须符合本指令定义。
  • rd=x0 为 HINT,不改变通用寄存器;SRAI 的 x0,x0,7 为 semihosting 退出标记。

容易混淆 / 常见误区

结果为布尔值(0或1),非差值的符号
立即数先做有符号扩展再参与比较
rd=x0 时 SLTI 是供自定义用途的 HINT,不改变通用寄存器;PC 正常前进。

常见问题

SLTI 写入什么结果?

比较成立时写入 1,否则写入 0。

SLT 和 SLTU 有什么区别?

SLT/SLTI 按有符号整数比较;SLTU/SLTIU 按无符号整数比较。