[PATCH] D80991: [WIP][Attributor] AAPotentialValues Attribute

[Shinji Okumura via Phabricator via llvm-commits]

okura created this revision.
okura added a reviewer: jdoerfert.
Herald added a reviewer: sstefan1.
Herald added a reviewer: uenoku.
Herald added subscribers: llvm-commits, kuter, uenoku.
Herald added a project: LLVM.
okura updated this revision to Diff 267838.

As discussed in D68934 <https://reviews.llvm.org/D68934>, an abstract attribute which collects all potential values for each value is planned to be introduced. Ultimately, it is expected that functionalities of AAValueSimplify and AAReturnedValues are unified and replaced by this AA, and that value simplification is improved. But we implement it separately from those AAs at first.


https://reviews.llvm.org/D80991

Files:
  llvm/test/Transforms/Attributor/potential.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D80991.267838.patch
Type: text/x-patch
Size: 3500 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200602/8f488a95/attachment.bin>