[Libre-soc-bugs] [Bug 980] Implement C-based Power ISA pseudocode compiler

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sun Jan 14 02:22:57 GMT 2024


https://bugs.libre-soc.org/show_bug.cgi?id=980

--- Comment #93 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #90)
> do NOT attempt to get the compiler to emit code that sets the ok flag.
> 
> let the oppc_{arithmetic*} functions handle it.

all assignments need to set ok too, in the simulator copy_assign_rhs does that
by calling SelectableInt's constructor:
https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=src/openpower/decoder/helpers.py;h=918a409eaf8e57762d7c67f692e6bd16d75dccba;hb=97f603213814159f6da349735f7a2a07d72c42cf#l78

so, for now, you likely only need to ensure anything that writes to an oppc_int
is a function call, where ok = true can be put.

later, not as part of this bug, we will need to support more than just
oppc_int, e.g. the bfp_* code uses a rational number as the mantissa
(SelectableMSB0Fraction, which likely needs more than 64 bits in both numerator
and denominator), and a BFPState struct.

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


More information about the libre-soc-bugs mailing list