<div>Thanks John!</div><div><br></div>I think if I would have an option to use DSA with AA interface, I would have definitely used it. DSA looks like good/precise alias analysis. I believe somewhere in the future someone will work on integrating precise alias analysis with already very powerful tool. That someone may be me if required for our project :) !<div>


<br></div><div>Manish <br><br><div class="gmail_quote">On Thu, Oct 13, 2011 at 8:59 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>
    On 10/1/11 11:01 PM, Manish Gupta wrote:
    <blockquote type="cite">
      
      Dear All,
      <div><br>
      </div>
      <div>I am trying to use DataStructure Alias Analysis. From the
        code at poolalloc it seems that rDSA needs to be compiled to get
        -ds-aa feature while the Makefile builds just the DSA. <br>
      </div>
    </blockquote>
    <br></div>
    I seem to recall replying to this, but my email client says I
    didn't, so I'm responding again.<br>
    :)<br>
    <br>
    The rDSA code is some experimental code that we abandoned.  We
    removed the -ds-aa pass in mainline poolalloc because we weren't
    maintaining it and, to the best of our knowledge, no one was using
    it.<br>
    <br>
    Someone sent a patch (I think to the mailing list, but potentially
    just to me) that resurrected the -ds-aa pass for DSA with LLVM 2.9
    (note that we don't support LLVM 2.9; I think this person just got
    it to work on his own since LLVM 2.9 and LLVM 3.0 were pretty
    similar at the time).  I didn't integrate it as I didn't have time
    to review it, and it contains other stuff besides the -ds-aa change.<br>
    <br>
    Just out of curiosity, are people interested in using DSA via the
    AliasAnalysis interface?<br>
    <br>
    -- John T.<br>
    <br>
    <blockquote type="cite"><div>
      <div><br>
      </div>
      <div>Please correct me if I am doing something wrong. </div>
      <div><br>
      </div>
      <div>Thanks,</div>
      <div>Manish</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>