From 3bc5503798504f4094a7d0a409b8bdce1659e9a3 Mon Sep 17 00:00:00 2001 From: Bill Traynor Date: Wed, 18 Jan 2023 13:18:49 -0500 Subject: Nesting table for litmus test layout. Nesting table for litmus test layout. --- src/mm-eplan.adoc | 31 +++++++++++++++++++------------ 1 file 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) !(a) !(e) !xor t2,a0,a0 +>!(b) !(f) !add s4,s2,t2 +>!(c) !(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 <>. -- cgit v1.1