Remove some options that don't really have anything to do with bugpoint

[oota-llvm.git] / docs / LLVMVsTheWorld.html

diff --git a/docs/LLVMVsTheWorld.html b/docs/LLVMVsTheWorld.html
index bd06debbaa64f51dcbfbc7a98745c98c2ef7d8dc..24e781af38b55a6c97347f79e8e5be79f85d2e9d 100644 (file)
--- a/docs/LLVMVsTheWorld.html
+++ b/docs/LLVMVsTheWorld.html
@@ -60,13 +60,13 @@ machine code to memory. Supports one backend at a time.</p>
 <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>
 
 <!-- *********************************************************************** -->
@@ -84,7 +84,8 @@ Floating-point support may not work on all platforms (it does not appear to be
 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>