diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-06 19:09:03 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-06 19:09:03 +0100 |
| commit | a7ea84945b85403dda46498415d27e51ba33d309 (patch) | |
| tree | 4357cde90c6d3ff9c0b33dc424de208ec143d268 /test/monniaux/send_through | |
| parent | ca045c6110ecaf75221e8f8698c9888d232c2e6d (diff) | |
| download | compcert-kvx-a7ea84945b85403dda46498415d27e51ba33d309.tar.gz compcert-kvx-a7ea84945b85403dda46498415d27e51ba33d309.zip | |
and now a call to lrint
Diffstat (limited to 'test/monniaux/send_through')
| -rw-r--r-- | test/monniaux/send_through/send_through_ccomp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/send_through/send_through_ccomp.c b/test/monniaux/send_through/send_through_ccomp.c index 99cb64c4..b005d94a 100644 --- a/test/monniaux/send_through/send_through_ccomp.c +++ b/test/monniaux/send_through/send_through_ccomp.c @@ -9,6 +9,6 @@ double send_through(op_int_double f, int x, int y, double z) { } void print_from_ccomp(double x) { - printf("x=%e x=%f x=%g x=%.03e x=%.03f x=%.03g x[rounded]=%d\n", - x, x, x, x, x, x, rint(x)); + printf("x=%e x=%f x=%g x=%.03e x=%.03f x=%.03g x[rounded]=%ld\n", + x, x, x, x, x, x, lrint(x)); } |