Mercurial > gnulib

annotate tests/test-fma-ieee.h @ 40186:8964917f9574

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
16449
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test of ldexp*() function family.
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
2 Copyright (C) 2012-2019 Free Software Foundation, Inc.
16449
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
19190
9759915b2aca all: prefer https: URLs
Paul Eggert <eggert@cs.ucla.edu>
parents: 18626
diff changeset
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
16449
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 static void
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18 test_function (void)
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 {
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20 /* [MX] shaded specification in POSIX. */
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 /* NaN. */
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 ASSERT (ISNAN (FMA (NAN, L_(3.0), L_(5.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 ASSERT (ISNAN (FMA (NAN, L_(0.0), L_(5.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 ASSERT (ISNAN (FMA (L_(2.0), NAN, L_(5.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 ASSERT (ISNAN (FMA (L_(0.0), NAN, L_(5.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 ASSERT (ISNAN (FMA (NAN, NAN, L_(5.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28 ASSERT (ISNAN (FMA (NAN, L_(3.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 ASSERT (ISNAN (FMA (NAN, L_(0.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30 ASSERT (ISNAN (FMA (L_(2.0), NAN, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 ASSERT (ISNAN (FMA (L_(0.0), NAN, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 ASSERT (ISNAN (FMA (NAN, NAN, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34 /* Infinity. */
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35 ASSERT (ISNAN (FMA (INFINITY, L_(2.0), - INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36 ASSERT (ISNAN (FMA (INFINITY, - L_(2.0), INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 ASSERT (ISNAN (FMA (- INFINITY, L_(2.0), INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 ASSERT (ISNAN (FMA (- INFINITY, - L_(2.0), - INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 ASSERT (ISNAN (FMA (L_(2.0), INFINITY, - INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 ASSERT (ISNAN (FMA (L_(2.0), - INFINITY, INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 ASSERT (ISNAN (FMA (- L_(2.0), INFINITY, INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 ASSERT (ISNAN (FMA (- L_(2.0), - INFINITY, - INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44 ASSERT (FMA (INFINITY, L_(2.0), INFINITY) == INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 ASSERT (FMA (INFINITY, - L_(2.0), - INFINITY) == - INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 ASSERT (FMA (- INFINITY, L_(2.0), - INFINITY) == - INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 ASSERT (FMA (- INFINITY, - L_(2.0), INFINITY) == INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 ASSERT (FMA (L_(2.0), INFINITY, INFINITY) == INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 ASSERT (FMA (L_(2.0), - INFINITY, - INFINITY) == - INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50 ASSERT (FMA (- L_(2.0), INFINITY, - INFINITY) == - INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 ASSERT (FMA (- L_(2.0), - INFINITY, INFINITY) == INFINITY);
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53 /* Infinity times zero is NaN. */
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 ASSERT (ISNAN (FMA (INFINITY, L_(0.0), L_(7.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 ASSERT (ISNAN (FMA (INFINITY, L_(0.0), INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56 ASSERT (ISNAN (FMA (INFINITY, L_(0.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), L_(7.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 ASSERT (ISNAN (FMA (- INFINITY, L_(0.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 ASSERT (ISNAN (FMA (L_(0.0), INFINITY, L_(7.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 ASSERT (ISNAN (FMA (L_(0.0), INFINITY, INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62 ASSERT (ISNAN (FMA (L_(0.0), INFINITY, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63 ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, L_(7.0))));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, INFINITY)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 ASSERT (ISNAN (FMA (L_(0.0), - INFINITY, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 /* NaN in the z argument. */
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68 ASSERT (ISNAN (FMA (L_(2.0), L_(3.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 ASSERT (ISNAN (FMA (L_(2.0), INFINITY, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70 ASSERT (ISNAN (FMA (INFINITY, L_(3.0), NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71 ASSERT (ISNAN (FMA (INFINITY, INFINITY, NAN)));
0d187110279f Tests for module 'fmaf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 }