/* Test of rounding towards negative infinity.
- Copyright (C) 2007-2010 Free Software Foundation, Inc.
+ Copyright (C) 2007-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 "isnand-nolibm.h"
#include "minus-zero.h"
+#include "infinity.h"
#include "nan.h"
#include "macros.h"
ASSERT (floor (-65536.0) == -65536.0);
ASSERT (floor (-2.341e31) == -2.341e31);
/* Infinite numbers. */
- ASSERT (floor (1.0 / 0.0) == 1.0 / 0.0);
- ASSERT (floor (-1.0 / 0.0) == -1.0 / 0.0);
+ ASSERT (floor (Infinityd ()) == Infinityd ());
+ ASSERT (floor (- Infinityd ()) == - Infinityd ());
/* NaNs. */
ASSERT (isnand (floor (NaNd ())));