From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 14 May 2021 16:13:09 +0000 (+0100)
Subject: add zero-variant (RA|0) in fpload pseudocode, cleaner, clearer
X-Git-Tag: 0.0.3~53
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4ce0c861739bdc8062b20da98315eecc1144a2bd;p=openpower-isa.git

add zero-variant (RA|0) in fpload pseudocode, cleaner, clearer
---

diff --git a/openpower/isa/fpload.mdwn b/openpower/isa/fpload.mdwn
index 0fa97aa6..aa67e94e 100644
--- a/openpower/isa/fpload.mdwn
+++ b/openpower/isa/fpload.mdwn
@@ -10,9 +10,7 @@ D-Form
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + EXTS(D)
+    EA <- (RA|0) + EXTS(D)
     FRT <- DOUBLE(MEM(EA, 4))
 
 Special Registers Altered:
@@ -27,9 +25,7 @@ X-Form
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + (RB)
+    EA <- (RA|0) + (RB)
     FRT <- DOUBLE(MEM(EA, 4))
 
 Special Registers Altered:
@@ -76,9 +72,7 @@ D-Form
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + EXTS(D)
+    EA <- (RA|0) + EXTS(D)
     FRT <- MEM(EA, 8)
 
 Special Registers Altered:
@@ -93,9 +87,7 @@ X-Form
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + (RB)
+    EA <- (RA|0) + (RB)
     FRT <- MEM(EA, 8)
 
 Special Registers Altered:
@@ -142,9 +134,7 @@ X-Form
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + (RB)
+    EA <- (RA|0) + (RB)
     FRT <- EXTS(MEM(EA, 4))
 
 Special Registers Altered:
@@ -155,13 +145,11 @@ Special Registers Altered:
 
 X-Form
 
-* lfiwax FRT,RA,RB
+* lfiwix FRT,RA,RB
 
 Pseudo-code:
 
-    if RA = 0 then b <- 0
-    else           b <- (RA)
-    EA <- b + (RB)
+    EA <- (RA|0) + (RB)
     FRT <- [0]*32 || MEM(EA, 4)
 
 Special Registers Altered: