annotate tests/test-truncl-ieee.c @ 15681:c21e706c88b2

Tests for module 'shutdown'. * modules/shutdown-tests: New file. * tests/test-shutdown.c: New file.
author Bruno Haible <bruno@clisp.org>
date Tue, 20 Sep 2011 21:38:04 +0200
parents 97fc9a21a8fb
children 8250f2777afc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13987
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test of rounding towards zero.
14079
97fc9a21a8fb maint: update almost all copyright ranges to include 2011
Jim Meyering <meyering@redhat.com>
parents: 13993
diff changeset
2 Copyright (C) 2010-2011 Free Software Foundation, Inc.
13987
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 #include <config.h>
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 #include <math.h>
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21 #include "fpucw.h"
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 #include "minus-zero.h"
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 #include "macros.h"
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 int
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 main ()
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 {
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28 DECL_LONG_DOUBLE_ROUNDING
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30 BEGIN_LONG_DOUBLE_ROUNDING ();
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31
13993
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
32 /* See IEEE 754, section 6.3:
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
33 "the sign of the result of the round floating-point number to
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
34 integral value operation is the sign of the operand. These rules
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
35 shall apply even when operands or results are zero or infinite." */
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
36
13987
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 /* Zero. */
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 ASSERT (!signbit (truncl (0.0L)));
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 ASSERT (!!signbit (truncl (minus_zerol)) == !!signbit (minus_zerol));
13993
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
40 /* Positive numbers. */
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
41 ASSERT (!signbit (truncl (0.3L)));
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
42 ASSERT (!signbit (truncl (0.7L)));
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
43 /* Negative numbers. */
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
44 ASSERT (!!signbit (truncl (-0.3L)) == !!signbit (minus_zerol));
9e9aaf4c9464 trunc: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13987
diff changeset
45 ASSERT (!!signbit (truncl (-0.7L)) == !!signbit (minus_zerol));
13987
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 return 0;
12444cea2981 New module 'truncl-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 }