diff options
author | David Goldblatt <davidgoldblatt@fb.com> | 2022-12-16 10:52:32 -0800 |
---|---|---|
committer | Wenlei He <aktoon@gmail.com> | 2022-12-16 11:05:00 -0800 |
commit | 61042d2806af6b7202f1008d67b00c8dcfca62d6 (patch) | |
tree | 79bdcb698f14016809bce312ad62e5be7987edc6 /llvm/lib/IR/Function.cpp | |
parent | bc5e385e2fafc136629d879f5650557f30ab1f52 (diff) | |
download | llvm-61042d2806af6b7202f1008d67b00c8dcfca62d6.zip llvm-61042d2806af6b7202f1008d67b00c8dcfca62d6.tar.gz llvm-61042d2806af6b7202f1008d67b00c8dcfca62d6.tar.bz2 |
[AA][Intrinsics] Add separate_storage assumptions.
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.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D136514
Diffstat (limited to 'llvm/lib/IR/Function.cpp')
0 files changed, 0 insertions, 0 deletions