diff options
| author | Bill Traynor <wmat@riscv.org> | 2023-01-18 14:18:45 -0500 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2023-01-18 14:18:45 -0500 |
| commit | 8a39d25d2c87bd2753e5c7c7e5560b02969a3803 (patch) | |
| tree | d6872dd3eb1cc0671ae500d9bc651c6d38e7522c /src | |
| parent | 974e049d3b82258736f8160b52fa54e4fec69cb1 (diff) | |
| download | riscv-isa-manual-8a39d25d2c87bd2753e5c7c7e5560b02969a3803.zip riscv-isa-manual-8a39d25d2c87bd2753e5c7c7e5560b02969a3803.tar.gz riscv-isa-manual-8a39d25d2c87bd2753e5c7c7e5560b02969a3803.tar.bz2 | |
Nesting tables for formatting.
Nested tables to format layout of
litmus test.
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 |