Skip to content

Commit 9cfaf37

Browse files
authored
Add non-normative AMOCAS memory ordering clarification (riscv#1889)
In consultation with @ved-rivos.
1 parent 16c3245 commit 9cfaf37

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/zacas.adoc

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -195,6 +195,8 @@ produced, the memory write access by an `AMOCAS.W/D/Q` instruction.
195195
An unsuccessful `AMOCAS.W/D/Q` may either not perform a memory write or may
196196
write back the old value loaded from memory. The memory write, if produced, does
197197
not have release semantics, regardless of `rl`.
198+
Irrespective of whether a write is actually performed, the instruction is
199+
treated as an AMO for the purposes of the RVWMO PPO rules.
198200
====
199201

200202
An `AMOCAS.W/D/Q` instruction always requires write permissions.

0 commit comments

Comments
 (0)