From bcd2a14ea008bf6e0bd0834fba470f7edec07a07 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Mon, 20 Mar 2023 20:32:14 -0700 Subject: [PATCH] remove section of pseudocode that does nothing si64_CONVERT_FROM_BFP and friends don't actually set any flags --- openpower/sv/int_fp_mv.mdwn | 11 ----------- openpower/sv/rfc/ls006.mdwn | 11 ----------- 2 files changed, 22 deletions(-) diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn index 8b21bac42..75cce6f7e 100644 --- a/openpower/sv/int_fp_mv.mdwn +++ b/openpower/sv/int_fp_mv.mdwn @@ -596,17 +596,6 @@ else if FPSCR.RN = 0b10 then else if FPSCR.RN = 0b11 then rnd <- bfp_ROUND_TO_INTEGER_FLOOR(src) -# set conversion flags -switch(IT) - case(0): # Signed 32-bit - si32_CONVERT_FROM_BFP(rnd) - case(1): # Unsigned 32-bit - ui32_CONVERT_FROM_BFP(rnd) - case(2): # Signed 64-bit - si64_CONVERT_FROM_BFP(rnd) - default: # Unsigned 64-bit - ui64_CONVERT_FROM_BFP(rnd) - switch(CVM) case(0, 1): # OpenPower semantics if IsNaN(rnd) then diff --git a/openpower/sv/rfc/ls006.mdwn b/openpower/sv/rfc/ls006.mdwn index b1203ec9d..a25d14843 100644 --- a/openpower/sv/rfc/ls006.mdwn +++ b/openpower/sv/rfc/ls006.mdwn @@ -482,17 +482,6 @@ else if FPSCR.RN = 0b10 then else if FPSCR.RN = 0b11 then rnd <- bfp_ROUND_TO_INTEGER_FLOOR(src) -# set conversion flags -switch(IT) - case(0): # Signed 32-bit - si32_CONVERT_FROM_BFP(rnd) - case(1): # Unsigned 32-bit - ui32_CONVERT_FROM_BFP(rnd) - case(2): # Signed 64-bit - si64_CONVERT_FROM_BFP(rnd) - default: # Unsigned 64-bit - ui64_CONVERT_FROM_BFP(rnd) - switch(CVM) case(0, 1): # OpenPower semantics if IsNaN(rnd) then -- 2.30.2