From b1e42e09ac55116dbf9de5e4fb326a5a90e4a993 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Sun, 5 Apr 2020 21:15:19 -0700
Subject: [PATCH] Add note about AUIPC+JALR range in RV64

---
 src/rv64.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/rv64.tex b/src/rv64.tex
index 24e78b1f5..54afbd13d 100644
--- a/src/rv64.tex
+++ b/src/rv64.tex
@@ -146,6 +146,12 @@ \subsubsection*{Integer Register-Immediate Instructions}
 adds it to the address of the AUIPC instruction,
 then places the result in register {\em rd}.
 
+\begin{commentary}
+Note that the set of addresses or offsets that can be formed by pairing LUI
+with LD, AUIPC with JALR, etc.\@ in RV64 includes all signed 32-bit offsets
+except for the range [$2^{31}{-}2^{11}$, $2^{31}{-}1$].
+\end{commentary}
+
 \subsubsection*{Integer Register-Register Operations}
 
 \vspace{-0.2in}