<li><a href="#codeemission">Machine Code Emission</a></li>
</ol>
-<div class="doc_text">
- <p><b>Written by Brian R. Gaeke</b></p>
+<div class="doc_author">
+ <p>Written by Brian R. Gaeke</p>
</div>
<!-- *********************************************************************** -->
<p>LLVM: Supports compilation of C and C++ (with more languages coming soon),
strong SSA-based optimization at compile-time, link-time, run-time, and
off-line, and multiple platform backends with Just-in-Time and ahead-of-time
-compilation frameworks. (See our tech report on <a
-href="http://llvm.cs.uiuc.edu/pubs/2003-09-30-LifelongOptimizationTR.html">Lifelong
+compilation frameworks. (See our document on <a
+href="http://llvm.cs.uiuc.edu/pubs/2004-01-30-CGO-LLVM.html">Lifelong
Code Optimization</a> for more.)</p>
<p>GCC: Many relatively mature platform backends support assembly-language code
generation from many source languages. No run-time compilation
-support. Relatively weak optimization support.</p>
+support.</p>
</div>
<!-- *********************************************************************** -->
documented in the latest release).</p>
<p>LLVM: Compositional type system based on C types, supporting structures,
-opaque types, and C integer and floating point types.</p>
+opaque types, and C integer and floating point types. Explicit cast instructions
+are required to transform a value from one type to another.</p>
<p>GCC: Union of high-level types including those used in Pascal, C, C++, Ada,
Java, and FORTRAN.</p>