From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 12 May 2023 06:30:12 +0000 (-0700)
Subject: undefined is a function that needs to be called
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=782ebba4252b2cf9c3a10c27d93df10dbe1cf7de;p=openpower-isa.git

undefined is a function that needs to be called
---

diff --git a/openpower/isa/fpcvt.mdwn b/openpower/isa/fpcvt.mdwn
index 041ecf3e..0ce5e0a6 100644
--- 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