[all-commits] [llvm/llvm-project] 33a7f1: [flang] Added coarse grained alias analysis for FIR.

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 33a7f162d627f522a5dedc06ce2de4a30b2588bc
      https://github.com/llvm/llvm-project/commit/33a7f162d627f522a5dedc06ce2de4a30b2588bc
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2023-01-11 (Wed, 11 Jan 2023)

  Changed paths:
    M flang/include/flang/Optimizer/Analysis/AliasAnalysis.h
    M flang/lib/Optimizer/Analysis/AliasAnalysis.cpp
    A flang/test/Analysis/AliasAnalysis/alias-analysis-1.fir
    A flang/test/Analysis/AliasAnalysis/alias-analysis-2.fir
    A flang/test/Analysis/AliasAnalysis/alias-analysis-3.fir
    R flang/test/lib/Analysis/AliasAnalysis/alias-analysis-1.fir

  Log Message:
  -----------
  [flang] Added coarse grained alias analysis for FIR.

These are experimental changes in Flang AA to provide
at least some means to disambiguate memory accesses in some
simple cases. This AA is still not used by any transformation,
so the LIT tests are the only way to trigger it currently.
I will further look into applying this AA within Flang
to address some of the known performance issues in the benchmarks.

Credits to @Renaud-K for the initial implementation.

Differential Revision: https://reviews.llvm.org/D141410