aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/sandbox/example.c
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-11 18:24:02 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-11 18:24:02 +0200
commitad8831a83451fc9802a8438256e68e25df5c243d (patch)
tree12bf45270e0ca5554540bc57c4f406d26436d485 /test/monniaux/sandbox/example.c
parent27b99ba6e3f93d098f276419ab57f4fb39297409 (diff)
downloadcompcert-kvx-ad8831a83451fc9802a8438256e68e25df5c243d.tar.gz
compcert-kvx-ad8831a83451fc9802a8438256e68e25df5c243d.zip
Premier jet du framework d'évaluation de perf (pas fini)
Diffstat (limited to 'test/monniaux/sandbox/example.c')
-rw-r--r--test/monniaux/sandbox/example.c13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/monniaux/sandbox/example.c b/test/monniaux/sandbox/example.c
new file mode 100644
index 00000000..774eb0b3
--- /dev/null
+++ b/test/monniaux/sandbox/example.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+#include "f.h"
+
+int main(void){
+ int i;
+ int S = 0;
+ for (i = 0; i < 1000; i++){
+ S += f(i, i*2);
+ }
+
+ printf("Final value: %d\n", S);
+ return 0;
+}