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

2 files changed, 17 insertions, 0 deletions

diff --git a/test/monniaux/slow_globals/slow_globals.c b/test/monniaux/slow_globals/slow_globals.c
new file mode 100644
index 00000000..636f5861
--- /dev/null
+++ b/test/monniaux/slow_globals/slow_globals.c
@@ -0,0 +1,15 @@
+#include "../clock.h"
+
+extern void nothing(void);
+int variable;
+
+int main() {
+  clock_prepare();
+  clock_start();
+  for(int i=0; i<1000; i++) {
+    variable++;
+    nothing();
+  }
+  clock_stop();
+  print_total_clock();
+}
diff --git a/test/monniaux/slow_globals/slow_globals2.c b/test/monniaux/slow_globals/slow_globals2.c
new file mode 100644
index 00000000..b68a6ebf
--- /dev/null
+++ b/test/monniaux/slow_globals/slow_globals2.c
@@ -0,0 +1,2 @@
+void nothing(void) {
+}