Using full restrict to map sets of variables to a universe

Hi Kelvin, Tarique,

Based on what I understood from your explanation yesterday in the LLVM AA Technical call,
you can probably use following technique to map 'sets of global variables' to their own 'alias scope':

The (rough) c equivalent code looks like:

Hi Jeroen,

Thanks very much for the suggestion. We are going to explore the idea. We need to think a bit more about representing partially overlapping groups.

Regards,
Tarique Islam
XL Fortran Compiler Development
IBM Toronto Software Lab

graycol.gifJeroen Dobbelaere —2020-07-15 06:42:53 AM—Hi Kelvin, Tarique, Based on what I understood from your explanation yesterday in the LLVM AA Techni