[LLVMdev] tbaa

liyi at cs.toronto.edu liyi at cs.toronto.edu
Fri Dec 2 11:44:05 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.

Am I using "tbaa" correctly?


More information about the llvm-dev mailing list