annotate tests/test-ieee754-h.c @ 40186:8964917f9574

autoupdate
author Karl Berry <karl@freefriends.org>
date Mon, 18 Feb 2019 08:02:49 -0800
parents b06060465f09
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
39759
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
1 /* Test <ieee754.h>.
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 39759
diff changeset
2 Copyright 2018-2019 Free Software Foundation, Inc.
39759
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
3
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
7 (at your option) any later version.
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
8
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
12 GNU General Public License for more details.
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
13
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
16
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
17 /* Written by Paul Eggert. */
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
18
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
19 #include <config.h>
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
20
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
21 #include <ieee754.h>
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
22 #include <stdio.h>
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
23
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
24 static struct {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
25 float x;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
26 unsigned sign; unsigned exponent; unsigned frac;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
27 } const float_tests[] =
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
28 {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
29 {0, 0, 0, 0},
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
30 {-0.0, 1, 0, 0},
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
31 {0.1, 0, 0x7b, 0x4ccccd}
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
32 };
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
33
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
34 static struct {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
35 double x;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
36 unsigned sign; unsigned exponent; unsigned frac_hi; unsigned frac_lo;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
37 } const double_tests[] =
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
38 {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
39 {0, 0, 0, 0},
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
40 {-0.0, 1, 0, 0 },
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
41 {0.1, 0, 0x3fb, 0x99999, 0x9999999a}
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
42 };
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
43
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
44 int
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
45 main (void)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
46 {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
47 int i;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
48
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
49 for (i = 0; i < sizeof float_tests / sizeof *float_tests; i++)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
50 {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
51 union ieee754_float u;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
52 u.f = float_tests[i].x;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
53 if (float_tests[i].sign != u.ieee.negative)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
54 return 1;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
55 if (float_tests[i].exponent != u.ieee.exponent)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
56 return 2;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
57 if (float_tests[i].frac != u.ieee.mantissa)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
58 return 3;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
59 }
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
60
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
61 for (i = 0; i < sizeof double_tests / sizeof *double_tests; i++)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
62 {
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
63 union ieee754_double u;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
64 u.d = double_tests[i].x;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
65 if (double_tests[i].sign != u.ieee.negative)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
66 return 4;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
67 if (double_tests[i].exponent != u.ieee.exponent)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
68 return 5;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
69 if (double_tests[i].frac_hi != u.ieee.mantissa0)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
70 return 6;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
71 if (double_tests[i].frac_lo != u.ieee.mantissa1)
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
72 return 7;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
73 }
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
74
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
75 return 0;
4be92e43380a ieee754-h: new module
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
76 }