aboutsummaryrefslogtreecommitdiff
path: root/src/rv64.adoc
diff options
context:
space:
mode:
Diffstat (limited to 'src/rv64.adoc')
-rw-r--r--src/rv64.adoc7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/rv64.adoc b/src/rv64.adoc
index 36bcf23..3e90eb3 100644
--- a/src/rv64.adoc
+++ b/src/rv64.adoc
@@ -99,9 +99,12 @@ AUIPC forms a 32-bit offset from the U-immediate, filling in the lowest
address of the AUIPC instruction, then places the result in register
_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
[latexmath:[${-}2^{31}{-}2^{11}$], latexmath:[$2^{31}{-}2^{11}{-}1$]].
+====
==== Integer Register-Register Operations
@@ -171,7 +174,7 @@ no standard HINTs will ever be defined in this subspace.
[options="header",]
|===
|Instruction |Constraints |Code Points |Purpose
-|LUI |_rd_=_x0_ |latexmath:[$2^{20}$] .24+|_Reserved for future standard use_
+|LUI |_rd_=_x0_ |latexmath:[$2^{20}$] .24+.^|_Reserved for future standard use_
|AUIPC |_rd_=_x0_ |latexmath:[$2^{20}$]
@@ -225,7 +228,7 @@ no standard HINTs will ever be defined in this subspace.
|_rd_=_rs1_=_x0_, _fm_=0, _pred_=W, _succ_=0 |1 | PAUSE
-|SLTI |_rd_=_x0_ |latexmath:[$2^{17}$] .10+|_Designated for custom use_
+|SLTI |_rd_=_x0_ |latexmath:[$2^{17}$] .10+.^|_Designated for custom use_
|SLTIU |_rd_=_x0_ |latexmath:[$2^{17}$]