diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 18:24:02 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 18:24:02 +0200 |
commit | ad8831a83451fc9802a8438256e68e25df5c243d (patch) | |
tree | 12bf45270e0ca5554540bc57c4f406d26436d485 /test/monniaux/sandbox/example.c | |
parent | 27b99ba6e3f93d098f276419ab57f4fb39297409 (diff) | |
download | compcert-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.c | 13 |
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; +} |