This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch, fortran] Load scalar intent-in variables at the beginning of procedures
Hi Richard, hi all,
On 11/21/19 2:16 PM, Tobias Burnus wrote:
I wonder whether there is a 'fn attr' which can tell that the first
argument of 'print_i' does not cause the address of 'i' escape.
I think one needs two attributes, one which tells that the address of
the object itself does not escape. I think that covers all scalars and,
hence, things which can then easily optimized.
And another one which tells (for a struct) that this address and all
pointers in that struct do not escape – or something like that. Here, I
am many thinking of arrays with array descriptors. There one has a
struct consisting of the meta data (array bounds) and of one element
called 'data' which points to the actual array data. There might be
fewer optimization possibilities in general (as keeping track of a whole
array is more involved), but there should be still some important ones.
Cheers,
Tobias