diff options
Diffstat (limited to 'src/rv64.adoc')
-rw-r--r-- | src/rv64.adoc | 7 |
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}$] |