[LLVMdev] Alias Analysis Problem in LICM

[Lei Shang]

As far as I know, there are some academic works on pointer analysis (alias
analysis) implementations open source on LLVM. Some are flow-insensitive
and some are flow-sensitive.
For example: http://www.cs.ucsb.edu/~benh/downloads.html

As I remembered, there exists Andersens alias analysis in LLVM-2.5
lib/Analysis/IPA/Andersens.cpp, which has been removed in later LLVM
versions for some buggy problems. You may have a try the old versions.

Lei Shang



2011/11/4 Gan <george.gan at gmail.com>

> Hi John,
>
> Thank you for your reply! Please see my other questions below:
>
> > DSA is a unification-based points-to analysis.  The interface to use it
> as
> > an AliasAnalysis pass was removed since no one was using it and it was
> > probably buggy.
>
> - When you say "it was probably buggy", what is buggy? the
> "interface", or the AliasAnalysis?
>
> I'm so surprise that no one is using it.
>
> > There are currently two routes for re-adding it.  One is to
> > review and fix up a patch that was submitted earlier this year.  The
> other
> > approach is to rewrite the code from scratch.  The former approach may be
> > easier, but I don't know how well the code would work in practice.  The
> > latter approach could be easily done using some code that we wrote (and
> > could probably distribute if someone wants to tackle this problem).
>
> I can see that you like the latter approach. Let me think whether I
> have time to do it.
>
> Do you have any plan to integrate DSA into LLVM mailine, say the 3.0
> release?
> I learned from your previous emails that you are working on this goal.
> What is the
> current status?
>
> Thank you again for your reply!
>
> --
> Best Regards
>
> Gan
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20111104/ea3d47a8/attachment.html>