<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 4/9/15 11:13 PM, Wan Zhiyuan wrote:<br>
</div>
<blockquote
cite="mid:CAFBNOft47_oRcE7SLsYVF3Pr+g-cwd1HmrNQo+3w9=UTvB9smA@mail.gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=UTF-8">
<div dir="ltr">Hi Xin,
<div>Thank you for your reply!</div>
</div>
</blockquote>
<br>
There is the DSA points-to analysis in the poolalloc project. It
works with an older version of LLVM and will be more difficult to
use, but it's a unification-based analysis. Just be forewarned that
it's not as accurate as it was when originally written (due to
reduced field sensitivity due to changes to LLVM over time; it's a
long story explained during another recent thread).<br>
<br>
<blockquote
cite="mid:CAFBNOft47_oRcE7SLsYVF3Pr+g-cwd1HmrNQo+3w9=UTvB9smA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div><br>
</div>
<div>I have tried the 3 alias analyses you have mentioned on
LLVM 3.5:</div>
<div>1) $ opt -globalsmodref-aa -aa-eval < xxx.bc >
/dev/null </div>
<div>(May-alias response 100%)<br>
</div>
<div>2) $ opt -tbaa -aa-eval < xxx.bc > /dev/null </div>
<div>(May-alias response 100%)</div>
<div>3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null</div>
<div> (Unknown command line argument '-cfl-aa')<br>
</div>
<div><br>
</div>
<div>It seems that they are not working properly. Could you
please give some advice?</div>
</div>
</blockquote>
<br>
That doesn't look right at all, but I'm not sure what's causing the
issue. That said, since we don't know how xxx.bc was created (or
what it contains), it'll be hard for anyone to pinpoint the problem.<br>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
<blockquote
cite="mid:CAFBNOft47_oRcE7SLsYVF3Pr+g-cwd1HmrNQo+3w9=UTvB9smA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div><br>
</div>
<div>And I was wondering if these alias analyses can produce
alias results as precise as andersen or steensgaard.</div>
<div><br>
</div>
<div>Thank you!<br>
</div>
<div>Zhiyuan</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Apr 9, 2015 at 10:19 PM, Xin
Tong <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:trent.tong@gmail.com" target="_blank">trent.tong@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote">Hi Zhiyuan<br>
<br>
LLVM has globalsmodref-aa for global variables, TBAA - type
based<br>
alias analysis and CFL-AA.<br>
<br>
Xin<br>
<div>
<div class="h5"><br>
On Tue, Apr 7, 2015 at 9:32 PM, Wan Zhiyuan <<a
moz-do-not-send="true"
href="mailto:wanzhiyuan@gmail.com">wanzhiyuan@gmail.com</a>>
wrote:<br>
> Dear all,<br>
> I was wondering if there are some reliable alias
analyses build on top of<br>
> LLVM other than basicaa.<br>
><br>
> Thank you!<br>
><br>
> Zhiyuan<br>
><br>
</div>
</div>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a moz-do-not-send="true"
href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>
<a moz-do-not-send="true"
href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
> <a moz-do-not-send="true"
href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev"
target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
><br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a class="moz-txt-link-freetext" href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a>
<a class="moz-txt-link-freetext" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="http://www.cs.rochester.edu/u/criswell">http://www.cs.rochester.edu/u/criswell</a></pre>
</body>
</html>