BEXT

RISC-V BEXT 指令详解

指令手册R-type

单位提取(寄存器指定位索引)

指令语法

bext rd, rs1, rs2
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数寄存器。
源寄存器 rs2:第二个操作数寄存器。
BZbs位操作单比特操作

指令行为说明

bext 是 Zbs 单比特提取指令,位索引来自rs2 的低 log2(XLEN) 位。

BEXT 指令解析与执行动画

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

rd
rs1
rs2
bext
,
,
执行环境
a0(x10)
0x00001000
a6(x16)
0xFFFFFFF0
31..25
24..20
19..15
14..12
11..7
6..0
0100100
funct7
10000
rs2
01010
rs1
101
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x490552B3
opcode
0110011 -> OP
funct3
101 -> BEXT
funct7
0100100 -> single-bit operation selector
rd / rs1 / rs2
t0(x5) / a0(x10)=0x00001000 / a6(x16)=0xFFFFFFF0
rs2[4:0]
0xFFFFFFF0 & 31 -> index=16
single-bit extract
(0x00001000 >> 16) & 1 = 0
x5
t0(x5) = 0x00000000
当前步骤

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

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

encoding: 0x490552B3
syntax : bext t0(x5), a0(x10), a6(x16)
result : t0(x5) = 0x00000000
架构可见结果
t0(x5) = 0x00000000

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

快速理解与检索要点

bext 是 Zbs 单比特提取指令,位索引来自rs2 的低 log2(XLEN) 位。

这些指令属于 B 扩展中的具体子扩展,按 XLEN 宽整数寄存器值运算。
寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见使用场景

位操作与掩码

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

地址与指针

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

比较与判断

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

使用前检查清单

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

容易混淆 / 常见误区

寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见问题

bext 会访问内存吗?

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

bext 的 bit 索引如何确定?

使用 rs2 的低 log2(XLEN) 位,因此超出范围的高位不会扩大索引范围。