use widths.get(dw/sw) and test empty/non-empty after.

[openpower-isa.git] / openpower / isa / av.mdwn

diff --git a/openpower/isa/av.mdwn b/openpower/isa/av.mdwn
index 1347adcc52b779770eb6e7eccdcc3843c8f4d84e..ffbb7e7f51cf9d93ee8ebfd2d35ae0769e0d4e79 100644 (file)
--- a/openpower/isa/av.mdwn
+++ b/openpower/isa/av.mdwn
@@ -230,10 +230,9 @@ DX-Form
 
 Pseudo-code:
 
-    LH   <- FRS[0:15]
-    fp32 <- LH || d0 || d1 || d2
-    n    <- DOUBLE(fp32)
-    FRS  <- LH || n[16:63]
+    fp32 <- SINGLE((FRS))
+    fp32[16:31] <- d0 || d1 || d2
+    FRS <- DOUBLE(fp32)
 
 Special Registers Altered: