annotate tests/test-copysignl.c @ 40057:b06060465f09

maint: Run 'make update-copyright'
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 01 Jan 2019 00:25:11 +0100
parents 10eb9086bea0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15914
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test of copysignl() function.
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
2 Copyright (C) 2010-2019 Free Software Foundation, Inc.
15914
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
cf6f0eed7cc8 Tests for module 'copysignl'.
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/>. */
15914
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 /* Written by Bruno Haible <bruno@clisp.org>, 2010-2011. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 #include <config.h>
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21 #include <math.h>
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 #include "signature.h"
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 SIGNATURE_CHECK (copysignl, long double, (long double, long double));
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 #include "macros.h"
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 #include "minus-zero.h"
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 #include <string.h>
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 volatile long double x;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 volatile long double y;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33 long double z;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34 long double zero = 0.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36 int
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 main ()
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 {
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 /* A particular value in the first quadrant. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 x = 0.6L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 y = 0.8L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43 ASSERT (z == 0.6L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 /* A particular value in the second quadrant. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 x = -0.6L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 y = 0.8L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 ASSERT (z == 0.6L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 /* A particular value in the third quadrant. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52 x = -0.6L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53 y = -0.8L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 ASSERT (z == -0.6L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 /* A particular value in the fourth quadrant. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 x = 0.6L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 y = -0.8L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 ASSERT (z == -0.6L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63 /* From signed zero. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 x = 1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 y = 0.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 ASSERT (z == 1.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 x = 1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70 y = minus_zerol;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 /* Assume all gnulib targets support -0.0L, until proven otherwise. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
73 ASSERT (z == -1.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
74
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
75 x = -1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
76 y = 0.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
77 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
78 ASSERT (z == 1.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
79
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
80 x = -1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
81 y = minus_zerol;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
82 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
83 ASSERT (z == -1.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
84
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
85 /* To signed zero. */
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
86 x = 0.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
87 y = 1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
88 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
89 ASSERT (z == 0.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
90 ASSERT (memcmp (&z, &zero, sizeof z) == 0);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
91
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
92 x = 0.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
93 y = -1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
94 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
95 ASSERT (z == 0.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
96 ASSERT (memcmp (&z, &zero, sizeof z) != 0);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
97
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
98 x = minus_zerol;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
99 y = 1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
100 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
101 ASSERT (z == 0.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
102 ASSERT (memcmp (&z, &zero, sizeof z) == 0);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
103
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
104 x = minus_zerol;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
105 y = -1.0L;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
106 z = copysignl (x, y);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
107 ASSERT (z == 0.0L);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
108 ASSERT (memcmp (&z, &zero, sizeof z) != 0);
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
109
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
110 return 0;
cf6f0eed7cc8 Tests for module 'copysignl'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
111 }