BINV

RISC-V BINV 指令详解

指令手册R-type

单比特翻转(寄存器指定位索引)

指令语法

binv rd, rs1, rs2
操作数说明
目标寄存器 rd:接收仅改变或提取所选单个 bit 后的结果;rd=x0 时写回被丢弃。
源寄存器 rs1:提供要修改或提取的 XLEN 位值。
索引寄存器 rs2:只有 rs2 的低 log2(XLEN) 位选择 bit 位置;其余位不参与索引。
Zbs位操作单比特操作

指令行为说明

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

BINV 指令解析与执行动画

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

rd
rs1
rs2
binv
,
,
执行环境
a0(x10)
0x00001000
31..25
24..20
19..15
14..12
11..7
6..0
0110100
funct7
10000
rs2
01010
rs1
001
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x690512B3
opcode
0110011 -> OP
funct3
001 -> BINV
funct7
0110100 -> single-bit operation selector
rd / rs1 / rs2
t0(x5) / a0(x10)=0x00001000 / a6(x16)=0xFFFFFFF0
rs2[4:0]
0xFFFFFFF0 & 31 -> index=16
single-bit invert
0x00001000 ^ 0x00010000 = 0x00011000
x5
t0(x5) = 0x00011000
当前步骤

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

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

encoding: 0x690512B3
syntax : binv t0(x5), a0(x10), a6(x16)
result : t0(x5) = 0x00011000
架构可见结果
t0(x5) = 0x00011000

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

快速理解与检索要点

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

这些指令属于 B 扩展中的具体子扩展,按 XLEN 宽整数寄存器值运算。
寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
binv 修改选中的一个 bit,其余 bit 保持 rs1 原值。

常见使用场景

比较与判断

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

类型转换

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

使用前检查清单

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

容易混淆 / 常见误区

寄存器索引形式只使用 rs2 的低 log2(XLEN) 位选择目标 bit。
binv 修改选中的一个 bit,其余 bit 保持 rs1 原值。

常见问题

binv 会访问内存吗?

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

binv 的 bit 索引如何确定?

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