diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-18 19:01:02 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-18 19:01:02 +0100 |
| commit | c4296102ae17e434279ed82df0471b7c50ab2f51 (patch) | |
| tree | 51c316baa0d2cc8aa790187ac4ea6814a45cb070 /test/monniaux/float_mat/float_mat_run.c | |
| parent | 05d822afbf41b11fe7937bb14d101f2bb7814651 (diff) | |
| download | compcert-kvx-c4296102ae17e434279ed82df0471b7c50ab2f51.tar.gz compcert-kvx-c4296102ae17e434279ed82df0471b7c50ab2f51.zip | |
use a Pfsd (store double) and not a Pfss (store single) for storing doubles
Diffstat (limited to 'test/monniaux/float_mat/float_mat_run.c')
0 files changed, 0 insertions, 0 deletions