Updated ARM and PowerPC ports with new handling of __builtin_annot.

ARM: add support for builtin_volatile_{read,write}_global, after all.


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

2 files changed, 29 insertions, 0 deletions

diff --git a/test/regression/Results/volatile2 b/test/regression/Results/volatile2
index 5f88874..e6a9903 100644
--- a/test/regression/Results/volatile2
+++ b/test/regression/Results/volatile2
@@ -12,3 +12,17 @@ float 1: OK
 float 2: OK
 double 1: OK
 double 2: OK
+global signed char 1: OK
+global signed char 2: OK
+global unsigned char 1: OK
+global unsigned char 2: OK
+global signed short 1: OK
+global signed short 2: OK
+global unsigned short 1: OK
+global unsigned short 2: OK
+global int 1: OK
+global int 2: OK
+global float 1: OK
+global float 2: OK
+global double 1: OK
+global double 2: OK
diff --git a/test/regression/volatile2.c b/test/regression/volatile2.c
index 0608650..306eb8c 100644
--- a/test/regression/volatile2.c
+++ b/test/regression/volatile2.c
@@ -8,6 +8,14 @@
   *((ty *) &x) = v2;                                               \
   printf("%s 2: %s\n", msg, *((volatile ty *) &x) == v2 ? "OK" : "FAILED");
 
+signed char gsc;
+unsigned char guc;
+signed short gss;
+unsigned short gus;
+int gi;
+float gf;
+double gd;
+
 int main()
 {
   signed char sc;
@@ -25,6 +33,13 @@ int main()
   TEST("int", int, i, 0x123456, 0x7890AB);
   TEST("float", float, f, 0.5, 256.0);
   TEST("double", double, d, 3.1415, 2.718);
+  TEST("global signed char", signed char, gsc, 12, 34);
+  TEST("global unsigned char", unsigned char, guc, 56, 78);
+  TEST("global signed short", signed short, gss, 1234, 5678);
+  TEST("global unsigned short", unsigned short, gus, 1357, 2468);
+  TEST("global int", int, gi, 0x123456, 0x7890AB);
+  TEST("global float", float, gf, 0.5, 256.0);
+  TEST("global double", double, gd, 3.1415, 2.718);
   return 0;
 }