teach getClass what a condition reg is
[oota-llvm.git] / docs / ReleaseNotes.html
index 961dab1f74555d2319d8f443388d1253be36cdbb..684542bf0174d88eaa519660ab3a64dbb4ddb7bc 100644 (file)
@@ -4,11 +4,11 @@
 <head>
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
   <link rel="stylesheet" href="llvm.css" type="text/css">
-  <title>LLVM 1.5 Release Notes</title>
+  <title>LLVM 1.6 Release Notes</title>
 </head>
 <body>
 
-<div class="doc_title">LLVM 1.5 Release Notes</div>
+<div class="doc_title">LLVM 1.6 Release Notes</div>
  
 <ol>
   <li><a href="#intro">Introduction</a></li>
 <div class="doc_text">
 
 <p>This document contains the release notes for the LLVM compiler
-infrastructure, release 1.5.  Here we describe the status of LLVM, including any
-known problems and improvements from the previous release.  The most up-to-date
-version of this document can be found on the <a
-href="http://llvm.cs.uiuc.edu/releases/1.5/">LLVM 1.5 web site</a>.  If you are
+infrastructure, release 1.6.  Here we describe the status of LLVM, including any
+known problems and major improvements from the previous release.  The most
+up-to-date version of this document can be found on the <a
+href="http://llvm.cs.uiuc.edu/releases/1.6/">LLVM 1.6 web site</a>.  If you are
 not reading this on the LLVM web pages, you should probably go there because
 this document may be updated after the release.</p>
 
@@ -60,116 +60,52 @@ href="http://llvm.cs.uiuc.edu/releases/">releases page</a>.</p>
 
 <div class="doc_text">
 
-<p>This is the sixth public release of the LLVM compiler infrastructure.</p>
+<p>This is the seventh public release of the LLVM Compiler Infrastructure.</p>
 
-<p> At this time, LLVM is known to correctly compile a broad range of C and
-C++ programs, including the SPEC CPU95 &amp; 2000 suite. TODO.  It also includes
-bug fixes for those problems found since the 1.4 release.</p>
+<p>LLVM 1.6 is known to correctly compile a wide range of C and C++ programs,
+includes bug fixes for those problems found since the 1.5 release, and includes
+a large number of new features and enhancements, described below.</p>
 
 </div>
 
 <!--=========================================================================-->
-<div class="doc_subsubsection">
-<a name="newfeatures">This release implements the following new features:</a>
-</div>
-
-<div class="doc_text">
-<ol>
-  <li>LLVM now includes an <a href="http://llvm.cs.uiuc.edu/PR415">
-      Interprocedural Sparse Conditional Constant Propagation</a> pass, named
-     -ipsccp, which is run by default at link-time.</li>
-  <li>LLVM 1.5 is now about 15% faster than LLVM 1.4 and its core data structures
-      use about 30% less memory.</li>
-  <li>LLVM includes new experimental native code generators for SparcV8 and 
-      Alpha.</li>
-  <li>Support for Microsoft Visual Studio is improved, and <a 
-      href="GettingStartedVS.html">now documented</a>.</li>
-</ol>
-
-</div>
-
-
-<!--=========================================================================-->
-<div class="doc_subsubsection">
-In this release, the following missing features were implemented:
+<div class="doc_subsection">
+<a name="newfeatures">New Features in LLVM 1.6</a>
 </div>
 
 <div class="doc_text">
-
+<h1>
+ See <a href="/releases/1.5/docs/ReleaseNotes.html">LLVM 1.5 Release Notes</a>
+</h1>
 <ol>
-   <li></li>
+  <li>The JIT now uses mutexes to protect its internal data structures. This
+  allows multi-threaded programs to be run from the JIT or interpreter without
+  corruption of the internal data structures. See 
+  <a href="http://llvm.cs.uiuc.edu/PR418">PR418</a> and
+  <a href="http://llvm.cs.uiuc.edu/PR540">PR540</a> for the details.
+  </li>
 </ol>
-
 </div>
 
 <!--=========================================================================-->
-<div class="doc_subsubsection">
-<a name="qualityofimp">In this release, the following Quality of Implementation
-issues were fixed:</a>
-</div>
-
-<div class="doc_text">
-
-<ol>
-   <li><a href="http://llvm.cs.uiuc.edu/PR448">Building LLVM in optimized mode
-       should no longer cause GCC to hit swap in the PowerPC backend.</a></li>
-</ol>
+<div class="doc_subsection">
+<a name="codequality">Code Quality Improvements in LLVM 1.6</a>
 </div>
 
 <!--=========================================================================-->
-<div class="doc_subsubsection">
-<a name="codequality">This release includes the following Code Quality
-improvements:</a>
-</div>
-
-<div class="doc_text">
-<ol>
-   <li></li>
-</ol>
+<div class="doc_subsection">
+<a name="codequality">Code Generator Improvements in LLVM 1.6</a>
 </div>
 
 <!--=========================================================================-->
-<div class="doc_subsubsection">
-<a name="bugfix">In this release, the following bugs in the previous release
-were fixed:</a>
+<div class="doc_subsection">
+<a name="bugfix">Significant Bugs Fixed in LLVM 1.6</a>
 </div>
 
 <div class="doc_text">
-
-
-<p>Bugs fixed in the LLVM Core:</p>
-<ol>
-   <li><a href="http://llvm.cs.uiuc.edu/PR491">[dse] DSE deletes stores that 
-       are partially overwritten by smaller stores</a></li>
-</ol>
-
-<p>Code Generator Bugs:</p>
-<ol>
-   <li><a href="http://llvm.cs.uiuc.edu/PR490">[cbackend] Logical constant 
-       expressions (and/or/xor) not implemented</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR511">[cbackend] C backend does not 
-       respect 'volatile'</a></li>
-</ol>
-
-<p>Bugs in the C/C++ front-end:</p>
 <ol>
-   <li><a href="http://llvm.cs.uiuc.edu/PR487">[llvmgcc] llvm-gcc incorrectly 
-       rejects some constant initializers involving the addresses of array 
-       elements</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR501">[llvm-g++] Crash compiling 
-       anonymous union</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR509">[llvm-g++] Do not use dynamic 
-       initialization where static init will do</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR510">[llvmgcc] Field offset 
-       miscalculated for some structure fields following bit fields</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR513">[llvm-g++] Temporary lifetimes 
-       incorrect for short circuit logical operations</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR517">[llvm-gcc] Crash compiling 
-       bitfield &lt;-&gt; aggregate assignment</a></li>
-   <li><a href="http://llvm.cs.uiuc.edu/PR520">[llvm-g++] Error compiling 
-       virtual function thunk with an unnamed argument</a></li>
+  <li><a href="http://llvm.cs.uiuc.edu/PR591">[simplify-libcalls] The simplify-libcalls pass generates ill-formed LLVM code</a>.</li>
 </ol>
-
 </div>
 
 <!-- *********************************************************************** -->
@@ -183,12 +119,14 @@ were fixed:</a>
 <p>LLVM is known to work on the following platforms:</p>
 
 <ul>
-<li>Intel and AMD machines running Red Hat Linux and FreeBSD (and probably 
-    other unix-like systems).</li>
+  <li>Intel and AMD machines running Red Hat Linux, Fedora Core and FreeBSD 
+      (and probably other unix-like systems).</li>
 <li>Sun UltraSPARC workstations running Solaris 8.</li>
 <li>Intel and AMD machines running on Win32 with the Cygwin libraries (limited
     support is available for native builds with Visual C++).</li>
 <li>PowerPC-based Mac OS X systems, running 10.2 and above.</li>
+<li>Alpha-based machines running Debian GNU/Linux.</li>
+<li>Itanium-based machines running Linux and HP-UX.</li>
 </ul>
 
 <p>The core LLVM infrastructure uses
@@ -233,9 +171,9 @@ components, please contact us on the llvmdev list.</p>
     releases: <tt>-cee, -branch-combine, -instloops, -paths, -pre</tt></li>
 <li>The <tt>llvm-db</tt> tool is in a very early stage of development, but can
     be used to step through programs and inspect the stack.</li>
-<li>The "iterative scan" register allocator (enabled with -regalloc=iterativescan)
-    is not stable.</li>
-<li>The SparcV8 and Alpha ports are experimental.</li>
+<li>The "iterative scan" register allocator (enabled with 
+    <tt>-regalloc=iterativescan</tt>) is not stable.</li>
+<li>The SparcV8, Alpha, and IA64 code generators are experimental.</li>
 </ul>
 
 </div>
@@ -248,12 +186,8 @@ components, please contact us on the llvmdev list.</p>
 <div class="doc_text">
 
 <ul>
-  <li>In the JIT, <tt>dlsym</tt> on a symbol compiled by the JIT will not work.
-  </li>
-  <li>The JIT does not use mutexes to protect its internal data structures. As
-  such, execution of a threaded program could cause these data structures to be
-  corrupted.
-  </li>
+  <li>In the JIT, <tt>dlsym()</tt> on a symbol compiled by the JIT will not
+  work.</li>
   <li><a href="http://llvm.cs.uiuc.edu/PR240">The lower-invoke pass does not 
     mark values live across a setjmp as volatile</a>. This missing feature 
   only affects targets whose setjmp/longjmp libraries do not save and restore 
@@ -381,7 +315,9 @@ work:
          <tt>__builtin_types_compatible_p</tt>, <tt>__builtin_choose_expr</tt>,
          <tt>__builtin_constant_p</tt>, and <tt>__builtin_expect</tt>
          (currently ignored).  We also support builtins for ISO C99 floating
-         point comparison macros (e.g., <tt>__builtin_islessequal</tt>).</li>
+         point comparison macros (e.g., <tt>__builtin_islessequal</tt>), 
+         <tt>__builtin_prefetch</tt>, <tt>__builtin_popcount[ll]</tt>,
+         <tt>__builtin_clz[ll]</tt>, and <tt>__builtin_ctz[ll]</tt>.</li>
   </ol>
 
   <p>The following extensions <b>are</b> known to be supported:</p>
@@ -451,12 +387,6 @@ itself.</p>
 <li>The C++ front-end inherits all problems afflicting the <a href="#c-fe">C
     front-end</a>.</li>
 
-<li><b>IA-64 specific</b>: The C++ front-end does not use <a 
-href="http://llvm.cs.uiuc.edu/PR406">IA64 ABI compliant layout of v-tables</a>.
-In particular, it just stores function pointers instead of function
-descriptors in the vtable.  This bug prevents mixing C++ code compiled with
-LLVM with C++ objects compiled by other C++ compilers.</li>
-
 </ul>
 
 </div>
@@ -496,6 +426,28 @@ href="http://gcc.gnu.org/gcc-3.4/changes.html">GCC 3.4 release notes</a>.</li>
 
 </div>
 
+<!-- ======================================================================= -->
+<div class="doc_subsection">
+  <a name="c-be">Known problems with the C back-end</a>
+</div>
+
+<div class="doc_text">
+
+<ul>
+
+<li>The C back-end produces code that violates the ANSI C Type-Based Alias
+Analysis rules.  As such, special options may be necessary to compile the code
+(for example, GCC requires the <tt>-fno-strict-aliasing</tt> option).  This
+problem probably cannot be fixed.</li>
+
+<li><a href="http://llvm.cs.uiuc.edu/PR56">Zero arg vararg functions are not 
+supported</a>.  This should not affect LLVM produced by the C or C++ 
+frontends.</li>
+
+</ul>
+
+</div>
+
 <!-- ======================================================================= -->
 <div class="doc_subsection">
   <a name="x86-be">Known problems with the X86 back-end</a>
@@ -504,7 +456,20 @@ href="http://gcc.gnu.org/gcc-3.4/changes.html">GCC 3.4 release notes</a>.</li>
 <div class="doc_text">
 
 <ul>
-  <li>none yet</li>
+<li><a href="http://llvm.cs.uiuc.edu/PR566">Memory Mapped I/O Intrinsics do not fence memory</a></li>
+</ul>
+
+</div>
+
+<!-- ======================================================================= -->
+<div class="doc_subsection">
+  <a name="ppc-be">Known problems with the PowerPC back-end</a>
+</div>
+
+<div class="doc_text">
+
+<ul>
+<li>None yet</li>
 </ul>
 
 </div>
@@ -525,35 +490,67 @@ several programs in the LLVM test suite</a></li>
 
 <!-- ======================================================================= -->
 <div class="doc_subsection">
-  <a name="ppc-be">Known problems with the PowerPC back-end</a>
+  <a name="alpha-be">Known problems with the Alpha back-end</a>
 </div>
 
 <div class="doc_text">
 
 <ul>
-<li>none yet</li>
+
+<li>On 21164s, some rare FP arithmetic sequences which may trap do not have the
+appropriate nops inserted to ensure restartability.</li>
+
+<li>Defining vararg functions is not supported (but calling them is ok).</li>
+
+<li>Due to the vararg problems, C++ exceptions do not work.  Small changes are required to the CFE (which break correctness in the exception handler) to compile the exception handling library (and thus the C++ standard library).</li>
+
 </ul>
 
 </div>
 
 <!-- ======================================================================= -->
 <div class="doc_subsection">
-  <a name="c-be">Known problems with the C back-end</a>
+  <a name="ia64-be">Known problems with the IA64 back-end</a>
 </div>
 
 <div class="doc_text">
 
 <ul>
 
-<li>The C back-end produces code that violates the ANSI C Type-Based Alias
-Analysis rules.  As such, special options may be necessary to compile the code
-(for example, GCC requires the <tt>-fno-strict-aliasing</tt> option).  This
-problem probably cannot be fixed.</li>
+<li>C++ programs are likely to fail on IA64, as calls to <tt>setjmp</tt> are
+made where the argument is not 16-byte aligned, as required on IA64. (Strictly
+speaking this is not a bug in the IA64 back-end; it will also be encountered
+when building C++ programs using the C back-end.)</li>
 
-<li><a href="http://llvm.cs.uiuc.edu/PR56">Zero arg vararg functions are not 
-supported</a>.  This should not affect LLVM produced by the C or C++ 
-frontends.</li>
+<li>The C++ front-end does not use <a href="http://llvm.cs.uiuc.edu/PR406">IA64
+ABI compliant layout of v-tables</a>.  In particular, it just stores function
+pointers instead of function descriptors in the vtable.  This bug prevents
+mixing C++ code compiled with LLVM with C++ objects compiled by other C++
+compilers.</li>
+
+<li>There are a few ABI violations which will lead to problems when mixing LLVM
+output with code built with other compilers, particularly for floating-point
+programs.</li>
+
+<li>Defining vararg functions is not supported (but calling them is ok).</li>
+
+</ul>
+
+</div>
+
+<!-- ======================================================================= -->
+<div class="doc_subsection">
+  <a name="sparcv8">Known problems with the SPARC-V8 back-end</a>
+</div>
+
+<div class="doc_text">
+
+<ul>
+<li>Many features are still missing (e.g. support for 64-bit integer
+arithmetic).</li>
 
+<li>This backend needs to be updated to use the SelectionDAG instruction
+selection framework.</li>
 </ul>
 
 </div>
@@ -566,15 +563,17 @@ frontends.</li>
 
 <div class="doc_text">
 
-<p>A wide variety of additional information is available on the LLVM web page,
-including mailing lists and publications describing algorithms and components
-implemented in LLVM.  The web page also contains versions of the API
-documentation which is up-to-date with the CVS version of the source code.  You
-can access versions of these documents specific to this release by going into
-the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
+<p>A wide variety of additional information is available on the <a
+href="http://llvm.cs.uiuc.edu">LLVM web page</a>, including <a
+href="http://llvm.cs.uiuc.edu/docs/">documentation</a> and <a
+href="http://llvm.cs.uiuc.edu/pubs/">publications describing algorithms and
+components implemented in LLVM</a>.  The web page also contains versions of the
+API documentation which is up-to-date with the CVS version of the source code.
+You can access versions of these documents specific to this release by going
+into the "<tt>llvm/doc/</tt>" directory in the LLVM tree.</p>
 
 <p>If you have any questions or comments about LLVM, please feel free to contact
-us via the <a href="http://mail.cs.uiuc.edu/mailman/listinfo/llvmdev">mailing
+us via the <a href="http://llvm.cs.uiuc.edu/docs/#maillist"> mailing
 lists</a>.</p>
 
 </div>