diff options
| author | Bill Traynor <wmat@riscv.org> | 2023-01-18 13:18:49 -0500 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2023-01-18 13:18:49 -0500 |
| commit | 3bc5503798504f4094a7d0a409b8bdce1659e9a3 (patch) | |
| tree | 623356e57f6b738190a12119a1bd5eda65ab86e1 /src/mm-eplan.adoc | |
| parent | 073bda2e55bcd040ce680dcea45e8d697e3d07ab (diff) | |
| download | riscv-isa-manual-3bc5503798504f4094a7d0a409b8bdce1659e9a3.zip riscv-isa-manual-3bc5503798504f4094a7d0a409b8bdce1659e9a3.tar.gz riscv-isa-manual-3bc5503798504f4094a7d0a409b8bdce1659e9a3.tar.bz2 | |
Nesting table for litmus test layout.
Nesting table for litmus test layout.
Diffstat (limited to 'src/mm-eplan.adoc')
| -rw-r--r-- | src/mm-eplan.adoc | 31 |
1 files changed, 19 insertions, 12 deletions
diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index 394fe29..87d99f1 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -553,20 +553,27 @@ write the same value. [[litmus-rsw]] .Litmus test RSW (outcome permitted) -graphviz::images/graphviz/litmus_rsw.txt[align="center",width=130] -[%autowidth,cols="^,<,^,<",options="header",float="center",align="center"] +[float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] |=== -2+|Hart 0 2+^|Hart 1 -2+|li t1, 1 >|(d) <|lw a0,0(s1) ->|(a) <|sw t1,0(s0) >|(e) |xor t2,a0,a0 ->|(b) <|fence w, w >|(f) |add s4,s2,t2 ->|(c) <|sw t1,0(s1) >|(g) |lw a1,0(s4) -| | >|(h) |lw a2,0(s2) -| | >|(i) |xor t3,a2,a2 -| | >|(j) |add s0,s0,t3 -| | >|(k) |lw a3,0(s0) -4+|Outcome: `a0=1`, `a1=v`, `a2=v`, `a3=0` +| +[%autowidth,cols="^,<,^,<",options="header",float="center",align="center"] +!=== +2+!Hart 0 2+^!Hart 1 +2+!li t1, 1 >!(d) <!lw a0,0(s1) +>!(a) <!sw t1,0(s0) >!(e) !xor t2,a0,a0 +>!(b) <!fence w, w >!(f) !add s4,s2,t2 +>!(c) <!sw t1,0(s1) >!(g) !lw a1,0(s4) +! ! >!(h) !lw a2,0(s2) +! ! >!(i) !xor t3,a2,a2 +! ! >!(j) !add s0,s0,t3 +! ! >!(k) !lw a3,0(s0) +4+!Outcome: `a0=1`, `a1=v`, `a2=v`, `a3=0` +!=== +| +!=== +a! graphviz::images/graphviz/litmus_rsw.txt[height=100%] +!=== |=== Consider the litmus test of <<litmus-rsw>>. |