[PATCH] D121415: [FunctionAttrs] Infer argmemonly .

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Working backwards from each memory instruction seems potentially extremely expensive.  We could clearly do a forward walk to identify an OK set, then return false if any memory access is in that set.  Not sure the complexity is worth it though, have you run compile time measurements with this patch?

The other benefit to the forward walk is that you could process the entire SCC at once, and have speculative membership in that set.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121415