[Libre-soc-bugs] [Bug 980] Implement C-based Power ISA pseudocode compiler
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Mon Dec 4 08:46:03 GMT 2023
https://bugs.libre-soc.org/show_bug.cgi?id=980
--- Comment #24 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #23)
> (In reply to Jacob Lifshay from comment #19)
>
> > so you're suggesting *deleting* the function signatures from the PowerISA
> > specification?
>
> no. don't be absurd.
>
> if they are in section 1.3 book I i need to see the wording.
afaict they're not there. functions are just implicitly defined.
they are explicitly mentioned though (v3.1B):
section title: 7.6.2.2 VSX Instruction RTL Function Calls
and then it proceeds to define a bunch of functions, some in pseudo-code, some
partially english description, many calling other defined functions.
so, they have functions that they define and use lots of places, just they
never define what a function is or how to interpret one -- they probably assume
the reader has heard of function calls and returns before (which imo is a good
assumption, but being explicit is almost always better).
> i don't ever recall seeing them. if not there that needs raising
> with OPF ISA WG.
you want to do that?
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-soc-bugs
mailing list