diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-10 10:44:43 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-10 10:44:43 +0100 |
commit | bc4a980bdf6674083c092179cd0d173fcc62eff9 (patch) | |
tree | 4e7b41c61829752facb12c4263453c81347806a2 /test | |
parent | d1d6493816e7c561f82f7549f100442f0bf52a15 (diff) | |
download | compcert-kvx-bc4a980bdf6674083c092179cd0d173fcc62eff9.tar.gz compcert-kvx-bc4a980bdf6674083c092179cd0d173fcc62eff9.zip |
fp test
Diffstat (limited to 'test')
-rw-r--r-- | test/gourdinl/fp_init.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/gourdinl/fp_init.c b/test/gourdinl/fp_init.c new file mode 100644 index 00000000..1d835994 --- /dev/null +++ b/test/gourdinl/fp_init.c @@ -0,0 +1,7 @@ +int main (float *x) { + double a = 1.0; + float b = 1.0f; + printf("%f", a); + *x = b; + return b; +} |