[all-commits] [llvm/llvm-project] ed018d: [fir][aa] Add opt-in cache for use by fir AliasAna...

[Kareem Ergawy via All-commits]

  Branch: refs/heads/users/ergawy/fir-aa-effects-cache
  Home:   https://github.com/llvm/llvm-project
  Commit: ed018d60f7ec28c1521606ea7ffd1da92bb480ae
      https://github.com/llvm/llvm-project/commit/ed018d60f7ec28c1521606ea7ffd1da92bb480ae
  Author: ergawy <kareem.ergawy at gmail.com>
  Date:   2026-09-08 (Tue, 08 Sep 2026)

  Changed paths:
    M flang/include/flang/Optimizer/Analysis/AliasAnalysis.h
    M flang/lib/Optimizer/Analysis/AliasAnalysis.cpp
    M flang/lib/Optimizer/Transforms/LoopInvariantCodeMotion.cpp

  Log Message:
  -----------
  [fir][aa] Add opt-in cache for use by fir AliasAnalysis clients

Adds AliasAnalysisRecursiveEffectsCache, an opt-in cache that memoizes
per-operation read/write summaries so that getModRef on an operation with
HasRecursiveMemoryEffects does not re-walk its nested regions on every
query.

This is independent of the getSource() memoization added separately: that
one is keyed on (value, flags) and answers "what memory does this value
refer to", while this one is keyed on the operation and answers "what does
this operation and everything nested in it read and write". LICM enables
both, since it only hoists pure-read ops and so invalidates neither.



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