Re: Specifying parameter passing convention and place (register)

["Nick Roberts" <nick.roberts@acm.org>]

On 6 Jul 2004 23:14:19 -0500, Larry Kilgallen <Kilgallen@SpamCop.net>  
wrote:

>> Where would I find the documentation for this, please? I have
>> sought but not found.
>
> I would presume it is in the GNAT documentation.

Hehe. First place I looked Larry ;-)

Unfortunately, the GNAT documentation simply refers the reader to the DEC  
documentation, and I cannot find the DEC documentation anywhere :-(

> I would think the fact that GNAT also implements it would be
> a good reason.  DEC Ada is still used on VAX and Alpha, but
> is not being ported to the Itanium implementation of VMS.
> No new features are being added, but support is available
> from HP.

But the point is that GNAT only implements it for VMS targets, and it  
doesn't seem that any Ada compiler targetting VMS has much of future.

> The current name is either Compaq Ada or HP Ada, depending
> on how far the renaming police have gotten.

Well, HP say it is now called 'HP Ada'. Can we have that with sauce?

>> GNAT on any other platform (than VMS) uses the GCC way of
>> inlining machine code, which I am certainly not going to
>> replicate.
>
> I was referring to calling other languages, not inlining.

Yes, but machine code insertions and parameter passing mechanisms are  
deeply intertwined. In particular, a (usable) implementation must provide  
a way to access parameters in a machine code insertion. This is typically  
done by means of implementation-specific attributes, and I'd be interested  
in knowing what attributes (and related pragmas) other Ada implementations  
use, and why.

-- 
Thanks again,
Nick Roberts