- Recognize __builtin_fabs as an operator, not just a builtin,

  enabling more aggressive optimizations.
- Less aggressive CSE for EF_builtin builtins, causes problems
  for __builtin_write{16,32}_reversed.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2363 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 10 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index 2605249..d4842a9 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,13 @@
+- Revised semantics and implementation of _Alignas(N) attribute
+  to better match those of GCC and Clang.
+- Recognize __builtin_fabs as an operator, not just a builtin,
+  enabling more aggressive optimizations.
+- Fixed incorrect hypothesis on __builtin_write{16,32}_reversed.
+- Fixed syntax error in __attribute__((__packed__)).
+- Emit clean compile-time error for 'switch' over a value of 64-bit
+  integer type (currently not supported).
+
+
 Release 2.1, 2013-10-28
 =======================