<span style><span style="background-color:rgb(255,255,255)"><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>