[LLVMdev] Aliasing Question

[Ryan Taylor]

I just have two questions regarding the following small piece of code:

      if (var > start*end) {
         arr[var] = arr[var-1];
      }
      else {
         arr[var] = arr[var+1];
      }

1. Why does llvm put the address computation in the branched blocks instead
of the common dominator?
2. Why does the AliasAnalysis return MayAlias instead of MustAlias?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120529/8ac8bddb/attachment.html>