From e1030852452c9e59045806d3306bffb14742da3b Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 22 Feb 2012 14:05:47 +0000 Subject: Simplified and cleaned up the passing of information from C2C to PrintAsm, as well as the handling of sections. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1822 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 1b6cdcc..0f5ab97 100644 --- a/Changelog +++ b/Changelog @@ -1,3 +1,38 @@ +Release 1.10, 2012-02-15 +======================== + +Improvements in confidence: +- CompCert C now natively supports volatile types. Its semantics fully + specifies the meaning of volatile memory accesses. The translation + of volatile accesses to built-in function invocations is now proved correct. +- CompCert C now natively supports assignment between composite types + (structs or unions), passing composite types by value as function + parameters, and other instances of composites used as r-values, with + the exception of returning composites by value from a function. + (The latter remains emulated, using the -fstruct-return option.) + +Language features: +- Support for _Bool type from ISO C99. + +Performance improvements: +- Improvements in instruction selection, especially for integer casts + and their combinations with bitwise operations. +- Shorter, more efficient code generated for accessing volatile global + variables. +- Better code generated for && and || outside conditional tests. +- Improved register allocation for invocations of built-ins, + especially for annotations. +- In Cminor and down, make safe operators non-strict: they return Vundef + instead of getting stuck. This enables more optimizations. +- Cast optimization is no longer performed by a separate pass over + RTL, but equivalent optimization is done during Cminor generation + and during instruction selection. + +Other improvements: +- PowerPC/EABI: uninitialized global variables now go in common (bss) section. +- PowerPC: work around limited excursion of conditional branch instructions. + + Release 1.9.1, 2011-11-28 ========================= -- cgit v1.2.3