[LLVMdev] Aliasing Question

[Ryan Taylor]

Maybe this is a better question: What is the most exhaustive AA algo that I
can currently use with LLVM 3.1?

On Tue, May 29, 2012 at 11:55 AM, Ryan Taylor <ryta1203 at gmail.com> wrote:

> 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/20120530/45125ebe/attachment.html>