From f304ffcb4c639f088e5253c834643d2c59ba6c60 Mon Sep 17 00:00:00 2001
From: Chris Lattner
Date: Sun, 10 Feb 2008 08:17:19 +0000
Subject: [PATCH] final set of major updates
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46923 91177308-0d34-0410-b5e6-96231b3b80d8
---
docs/ReleaseNotes.html | 137 +++++++++++++++++++++++++----------------
1 file changed, 83 insertions(+), 54 deletions(-)
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index ebc0fd7374a..45e3606bee7 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -138,10 +138,15 @@ href="http://llvm.org/PR1971">not support EQUIVALENCE yet.
bits) and on Darwin PPC/PPC64 (where it is 128 bits). In previous LLVM
releases, llvm-gcc silently mapped long double to double.
-Gordon rewrote most of the Accurate Garbage
-Collection code in the code generator, making the generated code more
-efficient and adding support for the Ocaml garbage collector metadata
-format.
+Gordon Henriksen rewrote most of the Accurate Garbage Collection code in the code generator, making the
+generated code more efficient and adding support for the Ocaml garbage collector
+metadata format.
+
+Christopher Lamb contributed support for multiple address spaces in LLVM
+IR. This is useful for supporting targets that have 'near' vs 'far' pointers,
+'RAM' vs 'ROM' pointers, or that have non-local memory that can be accessed with
+special instructions.
LLVM now includes a new set of detailed tutorials, which explain how to implement a
@@ -149,6 +154,44 @@ language with LLVM and shows how to use several important APIs.
+
+
+
+
+
New features include:
+
+
+
+- Gordon contributed support for C and Ocaml Bindings for the basic LLVM IR
+construction routines as well as several other auxiliary APIs.
+
+- Anton added readnone/readonly attributes for modeling function side effects.
+Duncan hooked up GCC's pure/const attributes to use them and enhanced mod/ref
+analysis to use them.
+
+- Devang added LLVMFoldingBuilder, a version of LLVMBuilder that implicitly
+simplifies the code as it is constructed.
+
+- Ted Kremenek added a framework for generic object serialization to bitcode
+files. This support is only used by clang right now for ASTs but is extensible
+and could be used for serializing arbitrary other data into bitcode files.
+
+- Duncan improved TargetData to distinguish between the size/alignment of a
+type in a register, in memory according to the platform ABI, and in memory when
+we have a choice.
+
+- Duncan moved parameter attributes off of FunctionType and onto functions
+and calls. This makes it much easier to add attributes to a function in a
+transformation pass.
+
+- Dan Gohman added support for vector sin, cos, and pow intrinsics.
+
+
+
+
+
Code Generator Improvements
@@ -211,15 +254,15 @@ more consistent, and better documented.
-
In addition to a huge array of bug fixes and minor performance tweaks, LLVM
-2.2 supports a few major enhancements:
+
In addition to a huge array of bug fixes and minor performance tweaks, the
+LLVM 2.2 optimizers support a few major enhancements:
- Daniel Berlin and Curtis Dunham rewrote Andersen's alias analysis to be
-several orders of magnitude faster, implemented Offline Variable Substitution
-and Lazy Cycle Detection. Note that Andersen's is not enabled in llvm-gcc by
-default.
+several orders of magnitude faster, and implemented Offline Variable
+Substitution and Lazy Cycle Detection. Note that Andersen's is not enabled in
+llvm-gcc by default, but can be accessed through 'opt'.
- Dan Gohman contributed several enhancements to Loop Strength Reduction (LSR)
to make it more aggressive with SSE intrinsics.
@@ -240,48 +283,23 @@ variables have different widths.
-
New features include:
+
New target-specific features include:
-- Evan X86 now models EFLAGS in instructions.
-- Evan: If conversion on by default for ARM.
-- Bruno: MIPS PIC support.
-- Arnold Schwaighofer: X86 tail call support.
-- Dale darwin/x86-64 and darwin/ppc eh
-- Evan: darwin/x86 debug info, improvements at -O0?
-
-
-
-
-
-
-
-
-
New features include:
-
-
-
-- Devang added LLVMFoldingBuilder.
-- Dan added support for vector sin, cos, and pow intrinsics.
-- Ted added a framework for generic object serialization to bitcode files,
- only used by clang right now for ASTs but could be used for other
- stuff.
-- Duncan fixed TargetData to distinguish between the size/alignment of a type
- in a register, in memory according to the platform ABI, and in memory when
- we have a choice.
-- Duncan moved parameter attributes off of function type and onto functions
- and calls, which makes it much easier to add attributes to a function in a
- transformation.
-- Christopher Lamb: Multiple address spaces.
-- Gordon: C and Ocaml Bindings
-
-- Anton added readnone/readonly attributes for modeling function side effects
-and Duncan hooked up GCC's pure/const attributes to use them and enhanced alias
-analysis to use them.
-
+- Evan contributed support to the X86 backend to model the mod/ref behavior
+of the EFLAGS register explicitly in all instructions. This gives more freedom
+to the scheduler, and is a more explicit way to model the instructions.
+- Dale contributed support for exception handling on Darwin/x86-64 and
+Darwin/ppc.
+- Evan turned on if-conversion by default for ARM, allowing LLVM to take
+advantage of its predication features.
+- Bruno added PIC support to the MIPS backend, fixed many bugs and improved
+support for architecture variants.
+- Arnold Schwaighofer added support for X86 tail calls (limitations?
+details?).
+- Evan contributed several enhancements to Darwin/x86 debug information,
+and improvements at -O0 (details?).
@@ -296,9 +314,18 @@ analysis to use them.
-- Gordon Henriksen updated docs/Passes.html
-- New lexer and parser for tblgen, new lexer for asmparser
-- Dale GCC testsuite
+- Gordon expanded and updated the LLVM Analysis and
+Transformation Passes reference to include descriptions for each pass.
+
+- We rewrote the lexer and parser used by TableGen to make them simpler
+and cleaner. This gives tblgen support for 'caret diagnostics'. The .ll file
+lexer was also rewritten to support caret diagnostics but doesn't use this
+support yet.
+
+- Dale has been grinding through the GCC testsuite, and marked many
+LLVM-incompatible tests as not-to-be-run (for example, if they are grepping
+through some GCC dump file that LLVM doesn't produce), he also found and fixed
+many LLVM bugs exposed by the testsuite.
@@ -387,6 +414,8 @@ components, please contact us on the alignment
problems on operating systems that don't require 16-byte stack alignment
(including most non-darwin OS's like linux).
+The X86 backend generates inefficient floating point code when configured to
+ generate code for systems that don't have SSE2.
@@ -418,7 +447,7 @@ processors, thumb programs can crash or produce wrong
results (PR1388).
Compilation for ARM Linux OABI (old ABI) is supported, but not fully tested.
-There is a bug in QEMU-ARM (<= 0.9.0) which causes it to incorrectly execute
+There is a bug in QEMU-ARM (<= 0.9.0) which causes it to incorrectly execute
programs compiled with LLVM. Please use more recent versions of QEMU.
@@ -550,11 +579,11 @@ llvmdev mailing list if you are interested.
const, constructor, destructor,
deprecated, fastcall, format,
format_arg, non_null, noinline,
- noreturn, pure, regparm
+ noreturn, nothrow, pure, regparm
section, stdcall, unused, used,
visibility, warn_unused_result, weak
- Ignored: nothrow, malloc,
+ Ignored: malloc,
no_instrument_function