From 1e39c09cd2b680b7ba5a5fd8436a0ec514762c02 Mon Sep 17 00:00:00 2001 From: xleroy Date: Thu, 28 Aug 2014 09:18:17 +0000 Subject: Update git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2621 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Changelog b/Changelog index 54794da..ef9ae30 100644 --- a/Changelog +++ b/Changelog @@ -6,7 +6,7 @@ Language features: - Support "switch" statements over an argument of type "long long". Code generation and optimization: -- Revised and improved support for single-precision floating-point +- Revised and improved support for single-precision floating-point arithmetic. Earlier, all FP arithmetic was performed at double precision, with conversions to/from single precision as needed, in particular when loading/storing a single-precision FP number @@ -36,6 +36,7 @@ PowerPC port: pseudo-instructions so that it does not need to be re-done in cchecklink. - Updated the cchecklink validator accordingly. +- More efficient code generated for volatile accesses to small data areas. - Built-in function '__builtin_cntlz' (count leading zeros) renamed '__builtin_clz' for GCC / Clang compatibility. - Added built-in functions for load with reservation / store conditional. -- cgit v1.2.3