[llvm-dev] Represent Fortran alias information in LLVM IR

[David Greene via llvm-dev]

Jeroen Dobbelaere via llvm-dev <llvm-dev at lists.llvm.org> writes:

> Hi,
>
> any idea how aliasing rules in Fortran compare to 'restrict' in C/__restrict in C++ ?
> If they are comparable, [0].[1] could maybe help ?

"restrict" was originally introduced into C to mimic the Fortran
aliasing rules.  I am no expert on it but the fellow who wrote the
"restrict" proposal still works here.  I should think Jeroen's work
would be applicable to representing Fortran aliasing rules.

                     -David

> Greetings,
>
> Jeroen Dobbelaere
>
> [0] https://lists.llvm.org/pipermail/llvm-dev/2019-October/135672.html
> [1] https://reviews.llvm.org/D68484
>
>
> From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of Kelvin Li via llvm-dev
> Sent: Tuesday, April 14, 2020 20:21
> To: llvm-dev at lists.llvm.org; flang-dev at lists.llvm.org
> Subject: [llvm-dev] Represent Fortran alias information in LLVM IR
>
> Hi,
>
> We, IBM XL Fortran compiler team, is interested in representing Fortran alias information in LLVM IR.  We use the XL Fortran frontend to emit LLVM IR that includes alias information to feed to the LLVM in order to create object files.  For the Fortran alias representation in LLVM IR, we considered both TBAA and ScopeAlias/NoAlias metadata approaches, we think that the ScopeAlias/NoAlias metadata is more appropriate for refined alias information for Fortran.  The XL Fortran frontend emits the alias info in terms of what other symbols that a symbol alias to.  We experiment a scheme that represents the alias relation in terms of noalias and scope alias metadata in LLVM IR.  An example is shown in the attached slides and the full .ll file for the example is also attached.
>
> In this experiment, we observe that the performance gain varies from workload to workload, and the extent can be from a few percent to 2X.  The compile time and the size of the IR increase as well.
>
> We briefly investigated the possible causes of the long compile time and the large IR size issues.  For the compile-time performance, we observe:
> - Each alias query (ScopedNoAliasAAResult::mayAliasInScopes) involves partitioning a metadata set based on the domains of the metadata elements.  One possible solution is that pre-partitioning the metadata sets and maintaining the partitions on updates can help.
> - Intersection of noalias sets is O(n^2) as metadata elements do not have any ordering. Defining some order on the elements can help significantly.
> - Some optimizations do not scale well when the size of the working instruction set increases, e.g. SCEV functions.
>
> For the size of LLVM IR, the noalias metadata requires a flattened set of metadata nodes.  A hierarchical representation can reduce memory footprint.
>
> With these findings, we would like to start a thread to discuss how to express Fortran alias in LLVM IR.  Any comments and information regarding any previous approaches are welcome.
>
>
>
>
>
> Thanks,
> Kelvin Li
> Tarique Islam
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev