XOR

RISC-V XOR 指令详解

指令手册R-type

将rs1与rs2按位异或,结果写入rd

指令语法

xor rd, rs1, rs2
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数寄存器。
源寄存器 rs2:第二个操作数寄存器。
RV32IRV64I逻辑运算

指令行为说明

XOR 指令采用 R 型格式。它将 rs1 与 rs2 逐 bit 异或,并将结果写入 rd。opcode=0110011、funct3=100、funct7=0000000。两个源字段指向同一寄存器时,每个 bit 的异或结果为 0。

XOR 指令解析与执行动画

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

rd
rs1
rs2
xor
,
,
执行环境

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

t1(x6)
0x00000014
t2(x7)
0x00000007
31..25
24..20
19..15
14..12
11..7
6..0
0000000
funct7
00111
rs2
00110
rs1
100
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x007342B3
opcode
0110011 -> OP
funct3
100 -> XOR bitwise XOR
funct7
0000000 -> base ALU op
rd / rs1 / rs2
t0(x5) / t1(x6) / t2(x7)
bitwise ALU
尚未计算
x5
t0(x5) = 0x00003001; pc = 0x00002000
当前步骤

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

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

encoding: 0x007342B3
syntax : xor t0(x5), t1(x6), t2(x7)
待提交结果: 尚未计算
当前架构状态
t0(x5) = 0x00003001; pc = 0x00002000
逐 bit 逻辑视图
31
30
29
28
27
26
25
24
23
22
21
20
19
18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
rs1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
rs2
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
^
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-

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

快速理解与检索要点

XOR 是 RV32I/RV64I 基础整数 R-type 逻辑指令:从 rs1 与 rs2 读取两个 XLEN 宽寄存器值,逐 bit 执行 XOR,结果写入 rd。两个输入 bit 不同时结果为 1,相同时为 0。

opcode=0110011 选择 OP 类,funct3=100 且 funct7=0000000 选择 XOR。
XOR 不使用立即数字段;需要与 12 位立即数异或时使用 XORI,且 XORI 的立即数会先符号扩展。

常见使用场景

逻辑运算

结合 «xor x5, x6, x7 # x5 = x6 ^ x7» 等实际代码理解该场景。

位操作与掩码

结合 «xor x5, x6, x7 # x5 = x6 ^ x7» 等实际代码理解该场景。

使用前检查清单

语法检查
  • XOR 只有 rd、rs1、rs2 三个通用寄存器字段,没有 rs3 或立即数。
语义检查
  • 逐位异或两个旧 XLEN 位源值;源与目的重叠时先读取旧值,写入 x0 被丢弃。

容易混淆 / 常见误区

XOR 读取两个寄存器;需要与立即数按位异或时应使用 XORI。

常见问题

XOR 和 XORI 有什么区别?

XOR 读取 rs1 与 rs2 两个寄存器;XORI 读取 rs1 并使用符号扩展的 12 位立即数。

xor rd, rs1, rs1 为什么会清零?

每个 bit 与自身异或都得到 0,因此两个源寄存器选择同一个寄存器时,XLEN 位结果全为 0 并写入 rd。