From af2b5e2efd6bf7d682e74a3fde5d54e960fa34af Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 5 May 2014 11:39:57 +0000
Subject: Fused multiply-add for IA32.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2481 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Changelog | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index edf327ec..f6329ae2 100644
--- a/Changelog
+++ b/Changelog
@@ -1,9 +1,5 @@
 Language features:
 - Support for C99 designated initializers. (ISO C99 section 6.7.8.)
-- Traditional, pre-Standard function definitions are no longer supported, e.g.
-      int f(i) int i; { return i + 1; }  // no longer supported
-  Use Standard form instead:
-      int f(int i) { return i + 1; }
 
 Improvements in confidence:
 - The parser is now formally verified against the ISO C99 grammar plus
@@ -24,6 +20,8 @@ Optimizations:
 Usability:
 - Option "-timings" to print compilation times for various passes.
 - Various tweaks in IRC graph coloring to reduce compilation time.
+- IA32: add built-in functions for fused multiply-add
+  (require a recent processor with FMA3 extensions).
 
 Improvements in ABI conformance:
 - New target platform: ARM with EABI "hard float" calling conventions
-- 
cgit