use if syntax

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index eda21e58825ac429f785902068a4d2fb74697933..8f71e8b1f4073fd48c3a4e859c4a1c14c9dbc5a0 100644 (file)
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -350,8 +350,11 @@ Pseudo-code:
 
     prod[0:63] <- MULS((RA)[32:63], (RB)[32:63])
     RT <- prod
-    overflow <- ((prod[32:64] != 0x0000_0000) &
-                 (prod[32:64] != 0xffff_ffff))
+    if ((prod[32:64] != 0x0000_0000) &
+        (prod[32:64] != 0xffff_ffff)) then
+        overflow <- 1
+    else
+        overflow <- 0
 
 Special Registers Altered: