Mercurial > hg > octave-kai > gnulib-hg
annotate tests/test-ceil-ieee.c @ 14079:97fc9a21a8fb
maint: update almost all copyright ranges to include 2011
Run the new "make update-copyright" rule.
| author | Jim Meyering <meyering@redhat.com> |
|---|---|
| date | Sat, 01 Jan 2011 20:17:23 +0100 |
| parents | 749c72ade953 |
| children | 8250f2777afc |
| rev | line source |
|---|---|
| 13982 | 1 /* Test of rounding towards positive infinity. |
|
14079
97fc9a21a8fb
maint: update almost all copyright ranges to include 2011
Jim Meyering <meyering@redhat.com>
parents:
13992
diff
changeset
|
2 Copyright (C) 2010-2011 Free Software Foundation, Inc. |
| 13982 | 3 |
| 4 This program is free software: you can redistribute it and/or modify | |
| 5 it under the terms of the GNU General Public License as published by | |
| 6 the Free Software Foundation; either version 3 of the License, or | |
| 7 (at your option) any later version. | |
| 8 | |
| 9 This program is distributed in the hope that it will be useful, | |
| 10 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 12 GNU General Public License for more details. | |
| 13 | |
| 14 You should have received a copy of the GNU General Public License | |
| 15 along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
| 16 | |
| 17 #include <config.h> | |
| 18 | |
| 19 #include <math.h> | |
| 20 | |
| 21 #include "minus-zero.h" | |
| 22 #include "macros.h" | |
| 23 | |
| 24 int | |
| 25 main () | |
| 26 { | |
|
13992
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
27 /* See IEEE 754, section 6.3: |
|
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
28 "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
|
29 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
|
30 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
|
31 |
| 13982 | 32 /* Zero. */ |
| 33 ASSERT (!signbit (ceil (0.0))); | |
| 34 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
|
35 /* Positive numbers. */ |
|
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
36 ASSERT (!signbit (ceil (0.3))); |
|
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
37 ASSERT (!signbit (ceil (0.7))); |
|
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
38 /* Negative 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)) == !!signbit (minus_zerod)); |
|
749c72ade953
ceil: Implement result sign according to IEEE 754.
Bruno Haible <bruno@clisp.org>
parents:
13982
diff
changeset
|
40 ASSERT (!!signbit (ceil (-0.7)) == !!signbit (minus_zerod)); |
| 13982 | 41 |
| 42 return 0; | |
| 43 } |