[tree-ssa] RFC: Never gimplify ASM_EXPRs
Geert Bosch
bosch@gnat.com
Fri Jun 6 18:21:00 GMT 2003
On Thursday, Jun 5, 2003, at 20:51 America/New_York, Richard Henderson
wrote:
> I wonder if GIMPLE needs better annotations on parameters?
> In particular, I recall that Ada can explicitly set in, out
> or inout in the source code.
That is true, but the implementation has some freedom to pass
things either by value (ie. copy in, copy out) or by reference.
Only for scalars is pass-by-value required. In practice, GNAT
tries to follow the C ABI where equivalent C types exist.
-Geert
More information about the Gcc
mailing list