[OpenPOWER-HDL-Cores] Power ISA v3.0B FP "STORE" function, potential specification discrepancy

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat May 15 12:55:16 UTC 2021

No Denormalization Required (includes Zero / Infin-
ity / NaN)
if FRS1:11 > 896 or FRS1:63 = 0 then
      WORD0:1 <- FRS0:1
      WORD2:31 <- FRS5:34

should that be "FRS[12:63] = 0", testing the mantissa for zero?
or is it genuinely testing "both exponent and mantissa for zero"?


crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2021-05-15_13-52.png
Type: image/png
Size: 14457 bytes
Desc: not available
URL: <http://lists.mailinglist.openpowerfoundation.org/pipermail/openpower-hdl-cores/attachments/20210515/128ed1fc/attachment.png>

More information about the OpenPOWER-HDL-Cores mailing list