(no commit message)

diff --git a/openpower/sv/rfc/ls005.mdwn b/openpower/sv/rfc/ls005.mdwn
index 1f064d2e99def03d145c30e4fedd11beb98d1c8d..1ef796de78bc866dc1d4d0ad22022e9097b060db 100644 (file)
--- a/openpower/sv/rfc/ls005.mdwn
+++ b/openpower/sv/rfc/ls005.mdwn
@@ -140,7 +140,7 @@ the full width".
 
 # Examples
 
-add pseudocode examples demonstrating modification.
+## pseudocode examples demonstrating modification.
 
 before for popcntb:
 
@@ -164,6 +164,19 @@ do i = 0 to ((XLEN/8)-1)
    RA[(i*8):(i*8)+7] <-  n
 ```
 
+## no modification needed, but function changes
+
+For the `addi` instruction there is no apparent change:
+
+```
+RT <- (RA|0) + EXTS(SI)
+```
+
+However behind the scenes, RA is XLEN bits wide, therefore EXTS performs an
+increase in bitlength not to exactly 64 but to XLEN.  Obviousy for XLEN=16
+there is no sign-extension, and for XLEN=8 truncation of `SI` will occur.
+
+
 
 \newpage{}