/* Test of rounding towards zero.
- Copyright (C) 2010 Free Software Foundation, Inc.
+ Copyright (C) 2010-2011 Free Software Foundation, Inc.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
int
main ()
{
+ /* See IEEE 754, section 6.3:
+ "the sign of the result of the round floating-point number to
+ integral value operation is the sign of the operand. These rules
+ shall apply even when operands or results are zero or infinite." */
+
/* Zero. */
ASSERT (!signbit (trunc (0.0)));
ASSERT (!!signbit (trunc (minus_zerod)) == !!signbit (minus_zerod));
+ /* Positive numbers. */
+ ASSERT (!signbit (trunc (0.3)));
+ ASSERT (!signbit (trunc (0.7)));
+ /* Negative numbers. */
+ ASSERT (!!signbit (trunc (-0.3)) == !!signbit (minus_zerod));
+ ASSERT (!!signbit (trunc (-0.7)) == !!signbit (minus_zerod));
return 0;
}