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

RISC-V BEXTI 指令详解

指令手册I-type

单比特立即数提取

指令语法

bexti rd, rs1, shamt

rd、rs1 选择 x0–x31;源读取写回前的值,写入 x0 被丢弃。

shamt 是非负位索引:RV32 为 0–31、RV64 为 0–63;RV32 的 shamt[5]=1 编码保留,不是 12 位有符号操作数。

要求 RV32/RV64 Zbs 1.0;提取结果为 0 或 1,不保留原 bit 位置。

Zbs位操作单比特操作

指令行为说明

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

BEXTI 指令解析与执行动画

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

rd
rs1
shamt
bexti
,
,
执行环境

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

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
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤

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

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

encoding: 0x48C55293
syntax : bexti t0(x5), a0(x10), 12
待提交结果: 尚未计算
当前架构状态
t0(x5) = 0x00003001; pc = 0x00002000

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

快速理解与检索要点

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

本指令属于 Zbs 1.0,适用于 RV32 和 RV64;数据操作使用 XLEN 位整数寄存器。
shamt 是非负位索引:RV32 为 0–31,RV64 为 0–63;RV32 中 shamt[5]=1 的编码保留。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见使用场景

位操作与掩码

RV32/RV64 Zbs,x11=0x84:bexti x10, x11, 2 提取 bit2,写 x10=1,而不是 4。

使用前检查清单

语法检查
  • rd、rs1 选择 x0–x31;源读取写回前的值,写入 x0 被丢弃。
  • shamt 是非负位索引:RV32 为 0–31、RV64 为 0–63;RV32 的 shamt[5]=1 编码保留,不是 12 位有符号操作数。
语义检查
  • 要求 RV32/RV64 Zbs 1.0;提取结果为 0 或 1,不保留原 bit 位置。

容易混淆 / 常见误区

shamt 是非负位索引:RV32 为 0–31,RV64 为 0–63;RV32 中 shamt[5]=1 的编码保留。
bext/bexti 的结果是 0 或 1,不保留原位置。

常见问题

bexti 会访问内存吗?

不访问数据内存。数据操作读取整数寄存器并将结果写入 rd;rd=x0 时结果被丢弃。

bexti 的 bit 索引如何确定?

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