[PATCH] D72016: [Attributor] Propagate known information from `checkForAllCallSites`

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert marked an inline comment as done.
jdoerfert added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:2667
 
+    if (AllCallSitesKnown && AllKnownDead)
+      indicateOptimisticFixpoint();
----------------
baziotis wrote:
> Maybe something similar can be done for `AAValueSimplifyArgument`?
True, probably for others as well. Though, especially AAValueSimplifyArgument is somewhat in flux right now. The follow up applies this to AANoRecurse in order to get rid of the last FIXMEs in the norecurse test.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D72016/new/

https://reviews.llvm.org/D72016