[PATCH] D103859: [Attributor] Introduce an optimistic getUnderlyingObjects helper

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: homerdin, kuter, sstefan1, uenoku, baziotis.
Herald added subscribers: ormris, okura, bollu, hiraditya.
jdoerfert requested review of this revision.
Herald added a subscriber: bbn.
Herald added a project: LLVM.

As the `llvm::getUnderlyingObjects` helper, the optimistic version
collects objects that might be the base of a given pointer. In contrast
to the llvm variant, the optimistic one will use assumed information,
e.g., about select conditions or dead blocks, to provide a more precise
result.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D103859

Files:
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp
  llvm/test/Transforms/Attributor/nocapture-1.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103859.350453.patch
Type: text/x-patch
Size: 26107 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210607/59472fb4/attachment.bin>