aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/volatile
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/volatile
parent5619eec808bdb9066c5e26b41956fc4534e103fa (diff)
downloadcompcert-kvx-4138208d452b18f3d12926ff9cba9097e926558b.tar.gz
compcert-kvx-4138208d452b18f3d12926ff9cba9097e926558b.zip
exemples d'accès mémoire lents
Diffstat (limited to 'test/monniaux/volatile')
-rw-r--r--test/monniaux/volatile/slow_volatile.c14
1 files changed, 14 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;
+}