Handling of volatile accesses through builtin functions.

Added support for processor-specific builtin functions.
Added some PowerPC instructions as builtins.
Updated #pragma section handling.


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

2 files changed, 68 insertions, 0 deletions

diff --git a/test/regression/builtins.c b/test/regression/builtins.c
new file mode 100644
index 0000000..b13578a
--- /dev/null
+++ b/test/regression/builtins.c
@@ -0,0 +1,50 @@
+/* Fun with PowerPC builtins */
+
+#include <stdio.h>
+
+#ifdef __ppc__
+
+int main(int argc, char ** argv)
+{
+  int x = 0x12345678;
+  unsigned int y = 0xDEADBEEF;
+
+  printf("mulhw(%x, %x) = %x\n", x, y, __builtin_mulhw(x, y));
+  printf("mulhwu(%x, %x) = %x\n", x, y, __builtin_mulhwu(x, y));
+  printf("cntlzw(%x) = %d\n", x, __builtin_cntlzw(x));
+
+  double a = 3.14159;
+  double b = 2.718;
+  double c = 1.414;
+
+  printf("fmadd(%f, %f, %f) = %f\n", a, b, c, __builtin_fmadd(a, b, c));
+  printf("fmsub(%f, %f, %f) = %f\n", a, b, c, __builtin_fmsub(a, b, c));
+  printf("fabs(%f) = %f\n", a, __builtin_fabs(a));
+  printf("fabs(%f) = %f\n", -a, __builtin_fabs(-a));
+  printf("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a));
+  printf("frsqrte(%f) = %f\n", a, __builtin_frsqrte(a));
+  printf("fres(%f) = %f\n", a, __builtin_fres(a));
+  printf("fsel(%f, %f, %f) = %f\n", a, b, c, __builtin_fsel(a, b, c));
+  printf("fsel(%f, %f, %f) = %f\n", -a, b, c, __builtin_fsel(-a, b, c));
+
+  unsigned short s = 0x1234;
+  printf ("read_16_rev = %x\n", __builtin_read_int16_reversed(&s));
+  printf ("read_32_rev = %x\n", __builtin_read_int32_reversed(&y));
+  __builtin_write_int16_reversed(&s, 0x789A);
+  printf ("after write_16_rev: %x\n", s);
+  __builtin_write_int32_reversed(&y, 0x12345678);
+  printf ("after write_32_rev: %x\n", y);
+
+  __builtin_eieio();
+  __builtin_sync();
+  __builtin_isync();
+
+  return 0;
+}
+
+#endif
+
+
+  
+
+
diff --git a/test/regression/check-pragmas b/test/regression/check-pragmas
new file mode 100755
index 0000000..404d687
--- /dev/null
+++ b/test/regression/check-pragmas
@@ -0,0 +1,18 @@
+#!/usr/bin/perl
+
+$sect = 'none';
+
+while(<>) {
+    if (/^	(\.(text|data|sdata|sbss|sdata2))/) {
+        $sect = $1;
+    }
+    if (/^	(\.section.*)/) {
+        $sect = $1;
+    }
+    if (/([A-Za-z_][A-Za-z0-9_]*):/) {
+        printf ("%32s: %s\n", $1, $sect);
+    }
+    if (/([A-Za-z_][A-Za-z0-9_]*)\)?\@sda/) {
+        printf ("%32s: short reference\n", $1);
+    }
+}