[PATCH] D136514: [AA][Intrinsics] Add separate_storage assumptions.

[David Goldblatt via Phabricator via llvm-commits]

davidtgoldblatt created this revision.
Herald added subscribers: jeroen.dobbelaere, asbirlea, george.burgess.iv, hiraditya.
Herald added a project: All.
davidtgoldblatt updated this revision to Diff 476279.
davidtgoldblatt retitled this revision from "[Intrinsics] Add 'llvm.experimental.separate.storage' intrinsic" to "[AA][Intrinsics] Add separate_storage assumptions.".
davidtgoldblatt edited the summary of this revision.
davidtgoldblatt added a comment.
Herald added subscribers: jdoerfert, pengfei.
davidtgoldblatt published this revision for review.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Updating per review comments.


This operand bundle on an assume informs alias analysis that the
arguments point to regions of memory that were allocated separately
(i.e. different heap allocations, different allocas, or different
globals).

As a safety measure, we leave the analysis flag-disabled by default.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D136514

Files:
  llvm/include/llvm/Analysis/SeparateStorageAliasAnalysis.h
  llvm/include/llvm/Bitcode/LLVMBitCodes.h
  llvm/include/llvm/IR/Attributes.td
  llvm/lib/Analysis/SeparateStorageAliasAnalysis.cpp
  llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
  llvm/lib/IR/Verifier.cpp
  llvm/lib/Transforms/Utils/CodeExtractor.cpp
  llvm/test/Analysis/SeparateStorageAliasAnalysis/alias_test.ll
  llvm/test/CodeGen/X86/opt-pipeline.ll
  llvm/test/Verifier/assume-bundles.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D136514.476279.patch
Type: text/x-patch
Size: 13574 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221118/c9a2e97d/attachment.bin>