首页/指令库/小于置位
SLT

RISC-V SLT 指令详解

指令手册R-type

若rs1有符号比较小于rs2,则置rd为1,否则置0

指令语法

slt rd, rs1, rs2
操作数说明
rd:选择 x0–x31;写入 x0 被丢弃。rs1:提供写回前的源值。
rs2:提供第二个 XLEN 位源值;两个源都按有符号整数比较。
比较成立时 rd=1,否则 rd=0;不改变控制流。
RV32IRV64I算术运算比较

指令行为说明

SLT 指令采用 R-type 格式。将 rs1 和 rs2 作为有符号整数比较,若 rs1<rs2 则在 rd 写入 1,否则写入 0。opcode=0110011,funct7=0000000,funct3=010。

SLT 指令解析与执行动画

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

rd
rs1
rs2
slt
,
,
执行环境

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

a6(x16)
0xFFFFFFF0
sp(x2)
0x00000002
31..25
24..20
19..15
14..12
11..7
6..0
0000000
funct7
00010
rs2
10000
rs1
010
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x002822B3
opcode
0110011 -> OP
funct3
010 -> SLT
funct7
0000000 -> base ALU op
rd / rs1 / rs2
t0(x5) / a6(x16) / sp(x2)
ALU
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤

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

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

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

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

快速理解与检索要点

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

寄存器版本比较 rs1 与 rs2。
有符号和无符号比较只改变解释位模式的方式,不改变寄存器宽度。

常见使用场景

有符号比较

RV32I/RV64I,x6=-16、x7=2:slt x5, x6, x7 按有符号数比较,得到 x5=1;相等时结果为零。

使用前检查清单

语法检查
  • 寄存器操作数选择 x0–x31 或其 ABI 名称;源使用写回前的值。
  • rd、rs1、rs2 均为寄存器字段,没有立即数操作数。
语义检查
  • 若rs1有符号比较小于rs2,则置rd为1,否则置0
  • x0 始终为零,写入丢弃;整数计算不引发算术异常。

容易混淆 / 常见误区

结果为布尔值(0或1),非比较差值
无符号比较请使用SLTU

常见问题

SLT 写入什么结果?

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

SLT 和 SLTU 有什么区别?

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