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

2 files changed, 26 insertions, 0 deletions

diff --git a/test/monniaux/ternary/make.proto b/test/monniaux/ternary/make.proto
new file mode 100644
index 00000000..1568ed07
--- /dev/null
+++ b/test/monniaux/ternary/make.proto
@@ -0,0 +1,2 @@
+target: ternary
+measures: [cycles]
diff --git a/test/monniaux/ternary/ternary.c b/test/monniaux/ternary/ternary.c
new file mode 100644
index 00000000..e8813a5c
--- /dev/null
+++ b/test/monniaux/ternary/ternary.c
@@ -0,0 +1,24 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <inttypes.h>
+#include "../clock.h"
+#include "../ternary.h"
+
+typedef uint32_t data;
+
+data silly_computation(void) {
+  data x = 1;
+  for(int i=0; i<10000; i++) {
+     x = x * TERNARY32(x & 0x100, 45561U, 337777U);
+  }
+  return x;
+}
+
+int main() {
+  clock_prepare();
+  clock_start();
+  data result = silly_computation();
+  clock_stop();
+  printf("result=%" PRIu32 "\ncycles:%" PRIu64 "\n", result, get_total_clock());
+  return 0;
+}