<div dir="ltr">I just googled and found some efforts to implement SSAPRE (1997 PLDI - Fred Chow, et al.) which is dated 2011 mailing list and GVN-PRE (university of utah). I wonder whether any well-recognized algorithm(s) and development for PRE on ssa is available for LLVM.<div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 1, 2014 at 10:45 AM, Bob Wilson <span dir="ltr"><<a href="mailto:bob.wilson@apple.com" target="_blank">bob.wilson@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
> On Sep 30, 2014, at 10:37 PM, GangRyung Uh <<a href="mailto:guh@boisestate.edu">guh@boisestate.edu</a>> wrote:<br>
><br>
><br>
> Hi,<br>
><br>
>     I wonder what PRE algorithm is used for the GVN.cpp in LLVM. Any reference will be appreciated.<br>
<br>
</span>GVN does not implement any real PRE algorithm. There is some ad-hoc code to catch some simple cases, but that’s all.</blockquote></div><br><br clear="all"><div><br></div>-- <br>Gang-Ryung Uh, Associate Professor<br>Department of Computer Science<br>College of Engineering, Boise State Univerisity<br>tel: 1 208 426-5691  <a href="mailto:e-mail%3Aguh@boisestate.edu">e-mail:guh@boisestate.edu</a><br><a href="http://cs.boisestate.edu/~uh">http://cs.boisestate.edu/~uh</a><br><br>
</div>