add a bunch of documentation about the LLVM type resolution machinery
[oota-llvm.git] / docs / Lexicon.html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
2 <html>
3 <head>
4   <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
5   <title>The LLVM Lexicon</title>
6   <link rel="stylesheet" href="llvm.css" type="text/css">
7   <meta name="author" content="Various">
8   <meta name="description" 
9   content="A glossary of terms used with the LLVM project.">
10 </head>
11 <body>
12 <div class="doc_title">The LLVM Lexicon</div>
13 <p class="doc_warning">NOTE: This document is a work in progress!</p>
14 <!-- *********************************************************************** -->
15 <div class="doc_section">Table Of Contents</div>
16 <!-- *********************************************************************** -->
17 <div class="doc_text">
18   <table>
19     <tr><th colspan="8"><b>- <a href="#A">A</a> -</b></th></tr>
20     <tr>
21       <td><a href="#ADCE">ADCE</a></td>
22       <td></td>
23       <td></td>
24     </tr>
25     <tr><th colspan="8"><b>- <a href="#B">B</a> -</b></th></tr>
26     <tr>
27       <td><a href="#BURS">BURS</a></td>
28       <td></td>
29       <td></td>
30     </tr>
31     <tr><th colspan="8"><b>- <a href="#C">C</a> -</b></th></tr>
32     <tr>
33       <td><a href="#CSE">CSE</a></td>
34       <td></td>
35       <td></td>
36     </tr>
37     <tr><th colspan="8"><b>- <a href="#D">D</a> -</b></th></tr>
38     <tr>
39       <td><a href="#DSA">DSA</a></td>
40       <td><a href="#DSE">DSE</a></td>
41       <td></td>
42       <td></td>
43     </tr>
44     <tr><th colspan="8"><b>- <a href="#I">I</a> -</b></th></tr>
45     <tr>
46       <td><a href="#IPA">IPA</a></td>
47       <td><a href="#IPO">IPO</a></td>
48       <td></td>
49       <td></td>
50     </tr>
51     <tr><th colspan="8"><b>- <a href="#L">L</a> -</b></th></tr>
52     <tr>
53       <td><a href="#LICM">LICM</a></td>
54       <td><a href="#Load-VN">Load-VN</a></td>
55       <td></td>
56       <td></td>
57     </tr>
58     <tr><th colspan="8"><b>- <a href="#P">P</a> -</b></th></tr>
59     <tr>
60       <td><a href="#PRE">PRE</a></td>
61       <td></td>
62       <td></td>
63     </tr>
64     <tr><th colspan="8"><b>- <a href="#S">S</a> -</b></th></tr>
65     <tr>
66       <td><a href="#SCCP">SCCP</a></td>
67       <td><a href="#SSA">SSA</a></td>
68       <td></td>
69     </tr>
70   </table>
71 </div>
72
73 <!-- *********************************************************************** -->
74 <div class="doc_section">Definitions</div>
75 <!-- *********************************************************************** -->
76 <!-- _______________________________________________________________________ -->
77 <div class="doc_subsection"><a name="A">- A -</a></div>
78 <div class="doc_text">
79   <dl>
80     <dt><a name="ADCE"><b>ADCE</b></a></dt>
81     <dd>Aggressive Dead Code Elimination</dd>
82   </dl>
83 </div>
84 <!-- _______________________________________________________________________ -->
85 <div class="doc_subsection"><a name="B">- B -</a></div>
86 <div class="doc_text">
87   <dl>
88     <dt><a name="BURS"><b>BURS</b></a></dt>
89     <dd>Bottom Up Rewriting System - A method of instruction selection for
90         code generation.  An example is the <a 
91 href="http://www.program-transformation.org/Transform/BURG">BURG</a> tool.</dd>
92   </dl>
93 </div>
94 <!-- _______________________________________________________________________ -->
95 <div class="doc_subsection"><a name="C">- C -</a></div>
96 <div class="doc_text">
97   <dl>
98     <dt><a name="CSE"><b>CSE</b></a></dt>
99     <dd>Common Subexpression Elimination. An optimization that removes common
100     subexpression compuation. For example <tt>(a+b)*(a+b)</tt> has two
101     subexpressions that are the same: <tt>(a+b)</tt>. This optimization would
102     perform the addition only once and then perform the multiply (but only if
103     its compulationally correct/safe).
104   </dl>
105 </div>
106 <!-- _______________________________________________________________________ -->
107 <div class="doc_subsection"><a name="D">- D -</a></div>
108 <div class="doc_text">
109   <dl>
110     <dt><a name="DSA"><b>DSA</b></a></dt>
111     <dd>Data Structure Analysis</dd>
112     <dt><a name="DSE"><b>DSE</b></a></dt>
113     <dd>Dead Store Elimination</dd>
114   </dl>
115 </div>
116 <!-- _______________________________________________________________________ -->
117 <div class="doc_subsection"><a name="I">- I -</a></div>
118 <div class="doc_text">
119   <dl>
120     <dt><a name="IPA"><b>IPA</b></a></dt>
121     <dd>Inter-Procedural Analysis. Refers to any variety of code analysis that
122     occurs between procedures, functions or compilation units (modules).</dd>
123     <dt><a name="IPO"><b>IPO</b></a></dt>
124     <dd>Inter-Procedural Optimization. Refers to any variety of code
125     optimization that occurs between procedures, functions or compilation units
126     (modules).</dd>
127   </dl>
128 </div>
129 <!-- _______________________________________________________________________ -->
130 <div class="doc_subsection"><a name="L">- L -</a></div>
131 <div class="doc_text">
132   <dl>
133     <dt><a name="LICM"><b>LICM</b></a></dt>
134     <dd>Loop Invariant Code Motion</dd>
135     <dt><a name="Load-VN"><b>Load-VN</b></a></dt>
136     <dd>Load Value Numbering</dd>
137   </dl>
138 </div>
139 <!-- _______________________________________________________________________ -->
140 <div class="doc_subsection"><a name="P">- P -</a></div>
141 <div class="doc_text">
142   <dl>
143     <dt><a name="PRE"><b>PRE</b></a></dt>
144     <dd>Partial Redundancy Elimination</dd>
145   </dl>
146 </div>
147 <!-- _______________________________________________________________________ -->
148 <div class="doc_subsection"><a name="S">- S -</a></div>
149 <div class="doc_text">
150   <dl>
151     <dt><a name="SCCP"><b>SCCP</b></a></dt>
152     <dd>Sparse Conditional Constant Propagation
153     <dt><a name="SSA"><b>SSA</b></a></dt>
154     <dd>Static Single Assignment</dd>
155   </dl>
156 </div>
157 <!-- *********************************************************************** -->
158 <hr>
159 <address> <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
160  src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a><a
161  href="http://validator.w3.org/check/referer"><img
162  src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!"></a><a
163  href="http://llvm.cs.uiuc.edu/">The LLVM Team</a><br>
164 <a href="http://llvm.cs.uiuc.edu">The LLVM Compiler Infrastructure</a><br>
165 Last modified: $Date$
166 </address>
167 <!-- vim: sw=2
168 -->
169 </body>
170 </html>