Merge pull request #453 from riscv/u-immediate

Consistently claim that U-immediate is 32 bits, not 20 bits

1 files changed, 6 insertions, 3 deletions

diff --git a/src/rv32.tex b/src/rv32.tex
index 7c501f1..67b2cbc 100644
--- a/src/rv32.tex
+++ b/src/rv32.tex
@@ -569,16 +569,19 @@ U-immediate[31:12] & dest & AUIPC
 \end{center}
 
 LUI (load upper immediate) is used to build 32-bit constants and uses
-the U-type format.  LUI places the U-immediate value in the top 20
-bits of the destination register {\em rd}, filling in the lowest 12
+the U-type format.  LUI places the 32-bit U-immediate value into
+the destination register {\em rd}, filling in the lowest 12
 bits with zeros.
 
 AUIPC (add upper immediate to {\tt pc}) is used to build {\tt pc}-relative
 addresses and uses the U-type format.  AUIPC forms a 32-bit offset from the
-20-bit U-immediate, filling in the lowest 12 bits with zeros, adds this offset
+U-immediate, filling in the lowest 12 bits with zeros, adds this offset
 to the address of the AUIPC instruction, then places the result in register {\em rd}.
 
 \begin{commentary}
+The assembly syntax for {\tt lui} and {\tt auipc} does not represent the lower
+12 bits of the U-immediate, which are always zero.
+
 The AUIPC instruction supports two-instruction sequences to access
 arbitrary offsets from the PC for both control-flow transfers and data
 accesses.  The combination of an AUIPC and the 12-bit immediate in a