diff options
| author | Bill Traynor <wmat@riscv.org> | 2023-01-08 14:35:12 -0500 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2023-01-08 14:35:12 -0500 |
| commit | bcefca882d48a75ec23415b05caf5d885ba4a52e (patch) | |
| tree | a5bda6f085e01b921f411255fdb3208844506ab9 /src/mm-formal.adoc | |
| parent | d0a04b5bd5de699cef8045c5b8c459727e58c33f (diff) | |
| download | riscv-isa-manual-bcefca882d48a75ec23415b05caf5d885ba4a52e.zip riscv-isa-manual-bcefca882d48a75ec23415b05caf5d885ba4a52e.tar.gz riscv-isa-manual-bcefca882d48a75ec23415b05caf5d885ba4a52e.tar.bz2 | |
Added a missing admonition.
Added a missing admonition.
Diffstat (limited to 'src/mm-formal.adoc')
| -rw-r--r-- | src/mm-formal.adoc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/mm-formal.adoc b/src/mm-formal.adoc index a26a19d..af8d6e6 100644 --- a/src/mm-formal.adoc +++ b/src/mm-formal.adoc @@ -1089,7 +1089,8 @@ operations, each of one-byte size, to the addresses latexmath:[$\textit{address}\ldots\textit{address}+\textit{size}-1$]. . set latexmath:[$i.\textit{mem\_stores}$] to latexmath:[$msos$]; and . update the state of latexmath:[$i$] to Plain(_next_state_). - +[NOTE] +==== Note that after taking the transition above the memory store operations do not yet have their values. The importance of splitting this transition from the transition below is that it allows other @@ -1097,7 +1098,7 @@ program-order-successor store instructions to observe the memory footprint of this instruction, and if they don’t overlap, propagate out of order as early as possible (i.e. before the data register value becomes available). - +==== [[instantiate_store_value]] ===== Instantiate memory store operation values |