[llvm-dev] Represent Fortran alias information in LLVM IR
Kelvin Li via llvm-dev
llvm-dev at lists.llvm.org
Thu Apr 16 12:38:17 PDT 2020
Hi Jeroen,
As far as I know, some dummy arguments in Fortran have the restrict
property.
Thanks for the information. We were pointed to your patch during the last
Flang technical call when we presented our work. We are still going thru
it and we will definitely look into if it helps Fortran alias. By the way,
the Flang technical meeting will continue to discuss Fortran alias topic
next Monday (Apr 20, 2020 @ 11:30 EDT). Hope that you can join and
provide your insight.
Thanks,
Kelvin
From: Jeroen Dobbelaere <Jeroen.Dobbelaere at synopsys.com>
To: Kelvin Li <kli at ca.ibm.com>, "flang-dev at lists.llvm.org"
<flang-dev at lists.llvm.org>, "llvm-dev at lists.llvm.org"
<llvm-dev at lists.llvm.org>
Date: 2020/04/15 12:08 PM
Subject: [EXTERNAL] RE: [llvm-dev] Represent Fortran alias
information in LLVM IR
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 ?
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200416/83148e36/attachment.html>
More information about the llvm-dev
mailing list