baldrick at free.fr
Mon Dec 5 00:32:43 PST 2011
> 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.
More information about the llvm-dev