[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