[www] r325638 - open projects gsoc'18: add function attribute inference idea

[Nuno Lopes via llvm-commits]

Author: nlopes
Date: Tue Feb 20 14:56:28 2018
New Revision: 325638

URL: http://llvm.org/viewvc/llvm-project?rev=325638&view=rev
Log:
open projects gsoc'18: add function attribute inference idea

Modified:
    www/trunk/OpenProjects.html

Modified: www/trunk/OpenProjects.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=325638&r1=325637&r2=325638&view=diff
==============================================================================
--- www/trunk/OpenProjects.html (original)
+++ www/trunk/OpenProjects.html Tue Feb 20 14:56:28 2018
@@ -19,6 +19,9 @@
       <ul>
         <li><a href="#llvm_domtree_updater">Implement a single updater class for Dominators</a></li>
       </ul>
+      <ul>
+        <li><a href="#llvm_function_attributes">Improve function attribute inference</a></li>
+      </ul>
     </li>
     <li>
     <a href="http://lldb.llvm.org/"><b>LLDB</b></a><ul>
@@ -272,6 +275,19 @@ main <a href="https://developers.google.
 </div>
 
 <!-- *********************************************************************** -->
+<div class="www_subsubsection">
+  <a name="llvm_function_attributes">Improve function attribute inference</a>
+</div>
+<!-- *********************************************************************** -->
+
+<div class="www_text">
+  <p><b>Description of the project:</b> LLVM functions can be tagged with several <a href="http://llvm.org/docs/LangRef.html#function-attributes">attributes</a> such as the function only reads memory, or the function cannot throw exceptions. These attributes are used by many optimizations when deciding if a particular transformation is valid or not. Functions attributes can be either given by the frontend or be inferred by LLVM.<br>
+  The goal of this project is to improve current function attributes inference algorithms, and to infer attributes that are not inferred right now. This will be accomplished via intra- and/or inter-procedural analyses. See <a href="http://lists.llvm.org/pipermail/llvm-dev/2018-February/121269.html">this email</a> for a list of oportunities for improvement.</p>
+  <p><b>Confirmed Mentor:</b> Nuno Lopes</p>
+  <p><b>Desirable skills:</b> Intermediate knowledge of C++. Optional familiarity with static analysis/abstract interpretation.</p>
+</div>
+
+<!-- *********************************************************************** -->
 <div class="www_subsection">
   <a>LLDB</a>
 </div>