Fix srcdir <> objdir builds with ocaml 2.10. Downrev versions don't care whether
[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     </tr>
23     <tr><th colspan="8"><b>- <a href="#B">B</a> -</b></th></tr>
24     <tr>
25       <td><a href="#BURS">BURS</a></td>
26     </tr>
27     <tr><th colspan="8"><b>- <a href="#C">C</a> -</b></th></tr>
28     <tr>
29       <td><a href="#CSE">CSE</a></td>
30     </tr>
31     <tr><th colspan="8"><b>- <a href="#D">D</a> -</b></th></tr>
32     <tr>
33       <td><a href="#DSA">DSA</a></td>
34       <td><a href="#DSE">DSE</a></td>
35     </tr>
36     <tr><th colspan="8"><b>- <a href="#I">I</a> -</b></th></tr>
37     <tr>
38       <td><a href="#IPA">IPA</a></td>
39       <td><a href="#IPO">IPO</a></td>
40     </tr>
41     <tr><th colspan="8"><b>- <a href="#L">L</a> -</b></th></tr>
42     <tr>
43       <td><a href="#LCSSA">LCSSA</a></td>
44       <td><a href="#LICM">LICM</a></td>
45       <td><a href="#Load-VN">Load-VN</a></td>
46     </tr>
47     <tr><th colspan="8"><b>- <a href="#P">P</a> -</b></th></tr>
48     <tr>
49       <td><a href="#PRE">PRE</a></td>
50     </tr>
51     <tr><th colspan="8"><b>- <a href="#R">R</a> -</b></th></tr>
52     <tr>
53       <td><a href="#Reassociation">Reassociation</a></td>
54     </tr>
55     <tr><th colspan="8"><b>- <a href="#S">S</a> -</b></th></tr>
56     <tr>
57       <td><a href="#SCC">SCC</a></td>
58       <td><a href="#SCCP">SCCP</a></td>
59       <td><a href="#SRoA">SRoA</a></td>
60       <td><a href="#SSA">SSA</a></td>
61     </tr>
62   </table>
63 </div>
64
65 <!-- *********************************************************************** -->
66 <div class="doc_section">Definitions</div>
67 <!-- *********************************************************************** -->
68 <!-- _______________________________________________________________________ -->
69 <div class="doc_subsection"><a name="A">- A -</a></div>
70 <div class="doc_text">
71   <dl>
72     <dt><a name="ADCE"><b>ADCE</b></a></dt>
73     <dd>Aggressive Dead Code Elimination</dd>
74   </dl>
75 </div>
76 <!-- _______________________________________________________________________ -->
77 <div class="doc_subsection"><a name="B">- B -</a></div>
78 <div class="doc_text">
79   <dl>
80     <dt><a name="BURS"><b>BURS</b></a></dt>
81     <dd>Bottom Up Rewriting System - A method of instruction selection for
82         code generation.  An example is the <a 
83 href="http://www.program-transformation.org/Transform/BURG">BURG</a> tool.</dd>
84   </dl>
85 </div>
86 <!-- _______________________________________________________________________ -->
87 <div class="doc_subsection"><a name="C">- C -</a></div>
88 <div class="doc_text">
89   <dl>
90     <dt><a name="CSE"><b>CSE</b></a></dt>
91     <dd>Common Subexpression Elimination. An optimization that removes common
92     subexpression compuation. For example <tt>(a+b)*(a+b)</tt> has two
93     subexpressions that are the same: <tt>(a+b)</tt>. This optimization would
94     perform the addition only once and then perform the multiply (but only if
95     its compulationally correct/safe).
96   </dl>
97 </div>
98 <!-- _______________________________________________________________________ -->
99 <div class="doc_subsection"><a name="D">- D -</a></div>
100 <div class="doc_text">
101   <dl>
102     <dt><a name="DSA"><b>DSA</b></a></dt>
103     <dd>Data Structure Analysis</dd>
104     <dt><a name="DSE"><b>DSE</b></a></dt>
105     <dd>Dead Store Elimination</dd>
106   </dl>
107 </div>
108 <!-- _______________________________________________________________________ -->
109 <div class="doc_subsection"><a name="I">- I -</a></div>
110 <div class="doc_text">
111   <dl>
112     <dt><a name="IPA"><b>IPA</b></a></dt>
113     <dd>Inter-Procedural Analysis. Refers to any variety of code analysis that
114     occurs between procedures, functions or compilation units (modules).</dd>
115     <dt><a name="IPO"><b>IPO</b></a></dt>
116     <dd>Inter-Procedural Optimization. Refers to any variety of code
117     optimization that occurs between procedures, functions or compilation units
118     (modules).</dd>
119   </dl>
120 </div>
121 <!-- _______________________________________________________________________ -->
122 <div class="doc_subsection"><a name="L">- L -</a></div>
123 <div class="doc_text">
124   <dl>
125         <dt><a name="LCSSA"><b>LCSSA</b></a></dt>
126         <dd>Loop-Closed Static Single Assignment Form</dd>
127     <dt><a name="LICM"><b>LICM</b></a></dt>
128     <dd>Loop Invariant Code Motion</dd>
129     <dt><a name="Load-VN"><b>Load-VN</b></a></dt>
130     <dd>Load Value Numbering</dd>
131   </dl>
132 </div>
133
134 <!-- _______________________________________________________________________ -->
135 <div class="doc_subsection"><a name="P">- P -</a></div>
136 <div class="doc_text">
137   <dl>
138     <dt><a name="PRE"><b>PRE</b></a></dt>
139     <dd>Partial Redundancy Elimination</dd>
140   </dl>
141 </div>
142
143 <!-- _______________________________________________________________________ -->
144 <div class="doc_subsection"><a name="R">- R -</a></div>
145 <div class="doc_text">
146   <dl>
147     <dt><a name="Reassociation"><b>Reassociation</b></a></dt> <dd>Rearranging
148     associative expressions to promote better redundancy elimination and other
149     optimization.  For example, changing (A+B-A) into (B+A-A), permitting it to
150     be optimized into (B+0) then (B).
151   </dl>
152 </div>
153
154 <!-- _______________________________________________________________________ -->
155 <div class="doc_subsection"><a name="S">- S -</a></div>
156 <div class="doc_text">
157   <dl>
158     <dt><a name="SCC"><b>SCC</b></a></dt>
159     <dd>Strongly Connected Component</dd>
160     <dt><a name="SCCP"><b>SCCP</b></a></dt>
161     <dd>Sparse Conditional Constant Propagation</dd>
162     <dt><a name="SRoA"><b>SRoA</b></a></dt>
163     <dd>Scalar Replacement of Aggregates</dd>
164     <dt><a name="SSA"><b>SSA</b></a></dt>
165     <dd>Static Single Assignment</dd>
166   </dl>
167 </div>
168 <!-- *********************************************************************** -->
169 <hr>
170 <address> <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
171  src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a><a
172  href="http://validator.w3.org/check/referer"><img
173  src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!"></a><a
174  href="http://llvm.org/">The LLVM Team</a><br>
175 <a href="http://llvm.org">The LLVM Compiler Infrastructure</a><br>
176 Last modified: $Date$
177 </address>
178 <!-- vim: sw=2
179 -->
180 </body>
181 </html>