diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 14:06:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 14:06:21 +0200 |
commit | 168393089024b5f926836cb813fddf14e6b6e4d4 (patch) | |
tree | 5d018198dc26be847544f162b87ad3dcecbab479 /test/monniaux/sandbox/example.c | |
parent | 633b72565b022f159526338b5bbb9fcac86dfd2b (diff) | |
parent | b3431b1d9ee5121883d307cff0b62b7e53369891 (diff) | |
download | compcert-kvx-168393089024b5f926836cb813fddf14e6b6e4d4.tar.gz compcert-kvx-168393089024b5f926836cb813fddf14e6b6e4d4.zip |
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
(unfinished)
Diffstat (limited to 'test/monniaux/sandbox/example.c')
-rw-r--r-- | test/monniaux/sandbox/example.c | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/test/monniaux/sandbox/example.c b/test/monniaux/sandbox/example.c new file mode 100644 index 00000000..2b8fc8c5 --- /dev/null +++ b/test/monniaux/sandbox/example.c @@ -0,0 +1,42 @@ +#include <stdio.h> +#include "f.h" +#include "../cycles.h" + +#if 0 +int main(void){ + cycle_count_config(); + + int i; + int S = 0; + + TIMEINIT + for (i = 0; i < 1000; i++){ + S += f(i, i*2); + } + TIMESTOP(0) + + printf("Final value: %d\n", S); + TIMESTOP(1) + + TIMEPRINT(1) + return 0; +} +#endif + +#if 0 +int main(void){ + cycle_count_config(); + + TIMEINIT + int a = 42; + int b = 21; + int c = 42+b; + TIMESTOP(0) + int d = a + b; + int e = a + b + c + d; + TIMESTOP(1) + + TIMEPRINT(1) + return e; +} +#endif |