summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-08-28 09:18:17 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-08-28 09:18:17 +0000
commit1e39c09cd2b680b7ba5a5fd8436a0ec514762c02 (patch)
tree5ebd96e7967201c61ede4bd3c416d943d0efdf23
parent6a835a6e50d10bcb7ef1bab6486b5aef769c494a (diff)
Update
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2621 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r--Changelog3
1 files changed, 2 insertions, 1 deletions
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.