[LLVMdev] A very basic doubt about LLVM Alias Analysis

Daniel Berlin dberlin at dberlin.org
Sun Feb 14 20:42:15 PST 2010

> 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]

In general, you can't expect the names of variables in the bitcode
will have any relationship to the names of variables in the source
You can figure out the mapping using debug info, but expecting the
output of aa-eval and printing to tell you anything about the source
is a bad idea.

More information about the llvm-dev mailing list