[Libre-soc-isa] [Bug 1087] change pseudocode to prevent output register write only when causing a fp trap and output is in same regfile as input

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed May 24 11:27:42 BST 2023


--- Comment #32 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #29)

> which part can i not do? the part with the current semantics which i
> thoroughly dislike with reading RT? or the part with changing the pseudocode
> to always write RT which I think is the best option overall?

neither.  just mention in the english language of the spec page

   "on a FP exception, RT is UNDEFINED.  Additionally, if Rc=1,
    CR0.SO is set to 1, all other bits of CR0 are UNDEFINED"

and don't touch CR0 in the psuedocode at all.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the Libre-SOC-ISA mailing list