<div dir="ltr">FWIW: It's also possible to just fix AA without InstSimplify just by replacing what it uses with something more powerful.<div>That would avoid disturbing the other users.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 16, 2018 at 7:09 AM, John Brawn via Phabricator <span dir="ltr"><<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">john.brawn added a comment.<br>
<br>
I've posted by attempt to fix this in alias anlysis in <a href="https://reviews.llvm.org/D44564" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D44564</a>, but the problem is that it's actually InstSimplify that's the underlying thing being used to figure out the value of the PHI, and that's used all over the place and causes knock-on changes that require work to be done elsewhere.<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="https://reviews.llvm.org/D44160" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D44160</a><br>
<br>
<br>
<br>
</div></div></blockquote></div><br></div>