[LLVMdev] LLVM Alias Analysis

[Wan Zhiyuan]

Hi Xin,
Thank you for your reply!

I have tried the 3 alias analyses you have mentioned on LLVM 3.5:
1) $ opt -globalsmodref-aa -aa-eval < xxx.bc > /dev/null
(May-alias response 100%)
2) $ opt -tbaa -aa-eval < xxx.bc > /dev/null
(May-alias response 100%)
3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null
 (Unknown command line argument '-cfl-aa')

It seems that they are not working properly. Could you please give some
advice?

And I was wondering if these alias analyses can produce alias results as
precise as andersen or steensgaard.

Thank you!
Zhiyuan

On Thu, Apr 9, 2015 at 10:19 PM, Xin Tong <trent.tong at gmail.com> wrote:

> Hi Zhiyuan
>
> LLVM has globalsmodref-aa for global variables, TBAA - type based
> alias analysis and CFL-AA.
>
> Xin
>
> On Tue, Apr 7, 2015 at 9:32 PM, Wan Zhiyuan <wanzhiyuan at gmail.com> wrote:
> > Dear all,
> > I was wondering if there are some reliable alias analyses build on top of
> > LLVM other than basicaa.
> >
> > Thank you!
> >
> > Zhiyuan
> >
> > _______________________________________________
> > 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/20150409/963af822/attachment.html>