diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-08-31 20:19:55 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-08-31 20:19:55 +0200 |
commit | df762ec07599897bac9800396b09cf1801f2db3c (patch) | |
tree | 83324f21db639197c8986e5e6e70f23b6f2c9077 /test/monniaux | |
parent | 554eee0433af238fb04b64eecc3524d7efa1cee0 (diff) | |
download | compcert-kvx-df762ec07599897bac9800396b09cf1801f2db3c.tar.gz compcert-kvx-df762ec07599897bac9800396b09cf1801f2db3c.zip |
example prog where list scheduler can be reoptimized using ILP
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/scheduling/mal_schedule.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/monniaux/scheduling/mal_schedule.c b/test/monniaux/scheduling/mal_schedule.c new file mode 100644 index 00000000..a6ba967f --- /dev/null +++ b/test/monniaux/scheduling/mal_schedule.c @@ -0,0 +1,14 @@ +#include <stdint.h> +int16_t meuh; +extern int uv_encode(double, double, int); +void f(int *ab, int e) { + uint32_t *ao = (uint32_t *)ab; + int16_t *aq = &meuh; + while (e) { + int ar, as; + ar = 1. / 2147483647; + as = uv_encode(5, *aq, *ab); + if (as) + *ao++ = ar; + } +} |