<div dir="ltr"><div>Hi all,<br><br></div>This email is to serve as a reminder in regards to my previous email querying about the present implementation of PRE in LLVM.<br><br>In
 case the present scope of PRE in LLVM is as I mentioned my previous 
email, which is fairly restricted, than I would like to take it up as a 
GSoC project to extend the scope of PRE in LLVM.<div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div>Thanks,</div>Aradhya Biswas,<br>Final Year Undergraduate Student,<div>Department of Computer Science and Engineering,<br>Indian Institute of Technology Hyderabad<br><div style="display:inline"></div><div style="display:inline"></div></div></div></div></div>
<br><div class="gmail_quote">On Tue, Mar 10, 2015 at 6:06 PM, Aradhya Biswas <span dir="ltr"><<a href="mailto:cs11b003@iith.ac.in" target="_blank">cs11b003@iith.ac.in</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr"><div><div><span style="color:rgb(0,0,0)">Hello everyone,<br></span></div><div><span style="color:rgb(0,0,0)"><br>I am 
Aradhya Biswas, currently in senior year of my undergraduate studies in 
the field of Computer Science and Engineering at Indian Institute of 
Technology Hyderabad (IITH). <br><br></span></div><span style="color:rgb(0,0,0)">I was first introduced to LLVM about a year ago in the course "Principles of Compiler Design" (<a href="http://www.iith.ac.in/%7Eramakrishna/Compilers-Aug14/" target="_blank">http://www.iith.ac.in/~ramakrishna/Compilers-Aug14/</a>) at IITH. Since the introduction, I have used  LLVM for a multitude of my course assignments and mini-projects. </span><div><span style="color:rgb(0,0,0)"><br></span></div><span style="color:rgb(0,0,0)">While
 studying the compiler optimization theory, LLVM always served as best 
tool for experimenting. But recently when I came across the concept of 
Partial Redundancy Elimination, I could not find any exclusive 
implementation of it in the present LLVM framework. On digging a little 
deeper, I could find that the implementation of GVN subsumes the load 
PRE and a specific case (namely, the diamond case) of scalar PRE in the 
present LLVM framework. <br><br><span>I had two question in this regards :<br></span></span></div><ol><li><span style="color:rgb(0,0,0)">Where can I find the theory related to load PRE implemented <a href="http://llvm.org/docs/doxygen/html/GVN_8cpp_source.html" target="_blank">here</a> (line no. 01517) ?</span></li><li><span style="color:rgb(0,0,0)">Are there any other implementation of PRE in the present LLVM framework ? </span></li></ol><div><span style="color:rgb(0,0,0)">Thanks,</span></div><span style="color:rgb(0,0,0)">Aradhya Biswas<br>Final Year Undergraduate Student,<br>Department of Computer Science and Engineering,<br>Indian Institute of Technology Hyderabad</span></div></div>
</blockquote></div><br></div></div>