diff options
Diffstat (limited to 'tests/test-floorf-ieee.c')
-rw-r--r-- | tests/test-floorf-ieee.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/test-floorf-ieee.c b/tests/test-floorf-ieee.c index da13848738..c4925d2b17 100644 --- a/tests/test-floorf-ieee.c +++ b/tests/test-floorf-ieee.c @@ -37,9 +37,20 @@ main (int argc, char **argv _GL_UNUSED) { float (*my_floorf) (float) = argc ? floorf : dummy; + /* 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 (my_floorf (0.0f))); ASSERT (!!signbit (my_floorf (minus_zerof)) == !!signbit (minus_zerof)); + /* Positive numbers. */ + ASSERT (!signbit (my_floorf (0.3f))); + ASSERT (!signbit (my_floorf (0.7f))); + /* Negative numbers. */ + ASSERT (!!signbit (my_floorf (-0.3f)) == !!signbit (minus_zerof)); + ASSERT (!!signbit (my_floorf (-0.7f)) == !!signbit (minus_zerof)); return 0; } |