From: Jacob Lifshay Date: Tue, 21 Mar 2023 03:32:14 +0000 (-0700) Subject: remove section of pseudocode that does nothing X-Git-Tag: opf_rfc_ls001_v3~129 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bcd2a14ea008bf6e0bd0834fba470f7edec07a07;p=libreriscv.git remove section of pseudocode that does nothing si64_CONVERT_FROM_BFP and friends don't actually set any flags --- 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