diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e152c7f21e4..610de1e4fa1 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -3,11 +3,11 @@ - LLVM 1.3 Release Notes + LLVM 1.4 Release Notes -
LLVM 1.3 Release Notes
+
LLVM 1.4 Release Notes
  1. Introduction
    2. @@ -41,10 +41,10 @@

    This document contains the release notes for the LLVM compiler -infrastructure, release 1.3. Here we describe the status of LLVM, including any +infrastructure, release 1.4. Here we describe the status of LLVM, including any known problems and bug fixes from the previous release. The most up-to-date version of this document can be found on the LLVM 1.3 web site. If you are +href="http://llvm.cs.uiuc.edu/releases/1.4/">LLVM 1.4 web site. 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.

    @@ -69,12 +69,7 @@ href="http://llvm.cs.uiuc.edu/releases/">releases page.

    -

    This is the fourth public release of the LLVM compiler infrastructure. This -release primarily improves the performance of the -code produced by all aspects of the LLVM compiler, adds many new features, fixes a few -bugs, speeds up the compiler, and introduces a new (experimental) -PowerPC code generator.

    +

    This is the fifth public release of the LLVM compiler infrastructure.

    At this time, LLVM is known to correctly compile and run all C & C++ SPEC CPU95 & 2000 benchmarks, the Olden benchmarks, and the Ptrdist @@ -91,67 +86,7 @@ with a broad variety of C++ programs.

      -
    1. The LLVM select instruction is -now fully implemented and supported by all transformations, native code -generators, and the interpreter.
      2. -
    2. Bugpoint can now narrow down code-generation bugs to a loop nest, where -before it could only narrow them down to a function being miscompiled.
      3. -
    3. Bugpoint can now debug arbitrary -modes of llc and lli, by passing them command line flags (e.g. --regalloc=linearscan).
      4. -
    4. The Control Flow Graph in the native code generators is no longer -constrained to be the same as the CFG for the LLVM input code.
      5. -
    5. The LLVM induction variable analysis routines have been rewritten.
      6. -
    6. LLVM now has new loop unrolling and loop unswitching passes.
      7. -
    7. The induction variable substitution pass performs linear function test -replacement and exit value replacement optimizations.
      8. -
    8. LLVM now has first-class support for Accurate Garbage Collection, enabling the use -of aggressive copying and generational collectors.
      9. -
    9. LLVM now includes a simple implementation of Andersen's interprocedural alias -analysis algorithm.
      10. -
    10. Bugpoint can extract individual -basic blocks to track down reduce miscompilation testcases.
      11. -
    11. LLVM and the C front-end now work under Win32 using the -Cygwin runtime libraries. -This includes the JIT compiler.
      12. -
    12. The LLVM code generator is now being documented.
      13. -
    13. LLVM includes a new tool, llvm-bcanalyzer, This tool -can compute various statistics and dump information about LLVM bytecode -encoding.
      14. -
    14. The LLVM bytecode file format is now -documented.
      15. -
    15. LLVM now provides an llvm.isunordered intrinsic for efficient -implementation of unordered floating point comparisons.
      16. -
    16. The llvmgcc front-end now supports the GCC builtins for ISO C99 floating -point comparison macros (e.g., __builtin_islessequal).
      17. -
    17. We now generate HTML documentation and man pages -for the tools from a single source (perl-style POD files).
      18. -
    18. The LLVM code generator can now dynamically load targets from shared -objects.
      19. -
    19. LLVM now includes a "skeleton" target, which makes it easier to get -started porting LLVM to new architectures.
      20. -
    20. The linear scan register allocator is now enabled by default in the -target-independent code generator.
      21. -
    21. LLVM now includes a dead store elimination pass.
      22. -
    22. Bugpoint can now debug miscompilations that lead to the program going -into an infinite loop.
      23. -
    23. LLVM now provides interfaces to support ML-style pattern matching on the -LLVM IR.
      24. -
    24. LLVM now includes a context-sensitive mod/ref analysis -for global variables, which is now enabled by default in gccld.
      25. -
    25. LLVM can now autogenerate assembly printers for code generators from the -tablegen description of the target (before they were hand coded).
      26. -
    26. All LLVM tools will now respond to the ---version option which -will tell you the version of LLVM on which the tool is based.
      27. -
    27. An experimental PowerPC backend has been added, capable of compiling several -SPEC benchmarks.
      28. +
    @@ -165,18 +100,8 @@ In this release, the following missing features were implemented:
      -
    1. LLVM cannot handle structures with -more than 256 elements
      2. -
    2. [bugpoint] External functions used in -non-instruction entities, such as global constant initializer
      3. -
    3. Stacker does not handle targets -with 64-bit pointers.
      4. -
    4. Bugpoint doesn't support -uses of external fns by immediate constant exprs
      5. -
    5. Can't add function passes that -depend on immutable passes to the FunctionPassManager.
      6. -
    6. Archive file reader doesn't -understand abbreviated names in headers
      7. +
    7. JIT interface should support arbitrary + calls
    @@ -190,28 +115,7 @@ issues were fixed:
      -
    1. LLVM tools will happily spew -bytecode onto your terminal
      2. -
    2. [llvmgcc] type names are not emitted -for structure typedefs
      3. -
    3. All documentation is now conformant to the HTML 4.01 (Strict) level.
      4. -
    4. The spurious "WARNING: Found global types that are not compatible" warning -produced when linking C++ programs has been fixed.
      5. -
    5. lli Doesn't Handle Exceptions From -Bytecode Reader
      6. -
    6. Global Vars Have (Somewhat) Limited - Type Range
      7. -
    7. operator<< on a Value* now -prints the address of the object instead of its contents.
      8. -
    8. Bytecode Enhancements -Needed
      9. -
    9. [loopsimplify] Loop simplify is -really slow on 252.eon
      10. -
    10. [code-cleanup] SymbolTable class -cleanup, Type should not derive from Value, eliminate ConstantPointerRef -class.
      11. -
    11. The memory footprint of the LLVM IR has been reduced substantially.
      12. -
    12. The LLVM linker and many core classes have been sped up substantially.
      13. +
    @@ -223,14 +127,7 @@ In this release, the following build problems were fixed:
      -
    1. Minor configure bugs with --disable/enable-povray and -disable-spec
      2. -
    2. shell scripts output by gccld don't -work if you change PATH
      3. -
    3. [llvmgcc] llvmgcc does not compile -with gcc 3.4
      4. -
    4. [llvmgcc] obstack.h relies on -obsolete casts-as-lvalues GCC extension
      5. +
    @@ -242,51 +139,7 @@ improvements:
      -
    1. Fixed: [vmcore] Code quality problem -due to long operand of getelementptr
      2. - -
    2. The X86 backend now generates substantially better code for 64-bit integer -and floating point operations.
      3. - -
    3. The -inline pass no longer inlines mutually recursive functions until it -hits the inlining threshold.
      4. - -
    4. The -inline pass no longer misses obvious inlining opportunities just -because the callee eventually calls into an external function.
      5. - -
    5. The -simplifycfg pass can now "if convert" simple statements into the -select instruction.
      6. - -
    6. The -loopsimplify pass can now break natural loops with multiple backedges -into multiple nested loops. This enables a variety of subsequent -optimizations.
      7. - -
    7. The -adce pass can now eliminate calls to functions that do not not write to -memory.
      8. - -
    8. The link-time optimizer now runs the -prune-eh pass (to remove unused -exception handlers).
      9. - -
    9. The link-time optimizer now runs dead store elimination and uses a simple -interprocedural alias analysis.
      10. - -
    10. The -simplifycfg pass can now eliminate simple correlated branches (such as -"if (A < B && A < B)", and can turn short-circuiting -operators into the strict versions when useful (such as "if (A < B || A -> C)" into "if (A < B | A > C)"
      11. - -
    11. LLVM now has infrastructure for (simple and sparse conditional) constant -propagation of function calls. It currently supports a few math library -functions like sqrt/sin/cos/etc.
      12. - -
    12. The C backend now emits syntactic -loops in the code to help C compilers whose optimizers do not recognize -loops formed from gotos (like GCC).
      13. - -
    13. The SparcV9 backend no longers spills the null constant to the constant -pool.
      14. +
    @@ -301,38 +154,13 @@ were fixed:

    Bugs fixed in the LLVM Core:

      -
    1. [loopsimplify] Loop simplify -incorrectly updates dominator information
      2. -
    2. [tailduplicate] DemoteRegToStack -breaks SSA form
      3. -
    3. [X86] JIT miscompiles unsigned short -to floating point cast
      4. -
    4. [vmcore] Linker causes erroneous -asssertion
      5. -
    5. [adce] Crash handling unreachable -code that unwinds
      6. -
    6. [sparcv9] LLC can't emit 2 functions -of the same name, both having constant pools
      7. -
    7. [livevar] Live variables missed -physical register use of aliased definition
      8. -
    8. [X86] stackifier crash on floating -point setcc X, X
      9. +

    Bugs in the C/C++ front-end:

      -
    1. [llvmgcc] Variable length array -indexing miscompiled
      2. -
    2. [llvmgcc] Crash on use of undeclared -enum type
      3. -
    3. [llvmgcc] Errors handling function -prototypes that take opaque structs by-value
      4. -
    4. [llvmgcc] Crash compiling variable -length array of structures
      5. -
    5. [llvmgcc] miscompilation of staticly -initialized unsigned bitfields
      6. -
    6. [llvm-gcc] Crash casting function to void
      7. +