X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-ceil2.c;h=3cc6767358d5b5f2cd2392a7d030431cf0a11559;hb=9723bfe9bb9af8309314ad6230f7661000ba03b1;hp=c26ccc340a46a7fb833dcf7eda60818010650ccf;hpb=fe2a2304a8635cdaabe93e4f5e49960bec1512b1;p=gnulib.git diff --git a/tests/test-ceil2.c b/tests/test-ceil2.c index c26ccc340..3cc676735 100644 --- a/tests/test-ceil2.c +++ b/tests/test-ceil2.c @@ -1,5 +1,5 @@ /* Test of rounding towards positive infinity. - Copyright (C) 2007-2010 Free Software Foundation, Inc. + Copyright (C) 2007-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 @@ -29,6 +29,7 @@ #include #include "isnand-nolibm.h" +#include "minus-zero.h" #include "macros.h" @@ -38,6 +39,9 @@ #define MANT_DIG DBL_MANT_DIG #define L_(literal) literal +/* -0.0. See minus-zero.h. */ +#define MINUS_ZERO minus_zerod + /* 2^(MANT_DIG-1). */ static const DOUBLE TWO_MANT_DIG = /* Assume MANT_DIG <= 5 * 31. @@ -79,8 +83,12 @@ ceil_reference (DOUBLE x) } else if (z < L_(0.0)) { + /* For -1 < x < 0, return -0.0 regardless of the current rounding + mode. */ + if (z > L_(-1.0)) + z = MINUS_ZERO; /* Avoid rounding errors for values near -2^k, where k >= MANT_DIG-1. */ - if (z > - TWO_MANT_DIG) + else if (z > - TWO_MANT_DIG) { /* Round to the next integer (nearest or up or down, doesn't matter). */ z -= TWO_MANT_DIG;