From 7c49b5991a52b029d4cbd08aaa5165e981265095 Mon Sep 17 00:00:00 2001 From: Daniel Lustig Date: Tue, 12 Oct 2021 15:08:19 -0400 Subject: RVWMO PPO numbering continuity --- src/rvwmo.adoc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/rvwmo.adoc b/src/rvwmo.adoc index dad2ae1..1eccd66 100644 --- a/src/rvwmo.adoc +++ b/src/rvwmo.adoc @@ -298,6 +298,7 @@ written by different memory operations generated by an AMO or SC instruction, _b_ is a load, and _b_ returns a value written by _a_ * Explicit Synchronization +[start=4] . There is a FENCE instruction that orders _a_ before _b_ . _a_ has an acquire @@ -308,6 +309,7 @@ RCsc annotations . _a_ is paired with _b_ * Syntactic Dependencies +[start=9] . _b_ has a syntactic address dependency on _a_ . _b_ has a syntactic data @@ -315,6 +317,7 @@ dependency on _a_ . _b_ is a store, and _b_ has a syntactic control dependency on _a_ * Pipeline Dependencies +[start=12] . _b_ is a load, and there exists some store _m_ between _a_ and _b_ in program order such that -- cgit v1.1