diff options
| author | Nikita Popov <npopov@redhat.com> | 2025-06-12 14:13:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-12 14:13:15 +0200 |
| commit | bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3 (patch) | |
| tree | 82a91f05642bfb051c09b98024e4d05f8296946b /llvm/lib/CodeGen | |
| parent | 2ecbfc0beb42abbbd2c3d28bfd576b38c44a5b46 (diff) | |
| download | llvm-bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3.zip llvm-bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3.tar.gz llvm-bc7fafbeea08bf8cd9a18fa10d3d3bc63f0c45a3.tar.bz2 | |
[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).
Diffstat (limited to 'llvm/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions