[all-commits] [llvm/llvm-project] bc7faf: [AA] Take read-only provenance captures into accou...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3
      https://github.com/llvm/llvm-project/commit/bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-06-12 (Thu, 12 Jun 2025)

  Changed paths:
    M llvm/include/llvm/Analysis/AliasAnalysis.h
    M llvm/include/llvm/Analysis/CaptureTracking.h
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/lib/Analysis/CaptureTracking.cpp
    M llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
    M llvm/test/Analysis/BasicAA/captures.ll
    M llvm/test/Transforms/GVN/captures.ll

  Log Message:
  -----------
  [AA] Take read-only provenance captures into account (#143097)

Update the AA CaptureAnalysis providers to return CaptureComponents, so
we can distinguish between full provenance and read-only provenance
captures.

Use this to restrict "other" memory effects on call from ModRef to Ref.

Ideally we would also apply the same reasoning for escape sources, but
the current API cannot actually convey the necessary information (we can
only say NoAlias or MayAlias, not MayAlias but only via Ref).



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