[LLVMdev] A very basic doubt about LLVM Alias Analysis

[Daniel Berlin]

>
>
>
> And here nowhere it shows even a may alias relation between i & j.
> I am interpreting this by looking at No Alias/May Alias/Must Alias
> outputs shown infron of them. eg
>
>  NoAlias:    i32** %i, i32** %j
>
> I interpret it as no alias relation between i & j.

Because the pointers being used aren't named i & j anymore.
 MayAlias:    i32* %2, i32* %4
 MayAlias:    i32* %2, i32* %k
 MayAlias:    i32* %4, i32* %k

  %2 = load i32** %j, align 4                     ; <i32*> [#uses=1]
  %4 = load i32** %i, align 4                     ; <i32*> [#uses=1]