Maybe this is a better question: What is the most exhaustive AA algo that I can currently use with LLVM 3.1?<br><br><div class="gmail_quote">On Tue, May 29, 2012 at 11:55 AM, Ryan Taylor <span dir="ltr"><<a href="mailto:ryta1203@gmail.com" target="_blank">ryta1203@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span><span><span style="background-color:rgb(0,0,0)"><span style="background-color:rgb(255,255,255)">I just have two questions regarding the following small piece of code:<br>
<br>      if (var > start*end) {<br>         arr[var] = arr[var-1];<br>      }<br>      else {<br>         arr[var] = arr[var+1];<br>      }<br><br>1. Why does llvm put the address computation in the branched blocks instead of the common dominator?<br>


2. Why does the AliasAnalysis return MayAlias instead of MustAlias?<br><br>Thanks.<br></span></span></span></span>
</blockquote></div><br>