docs/Passes.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
   2                       "http://www.w3.org/TR/html4/strict.dtd">
   3 <html>
   4 <head>
   5   <title>LLVM's Analysis and Transform Passes</title>
   6   <link rel="stylesheet" href="llvm.css" type="text/css">
   7 </head>
   8 <body>
   9
  10 <div class="doc_title">LLVM's Analysis and Transform Passes</div>
  11
  12 <ol>
  13   <li><a href="#intro">Introduction</a></li>
  14   <li><a href="#analyses">Analysis Passes</a>
  15   <li><a href="#transforms">Transform Passes</a></li>
  16   <li><a href="#utilities">Utility Passes</a></li>
  17 </ol>
  18
  19 <div class="doc_author">
  20   <p>Written by <a href="mailto:rspencer@x10sys.com">Reid Spencer</a></p>
  21 </div>
  22
  23 <!-- ======================================================================= -->
  24 <div class="doc_section"> <a name="intro">Introduction</a> </div>
  25 <div class="doc_text">
  26   <p>This document serves as a high level summary of the optimization features
  27   that LLVM provides. Optimizations are implemented as Passes that traverse some
  28   portion of a program to either collect information or transform the program.
  29   THe table below divides the passes that LLVM provides into three categories.
  30   Analysis passes compute information that other passes can use or for debugging
  31   or program visualization purposes. Transform passes can use (or invalidate)
  32   the analysis passes. Transform passes all mutate the program in some way.
  33   Utility passes provides ome utility but don't otherwise fit categorization.
  34   For example passes to extract functions to bytecode or write a module to
  35   bytecode are neither analysis nor transform passes.
  36   <p>The table below provides a quick summary of each pass and links to the more
  37   complete pass description later in the document.</p>
  38 </div>
  39 <div class="doc_text" >
  40 <table>
  41 <tr><th colspan="3"><b>ANALYSIS PASSES</b></th></tr>
  42 <tr><th>Option</th><th>Name</th><th>Directory</th></tr>
  43 <tr><td><a href="#aa-eval">-aa-eval</a></td><td>Exhaustive Alias Analysis Precision Evaluator</td></tr>
  44 <tr><td><a href="#anders-aa">-anders-aa</a></td><td>Andersen's Interprocedural Alias Analysis</td></tr>
  45 <tr><td><a href="#basicaa">-basicaa</a></td><td>Basic Alias Analysis (default AA impl)</td></tr>
  46 <tr><td><a href="#basiccg">-basiccg</a></td><td>Basic CallGraph Construction</td></tr>
  47 <tr><td><a href="#basicvn">-basicvn</a></td><td>Basic Value Numbering (default GVN impl)</td></tr>
  48 <tr><td><a href="#callgraph">-callgraph</a></td><td>Print a call graph</td></tr>
  49 <tr><td><a href="#callscc">-callscc</a></td><td>Print SCCs of the Call Graph</td></tr>
  50 <tr><td><a href="#cfgscc">-cfgscc</a></td><td>Print SCCs of each function CFG</td></tr>
  51 <tr><td><a href="#count-aa">-count-aa</a></td><td>Count Alias Analysis Query Responses</td></tr>
  52 <tr><td><a href="#debug-aa">-debug-aa</a></td><td>AA use debugger</td></tr>
  53 <tr><td><a href="#domfrontier">-domfrontier</a></td><td>Dominance Frontier Construction</td></tr>
  54 <tr><td><a href="#domset">-domset</a></td><td>Dominator Set Construction</td></tr>
  55 <tr><td><a href="#domtree">-domtree</a></td><td>Dominator Tree Construction</td></tr>
  56 <tr><td><a href="#etforest">-etforest</a></td><td>ET Forest Construction</td></tr>
  57 <tr><td><a href="#externalfnconstants">-externalfnconstants</a></td><td>Print external fn callsites passed constants</td></tr>
  58 <tr><td><a href="#globalsmodref-aa">-globalsmodref-aa</a></td><td>Simple mod/ref analysis for globals</td></tr>
  59 <tr><td><a href="#idom">-idom</a></td><td>Immediate Dominators Construction</td></tr>
  60 <tr><td><a href="#instcount">-instcount</a></td><td>Counts the various types of Instructions</td></tr>
  61 <tr><td><a href="#intervals">-intervals</a></td><td>Interval Partition Construction</td></tr>
  62 <tr><td><a href="#load-vn">-load-vn</a></td><td>Load Value Numbering</td></tr>
  63 <tr><td><a href="#loops">-loops</a></td><td>Natural Loop Construction</td></tr>
  64 <tr><td><a href="#no-aa">-no-aa</a></td><td>No Alias Analysis (always returns 'may' alias)</td></tr>
  65 <tr><td><a href="#no-profile">-no-profile</a></td><td>No Profile Information</td></tr>
  66 <tr><td><a href="#postdomfrontier">-postdomfrontier</a></td><td>Post-Dominance Frontier Construction</td></tr>
  67 <tr><td><a href="#postdomset">-postdomset</a></td><td>Post-Dominator Set Construction</td></tr>
  68 <tr><td><a href="#postdomtree">-postdomtree</a></td><td>Post-Dominator Tree Construction</td></tr>
  69 <tr><td><a href="#postetforest">-postetforest</a></td><td>Post-ET-Forest Construction</td></tr>
  70 <tr><td><a href="#postidom">-postidom</a></td><td>Immediate Post-Dominators Construction</td></tr>
  71 <tr><td><a href="#print">-print</a></td><td>Print function to stderr</td></tr>
  72 <tr><td><a href="#print-alias-sets">-print-alias-sets</a></td><td>Alias Set Printer</td></tr>
  73 <tr><td><a href="#print-callgraph">-print-callgraph</a></td><td>Print Call Graph to 'dot' file</td></tr>
  74 <tr><td><a href="#print-cfg">-print-cfg</a></td><td>Print CFG of function to 'dot' file</td></tr>
  75 <tr><td><a href="#print-cfg-only">-print-cfg-only</a></td><td>Print CFG of function to 'dot' file (with no function bodies)</td></tr>
  76 <tr><td><a href="#printm">-printm</a></td><td>Print module to stderr</td></tr>
  77 <tr><td><a href="#printusedtypes">-printusedtypes</a></td><td>Find Used Types</td></tr>
  78 <tr><td><a href="#profile-loader">-profile-loader</a></td><td>Load profile information from llvmprof.out</td></tr>
  79 <tr><td><a href="#scalar-evolution">-scalar-evolution</a></td><td>Scalar Evolution Analysis</td></tr>
  80 <tr><td><a href="#targetdata">-targetdata</a></td><td>Target Data Layout</td></tr>
  81
  82
  83 <tr><th colspan="3"><b>TRANSFORM PASSES</b></th></tr>
  84 <tr><th>Option</th><th>Name</th><th>Directory</th></tr>
  85 <tr><td><a href="#adce">-adce</a></td><td>Aggressive Dead Code Elimination</td></tr>
  86 <tr><td><a href="#argpromotion">-argpromotion</a></td><td>Promote 'by reference' arguments to scalars</td></tr>
  87 <tr><td><a href="#block-placement">-block-placement</a></td><td>Profile Guided Basic Block Placement</td></tr>
  88 <tr><td><a href="#break-crit-edges">-break-crit-edges</a></td><td>Break Critical Edges in CFG</td></tr>
  89 <tr><td><a href="#cee">-cee</a></td><td>Correlated Expression Elimination</td></tr>
  90 <tr><td><a href="#condprop">-condprop</a></td><td>Conditional Propagation</td></tr>
  91 <tr><td><a href="#constmerge">-constmerge</a></td><td>Merge Duplicate Global Constants</td></tr>
  92 <tr><td><a href="#constprop">-constprop</a></td><td>Simple constant propagation</td></tr>
  93 <tr><td><a href="#dce">-dce</a></td><td>Dead Code Elimination</td></tr>
  94 <tr><td><a href="#deadargelim">-deadargelim</a></td><td>Dead Argument Elimination</td></tr>
  95 <tr><td><a href="#deadtypeelim">-deadtypeelim</a></td><td>Dead Type Elimination</td></tr>
  96 <tr><td><a href="#die">-die</a></td><td>Dead Instruction Elimination</td></tr>
  97 <tr><td><a href="#dse">-dse</a></td><td>Dead Store Elimination</td></tr>
  98 <tr><td><a href="#gcse">-gcse</a></td><td>Global Common Subexpression Elimination</td></tr>
  99 <tr><td><a href="#globaldce">-globaldce</a></td><td>Dead Global Elimination</td></tr>
 100 <tr><td><a href="#globalopt">-globalopt</a></td><td>Global Variable Optimizer</td></tr>
 101 <tr><td><a href="#indmemrem">-indmemrem</a></td><td>Indirect Malloc and Free Removal</td></tr>
 102 <tr><td><a href="#indvars">-indvars</a></td><td>Canonicalize Induction Variables</td></tr>
 103 <tr><td><a href="#inline">-inline</a></td><td>Function Integration/Inlining</td></tr>
 104 <tr><td><a href="#insert-block-profiling">-insert-block-profiling</a></td><td>Insert instrumentation for block profiling</td></tr>
 105 <tr><td><a href="#insert-edge-profiling">-insert-edge-profiling</a></td><td>Insert instrumentation for edge profiling</td></tr>
 106 <tr><td><a href="#insert-function-profiling">-insert-function-profiling</a></td><td>Insert instrumentation for function profiling</td></tr>
 107 <tr><td><a href="#insert-null-profiling-rs">-insert-null-profiling-rs</a></td><td>Measure profiling framework overhead</td></tr>
 108 <tr><td><a href="#insert-rs-profiling-framework">-insert-rs-profiling-framework</a></td><td>Insert random sampling instrumentation framework</td></tr>
 109 <tr><td><a href="#instcombine">-instcombine</a></td><td>Combine redundant instructions</td></tr>
 110 <tr><td><a href="#internalize">-internalize</a></td><td>Internalize Global Symbols</td></tr>
 111 <tr><td><a href="#ipconstprop">-ipconstprop</a></td><td>Interprocedural constant propagation</td></tr>
 112 <tr><td><a href="#ipsccp">-ipsccp</a></td><td>Interprocedural Sparse Conditional Constant Propagation</td></tr>
 113 <tr><td><a href="#lcssa">-lcssa</a></td><td>Loop-Closed SSA Form Pass</td></tr>
 114 <tr><td><a href="#licm">-licm</a></td><td>Loop Invariant Code Motion</td></tr>
 115 <tr><td><a href="#loop-extract">-loop-extract</a></td><td>Extract loops into new functions</td></tr>
 116 <tr><td><a href="#loop-extract-single">-loop-extract-single</a></td><td>Extract at most one loop into a new function</td></tr>
 117 <tr><td><a href="#loop-reduce">-loop-reduce</a></td><td>Loop Strength Reduction</td></tr>
 118 <tr><td><a href="#loop-unroll">-loop-unroll</a></td><td>Unroll Loops</td></tr>
 119 <tr><td><a href="#loop-unswitch">-loop-unswitch</a></td><td>Unswitch Loops</td></tr>
 120 <tr><td><a href="#loopsimplify">-loopsimplify</a></td><td>Canonicalize Natural Loops</td></tr>
 121 <tr><td><a href="#lower-packed">-lower-packed</a></td><td>Lower Packed Operations</td></tr>
 122 <tr><td><a href="#lowerallocs">-lowerallocs</a></td><td>Lower allocations from instructions to calls</td></tr>
 123 <tr><td><a href="#lowergc">-lowergc</a></td><td>Lower GC intrinsics, for GCless code generators</td></tr>
 124 <tr><td><a href="#lowerinvoke">-lowerinvoke</a></td><td>Lower Invoke and Unwind</td></tr>
 125 <tr><td><a href="#lowerselect">-lowerselect</a></td><td>Lower Selects To Branches</td></tr>
 126 <tr><td><a href="#lowersetjmp">-lowersetjmp</a></td><td>Lower Set Jump</td></tr>
 127 <tr><td><a href="#lowerswitch">-lowerswitch</a></td><td>Lower SwitchInst's to branches</td></tr>
 128 <tr><td><a href="#mem2reg">-mem2reg</a></td><td>Promote Memory to Register</td></tr>
 129 <tr><td><a href="#mergereturn">-mergereturn</a></td><td>Unify Function Exit Nodes</td></tr>
 130 <tr><td><a href="#predsimplify">-predsimplify</a></td><td>Predicate Simplifier</td></tr>
 131 <tr><td><a href="#prune-eh">-prune-eh</a></td><td>Remove unused exception handling info</td></tr>
 132 <tr><td><a href="#raiseallocs">-raiseallocs</a></td><td>Raise allocations from calls to instructions</td></tr>
 133 <tr><td><a href="#reassociate">-reassociate</a></td><td>Reassociate Expressions</td></tr>
 134 <tr><td><a href="#reg2mem">-reg2mem</a></td><td>Demote Values to Memory</td></tr>
 135 <tr><td><a href="#scalarrepl">-scalarrepl</a></td><td>Scalar Replacement of Aggregates</td></tr>
 136 <tr><td><a href="#sccp">-sccp</a></td><td>Sparse Conditional Constant Propagation</td></tr>
 137 <tr><td><a href="#simplify-libcalls">-simplify-libcalls</a></td><td>Simplify well-known library calls</td></tr>
 138 <tr><td><a href="#simplifycfg">-simplifycfg</a></td><td>Simplify the CFG</td></tr>
 139 <tr><td><a href="#strip">-strip</a></td><td>Strip all symbols from a module</td></tr>
 140 <tr><td><a href="#tailcallelim">-tailcallelim</a></td><td>Tail Call Elimination</td></tr>
 141 <tr><td><a href="#tailduplicate">-tailduplicate</a></td><td>Tail Duplication</td></tr>
 142 <tr><th colspan="3"><b>UTILITY PASSES</b></th></tr>
 143 <tr><th>Option</th><th>Name</th><th>Directory</th></tr>
 144 <tr><td><a href="#deadarghaX0r">-deadarghaX0r</a></td><td>Dead Argument Hacking (BUGPOINT ONLY)</td></tr>
 145 <tr><td><a href="#extract-blocks">-extract-blocks</a></td><td>Extract Basic Blocks From Module (BUGPOINT ONLY)</td></tr>
 146 <tr><td><a href="#emitbytecode">-emitbytecode</a></td><td>Bytecode Writer</td></tr>
 147 <tr><td><a href="#verify">-verify</a></td><td>Module Verifier</td></tr>
 148 </table>
 149 </div>
 150
 151 <!-- ======================================================================= -->
 152 <div class="doc_section"> <a name="example">Analysis Passes</a></div>
 153 <div class="doc_text">
 154   <p>This section describes the LLVM Analysis Passes.</p>
 155 </div>
 156
 157 <!-------------------------------------------------------------------------- -->
 158 <div class="doc_subsection">
 159   <a name="aa-eval">Exhaustive Alias Analysis Precision Evaluator</a>
 160 </div>
 161 <div class="doc_text">
 162   <p>Yet to be written.</p>
 163 </div>
 164
 165 <!-------------------------------------------------------------------------- -->
 166 <div class="doc_subsection">
 167   <a name="anders-aa">Andersen's Interprocedural Alias Analysis</a>
 168 </div>
 169 <div class="doc_text">
 170   <p>Yet to be written.</p>
 171 </div>
 172
 173 <!-------------------------------------------------------------------------- -->
 174 <div class="doc_subsection">
 175   <a name="basicaa">Basic Alias Analysis</a>
 176 </div>
 177 <div class="doc_text">
 178   <p>Yet to be written.</p>
 179 </div>
 180
 181 <!-------------------------------------------------------------------------- -->
 182 <div class="doc_subsection">
 183   <a name="basiccg">Basic Call Graph Construction</a>
 184 </div>
 185 <div class="doc_text">
 186   <p>Yet to be written.</p>
 187 </div>
 188
 189 <!-------------------------------------------------------------------------- -->
 190 <div class="doc_subsection">
 191   <a name="basicvn">Basic Value Numbering</a>
 192 </div>
 193 <div class="doc_text">
 194   <p>Yet to be written.</p>
 195 </div>
 196
 197 <!-------------------------------------------------------------------------- -->
 198 <div class="doc_subsection">
 199   <a name="callgraph">Print Call Graph</a>
 200 </div>
 201 <div class="doc_text">
 202   <p>Yet to be written.</p>
 203 </div>
 204
 205 <!-------------------------------------------------------------------------- -->
 206 <div class="doc_subsection">
 207   <a name="callscc">Print SCCs of the Call Graph</a>
 208 </div>
 209 <div class="doc_text">
 210   <p>Yet to be written.</p>
 211 </div>
 212
 213 <!-------------------------------------------------------------------------- -->
 214 <div class="doc_subsection">
 215   <a name="cfgscc">Print SCCs of each Function Control Flow Graph</a>
 216 </div>
 217 <div class="doc_text">
 218   <p>Yet to be written.</p>
 219 </div>
 220
 221 <!-------------------------------------------------------------------------- -->
 222 <div class="doc_subsection">
 223   <a name="count-aa">Count Alias Analysis Query Responses</a>
 224 </div>
 225 <div class="doc_text">
 226   <p>Yet to be written.</p>
 227 </div>
 228
 229 <!-------------------------------------------------------------------------- -->
 230 <div class="doc_subsection">
 231   <a name="debug-aa">Alias Analysis Usage Debugger</a>
 232 </div>
 233 <div class="doc_text">
 234   <p>Yet to be written.</p>
 235 </div>
 236
 237 <!-------------------------------------------------------------------------- -->
 238 <div class="doc_subsection">
 239   <a name="domfrontier">Dominance Frontier Construction</a>
 240 </div>
 241 <div class="doc_text">
 242   <p>Yet to be written.</p>
 243 </div>
 244
 245 <!-------------------------------------------------------------------------- -->
 246 <div class="doc_subsection">
 247   <a name="domset">Dominator Set Construction</a>
 248 </div>
 249 <div class="doc_text">
 250   <p>Yet to be written.</p>
 251 </div>
 252
 253 <!-------------------------------------------------------------------------- -->
 254 <div class="doc_subsection">
 255   <a name="domtree">Dominator Tree Construction</a>
 256 </div>
 257 <div class="doc_text">
 258   <p>Yet to be written.</p>
 259 </div>
 260
 261 <!-------------------------------------------------------------------------- -->
 262 <div class="doc_subsection">
 263   <a name="etforest">ET Forest Construction</a>
 264 </div>
 265 <div class="doc_text">
 266   <p>Yet to be written.</p>
 267 </div>
 268
 269 <!-------------------------------------------------------------------------- -->
 270 <div class="doc_subsection">
 271   <a name="basicvn">Basic Value Numbering</a>
 272 </div>
 273 <div class="doc_text">
 274   <p>Yet to be written.</p>
 275 </div>
 276
 277 <!-------------------------------------------------------------------------- -->
 278 <div class="doc_subsection">
 279   <a name="externalfnconstants">Print external fn callsites passed constants</a>
 280 </div>
 281 <div class="doc_text">
 282   <p>Yet to be written.</p>
 283 </div>
 284
 285 <!-------------------------------------------------------------------------- -->
 286 <div class="doc_subsection">
 287   <a name="globalsmodref-aa">Simple mod/ref analysis for globals</a>
 288 </div>
 289 <div class="doc_text">
 290   <p>Yet to be written.</p>
 291 </div>
 292
 293 <!-------------------------------------------------------------------------- -->
 294 <div class="doc_subsection">
 295   <a name="idom">Immediate Dominators Construction</a>
 296 </div>
 297 <div class="doc_text">
 298   <p>Yet to be written.</p>
 299 </div>
 300
 301 <!-------------------------------------------------------------------------- -->
 302 <div class="doc_subsection">
 303   <a name="instcount">Counts the various types of Instructions</a>
 304 </div>
 305 <div class="doc_text">
 306   <p>Yet to be written.</p>
 307 </div>
 308
 309 <!-------------------------------------------------------------------------- -->
 310 <div class="doc_subsection">
 311   <a name="intervals">Interval Partition Construction</a>
 312 </div>
 313 <div class="doc_text">
 314   <p>Yet to be written.</p>
 315 </div>
 316
 317 <!-------------------------------------------------------------------------- -->
 318 <div class="doc_subsection">
 319   <a name="load-vn">Load Value Numbering</a>
 320 </div>
 321 <div class="doc_text">
 322   <p>Yet to be written.</p>
 323 </div>
 324
 325 <!-------------------------------------------------------------------------- -->
 326 <div class="doc_subsection">
 327   <a name="loops">Natural Loop Construction</a>
 328 </div>
 329 <div class="doc_text">
 330   <p>Yet to be written.</p>
 331 </div>
 332
 333 <!-------------------------------------------------------------------------- -->
 334 <div class="doc_subsection">
 335   <a name="no-aa">No Alias Analysis (always returns 'may' alias)</a>
 336 </div>
 337 <div class="doc_text">
 338   <p>Yet to be written.</p>
 339 </div>
 340
 341 <!-------------------------------------------------------------------------- -->
 342 <div class="doc_subsection">
 343   <a name="no-profile">No Profile Information</a>
 344 </div>
 345 <div class="doc_text">
 346   <p>Yet to be written.</p>
 347 </div>
 348
 349 <!-------------------------------------------------------------------------- -->
 350 <div class="doc_subsection">
 351   <a name="postdomfrontier">Post-Dominance Frontier Construction</a>
 352 </div>
 353 <div class="doc_text">
 354   <p>Yet to be written.</p>
 355 </div>
 356
 357 <!-------------------------------------------------------------------------- -->
 358 <div class="doc_subsection">
 359   <a name="postdomset">Post-Dominator Set Construction</a>
 360 </div>
 361 <div class="doc_text">
 362   <p>Yet to be written.</p>
 363 </div>
 364
 365 <!-------------------------------------------------------------------------- -->
 366 <div class="doc_subsection">
 367   <a name="postdomtree">Post-Dominator Tree Construction</a>
 368 </div>
 369 <div class="doc_text">
 370   <p>Yet to be written.</p>
 371 </div>
 372
 373 <!-------------------------------------------------------------------------- -->
 374 <div class="doc_subsection">
 375   <a name="postetforest">Post-ET-Forest Construction</a>
 376 </div>
 377 <div class="doc_text">
 378   <p>Yet to be written.</p>
 379 </div>
 380
 381 <!-------------------------------------------------------------------------- -->
 382 <div class="doc_subsection">
 383   <a name="postidom">Immediate Post-Dominators Construction</a>
 384 </div>
 385 <div class="doc_text">
 386   <p>Yet to be written.</p>
 387 </div>
 388
 389 <!-------------------------------------------------------------------------- -->
 390 <div class="doc_subsection">
 391   <a name="print">Print function to stderr</a>
 392 </div>
 393 <div class="doc_text">
 394   <p>Yet to be written.</p>
 395 </div>
 396
 397 <!-------------------------------------------------------------------------- -->
 398 <div class="doc_subsection">
 399   <a name="print-alias-sets">Alias Set Printer</a>
 400 </div>
 401 <div class="doc_text">
 402   <p>Yet to be written.</p>
 403 </div>
 404
 405 <!-------------------------------------------------------------------------- -->
 406 <div class="doc_subsection">
 407   <a name="print-callgraph">Print Call Graph to 'dot' file</a>
 408 </div>
 409 <div class="doc_text">
 410   <p>Yet to be written.</p>
 411 </div>
 412
 413 <!-------------------------------------------------------------------------- -->
 414 <div class="doc_subsection">
 415   <a name="print-cfg">Print CFG of function to 'dot' file</a>
 416 </div>
 417 <div class="doc_text">
 418   <p>Yet to be written.</p>
 419 </div>
 420
 421 <!-------------------------------------------------------------------------- -->
 422 <div class="doc_subsection">
 423   <a name="print-cfg-only">Print CFG of function to 'dot' file (with no function bodies)</a>
 424 </div>
 425 <div class="doc_text">
 426   <p>Yet to be written.</p>
 427 </div>
 428
 429 <!-------------------------------------------------------------------------- -->
 430 <div class="doc_subsection">
 431   <a name="printm">Print module to stderr</a>
 432 </div>
 433 <div class="doc_text">
 434   <p>Yet to be written.</p>
 435 </div>
 436
 437 <!-------------------------------------------------------------------------- -->
 438 <div class="doc_subsection">
 439   <a name="printusedtypes">Find Used Types</a>
 440 </div>
 441 <div class="doc_text">
 442   <p>Yet to be written.</p>
 443 </div>
 444
 445 <!-------------------------------------------------------------------------- -->
 446 <div class="doc_subsection">
 447   <a name="profile-loader">Load profile information from llvmprof.out</a>
 448 </div>
 449 <div class="doc_text">
 450   <p>Yet to be written.</p>
 451 </div>
 452
 453 <!-------------------------------------------------------------------------- -->
 454 <div class="doc_subsection">
 455   <a name="scalar-evolution">Scalar Evolution Analysis</a>
 456 </div>
 457 <div class="doc_text">
 458   <p>Yet to be written.</p>
 459 </div>
 460
 461 <!-------------------------------------------------------------------------- -->
 462 <div class="doc_subsection">
 463   <a name="targetdata">Target Data Layout</a>
 464 </div>
 465 <div class="doc_text">
 466   <p>Yet to be written.</p>
 467 </div>
 468
 469 <!-- ======================================================================= -->
 470 <div class="doc_section"> <a name="transform">Transform Passes</a></div>
 471 <div class="doc_text">
 472   <p>This section describes the LLVM Transform Passes.</p>
 473 </div>
 474
 475 <!-------------------------------------------------------------------------- -->
 476 <div class="doc_subsection">
 477   <a name="adce">Aggressive Dead Code Elimination</a>
 478 </div>
 479 <div class="doc_text">
 480   <p>Yet to be written.</p>
 481 </div>
 482
 483 <!-------------------------------------------------------------------------- -->
 484 <div class="doc_subsection">
 485   <a name="argpromotion">Promote 'by reference' arguments to scalars</a>
 486 </div>
 487 <div class="doc_text">
 488   <p>Yet to be written.</p>
 489 </div>
 490
 491 <!-------------------------------------------------------------------------- -->
 492 <div class="doc_subsection">
 493   <a name="block-placement">Profile Guided Basic Block Placement</a>
 494 </div>
 495 <div class="doc_text">
 496   <p>Yet to be written.</p>
 497 </div>
 498
 499 <!-------------------------------------------------------------------------- -->
 500 <div class="doc_subsection">
 501   <a name="break-crit-edges">Break Critical Edges in CFG</a>
 502 </div>
 503 <div class="doc_text">
 504   <p>Yet to be written.</p>
 505 </div>
 506
 507 <!-------------------------------------------------------------------------- -->
 508 <div class="doc_subsection">
 509   <a name="cee">Correlated Expression Elimination</a>
 510 </div>
 511 <div class="doc_text">
 512   <p>Yet to be written.</p>
 513 </div>
 514
 515 <!-------------------------------------------------------------------------- -->
 516 <div class="doc_subsection">
 517   <a name="condprop">Conditional Propagation</a>
 518 </div>
 519 <div class="doc_text">
 520   <p>Yet to be written.</p>
 521 </div>
 522
 523 <!-------------------------------------------------------------------------- -->
 524 <div class="doc_subsection">
 525   <a name="constmerge">Merge Duplicate Global Constants</a>
 526 </div>
 527 <div class="doc_text">
 528   <p>Yet to be written.</p>
 529 </div>
 530
 531 <!-------------------------------------------------------------------------- -->
 532 <div class="doc_subsection">
 533   <a name="constprop">Simple constant propagation</a>
 534 </div>
 535 <div class="doc_text">
 536   <p>Yet to be written.</p>
 537 </div>
 538
 539 <!-------------------------------------------------------------------------- -->
 540 <div class="doc_subsection">
 541   <a name="dce">Dead Code Elimination</a>
 542 </div>
 543 <div class="doc_text">
 544   <p>Yet to be written.</p>
 545 </div>
 546
 547 <!-------------------------------------------------------------------------- -->
 548 <div class="doc_subsection">
 549   <a name="deadargelim">Dead Argument Elimination</a>
 550 </div>
 551 <div class="doc_text">
 552   <p>Yet to be written.</p>
 553 </div>
 554
 555 <!-------------------------------------------------------------------------- -->
 556 <div class="doc_subsection">
 557   <a name="deadtypeelim">Dead Type Elimination</a>
 558 </div>
 559 <div class="doc_text">
 560   <p>Yet to be written.</p>
 561 </div>
 562
 563 <!-------------------------------------------------------------------------- -->
 564 <div class="doc_subsection">
 565   <a name="die">Dead Instruction Elimination</a>
 566 </div>
 567 <div class="doc_text">
 568   <p>Yet to be written.</p>
 569 </div>
 570
 571 <!-------------------------------------------------------------------------- -->
 572 <div class="doc_subsection">
 573   <a name="dse">Dead Store Elimination</a>
 574 </div>
 575 <div class="doc_text">
 576   <p>Yet to be written.</p>
 577 </div>
 578
 579 <!-------------------------------------------------------------------------- -->
 580 <div class="doc_subsection">
 581   <a name="gcse">Global Common Subexpression Elimination</a>
 582 </div>
 583 <div class="doc_text">
 584   <p>Yet to be written.</p>
 585 </div>
 586
 587 <!-------------------------------------------------------------------------- -->
 588 <div class="doc_subsection">
 589   <a name="globaldce">Dead Global Elimination</a>
 590 </div>
 591 <div class="doc_text">
 592   <p>Yet to be written.</p>
 593 </div>
 594
 595 <!-------------------------------------------------------------------------- -->
 596 <div class="doc_subsection">
 597   <a name="globalopt">Global Variable Optimizer</a>
 598 </div>
 599 <div class="doc_text">
 600   <p>Yet to be written.</p>
 601 </div>
 602
 603 <!-------------------------------------------------------------------------- -->
 604 <div class="doc_subsection">
 605   <a name="indmemrem">Indirect Malloc and Free Removal</a>
 606 </div>
 607 <div class="doc_text">
 608   <p>Yet to be written.</p>
 609 </div>
 610
 611 <!-------------------------------------------------------------------------- -->
 612 <div class="doc_subsection">
 613   <a name="indvars">Canonicalize Induction Variables</a>
 614 </div>
 615 <div class="doc_text">
 616   <p>Yet to be written.</p>
 617 </div>
 618
 619 <!-------------------------------------------------------------------------- -->
 620 <div class="doc_subsection">
 621   <a name="inline">Function Integration/Inlining</a>
 622 </div>
 623 <div class="doc_text">
 624   <p>Yet to be written.</p>
 625 </div>
 626
 627 <!-------------------------------------------------------------------------- -->
 628 <div class="doc_subsection">
 629   <a name="insert-block-profiling">Insert instrumentation for block profiling</a>
 630 </div>
 631 <div class="doc_text">
 632   <p>Yet to be written.</p>
 633 </div>
 634
 635 <!-------------------------------------------------------------------------- -->
 636 <div class="doc_subsection">
 637   <a name="insert-edge-profiling">Insert instrumentation for edge profiling</a>
 638 </div>
 639 <div class="doc_text">
 640   <p>Yet to be written.</p>
 641 </div>
 642
 643 <!-------------------------------------------------------------------------- -->
 644 <div class="doc_subsection">
 645   <a name="insert-function-profiling">Insert instrumentation for function profiling</a>
 646 </div>
 647 <div class="doc_text">
 648   <p>Yet to be written.</p>
 649 </div>
 650
 651 <!-------------------------------------------------------------------------- -->
 652 <div class="doc_subsection">
 653   <a name="insert-null-profiling-rs">Measure profiling framework overhead</a>
 654 </div>
 655 <div class="doc_text">
 656   <p>Yet to be written.</p>
 657 </div>
 658
 659 <!-------------------------------------------------------------------------- -->
 660 <div class="doc_subsection">
 661   <a name="insert-rs-profiling-framework">Insert random sampling instrumentation framework</a>
 662 </div>
 663 <div class="doc_text">
 664   <p>Yet to be written.</p>
 665 </div>
 666
 667 <!-------------------------------------------------------------------------- -->
 668 <div class="doc_subsection">
 669   <a name="instcombine">Combine redundant instructions</a>
 670 </div>
 671 <div class="doc_text">
 672   <p>Yet to be written.</p>
 673 </div>
 674
 675 <!-------------------------------------------------------------------------- -->
 676 <div class="doc_subsection">
 677   <a name="internalize">Internalize Global Symbols</a>
 678 </div>
 679 <div class="doc_text">
 680   <p>Yet to be written.</p>
 681 </div>
 682
 683 <!-------------------------------------------------------------------------- -->
 684 <div class="doc_subsection">
 685   <a name="ipconstprop">Interprocedural constant propagation</a>
 686 </div>
 687 <div class="doc_text">
 688   <p>Yet to be written.</p>
 689 </div>
 690
 691 <!-------------------------------------------------------------------------- -->
 692 <div class="doc_subsection">
 693   <a name="ipsccp">Interprocedural Sparse Conditional Constant Propagation</a>
 694 </div>
 695 <div class="doc_text">
 696   <p>Yet to be written.</p>
 697 </div>
 698
 699 <!-------------------------------------------------------------------------- -->
 700 <div class="doc_subsection">
 701   <a name="lcssa">Loop-Closed SSA Form Pass</a>
 702 </div>
 703 <div class="doc_text">
 704   <p>Yet to be written.</p>
 705 </div>
 706
 707 <!-------------------------------------------------------------------------- -->
 708 <div class="doc_subsection">
 709   <a name="licm">Loop Invariant Code Motion</a>
 710 </div>
 711 <div class="doc_text">
 712   <p>Yet to be written.</p>
 713 </div>
 714
 715 <!-------------------------------------------------------------------------- -->
 716 <div class="doc_subsection">
 717   <a name="loop-extract">Extract loops into new functions</a>
 718 </div>
 719 <div class="doc_text">
 720   <p>Yet to be written.</p>
 721 </div>
 722
 723 <!-------------------------------------------------------------------------- -->
 724 <div class="doc_subsection">
 725   <a name="loop-extract-single">Extract at most one loop into a new function</a>
 726 </div>
 727 <div class="doc_text">
 728   <p>Yet to be written.</p>
 729 </div>
 730
 731 <!-------------------------------------------------------------------------- -->
 732 <div class="doc_subsection">
 733   <a name="loop-reduce">Loop Strength Reduction</a>
 734 </div>
 735 <div class="doc_text">
 736   <p>Yet to be written.</p>
 737 </div>
 738
 739 <!-------------------------------------------------------------------------- -->
 740 <div class="doc_subsection">
 741   <a name="loop-unroll">Unroll Loops</a>
 742 </div>
 743 <div class="doc_text">
 744   <p>Yet to be written.</p>
 745 </div>
 746
 747 <!-------------------------------------------------------------------------- -->
 748 <div class="doc_subsection">
 749   <a name="loop-unswitch">Unswitch Loops</a>
 750 </div>
 751 <div class="doc_text">
 752   <p>Yet to be written.</p>
 753 </div>
 754
 755 <!-------------------------------------------------------------------------- -->
 756 <div class="doc_subsection">
 757   <a name="loopsimplify">Canonicalize Natural Loops</a>
 758 </div>
 759 <div class="doc_text">
 760   <p>Yet to be written.</p>
 761 </div>
 762
 763 <!-------------------------------------------------------------------------- -->
 764 <div class="doc_subsection">
 765   <a name="lower-packed">Lower Packed Operations</a>
 766 </div>
 767 <div class="doc_text">
 768   <p>Yet to be written.</p>
 769 </div>
 770
 771 <!-------------------------------------------------------------------------- -->
 772 <div class="doc_subsection">
 773   <a name="lowerallocs">Lower allocations from instructions to calls</a>
 774 </div>
 775 <div class="doc_text">
 776   <p>Yet to be written.</p>
 777 </div>
 778
 779 <!-------------------------------------------------------------------------- -->
 780 <div class="doc_subsection">
 781   <a name="lowergc">Lower GC intrinsics, for GCless code generators</a>
 782 </div>
 783 <div class="doc_text">
 784   <p>Yet to be written.</p>
 785 </div>
 786
 787 <!-------------------------------------------------------------------------- -->
 788 <div class="doc_subsection">
 789   <a name="lowerinvoke">Lower Invoke and Unwind</a>
 790 </div>
 791 <div class="doc_text">
 792   <p>Yet to be written.</p>
 793 </div>
 794
 795 <!-------------------------------------------------------------------------- -->
 796 <div class="doc_subsection">
 797   <a name="lowerselect">Lower Selects To Branches</a>
 798 </div>
 799 <div class="doc_text">
 800   <p>Yet to be written.</p>
 801 </div>
 802
 803 <!-------------------------------------------------------------------------- -->
 804 <div class="doc_subsection">
 805   <a name="lowersetjmp">Lower Set Jump</a>
 806 </div>
 807 <div class="doc_text">
 808   <p>Yet to be written.</p>
 809 </div>
 810
 811 <!-------------------------------------------------------------------------- -->
 812 <div class="doc_subsection">
 813   <a name="lowerswitch">Lower SwitchInst's to branches</a>
 814 </div>
 815 <div class="doc_text">
 816   <p>Yet to be written.</p>
 817 </div>
 818
 819 <!-------------------------------------------------------------------------- -->
 820 <div class="doc_subsection">
 821   <a name="mem2reg">Promote Memory to Register</a>
 822 </div>
 823 <div class="doc_text">
 824   <p>Yet to be written.</p>
 825 </div>
 826
 827 <!-------------------------------------------------------------------------- -->
 828 <div class="doc_subsection">
 829   <a name="mergereturn">Unify Function Exit Nodes</a>
 830 </div>
 831 <div class="doc_text">
 832   <p>Yet to be written.</p>
 833 </div>
 834
 835 <!-------------------------------------------------------------------------- -->
 836 <div class="doc_subsection">
 837   <a name="predsimplify">Predicate Simplifier</a>
 838 </div>
 839 <div class="doc_text">
 840   <p>Yet to be written.</p>
 841 </div>
 842
 843 <!-------------------------------------------------------------------------- -->
 844 <div class="doc_subsection">
 845   <a name="prune-eh">Remove unused exception handling info</a>
 846 </div>
 847 <div class="doc_text">
 848   <p>Yet to be written.</p>
 849 </div>
 850
 851 <!-------------------------------------------------------------------------- -->
 852 <div class="doc_subsection">
 853   <a name="raiseallocs">Raise allocations from calls to instructions</a>
 854 </div>
 855 <div class="doc_text">
 856   <p>Yet to be written.</p>
 857 </div>
 858
 859 <!-------------------------------------------------------------------------- -->
 860 <div class="doc_subsection">
 861   <a name="reassociate">Reassociate Expressions</a>
 862 </div>
 863 <div class="doc_text">
 864   <p>Yet to be written.</p>
 865 </div>
 866
 867 <!-------------------------------------------------------------------------- -->
 868 <div class="doc_subsection">
 869   <a name="reg2mem">Demote Values to Memory</a>
 870 </div>
 871 <div class="doc_text">
 872   <p>Yet to be written.</p>
 873 </div>
 874
 875 <!-------------------------------------------------------------------------- -->
 876 <div class="doc_subsection">
 877   <a name="scalarrepl">Scalar Replacement of Aggregates</a>
 878 </div>
 879 <div class="doc_text">
 880   <p>Yet to be written.</p>
 881 </div>
 882
 883 <!-------------------------------------------------------------------------- -->
 884 <div class="doc_subsection">
 885   <a name="sccp">Sparse Conditional Constant Propagation</a>
 886 </div>
 887 <div class="doc_text">
 888   <p>Yet to be written.</p>
 889 </div>
 890
 891 <!-------------------------------------------------------------------------- -->
 892 <div class="doc_subsection">
 893   <a name="simplify-libcalls">Simplify well-known library calls</a>
 894 </div>
 895 <div class="doc_text">
 896   <p>Yet to be written.</p>
 897 </div>
 898
 899 <!-------------------------------------------------------------------------- -->
 900 <div class="doc_subsection">
 901   <a name="simplifycfg">Simplify the CFG</a>
 902 </div>
 903 <div class="doc_text">
 904   <p>Yet to be written.</p>
 905 </div>
 906
 907 <!-------------------------------------------------------------------------- -->
 908 <div class="doc_subsection">
 909   <a name="strip">Strip all symbols from a module</a>
 910 </div>
 911 <div class="doc_text">
 912   <p>Yet to be written.</p>
 913 </div>
 914
 915 <!-------------------------------------------------------------------------- -->
 916 <div class="doc_subsection">
 917   <a name="tailcallelim">Tail Call Elimination</a>
 918 </div>
 919 <div class="doc_text">
 920   <p>Yet to be written.</p>
 921 </div>
 922
 923 <!-------------------------------------------------------------------------- -->
 924 <div class="doc_subsection">
 925   <a name="tailduplicate">Tail Duplication</a>
 926 </div>
 927 <div class="doc_text">
 928   <p>Yet to be written.</p>
 929 </div>
 930
 931 <!-- ======================================================================= -->
 932 <div class="doc_section"> <a name="transform">Utility Passes</a></div>
 933 <div class="doc_text">
 934   <p>This section describes the LLVM Utility Passes.</p>
 935 </div>
 936
 937 <!-------------------------------------------------------------------------- -->
 938 <div class="doc_subsection">
 939   <a name="deadarghaX0r">Dead Argument Hacking (BUGPOINT ONLY)</a>
 940 </div>
 941 <div class="doc_text">
 942   <p>Yet to be written.</p>
 943 </div>
 944
 945 <!-------------------------------------------------------------------------- -->
 946 <div class="doc_subsection">
 947   <a name="extract-blocks">Extract Basic Blocks From Module (BUGPOINT ONLY)</a>
 948 </div>
 949 <div class="doc_text">
 950   <p>Yet to be written.</p>
 951 </div>
 952
 953 <!-------------------------------------------------------------------------- -->
 954 <div class="doc_subsection">
 955   <a name="emitbytecode">Bytecode Writer</a>
 956 </div>
 957 <div class="doc_text">
 958   <p>Yet to be written.</p>
 959 </div>
 960
 961 <!-------------------------------------------------------------------------- -->
 962 <div class="doc_subsection">
 963   <a name="verify">Module Verifier</a>
 964 </div>
 965 <div class="doc_text">
 966   <p>Yet to be written.</p>
 967 </div>
 968
 969 <!-- *********************************************************************** -->
 970
 971 <hr>
 972 <address>
 973   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
 974   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
 975   <a href="http://validator.w3.org/check/referer"><img
 976   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!"></a>
 977
 978   <a href="mailto:rspencer@x10sys.com">Reid Spencer</a><br>
 979   <a href="http://llvm.org">LLVM Compiler Infrastructure</a><br>
 980   Last modified: $Date$
 981 </address>
 982
 983 </body>
 984 </html>