octave-kai/gnulib-hg: tests/test-ceil-ieee.c annotate

annotate tests/test-ceil-ieee.c @ 16426:da3714005967

ceil-ieee tests: More tests. * tests/test-ceil-ieee.c: Include isnand-nolibm.h, infinity.h, nan.h. (main): Add tests for [MX] shaded specification in POSIX. * modules/ceil-ieee-tests (Files): Add tests/infinity.h, tests/nan.h. (Depends-on): Add isnand-nolibm.

author	Bruno Haible <bruno@clisp.org>
date	Sun, 26 Feb 2012 14:25:50 +0100
parents	8250f2777afc
children	e542fd46ad6f

rev	line source
13982 2c35dd380b9e New module 'ceil-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.
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	3
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	4 This program is free software: you can redistribute it and/or modify
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	5 it under the terms of the GNU General Public License as published by
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	6 the Free Software Foundation; either version 3 of the License, or
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	7 (at your option) any later version.
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	8
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	9 This program is distributed in the hope that it will be useful,
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	10 but WITHOUT ANY WARRANTY; without even the implied warranty of
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	12 GNU General Public License for more details.
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	13
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	14 You should have received a copy of the GNU General Public License
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	16
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	17 #include <config.h>
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	18
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	19 #include <math.h>
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	20
16426 da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	21 #include "isnand-nolibm.h"
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	22 #include "minus-zero.h"
16426 da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	23 #include "infinity.h"
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	24 #include "nan.h"
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	25 #include "macros.h"
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	26
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	27 int
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	28 main ()
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	29 {
13992 749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	30 /* See IEEE 754, section 6.3:
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	31 "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: 13982 diff changeset	32 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: 13982 diff changeset	33 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: 13982 diff changeset	34
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	35 /* Zero. */
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	36 ASSERT (!signbit (ceil (0.0)));
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	37 ASSERT (!!signbit (ceil (minus_zerod)) == !!signbit (minus_zerod));
13992 749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	38 /* Positive numbers. */
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	39 ASSERT (!signbit (ceil (0.3)));
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	40 ASSERT (!signbit (ceil (0.7)));
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	41 /* Negative numbers. */
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	42 ASSERT (!!signbit (ceil (-0.3)) == !!signbit (minus_zerod));
749c72ade953 ceil: Implement result sign according to IEEE 754. Bruno Haible <bruno@clisp.org> parents: 13982 diff changeset	43 ASSERT (!!signbit (ceil (-0.7)) == !!signbit (minus_zerod));
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	44
16426 da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	45 /* [MX] shaded specification in POSIX. */
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	46
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	47 /* NaN. */
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	48 ASSERT (isnand (ceil (NaNd ())));
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	49 /* Infinity. */
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	50 ASSERT (ceil (Infinityd ()) == Infinityd ());
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	51 ASSERT (ceil (- Infinityd ()) == - Infinityd ());
da3714005967 ceil-ieee tests: More tests. Bruno Haible <bruno@clisp.org> parents: 16201 diff changeset	52
13982 2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	53 return 0;
2c35dd380b9e New module 'ceil-ieee'. Bruno Haible <bruno@clisp.org> parents: diff changeset	54 }

Mercurial > hg > octave-kai > gnulib-hg

annotate tests/test-ceil-ieee.c @ 16426:da3714005967