Great! Both are good reference points. Thanks for the help!<br><br><div class="gmail_quote">On Wed, Mar 18, 2009 at 12:01 AM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">2009/3/17 Shone Sadler <<a href="mailto:shone.sadler@gmail.com">shone.sadler@gmail.com</a>>:<br>

</div><div class="im">> I was more specifically looking through the source<br>
> code for a place where Reaching Definitions was implemented to derive those<br>
> uses and/or to generate the SSA.<br>
<br>
</div>mem2reg (llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp)<br>
transforms to SSA form, but that's the conventional SSA construction<br>
algorithm, which doesn't really use reaching definitions.  The closest<br>
thing to what you're looking for is probably memdep<br>
(llvm/lib/Analysis/MemoryDependenceAnalysis.cpp).<br>
<font color="#888888"><br>
-Eli<br>
</font><div><div></div><div class="h5">_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div><br>