add info on operand rotation
[oota-llvm.git] / docs / ReleaseNotes.html
index eec9736878361975c0fd1064512f765ab4d26582..918fcad96dec2310dda9c1ba4df8d45d9d5a0cc5 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 2.7 Release Notes</title>
+  <title>LLVM 2.8 Release Notes</title>
 </head>
 <body>
 
-<div class="doc_title">LLVM 2.7 Release Notes</div>
+<div class="doc_title">LLVM 2.8 Release Notes</div>
 
 <img align=right src="http://llvm.org/img/DragonSmall.png"
     width="136" height="136" alt="LLVM Dragon Logo">
@@ -16,8 +16,8 @@
 <ol>
   <li><a href="#intro">Introduction</a></li>
   <li><a href="#subproj">Sub-project Status Update</a></li>
-  <li><a href="#externalproj">External Projects Using LLVM 2.7</a></li>
-  <li><a href="#whatsnew">What's New in LLVM 2.7?</a></li>
+  <li><a href="#externalproj">External Projects Using LLVM 2.8</a></li>
+  <li><a href="#whatsnew">What's New in LLVM 2.8?</a></li>
   <li><a href="GettingStarted.html">Installation Instructions</a></li>
   <li><a href="#portability">Portability and Supported Platforms</a></li>
   <li><a href="#knownproblems">Known Problems</a></li>
   <p>Written by the <a href="http://llvm.org">LLVM Team</a></p>
 </div>
 
-<!--
 <h1 style="color:red">These are in-progress notes for the upcoming LLVM 2.8
 release.<br>
 You may prefer the
-<a href="http://llvm.org/releases/2.6/docs/ReleaseNotes.html">LLVM 2.7
-Release Notes</a>.</h1>-->
+<a href="http://llvm.org/releases/2.7/docs/ReleaseNotes.html">LLVM 2.7
+Release Notes</a>.</h1>
 
 <!-- *********************************************************************** -->
 <div class="doc_section">
@@ -44,7 +43,7 @@ Release Notes</a>.</h1>-->
 <div class="doc_text">
 
 <p>This document contains the release notes for the LLVM Compiler
-Infrastructure, release 2.7.  Here we describe the status of LLVM, including
+Infrastructure, release 2.8.  Here we describe the status of LLVM, including
 major improvements from the previous release and significant known problems.
 All LLVM releases may be downloaded from the <a
 href="http://llvm.org/releases/">LLVM releases web site</a>.</p>
@@ -74,7 +73,7 @@ Almost dead code.
 -->
  
    
-<!-- Features that need text if they're finished for 2.7:
+<!-- Features that need text if they're finished for 2.8:
   combiner-aa?
   strong phi elim
   llvm.dbg.value: variable debug info for optimized code
@@ -83,11 +82,7 @@ Almost dead code.
 
  <!-- for announcement email:
  Logo web page.
- llvm devmtg
- compiler_rt
- KLEE web page at klee.llvm.org
  Many new papers added to /pubs/
- Mention gcc plugin.
    -->
 
 <!-- *********************************************************************** -->
@@ -98,7 +93,7 @@ Almost dead code.
 
 <div class="doc_text">
 <p>
-The LLVM 2.7 distribution currently consists of code from the core LLVM
+The LLVM 2.8 distribution currently consists of code from the core LLVM
 repository (which roughly includes the LLVM optimizers, code generators
 and supporting tools), the Clang repository and the llvm-gcc repository.  In
 addition to this code, the LLVM Project includes other sub-projects that are in
@@ -115,16 +110,39 @@ development.  Here we include updates on these subprojects.
 
 <div class="doc_text">
 
-<p>The <a href="http://clang.llvm.org/">Clang project</a> is ...</p>
+<p><a href="http://clang.llvm.org/">Clang</a> is an LLVM front end for the C,
+C++, and Objective-C languages. Clang aims to provide a better user experience
+through expressive diagnostics, a high level of conformance to language
+standards, fast compilation, and low memory use. Like LLVM, Clang provides a
+modular, library-based architecture that makes it suitable for creating or
+integrating with other development tools. Clang is considered a
+production-quality compiler for C and Objective-C on x86 (32- and 64-bit).</p>
 
 <p>In the LLVM 2.7 time-frame, the Clang team has made many improvements:</p>
 
 <ul>
-<li>FIXME: C++! Include a link to cxx_compatibility.html  Clang 2.7 can
-bootstrap???</li>
+<li>C++ Support: Clang is now capable of self-hosting! While still
+alpha-quality, Clang's C++ support has matured enough to build LLVM and Clang,
+and C++ is now enabled by default. See the <a
+href="http://clang.llvm.org/cxx_compatibility.html">Clang C++ compatibility
+page</a> for common C++ migration issues.</li>
+
+<li>Objective-C: Clang now includes experimental support for an updated
+Objective-C ABI on non-Darwin platforms.  This includes support for non-fragile
+instance variables and accelerated proxies, as well as greater potential for
+future optimisations.  The new ABI is used when compiling with the
+-fobjc-nonfragile-abi and -fgnu-runtime options.  Code compiled with these
+options may be mixed with code compiled with GCC or clang using the old GNU ABI,
+but requires the libobjc2 runtime from the GNUstep project.</li>
+
+<li>New warnings: Clang contains a number of new warnings, including
+control-flow warnings (unreachable code, missing return statements in a
+non-<code>void</code> function, etc.), sign-comparison warnings, and improved
+format-string warnings.</li>
 
 <li>CIndex API and Python bindings: Clang now includes a C API as part of the
-CIndex library. Although we make make some changes to the API in the future, it
+CIndex library. Although we may make some changes to the API in the future, it
 is intended to be stable and has been designed for use by external projects. See
 the Clang
 doxygen <a href="http://clang.llvm.org/doxygen/group__CINDEX.html">CIndex</a>
@@ -133,7 +151,8 @@ set of Python bindings.</li>
 
 <li>ARM Support: Clang now has ABI support for both the Darwin and Linux ARM
 ABIs. Coupled with many improvements to the LLVM ARM backend, Clang is now
-suitable for use as a a beta quality ARM compiler.</li>
+suitable for use as a beta quality ARM compiler.</li>
+
 </ul>
 </div>
 
@@ -271,7 +290,7 @@ LLVM MC Project Blog Post</a>.
 
 <p>2.7 includes major parts of the work required by the new MC Project.  A few
    targets have been refactored to support it, and work is underway to support a
-   native assembler in LLVM.  This work is not complete in LLVM 2.7, but you has
+   native assembler in LLVM.  This work is not complete in LLVM 2.7, but it has
    made substantially more progress on LLVM mainline.</p>
 
 <p>One minor example of what MC can do is to transcode an AT&amp;T syntax
@@ -417,6 +436,44 @@ bytecode down to machine code.
 <p>LLVM-Lua 1.2.0  have been tested and is known to work with LLVM 2.7.
 </p>
 </div>
+
+<!--=========================================================================-->
+<div class="doc_subsection">
+<a name="MacRuby">MacRuby</a>
+</div>
+
+<div class="doc_text">
+<p>
+<a href="http://macruby.org">MacRuby</a> is an implementation of Ruby based on
+core Mac OS technologies, sponsored by Apple Inc.  It uses LLVM at runtime for
+optimization passes, JIT compilation and exception handling. It also allows
+static (ahead-of-time) compilation of Ruby code straight to machine code. 
+</p>
+<p>The upcoming MacRuby 0.6 release works with LLVM 2.7.
+</p>
+</div>
+
+<!--=========================================================================-->
+<div class="doc_subsection">
+<a name="GHC">Glasgow Haskell Compiler (GHC)</a>
+</div>
+
+<div class="doc_text">
+<p>
+<a href="http://www.haskell.org/ghc/">GHC</a> is an open source,
+state-of-the-art programming suite for Haskell, a standard lazy
+functional programming language. It includes an optimizing static
+compiler generating good code for a variety of platforms, together
+with an interactive system for convenient, quick development.</p>
+
+<p>In addition to the existing C and native code generators, GHC now
+supports an <a
+href="http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM">LLVM
+code generator</a>. GHC supports LLVM 2.7.</p>
+
+</div>
+
+
 <!-- *********************************************************************** -->
 <div class="doc_section">
   <a name="whatsnew">What's New in LLVM 2.7?</a>
@@ -547,6 +604,15 @@ expose new optimization opportunities:</p>
   Unfortunately, this support is not really usable in 2.7, so if you're
  interested in pushing it forward, please help contribute to LLVM mainline.</li>
 
+<!-- BELOW COME ACTUAL 2.8 CHANGES -->
+
+<li>LLVM 2.8 changes the internal order of operands in <a
+  href="http://llvm.org/doxygen/classllvm_1_1InvokeInst.html"><tt>InvokeInst</tt></a>
+  and <a href="http://llvm.org/doxygen/classllvm_1_1CallInst.html"><tt>CallInst</tt></a>.
+  To be portable across releases, resort to <tt>CallSite</tt> and the
+  high-level accessors, such as <tt>getCalledValue</tt> and <tt>setUnwindDest</tt>.</li>
+</li>
+
 </ul>
 
 </div>
@@ -563,7 +629,7 @@ release includes a few major enhancements and additions to the optimizers:</p>
 
 <ul>
 
-<li>The inliner reuses now merges arrays stack objects in different callees when
+<li>The inliner now merges arrays stack objects in different callees when
     inlining multiple call sites into one function.  This reduces the stack size
     of the resultant function.</li>
 <li>The -basicaa alias analysis pass (which is the default) has been improved to
@@ -655,7 +721,8 @@ it run faster:</p>
     understand assembly files.  This is wired up in llvm-gcc and clang to
     the <tt>-fverbose-asm</tt> option.</li>
 
-<li>New LSR with "full strength reduction" mode.  FIXME: Description?</li>
+<li>New LSR with "full strength reduction" mode, which can reduce address
+    register pressure in loops where address generation is important.</li>
 
 <li>A new codegen level Common Subexpression Elimination pass (MachineCSE)
     is available and enabled by default.  It catches redundancies exposed by
@@ -710,8 +777,6 @@ it run faster:</p>
     registers, making the code generator more aggressive in cases where scalars
     and vector types are mixed.</li>
 
-<li>PostRA scheduler for X86? FIXME: is this on by default in 2.7?</li>
-
 </ul>
 
 </div>
@@ -737,11 +802,18 @@ href="http://blog.llvm.org/2010/04/arm-advanced-simd-neon-intrinsics-and.html">
   helpful information if migrating code from GCC to LLVM-GCC.</li>
   
 <li>The ARM and Thumb code generators now use register scavenging for stack
-    object address materialization.(FIXME: WHAT BENEFIT DOES THIS PROVIDE?)</li>
-    
+    object address materialization. This allows the use of R3 as a general
+    purpose register in Thumb1 code, as it was previous reserved for use in
+    stack address materialization. Secondly, sequential uses of the same
+    value will now re-use the materialized constant.</li>
+
 <li>The ARM backend now has good support for ARMv4 targets and has been tested
     on StrongARM hardware.  Previously, LLVM only supported ARMv4T and
     newer chips.</li>
+
+<li>Atomic builtins are now supported for ARMv6 and ARMv7 (__sync_synchronize,
+    __sync_fetch_and_add, etc.).</li>
+
 </ul>
 
 
@@ -861,53 +933,11 @@ configure with <tt>--enable-libffi</tt>.</li>
 API changes are:</p>
 
 <ul>
-<li>Just about everything has been converted to use raw_ostream instead of
-    std::ostream.</li>
-<li>llvm/ADT/iterator.h has been removed, just use &lt;iterator&gt;
- instead.</li>
-<li>The Streams.h file and "DOUT" got removed, use "DEBUG(errs() &lt;&lt; ...);"
-   instead.</li>
-<li>The TargetAsmInfo interface was renamed to MCAsmInfo.</li>
-<li><tt>ModuleProvider</tt> has been <a
-href="http://llvm.org/viewvc/llvm-project?view=rev&amp;revision=94686">removed</a>
-and its methods moved to <tt>Module</tt> and <tt>GlobalValue</tt>.
-Most clients can remove uses of <tt>ExistingModuleProvider</tt>,
-replace <tt>getBitcodeModuleProvider</tt> with
-<tt>getLazyBitcodeModule</tt>, and pass their <tt>Module</tt> to
-functions that used to accept <tt>ModuleProvider</tt>.  Clients who
-wrote their own <tt>ModuleProvider</tt>s will need to derive from
-<tt>GVMaterializer</tt> instead and use
-<tt>Module::setMaterializer</tt> to attach it to a
-<tt>Module</tt>.</li>
-
-<li><tt>GhostLinkage</tt> has given up the ghost.
-<tt>GlobalValue</tt>s that have not yet been read from their backing
-storage have the same linkage they will have after being read in.
-Clients must replace calls to
-<tt>GlobalValue::hasNotBeenReadFromBitcode</tt> with
-<tt>GlobalValue::isMaterializable</tt>.</li>
-
-<li>The <tt>llvm/Support/DataTypes.h</tt> header has moved
-to <tt>llvm/System/DataTypes.h</tt>.</li>
-
-<li>The <tt>isInteger</tt>, <tt>isIntOrIntVector</tt>, <tt>isFloatingPoint</tt>,
-<tt>isFPOrFPVector</tt> and <tt>isFPOrFPVector</tt> methods have been renamed
-<tt>isIntegerTy</tt>, <tt>isIntOrIntVectorTy</tt>, <tt>isFloatingPointTy</tt>, 
-<tt>isFPOrFPVectorTy</tt> and <tt>isFPOrFPVectorTy</tt> respectively.</li>
-
-<li><tt>llvm::Instruction::clone()</tt> no longer takes argument.</li>
-<li><tt>raw_fd_ostream</tt>'s constructor now takes a flag argument, not individual
-  booleans (see <tt>include/llvm/Support/raw_ostream.h</tt> for details).</li>
-<li>Some header files have been renamed:
-<ul>
-  <li><tt>llvm/Support/AIXDataTypesFix.h</tt> to
-      <tt>llvm/System/AIXDataTypesFix.h</tt></li>
-  <li><tt>llvm/Support/DataTypes.h</tt> to <tt>llvm/System/DataTypes.h</tt></li>
-  <li><tt>llvm/Transforms/Utils/InlineCost.h</tt> to
-      <tt>llvm/Analysis/InlineCost.h</tt></li>
-  <li><tt>llvm/Support/Mangler.h</tt> to <tt>llvm/Target/Mangler.h</tt></li>
-  <li><tt>llvm/Analysis/Passes.h</tt> to <tt>llvm/CodeGen/Passes.h</tt></li>
-</ul></li>
+
+<li>The <tt>add</tt>, <tt>sub</tt>, and <tt>mul</tt> instructions no longer
+support floating-point operands. The <tt>fadd</tt>, <tt>fsub</tt>, and
+<tt>fmul</tt> instructions should be used for this purpose instead.</li>
+
 </ul>
 
 </div>