Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work

2 files changed, 47 insertions, 0 deletions

diff --git a/test/monniaux/volatile/slow_volatile.c b/test/monniaux/volatile/slow_volatile.c
new file mode 100644
index 00000000..bbbc6ddf
--- /dev/null
+++ b/test/monniaux/volatile/slow_volatile.c
@@ -0,0 +1,14 @@
+#include "../clock.h"
+
+volatile int output;
+
+int main() {
+  clock_prepare();
+  clock_start();
+  for(int i=0; i<1000; i++) {
+    output = 0;
+  }
+  clock_stop();
+  print_total_clock();
+  return 0;
+}
diff --git a/test/monniaux/volatile/volatile_test.c b/test/monniaux/volatile/volatile_test.c
new file mode 100644
index 00000000..687544ec
--- /dev/null
+++ b/test/monniaux/volatile/volatile_test.c
@@ -0,0 +1,33 @@
+#include <stdint.h>
+#include <float.h>
+#include <stdio.h>
+
+#define TEST_TYPE(type, min, max)			\
+  { \
+    volatile type var; \
+    var = min; \
+    if (var != min) { \
+      printf("%s: wrong min\n", #type); \
+    } \
+    var = max; \
+    if (var != max) { \
+      printf("%s: wrong max\n", #type); \
+    } \
+  }
+
+#define TEST_INT_TYPE(type, min, max) TEST_TYPE(type##_t, min, max)
+
+int main() {
+  TEST_INT_TYPE(uint8, 0, UINT8_MAX);
+  TEST_INT_TYPE(int8, INT8_MIN, INT8_MAX);
+  TEST_INT_TYPE(uint16, 0, UINT16_MAX);
+  TEST_INT_TYPE(int16, INT16_MIN, INT16_MAX);
+  TEST_INT_TYPE(uint32, 0, UINT32_MAX);
+  TEST_INT_TYPE(int32, INT32_MIN, INT32_MAX);
+  TEST_INT_TYPE(uint64, 0, UINT64_MAX);
+  TEST_INT_TYPE(int64, INT64_MIN, INT64_MAX);
+  
+  TEST_TYPE(float, FLT_MIN, FLT_MAX);
+  TEST_TYPE(double, DBL_MIN, DBL_MAX);
+  return 0;
+}