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/gourdinl | |
| parent | d1d6493816e7c561f82f7549f100442f0bf52a15 (diff) | |
| download | compcert-kvx-bc4a980bdf6674083c092179cd0d173fcc62eff9.tar.gz compcert-kvx-bc4a980bdf6674083c092179cd0d173fcc62eff9.zip | |
fp test
Diffstat (limited to 'test/gourdinl')
| -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; +} |