[PATCH] D58560: [AST] Set 'MayAlias' instead of 'MustAlias' in AliasSets for PHI nodes (bugzilla bug#36801)

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> Then LoopRotate calls the above magic using the SSAUpdater, "informing" the cached AliasSetTracker first that %p.0 is replaced with null and then that %p.0  is replaced with %arrayidx

Calling ValueIsRAUWd (allUsesReplacedWith) when the operation isn't equivalent to an RAUW seems dubious in general; maybe we should add a new callback?  Haven't really looked closely at what other implementations of allUsesReplacedWith are doing.


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

https://reviews.llvm.org/D58560