Hi John,<div><br></div><div>Thanks for the reply. The project that Jing is working on is for a class that I'm TAing for and it involves evaluating the effectiveness of the alias analysis support in LLVM. We've modified the project so that it doesn't require looking at -ds-aa or -steens-aa since it sounds like those aren't available anymore (originally we had included that as a requirement because of what's in the documentation).</div>
<div><br></div><div>Do you think those passes might be added back in the future? If not would it make sense to remove them from the documentation (we saw them listed in the current documentation so that is why we thought they should work).</div>
<div><br></div><div>Also I'm working on another project with someone that is using DSA. I had a couple of questions about DSA based on your response.</div><div><br></div><div>1) What happens if we specify running multiple DSA passes, such as: -dsa-td -dsa-local</div>
<div><br></div><div>2) If we are interested in both intra- and inter-procedural alias analysis would switching from -dsa-td to -dsa-eq get that for us.</div><div><br></div><div>Thanks for your help.</div><div><br></div><div>
-Gabriel</div><div><br><div class="gmail_quote">On Mon, May 20, 2013 at 7:13 AM, John Criswell <span dir="ltr"><<a href="mailto:criswell@illinois.edu" target="_blank">criswell@illinois.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000"><div class="im">
<div>On 5/19/13 11:46 AM, Jing Zhou wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div>
<div>
<div>
<div>
<div>Greeting.<br>
<br>
</div>
I am working on one DSA related project. Got several
questions about LLVM's DSA analysis:<br>
</div>
<br>
1. I looked through the llvm doc, it seems "-ds-aa"
option is the one I should use. (<a href="http://llvm.org/docs/AliasAnalysis.html#the-ds-aa-pass" target="_blank">http://llvm.org/docs/AliasAnalysis.html#the-ds-aa-pass</a>).
however based on the poolalloc's svn history, this option
was removed on (or before) 2011. May I know why this one
was removed ? and is there any equivalent option (or
options combination) in current poolalloc project ?<br>
</div>
</div>
</div>
</div>
</blockquote>
<br></div>
We removed ds-aa because it had bit-rotted and very few people were
using it. There was a patch to resurrect it, but it didn't apply
cleanly (I think we moved from LLVM 3.0 to 3.2 between the time the
patch was submitted and the time I got around to looking at it), and
there was only 1 user of ds-aa, so making it work was low priority.<br>
<br>
How you should use the DSA analysis depends on what you're doing.
For intra-procedural alias analysis queries, you can use the DSGraph
straight from the BottomUp or TopDown DSA analysis passes. For both
intra- and inter-procedural alias analysis queries, you can use the
DSNodeEquivs pass. If you need a shape graph, you can use the
DSGraph interface directly.<br>
<br>
If you could tell me how you want to use DSA, I can explain which
approach to use and how to make it work.<div class="im"><br>
<br>
<blockquote type="cite">
<div dir="ltr">
<div>
<div>
<div>
<br>
</div>
2. I checked the svn history of poolalloc. there is no
update to trunk since last Nov. the release_32 branch was
updated this March. I am wondering which one is good to use
? and are they compatible with latest llvm trunk or llvm
release_3_3 branch ?<br>
</div>
</div>
</div>
</blockquote>
<br></div>
The release_32 branch is the actively maintained branch at the
moment. When we're ready to to move to LLVM 3.3, we'll merge the
release_32 branch back into trunk and then update the code to
compile with LLVM 3.3.<br>
<br>
While I don't have a timeline yet for when the update to LLVM 3.3
will happen, I think the earliest date that we'd begin an update
would be July or August.<br>
<br>
-- John T.<br>
<br>
<blockquote type="cite"><div class="im">
<div dir="ltr">
<div>
<div>
<br>
</div>
thank you in advance<br>
<br>
</div>
<div>btw: I am not in the llvmdev email alias, please include my
email address in your reply.<br>
</div>
<div><br>
</div>
<div>-Jing<br>
<br>
</div>
</div>
<br>
<fieldset></fieldset>
<br>
</div><pre>_______________________________________________
LLVM Developers mailing list
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
</div>
</blockquote></div><br></div>