<div dir="ltr">Sorry. I realized exactly what you said and thought i removed the comment, but apparently not :)<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 9, 2016 at 2:14 PM, Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">reames added inline comments.<br>
<span class=""><br>
================<br>
Comment at: lib/Analysis/BasicAliasAnalysis.cpp:744<br>
@@ -731,1 +743,3 @@<br>
</span><span class="">+  }<br>
+<br>
   // While the assume intrinsic is marked as arbitrarily writing so that<br>
</span>----------------<br>
<span class="">dberlin wrote:<br>
> What happens to alloca here?<br>
</span>Nothing, it's not a call site.<br>
<br>
I think what you're getting at is whether we need alloca handling in MDA.  The flow there is unchanged.  The mustalias (early def) case is exactly the same and Alloca's don't modify memory so we explicitly skip over them.  The previous code would have either early continued or hit the NoModRef case inside getModRefInfo(Instruction*, MemLoc); in either case, we skip the alloca.<br>
<br>
Actually, that points out the isa<AllocaInst> check I added in MDA is completely redundant.  I'll; remove that.<br>
<br>
<br>
<a href="http://reviews.llvm.org/D15912" rel="noreferrer" target="_blank">http://reviews.llvm.org/D15912</a><br>
<br>
<br>
<br>
</blockquote></div><br></div>