[PATCH] D83762: [Attributor][WIP] allow multiple branches in followUsesInMBEC

[Shinji Okumura via Phabricator via llvm-commits]

okura created this revision.
okura added a reviewer: jdoerfert.
Herald added subscribers: llvm-commits, bbn, kuter, uenoku, hiraditya.
Herald added a reviewer: sstefan1.
Herald added a reviewer: uenoku.
Herald added a reviewer: homerdin.
Herald added a reviewer: baziotis.
Herald added a project: LLVM.

This is the next patch of D65593 <https://reviews.llvm.org/D65593> and D75923 <https://reviews.llvm.org/D75923>.
This patch makes it possible to propagate known state properly even when there are multiple branches.
To do that, this computes state for each context instruction (program point) from states of other program points, and repeat it until a fixpoint is reached.


https://reviews.llvm.org/D83762

Files:
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D83762.277780.patch
Type: text/x-patch
Size: 6866 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200714/fab0fc74/attachment.bin>