From: lkcl <lkcl@web>
Date: Fri, 8 Jul 2022 18:54:19 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1250
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=01cf5831372687e6d81f6a4f6c16a73eaa5fa7f5;p=libreriscv.git

---

diff --git a/openpower/atomics.mdwn b/openpower/atomics.mdwn
index 622f90519..79bfe1487 100644
--- a/openpower/atomics.mdwn
+++ b/openpower/atomics.mdwn
@@ -183,6 +183,23 @@ tried to access it.
 
 # TODO: add list of proposed instructions
 
-| 0.5|6.10|11.15|16.20|21|22|23.24|25.30 |31| name         |  Form   |
-| -- | -- | --- | --- |--|--|---- |------|--| ----         | ------- |
-| NN | RT | RA  | FC  |lr|sc|ew   |xxxxxx|/ | lat[.lr][.sc]| TODO-Form  |
+AT-Form (TODO)
+
+* lat RT,RA,FC,ew
+* lataq RT,RA,FC,ew
+* latrl RT,RA,FC,ew
+* lataqrl RT,RA,FC,ew
+
+| 0.5|6.10|11.15|16.20|21|22|23.24|25.30 |31| name       |  Form   |
+| -- | -- | --- | --- |--|--|---- |------|--| ----       | ------- |
+| NN | RT | RA  | FC  |lr|sc|ew   |xxxxxx|/ | lat[aq][rl]| TODO-Form  |
+
+* If the `aq` bit is set,
+  then no later atomic memory operations can be observed
+  to take place before the AMO.
+* If the `rl` bit is set, then other cores will not observe the AMO before 
+  memory accesses preceding the AMO.
+* Setting both the `aq` and the `rl` bit makes the sequence
+  sequentially consistent, meaning that
+  it cannot be reordered with earlier or later atomic
+  memory operations.