[LLVMdev] tbaa
liyi at cs.toronto.edu
liyi at cs.toronto.edu
Mon Dec 5 20:08:46 PST 2011
> On Dec 5, 2011, at 6:04 PM, Daniel Berlin wrote:
>>
>> Yet, aa-eval still says otherwise.
>
> The problem is with aa-eval. It collects all the pointer values in a
> function, and then just makes a bunch of raw pointer queries, rather than
> considering dereferences. TBAA tags are only attached to dereferences.
> So TBAA always has to say MayAlias for every aa-eval query.
>
> Dan
>
>
Hi Dan,
So do you know how to get the correct results from tbaa? It seems
"print-alias-sets" also has all the pointers in one set.
Yi
More information about the llvm-dev
mailing list