[LLVMdev] tbaa

[Duncan Sands]

Hi Yi,

> Could anyone tell me how exactly do I use "Type Based Alias Analysis"?
>
> I compiled the C program with Clang, and verified that there is tbaa
> metadata in the IR code.
>
> But then when I use "opt -tbaa input.c.bc -aa-eval" to check the results,
> it always gives 100% may aliasing no matter what input.

you need to run some optimizations on your bitcode, at least mem2reg, to get
it in a form where alias analysis will do something useful.

Ciao, Duncan.