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

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:2667
 
+    if (AllCallSitesKnown && AllKnownDead)
+      indicateOptimisticFixpoint();
----------------
jdoerfert wrote:
> 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.
Ok, good, I'll take a look.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D72016