diff options
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 ad4ca98..d37840a 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -1059,16 +1059,22 @@ of rule <<overlapping-ordering, 11>>. [[litmus:addrdatarfi_no]] .Because of the address dependency from (d) to (e), (d) also precedes (f) (outcome forbidden) -graphviz::images/graphviz/litmus_addrpo.txt[align="center",width=160] - -[%autowidth,cols="^,<,^,<"float="center",align="center",options="header"] +[float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] |=== -2+|Hart 0 2+|Hart 1 -2+| 2+|li t1, 1 -|(a) |lw a0,0(s0) |(d) |lw a1, 0(s1) -|(b) |fence rw,rw |(e) |lw a2, 0(a1) -|(c) |sw s2,0(s1) |(f) |sw t1, 0(s0) -4+|Outcome: `a0=1`, `a1=t` +| +[%autowidth,cols="^,<,^,<"float="center",align="center",options="header"] +!=== +2+!Hart 0 2+!Hart 1 +2+! 2+!li t1, 1 +!(a) !lw a0,0(s0) !(d) !lw a1, 0(s1) +!(b) !fence rw,rw !(e) !lw a2, 0(a1) +!(c) !sw s2,0(s1) !(f) !sw t1, 0(s0) +4+!Outcome: `a0=1`, `a1=t` +!=== +| +!=== +a! graphviz::images/graphviz/litmus_addrpo.txt[] +!=== |=== Consider <<litmus:addrdatarfi_no>> (f) cannot be |