/* Test of rounding towards negative infinity.
- Copyright (C) 2007-2010 Free Software Foundation, Inc.
+ Copyright (C) 2007-2013 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 "isnanf-nolibm.h"
#include "minus-zero.h"
+#include "infinity.h"
#include "nan.h"
#include "macros.h"
/* Zero. */
ASSERT (my_floorf (0.0f) == 0.0f);
- ASSERT (!signbit (my_floorf (0.0f)));
ASSERT (my_floorf (minus_zerof) == 0.0f);
- ASSERT (!!signbit (minus_zerof) == !!signbit (my_floorf (minus_zerof)));
/* Positive numbers. */
ASSERT (my_floorf (0.3f) == 0.0f);
ASSERT (my_floorf (0.7f) == 0.0f);
ASSERT (my_floorf (-65536.0f) == -65536.0f);
ASSERT (my_floorf (-2.341e31f) == -2.341e31f);
/* Infinite numbers. */
- ASSERT (my_floorf (1.0f / 0.0f) == 1.0f / 0.0f);
- ASSERT (my_floorf (-1.0f / 0.0f) == -1.0f / 0.0f);
+ ASSERT (my_floorf (Infinityf ()) == Infinityf ());
+ ASSERT (my_floorf (- Infinityf ()) == - Infinityf ());
/* NaNs. */
ASSERT (isnanf (my_floorf (NaNf ())));