diff options
author | Bill Traynor <wmat@riscv.org> | 2023-01-18 14:25:19 -0500 |
---|---|---|
committer | Bill Traynor <wmat@riscv.org> | 2023-01-18 14:25:19 -0500 |
commit | 6b736e800b9927081fdc3bfb00856cea9879d805 (patch) | |
tree | bac9b29828a518e25e49241fad990989858ee2d2 /src | |
parent | 8a39d25d2c87bd2753e5c7c7e5560b02969a3803 (diff) | |
download | riscv-isa-manual-6b736e800b9927081fdc3bfb00856cea9879d805.zip riscv-isa-manual-6b736e800b9927081fdc3bfb00856cea9879d805.tar.gz riscv-isa-manual-6b736e800b9927081fdc3bfb00856cea9879d805.tar.bz2 |
Nesting tables for formatting.
Nesting the litmus test tables to fix
layout.
Diffstat (limited to 'src')
-rw-r--r-- | src/mm-eplan.adoc | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index d37840a..3c6d198 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -1706,16 +1706,22 @@ The question of write subsumption can be understood from the following example: .Write subsumption litmus test, allowed execution -graphviz::images/graphviz/litmus_subsumption.txt[align="center",width=85] - -[%autowidth,float="center",align="center",cols="^,<,^,<",options="header",] +[float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] |=== -2+|Hart 0 2+^|Hart 1 -2+|li t1, 3 2+^|li t3, 2 -| |li t2, 1 | | -|(a) |sw t1,0(s0) |(d) |lw a0,0(s1) -|(b) |fence w, w |(e) |sw a0,0(s0) -|(c) |sw t2,0(s1) |(f) |sw t3,0(s0) +| +[%autowidth,float="center",align="center",cols="^,<,^,<",options="header",] +!=== +2+!Hart 0 2+^!Hart 1 +2+!li t1, 3 2+^!li t3, 2 +! !li t2, 1 ! ! +!(a) !sw t1,0(s0) !(d) !lw a0,0(s1) +!(b) !fence w, w !(e) !sw a0,0(s0) +!(c) !sw t2,0(s1) !(f) !sw t3,0(s0) +!=== +| +!=== +a! graphviz::images/graphviz/litmus_subsumption.txt[align="center",width=85] +!=== |=== As written, if the load (d) reads value _1_, then (a) must |