Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

Hi,

One way to do this is by using the DSNodeEquivs class which is
declared in poolalloc/include/assistDS/. This class computes the
equivalence classes of DSNodes across the whole program, so if you
query it and find that two values belong in DSNodes of different
equivalence classes, you know they don't alias. If you're interested
in using this, there is a slight modification that you need to perform
to make the analysis sound (namely merging the classes of incomplete
DSNodes). I have code that does this already so email me if you're
interested.

Matt

On Thu, Apr 26, 2012 at 3:23 PM, Luo, Qingzhou 
<qluo2 AT illinois.edu>
 wrote:
> Hi,
>
> Prof. Vikram Adve mentioned there's an inter-procedural alias analysis in
> poolalloc. I'm wondering could anyone please point me to some
> examples/materials of how to use this analysis in LLVM, and what kind of
> queries it could answer?
>
> Thank you very much,
>
> Regards,
>
> Qingzhou
>
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev
>