undefined is a function that needs to be called

diff --git a/openpower/isa/fpcvt.mdwn b/openpower/isa/fpcvt.mdwn
index 041ecf3ef6c9739af38dbeb4dbe369e5617ef9a3..0ce5e0a69f105b124db3bb1bd49b488c8ea407dc 100644 (file)
--- a/openpower/isa/fpcvt.mdwn
+++ b/openpower/isa/fpcvt.mdwn
@@ -193,7 +193,7 @@ Pseudo-code:
     vex_flag <- FPSCR.VE & vx_flag
     if vex_flag = 0 then
         RT <- result
-        FPSCR.FPRF <- undefined
+        FPSCR.FPRF <- undefined(0b00000)
         FPSCR.FR <- inc_flag
         FPSCR.FI <- xx_flag
         if IsNaN(src) | ¬bfp_COMPARE_EQ(src, result_bfp) then
@@ -302,7 +302,7 @@ Pseudo-code:
     vex_flag <- FPSCR.VE & vx_flag
     if vex_flag = 0 then
         RT <- result
-        FPSCR.FPRF <- undefined
+        FPSCR.FPRF <- undefined(0b00000)
         FPSCR.FR <- inc_flag
         FPSCR.FI <- xx_flag
         if IsNaN(src) | ¬bfp_COMPARE_EQ(src, result_bfp) then