[LLVMdev] tbaa

Duncan Sands baldrick at free.fr
Mon Dec 5 00:32:43 PST 2011

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.

More information about the llvm-dev mailing list