- 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, 3 insertions, 0 deletions

diff --git a/test/regression/builtins-powerpc.c b/test/regression/builtins-powerpc.c
index 9f0d410..d8a28ed 100644
--- a/test/regression/builtins-powerpc.c
+++ b/test/regression/builtins-powerpc.c
@@ -38,6 +38,9 @@ int main(int argc, char ** argv)
   printf ("after write_16_rev: %x\n", s);
   __builtin_write32_reversed(&y, 0x12345678);
   printf ("after write_32_rev: %x\n", y);
+  y = 0;
+  __builtin_write32_reversed(&y, 0x12345678);
+  printf ("CSE write_32_rev: %s\n", y == 0x78563412 ? "ok" : "ERROR");
 
   return 0;
 }