首页/指令库/原子与字
AMOAND.W

RISC-V AMOAND.W 指令详解

指令手册R-type

原子按位与 32 位 word:rd 返回旧内存 word,内存写回 oldWord & rs2LowWord 的 32 位结果

指令语法

amoand.w rd, rs2, (rs1)
操作数说明
rd:接收原子读取的旧内存值;对 AMOCAS,执行前的 rd 同时提供比较值。
rs1:直接提供原子内存访问地址;AMO 汇编语法没有 offset 立即数字段。
rs2:提供 AMO 的源数据;对 AMOCAS,它是在比较相等时写入的交换值。
AMO-type 是本站对 AMO 专用 R-type 字段布局的展示标签:funct5、aq、rl、rs2、rs1、funct3、rd 和 AMO opcode 共同编码该操作。
AZaamo原子操作

指令行为说明

AMOAND.W 对 rs1 指向的 32 位 word 执行原子 read-modify-write:先读取旧内存 word 并把它符号扩展写入 rd,然后把旧 word 与 rs2 低 32 位按位与,把得到的 32 位 word 写回同一地址。aq/rl 位只影响内存排序,不改变 按位与 的数据结果。

AMOAND.W 原子指令解析与执行动画

展示 A / Zaamo word 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。

rd
rs2
rs1
amoand.w
,
,(
)
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
01100
funct5
0
aq
0
rl
01011
rs2
01010
rs1
010
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x60B522AF
opcode
0101111 -> AMO
funct3
010 -> word width
funct5
01100 -> AMOAND.W
aq / rl
0/0 -> unordered
rd / rs2 / rs1
t0(x5) / a1(x11)[31:0]=0x0FF00FF0 / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old word 0xF0F0000F
RMW
0xF0F0000F & 0x0FF00FF0 -> 0x00F00000
rd / memory
t0(x5) = 0xF0F0000F; mem[0x00001000] = 0x00F00000
当前步骤

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

A / Zaamo 扩展 word 原子指令使用 32-bit 编码;动画先展示字段切分。

encoding: 0x60B522AF
syntax : amoand.w t0(x5), a1(x11), (a0(x10))
result : t0(x5) = 0xF0F0000F; mem[0x00001000] = 0x00F00000
32-bit word 结果视图
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
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
old word
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
rs2 word
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
&
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-

该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位,不表示任何特定 CPU 的缓存一致性实现、流水线或时序。

快速理解与检索要点

AMOAND.W 用于原子位清除或掩码更新。访问成功且 rd 非 x0 时,它返回到 rd 的是符号扩展的旧内存 word;按位与 后的新 32 位 word 只写回内存。

funct5=01100、funct3=010、opcode=0101111 识别 AMOAND.W;aq/rl 位不改变数据计算。
rd 接收操作前的旧内存 word;内存接收 oldWord & rs2LowWord 的 32 位结果。
AMO.W 是 word 宽度 AMO;在 RV64 上,rd 中的旧 word 按符号扩展写入 XLEN。
AMOAND.W 是按位 word 运算;每个结果 bit 来自旧 word 与 rs2 低 word 的同一 bit 位置。
通常要求地址按 4 字节自然对齐;只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时,对齐异常才可被放宽。
上述读改写效果以访问成功为前提;rd=x0 时丢弃旧值写回,但仍更新内存。rs2 使用执行前的寄存器值,即使与 rd 重叠。目标内存区域也必须支持该 AMO 的访问宽度和操作。

常见使用场景

位操作与掩码

32 位访问成功的示例:a2=0x1000,旧内存值=5,a1=3;amoand.w a0, a1, (a2) 返回 a0=5,内存更新为 1。地址自然对齐,内存区域支持该 AMO。

原子与同步

32 位访问成功的示例:a2=0x1000,旧内存值=5,a1=3;amoand.w a0, a1, (a2) 返回 a0=5,内存更新为 1。地址自然对齐,内存区域支持该 AMO。

使用前检查清单

语法检查
  • rd、rs2、rs1 选择 x0–x31 或其 ABI 名称;语法为 rd, rs2, (rs1),没有 rs3 或 offset 立即数。
  • 确认 funct5 选择操作、funct3 选择访问宽度;aq/rl 是独立排序位,不是固定 funct7 常量。
语义检查
  • 确认地址自然对齐,或满足 misaligned atomicity granule PMA 条件;目标区域须支持该 AMO 的宽度与操作。
  • 访问成功时 rd 返回旧内存值,计算结果写回内存;rd=x0 只丢弃寄存器写回。AMO.W 在 RV64 上符号扩展旧 word,并只使用 rs2 低 32 位。

容易混淆 / 常见误区

rd 保存操作前的旧内存 word,不保存 按位与 后的新内存结果。
AMO.W 原子访问 32 位 word;在 RV64 中,加载到 rd 的旧 word 会符号扩展到 XLEN。
rs2 参与计算的是低 32 位 word;写回内存的也是 32 位 word 结果。
aq/rl 只约束内存排序,不改变 oldWord & rs2LowWord 的值。
通常要求地址按 4 字节自然对齐;只有该 PMA 存在且所有访问字节位于同一 misaligned atomicity granule 内时,对齐异常才可被放宽。

常见问题

AMOAND.W 的 rd 保存新内存结果吗?

不。AMOAND.W 的 rd 保存操作前的旧内存 word;oldWord & rs2LowWord 的结果写回内存。

AMOAND.W 的 aq/rl 会改变按位与结果吗?

不会。aq/rl 只影响内存排序约束,不改变本条 AMO.W 的 32 位数据计算结果。