diff options
| author | Dominik Adamski <dominik.adamski@amd.com> | 2025-06-10 16:46:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-10 16:46:13 +0200 |
| commit | 007d29e30c6e311501ed97b7a368521622319620 (patch) | |
| tree | d9b237294766bbd9fed83ab8a87d5af877a162da /llvm/lib/Transforms/Utils/LoopUtils.cpp | |
| parent | f7967effa3e071eb77449068c06d9a617b5d6945 (diff) | |
| download | llvm-007d29e30c6e311501ed97b7a368521622319620.zip llvm-007d29e30c6e311501ed97b7a368521622319620.tar.gz llvm-007d29e30c6e311501ed97b7a368521622319620.tar.bz2 | |
[Flang] Turn on alias analysis for locally allocated objects (#143489)
Previously, a bug in the MemCptOpt LLVM IR pass caused issues with
adding alias tags for locally allocated objects for Fortran code.
However, the bug has now been fixed (https://github.com/llvm/llvm-project/pull/129537 ),
and we can safely enable alias tags for these objects. This change should
improve the accuracy of the alias analysis.
More accurate alias analysis assumes that Cray pointers do not alias
with other variables. This assumption is common among other compilers.
If the code violates this assumption, it can lead to incorrect results
(see: https://github.com/llvm/llvm-project/issues/141928)
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUtils.cpp')
0 files changed, 0 insertions, 0 deletions