PowerPC: remove the fmadd and fmsub operators/Asm instructions

  (definitely not semantics-preserving; hard to justify).
CPragmas: make sure SDAs are not recognized on MacOSX.


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

1 files changed, 3 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index 87220ca..2b2e701 100644
--- a/Changelog
+++ b/Changelog
@@ -10,6 +10,8 @@ Improvements in confidence:
   parameters, and other instances of using composites as r-values, with
   the exception of returning composites by value from a function.
   (The latter remains emulated, using the -fstruct-return option.)
+- PowerPC: removed the -fmadd option, not semantically-preserving
+  in the strict sense.
 
 Language features:
 - Support for _Bool type from ISO C99.
@@ -34,6 +36,7 @@ Performance improvements:
 Other improvements:
 - PowerPC/EABI: uninitialized global variables now go in common (bss) section.
 - PowerPC: work around limited excursion of conditional branch instructions.
+- PowerPC: added __builtin_fnmadd() and __builtin_fnmsub().
 - Reference interpreter: better printing of pointer values and locations.
 - Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt> to pass
   specific options to the preprocessor, assembler, or linker, respectively.