/* Test of rounding towards positive infinity.
- Copyright (C) 2010 Free Software Foundation, Inc.
+ Copyright (C) 2010-2012 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
#include <math.h>
+#include "isnanf-nolibm.h"
#include "minus-zero.h"
+#include "infinity.h"
+#include "nan.h"
#include "macros.h"
/* If IEEE compliance was not requested, the ICC compiler inlines its
{
float (*my_ceilf) (float) = argc ? ceilf : 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_ceilf (0.0f)));
ASSERT (!!signbit (my_ceilf (minus_zerof)) == !!signbit (minus_zerof));
+ /* Positive numbers. */
+ ASSERT (!signbit (my_ceilf (0.3f)));
+ ASSERT (!signbit (my_ceilf (0.7f)));
+ /* Negative numbers. */
+ ASSERT (!!signbit (my_ceilf (-0.3f)) == !!signbit (minus_zerof));
+ ASSERT (!!signbit (my_ceilf (-0.7f)) == !!signbit (minus_zerof));
+
+ /* [MX] shaded specification in POSIX. */
+
+ /* NaN. */
+ ASSERT (isnanf (ceilf (NaNf ())));
+ /* Infinity. */
+ ASSERT (ceilf (Infinityf ()) == Infinityf ());
+ ASSERT (ceilf (- Infinityf ()) == - Infinityf ());
return 0;
}