Mercurial > hg > octave-lojdl > gnulib-hg

annotate tests/test-ceilf-ieee.c @ 16364:89227b989588

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fatal-signal: use C prototypes (with explicit void). * lib/fatal-signal.c (uninstall_handlers, install_handlers) (init_fatal_signal_set, block_fatal_signals): Fix signatures.
author Akim Demaille <demaille@gostai.com>
date Wed, 08 Feb 2012 10:36:20 +0100
parents 8250f2777afc
children e055691d062c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13978
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test of rounding towards positive infinity.
16201
8250f2777afc maint: update all copyright year number ranges
Jim Meyering <meyering@redhat.com>
parents: 14079
diff changeset
2 Copyright (C) 2010-2012 Free Software Foundation, Inc.
13978
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 #include <config.h>
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 #include <math.h>
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21 #include "minus-zero.h"
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 #include "macros.h"
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 /* If IEEE compliance was not requested, the ICC compiler inlines its
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 own ceilf assembly that turns -0.0f to 0.0f; but that is a correct
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 result when IEEE is not enforced. To avoid spurious failure, we
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 have to provide this dummy function in order to outsmart ICC's
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28 inlining, and call our ceilf through a function pointer. */
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 static float
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30 dummy (float f)
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 {
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 return 0;
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33 }
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35 int
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36 main (int argc, char **argv _GL_UNUSED)
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 {
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 float (*my_ceilf) (float) = argc ? ceilf : dummy;
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39
13992
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
40 /* See IEEE 754, section 6.3:
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
41 "the sign of the result of the round floating-point number to
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
42 integral value operation is the sign of the operand. These rules
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
43 shall apply even when operands or results are zero or infinite." */
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
44
13978
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 /* Zero. */
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 ASSERT (!signbit (my_ceilf (0.0f)));
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 ASSERT (!!signbit (my_ceilf (minus_zerof)) == !!signbit (minus_zerof));
13992
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
48 /* Positive numbers. */
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
49 ASSERT (!signbit (my_ceilf (0.3f)));
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
50 ASSERT (!signbit (my_ceilf (0.7f)));
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
51 /* Negative numbers. */
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
52 ASSERT (!!signbit (my_ceilf (-0.3f)) == !!signbit (minus_zerof));
749c72ade953 ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents: 13978
diff changeset
53 ASSERT (!!signbit (my_ceilf (-0.7f)) == !!signbit (minus_zerof));
13978
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 return 0;
5bbfbdf17b53 New module 'ceilf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56 }