首页/指令库/立即数提取
BEXTI

RISC-V BEXTI 指令详解

指令手册I-type

单比特立即数提取

指令语法

bexti rd, rs1, uimm
操作数说明
目标寄存器 rd:接收单 bit 提取、翻转或置位后的结果;rd=x0 时写回被丢弃。
源寄存器 rs1:提供要提取、翻转或置位的 XLEN 位值。
shamt:立即数编码 bit 索引。RV32 使用 shamt[4:0],shamt[5]=1 的编码保留;RV64 使用 shamt[5:0]。
Zbs位操作单比特操作

指令行为说明

bexti 是 Zbs 单比特提取指令,位索引来自立即数字段。

BEXTI 指令解析与执行动画

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

rd
rs1
shamt
bexti
,
,
执行环境
a0(x10)
0x00001000
31..25
24..20
19..15
14..12
11..7
6..0
0100100
fixed imm[11:5]
01100
shamt[4:0]
01010
rs1
101
funct3
00101
rd
0010011
opcode
执行数据路径
instruction
0x48C55293
opcode
0010011 -> OP-IMM
funct3
101 -> BEXTI
imm[11:5]
imm[11:5]=0100100 fixed
rd / rs1
t0(x5) / a0(x10)=0x00001000
imm[11:5] + shamt[4:0]
imm[11:5]=0100100 fixed -> index=12
single-bit extract
(0x00001000 >> 12) & 1 = 1
x5
t0(x5) = 0x00000001
当前步骤

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

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

encoding: 0x48C55293
syntax : bexti t0(x5), a0(x10), 12
result : t0(x5) = 0x00000001
架构可见结果
t0(x5) = 0x00000001

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

快速理解与检索要点

bexti 是 Zbs 单比特提取指令,位索引来自立即数字段。

这些指令属于 B 扩展中的具体子扩展,按 XLEN 宽整数寄存器值运算。
立即数字段宽度随 XLEN 变化;RV32 中 shamt[5]=1 的编码保留,RV64 可编码 0..63。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见使用场景

位操作与掩码

结合 «bexti x10, x11, 2 ; x10 = (x11 >> 2) & 1» 等实际代码理解该场景。

常量与立即数

结合 «bexti x10, x11, 2 ; x10 = (x11 >> 2) & 1» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认立即数字段在有效范围内。
  • 确认源寄存器 rs1 指向正确的操作数。
语义检查
  • 确认立即数符号扩展是否符合预期。
  • 确认结果寄存器 rd 的用途是否明确。

容易混淆 / 常见误区

立即数字段宽度随 XLEN 变化;RV32 中 shamt[5]=1 的编码保留,RV64 可编码 0..63。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见问题

bexti 会访问内存吗?

不会。它只读取整数寄存器操作数并写回 rd。

bexti 的 bit 索引如何确定?

立即数直接编码 bit 位置,合法范围由 XLEN 决定。