[LLVMdev] tbaa

[liyi at cs.toronto.edu]

Hi,

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?

Thanks.
Yi