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

1 files changed, 18 insertions, 0 deletions

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);
+    }
+}