This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: "Documentation by paper"
- From: Joern Rennecke <joern dot rennecke at superh dot com>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: joern dot rennecke at superh dot com, gcc at gcc dot gnu dot org
- Date: Tue, 3 Feb 2004 12:17:48 +0000 (GMT)
- Subject: Re: "Documentation by paper"
> Sure. The specification is unrelated to the implementation: the function
> does whatever is needed to compile and optimize a function. The details
> don't matter at all to the specification.
That's not a formal specification, but an informal description, just
as we have in our comments right now. In fact, our current comment goes
into a little detail than that, although it is still necessarily incomplete.
You couldn't use either of these descriptions to tell you all you need
to implement the function separately.