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

RISC-V SLT 指令详解

指令手册R-type

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

指令语法

slt rd, rs1, rs2
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数寄存器。
源寄存器 rs2:第二个操作数寄存器。
RV32IRV64I算术运算比较

指令行为说明

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

SLT 指令解析与执行动画

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

rd
rs1
rs2
slt
,
,
执行环境
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
signed: 0xFFFFFFF0 (-16) < 0x00000002 (2) -> 1
x5
t0(x5) = 0x00000001
当前步骤

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

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

encoding: 0x002822B3
syntax : slt t0(x5), a6(x16), sp(x2)
result : t0(x5) = 0x00000001
架构可见结果
t0(x5) = 0x00000001

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

快速理解与检索要点

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

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

常见使用场景

分支与跳转

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

使用前检查清单

语法检查
  • 确认 rd、rs1、rs2(及 rs3)是合法 GPR。
  • 确认 funct3 与 funct7 字段编码正确。
语义检查
  • 确认结果是否会影响后续分支或地址计算。
  • 确认 rd 寄存器不会被其他指令覆盖。

容易混淆 / 常见误区

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

常见问题

SLT 写入什么结果?

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

SLT 和 SLTU 有什么区别?

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