Extra volatile test

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

test/regression/Makefile

@@ -7,7 +7,7 @@ CCOMPFLAGS=-stdlib ../../runtime -dparse -dclight -dasm \
 LIBS=$(LIBMATH)
 
 # Can run and have reference output in Results
-TESTS=bitfields1 expr1 initializers
+TESTS=bitfields1 expr1 initializers volatile2
 
 # Other tests: should compile to .s without errors (but expect warnings)
 EXTRAS=commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \

test/regression/Results/volatile2

+signed char 1: OK
+signed char 2: OK
+unsigned char 1: OK
+unsigned char 2: OK
+signed short 1: OK
+signed short 2: OK
+unsigned short 1: OK
+unsigned short 2: OK
+int 1: OK
+int 2: OK
+float 1: OK
+float 2: OK
+double 1: OK
+double 2: OK

test/regression/volatile2.c

+/* Checking that __builtin_volatile_xxx functions are correctly compiled */
+
+#include <stdio.h>
+
+#define TEST(msg,ty,x,v1,v2) \
+  *((volatile ty *) &x) = v1;                                      \
+  printf("%s 1: %s\n", msg, *((ty *) &x) == v1 ? "OK" : "FAILED"); \
+  *((ty *) &x) = v2;                                               \
+  printf("%s 2: %s\n", msg, *((volatile ty *) &x) == v2 ? "OK" : "FAILED");
+
+int main(int argc, char ** argv)
+{
+  signed char sc;
+  unsigned char uc;
+  signed short ss;
+  unsigned short us;
+  int i;
+  float f;
+  double d;
+
+  TEST("signed char", signed char, sc, 12, 34);
+  TEST("unsigned char", unsigned char, uc, 56, 78);
+  TEST("signed short", signed short, ss, 1234, 5678);
+  TEST("unsigned short", unsigned short, us, 1357, 2468);
+  TEST("int", int, i, 0x123456, 0x7890AB);
+  TEST("float", float, f, 0.5, 256.0);
+  TEST("double", double, d, 3.1415, 2.718);
+  return 0;
+}
+