diff options
| author | Bill Traynor <wmat@riscv.org> | 2022-12-06 10:28:22 -0500 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2022-12-06 10:28:22 -0500 |
| commit | 88a0857cce884e522e560c1b7e33be4d5b3067b3 (patch) | |
| tree | 630b5bc2ca1eb0cdf0c77bd9a72428060c1a8638 /src/rv64.adoc | |
| parent | 1f228aac1d54dff4e1326cefc9fc1560230b55e3 (diff) | |
| download | riscv-isa-manual-88a0857cce884e522e560c1b7e33be4d5b3067b3.zip riscv-isa-manual-88a0857cce884e522e560c1b7e33be4d5b3067b3.tar.gz riscv-isa-manual-88a0857cce884e522e560c1b7e33be4d5b3067b3.tar.bz2 | |
Added spaces before and after latexmath statements
Latexmath statements require spaces before and after in order to render
the surrounding values correctly.
Diffstat (limited to 'src/rv64.adoc')
| -rw-r--r-- | src/rv64.adoc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/rv64.adoc b/src/rv64.adoc index ac62bc4..90b807c 100644 --- a/src/rv64.adoc +++ b/src/rv64.adoc @@ -98,7 +98,7 @@ _rd_. [NOTE] ==== Note that the set of address offsets that can be formed by pairing LUI -with LD, AUIPC with JALR, etc.in RV64I is +with LD, AUIPC with JALR, etc. in RV64I is [latexmath:[${-}2^{31}{-}2^{11}$], latexmath:[$2^{31}{-}2^{11}{-}1$]]. ==== @@ -172,7 +172,7 @@ no standard HINTs will ever be defined in this subspace. |AUIPC |_rd_=_x0_ |latexmath:[$2^{20}$] -|ADDI |_rd_=_x0_, and either _rs1_latexmath:[$\neq$]_x0_ or _imm_latexmath:[$\neq$]0 |latexmath:[$2^{17}-1$] +|ADDI |_rd_=_x0_, and either _rs1_ latexmath:[$\neq$] _x0_ or _imm_ latexmath:[$\neq$]0 |latexmath:[$2^{17}-1$] |ANDI |_rd_=_x0_ |latexmath:[$2^{17}$] @@ -182,9 +182,9 @@ no standard HINTs will ever be defined in this subspace. |ADDIW |_rd_=_x0_ |latexmath:[$2^{17}$] -|ADD |_rd_=_x0_, _rs1_latexmath:[$\neq$]_x0_ |latexmath:[$2^{10}$] +|ADD |_rd_=_x0_, _rs1_ latexmath:[$\neq$] _x0_ |latexmath:[$2^{10}$] -|Add |_rd_=_x0_, _rs1_=_x0_, _rs2_latexmath:[$\neq$]_x2_-_x5_| 28 +|Add |_rd_=_x0_, _rs1_=_x0_, _rs2_ latexmath:[$\neq$] _x2_-_x5_| 28 |Add |_rd_=_x0_, _rs1_=_x0_, _rs2_=_x2_-_x5_| 4 | (_rs2_=_x2_) NTL.P1 + (_rs2_=_x3_) NTL.PALL + @@ -215,13 +215,13 @@ no standard HINTs will ever be defined in this subspace. |SRAW |_rd_=_x0_ |latexmath:[$2^{10}$] -|FENCE |_rd_=_x0_, _rs1_latexmath:[$\neq$]_x0_,_fm_=0, and either _pred_=0 or _succ_=0 |latexmath:[$2^{10}-63$] +|FENCE |_rd_=_x0_, _rs1_ latexmath:[$\neq$] _x0_,_fm_=0, and either _pred_=0 or _succ_=0 |latexmath:[$2^{10}-63$] -|FENCE |_rd_latexmath:[$\neq$]_x0_, _rs1_=_x0_, _fm_=0, and either _pred_=0 or _succ_=0 |latexmath:[$2^{10}-63$] +|FENCE |_rd_ latexmath:[$\neq$] _x0_, _rs1_=_x0_, _fm_=0, and either _pred_=0 or _succ_=0 |latexmath:[$2^{10}-63$] -|FENCE |_rd_=_rs1_=_x0_, _fm_=0, _pred_=0, _succ_latexmath:[$\neq$]0 |15 +|FENCE |_rd_=_rs1_=_x0_, _fm_=0, _pred_=0, _succ_ latexmath:[$\neq$]0 |15 -|FENCE |_pred_=0 or _succ_=0, _pred_latexmath:[$\neq$]W, _succ_=0 | 15 +|FENCE |_pred_=0 or _succ_=0, _pred_ latexmath:[$\neq$] W, _succ_ =0 | 15 |FENCE |_rd_=_rs1_=_x0_, _fm_=0, _pred_=W, _succ_=0 |1 | PAUSE |