[all-commits] [llvm/llvm-project] 04e06a: [flang] Support declarations scoping in FIR AA. (#...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 04e06adc44f3c4cd7b7c62fd9d6c828cfe79eee2
      https://github.com/llvm/llvm-project/commit/04e06adc44f3c4cd7b7c62fd9d6c828cfe79eee2
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2026-06-09 (Tue, 09 Jun 2026)

  Changed paths:
    M flang/include/flang/Optimizer/Analysis/AliasAnalysis.h
    M flang/lib/Optimizer/Analysis/AliasAnalysis.cpp
    A flang/test/Analysis/AliasAnalysis/alias-analysis-scoped-origins.fir
    M flang/test/Analysis/AliasAnalysis/ptr-component.fir

  Log Message:
  -----------
  [flang] Support declarations scoping in FIR AA. (#201216)

Further experimentation with MLIR inlining showed that
FIR AA becomes more conservative once a subprogram is inlined.

For example:
```
subroutine caller(p1,p2)
  real, pointer :: p1,p1
  call callee(p1,p2)
end
subroutine callee(a1,a2)
  real :: a1,a2
  a1 = a2
end
```

After `callee` is inlined, FIR AA assumes that `a1` and `a2`
alias at the point of the assignment, because it classifies them
as pointer accesses.

This patch adds a machinery to collect declaration information
for multiple subprogram scopes (as currently defined by
`fir.dummy_scope`),
so that FIR AA can use this information for better disambiguation.

Assisted by Cursor



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications