Thank you very much! <div>It's similar to reaching definition. After obtaining the<div>program dependence graph, I want to perform a forward slicing on it for a </div><div>given instruction. An inter-procedural analysis would be better. I'll take a look</div>
<div>at your pointers and maybe start trying with simple ones.</div><div><br></div><div>David<br><br><div class="gmail_quote">On Wed, Aug 8, 2012 at 7:50 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 8/8/12 2:40 AM, David Huang wrote:<br>
    </div>
    <blockquote type="cite">
      
      Hi All,
      <div>I want to build dependence graph for a function for forward
        slicing.</div>
    </blockquote>
    <br></div>
    I assume that this is something like reaching definitions analysis,
    correct?  Just out of curiosity, do you need an intra-procedural
    analysis or an inter-procedural analysis?<div class="im"><br>
    <br>
    <blockquote type="cite">
      <div>I found the PgmDependenceGraph.cpp in a very old release of</div>
      <div>poolalloc. But it seems to be gone for long.</div>
      <div>I'm wondering is there a similar class out there in the
        current release?</div>
    </blockquote>
    <br></div>
    We haven't built a new version that uses DSA.  I think building an
    intra-procedural analysis with DSA would be pretty easy.  If you
    need an inter-procedural analysis, that would be more difficult to
    build, but you could probably build a simple one using the
    DSNodeEquivs pass (this pass equivalences classes DSNodes from
    different functions if they may refer to the same memory object).<br>
    <br>
    We also have an internal analysis pass that may do something similar
    to what you need.  I'll check with our students to see if my hunch
    is correct and, if so, whether we can give you a copy.<br>
    <br>
    -- John T.<br>
    <br>
    <blockquote type="cite">
      <div>Thanks very much!</div>
      <div><br>
      </div>
      <div>David</div>
      <br>
      <fieldset></fieldset>
      <br>
      <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></div>