[PATCH] D50295: Let GetUnderlyingObject/Objects use MemorySSA

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

Thanks for the comments!

@hfinkel The motivation is that GetUnderlyingObject stucks at cases like this:

  store i8* %p, i8** %q
  %p2 = load i8*, i8** %q ; p2 is p

If we have MemorySSA, this can be resolved in constant time. I believe BasicAliasAnalysis can get benefit this, hence supporting partially flow sensitive analysis.

Regarding GetUnderlyingObjects - this patch contains update to help GetUnderlyingObjects use MemorySSA as well, by passing the argument into MemorySSA. I found that description/title of this patch wasn't containing the info. so I updated it.


https://reviews.llvm.org/D50295