指令行为说明
Zbs 的 bext 提取 rs2 低 log2(XLEN) 位指定的 rs1 单个 bit,结果为 0 或 1。
BEXT 指令解析与执行动画
从机器码字段解析开始,依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
bext
,
,
执行环境
本例使用固定寄存器初值和初始 PC=0x2000;取指成功,没有异步中断或额外扩展检查。异常分支只显示普通提交停止,陷入后的 PC 和处理程序状态由 EEI 决定。
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
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤
概念步骤:拿到 32-bit 指令编码
机器码按当前指令格式切成字段,动画从 encoding/decode 开始。
encoding: 0x490552B3
syntax : bext t0(x5), a0(x10), a6(x16)
待提交结果: 尚未计算
当前架构状态
t0(x5) = 0x00003001; pc = 0x00002000
该动画展示 ISA 可见的解码和状态变化,不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
Zbs 的 bext 提取 rs2 低 log2(XLEN) 位指定的 rs1 单个 bit,结果为 0 或 1。
Zbs 指令,适用于 RV32 和 RV64。
寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
bext/bexti 的结果是 0 或 1,不保留原位置。
常见使用场景
位操作与掩码
RV32/RV64 Zbs,x11=0xff、x12=35:RV32 取 bit3 得到 x10=1;RV64 取 bit35 得到 x10=0。
地址与指针
RV32/RV64 Zbs,x11=0xff、x12=35:RV32 取 bit3 得到 x10=1;RV64 取 bit35 得到 x10=0。
比较与判断
RV32/RV64 Zbs,x11=0xff、x12=35:RV32 取 bit3 得到 x10=1;RV64 取 bit35 得到 x10=0。
使用前检查清单
语法检查
- rd、rs1 选择 x0–x31;源读取写回前的值,写入 x0 被丢弃。
- rs2 的低 5 位(RV32)或低 6 位(RV64)选择索引,其余位忽略。
语义检查
- 要求 RV32/RV64 的 Zbs;结果为 0 或 1,不保留原 bit 位置。
容易混淆 / 常见误区
寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
bext/bexti 的结果是 0 或 1,不保留原位置。