[PATCH] D44715: [MemorySSA] Fix exponential compile-time updating MemorySSA.

Daniel Berlin via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Mar 20 19:35:27 PDT 2018


dberlin added a comment.

So, staring at https://pp.info.uni-karlsruhe.de/uploads/publikationen/braun13cc.pdf, i don't see how we can get exponential time, and thus wonder if i screwed this up somehow.
I can see we walk blocks to find the defs and they don't have to (because of how they use it), but that should only add a factor of O(N).

In particular, i believe each block should only ever be visited twice.


Repository:
  rL LLVM

https://reviews.llvm.org/D44715





More information about the llvm-commits mailing list