1 /* Test of rounding towards zero. 2 Copyright (C) 2010-2021 Free Software Foundation, Inc. 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 <https://www.gnu.org/licenses/>. */ 16 17 #include <config.h> 18 19 #include <math.h> 20 21 #include "isnanf-nolibm.h" 22 #include "minus-zero.h" 23 #include "infinity.h" 24 #include "nan.h" 25 #include "macros.h" 26 27 int 28 main () /* */ 29 { 30 /* See IEEE 754, section 6.3: 31 "the sign of the result of the round floating-point number to 32 integral value operation is the sign of the operand. These rules 33 shall apply even when operands or results are zero or infinite." */ 34 35 /* Zero. */ 36 ASSERT (!signbit (truncf (0.0f))); 37 ASSERT (!!signbit (truncf (minus_zerof)) == !!signbit (minus_zerof)); 38 /* Positive numbers. */ 39 ASSERT (!signbit (truncf (0.3f))); 40 ASSERT (!signbit (truncf (0.7f))); 41 /* Negative numbers. */ 42 ASSERT (!!signbit (truncf (-0.3f)) == !!signbit (minus_zerof)); 43 ASSERT (!!signbit (truncf (-0.7f)) == !!signbit (minus_zerof)); 44 45 /* [MX] shaded specification in POSIX. */ 46 47 /* NaN. */ 48 ASSERT (isnanf (truncf (NaNf ()))); 49 /* Infinity. */ 50 ASSERT (truncf (Infinityf ()) == Infinityf ()); 51 ASSERT (truncf (- Infinityf ()) == - Infinityf ()); 52 53 return 0; 54 }