[all-commits] [llvm/llvm-project] 575a64: [flang] Follow memory source through more operatio...

[Renaud Kauffmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 575a6483062b8a77b35f48589b2acc1020195ac7
      https://github.com/llvm/llvm-project/commit/575a6483062b8a77b35f48589b2acc1020195ac7
  Author: Renaud Kauffmann <50748669+Renaud-K at users.noreply.github.com>
  Date:   2023-09-19 (Tue, 19 Sep 2023)

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

  Log Message:
  -----------
  [flang] Follow memory source through more operations (#66713)

Add support for fir.box_addr, fir.array_corr, fir.coordinate, fir.embox,
fir.rebox and fir.load.

1) Through the use of boolean `followBoxAddr` determine whether the
analysis should apply to the address of the box or the address wrapped
by the box.
2) Some asserts have been removed to allow for more SourceKinds though
the flow, in a particular SourceKind::Direct
3) getSource was a public method but the returned type (SourceKind) was
not public making it impossible to be called publicly
4) About 12 tests have been added to check for real Fortran scenarios 
5) More tests will be added with HLFIR
6) A few TODOs have been identified and will need to be addressed in
follow-up patches. I felt that more changes would increase the
complexity of the patch.