aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/slow_globals
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 21:31:15 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 21:31:15 +0200
commit4138208d452b18f3d12926ff9cba9097e926558b (patch)
tree8223d226c845401346b8f2c1749332581f7955ce /test/monniaux/slow_globals
parent5619eec808bdb9066c5e26b41956fc4534e103fa (diff)
downloadcompcert-kvx-4138208d452b18f3d12926ff9cba9097e926558b.tar.gz
compcert-kvx-4138208d452b18f3d12926ff9cba9097e926558b.zip
exemples d'accès mémoire lents
Diffstat (limited to 'test/monniaux/slow_globals')
-rw-r--r--test/monniaux/slow_globals/slow_globals.c15
-rw-r--r--test/monniaux/slow_globals/slow_globals2.c2
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) {
+}