test/java/lang/Math/Rint.java

/*
 * Copyright 1998-2003 Sun Microsystems, Inc.  All Rights Reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
 * CA 95054 USA or visit www.sun.com if you need additional information or
 * have any questions.
 */

/*
 * @test
 * @bug 4101566 4831589
 * @summary Check for correct implementation of Math.rint(double)
 *
 */

import sun.misc.FpUtils;
import sun.misc.DoubleConsts;

public class Rint {

    static int testRintCase(double input, double expected) {
        int failures = 0;
        double result;
        failures += Tests.test("Math.rint",  input, Math.rint(input),   expected);
        failures += Tests.test("Math.rint", -input, Math.rint(-input), -expected);
        failures += Tests.test("StrictMath.rint",
                               input, StrictMath.rint(input),   expected);
        failures += Tests.test("StrictMath.rint", -input,
                               StrictMath.rint(-input), -expected);
        return failures;
    }


    public static void main(String args[]) {
        int failures = 0;
        double twoToThe52 = FpUtils.scalb(1.0, 52); // 2^52

        double [][] testCases = {
            {0.0,                               0.0},
            {Double.MIN_VALUE,                  0.0},
            {FpUtils.nextDown(DoubleConsts.MIN_NORMAL), 0.0},
            {DoubleConsts.MIN_NORMAL,           0.0},

            {0.2,                               0.0},

            {FpUtils.nextDown(0.5),             0.0},
            {                 0.5,              0.0},
            {  FpUtils.nextUp(0.5),             1.0},

            {0.7,                               1.0},
            {FpUtils.nextDown(1.0),             1.0},
            {                 1.0,              1.0},
            {  FpUtils.nextUp(1.0),             1.0},

            {FpUtils.nextDown(1.5),             1.0},
            {                 1.5,              2.0},
            {  FpUtils.nextUp(1.5),             2.0},

            {4.2,                               4.0},
            {4.5,                               4.0},
            {4.7,                               5.0},

            {7.5,                               8.0},
            {7.2,                               7.0},
            {7.7,                               8.0},

            {150000.75,                         150001.0},
            {300000.5,                          300000.0},
            {FpUtils.nextUp(300000.5),          300001.0},
            {FpUtils.nextDown(300000.75),       300001.0},
            {300000.75,                         300001.0},
            {FpUtils.nextUp(300000.75),         300001.0},
            {300000.99,                         300001.0},
            {262144.75,                         262145.0}, //(2^18 ) + 0.75
            {499998.75,                         499999.0},
            {524287.75,                         524288.0}, //(2^19 -1) + 0.75
            {524288.75,                         524289.0},

            {FpUtils.nextDown(twoToThe52),      twoToThe52},
            {twoToThe52,                        twoToThe52},
            {FpUtils.nextUp(twoToThe52),        FpUtils.nextUp(twoToThe52)},

            {Double.MAX_VALUE,          Double.MAX_VALUE},
            {Double.POSITIVE_INFINITY,  Double.POSITIVE_INFINITY},
            {Double.NaN,                        Double.NaN}

        };


        for(int i = 0; i < testCases.length; i++) {
            failures += testRintCase(testCases[i][0], testCases[i][1]);
        }

        // Test values throughout exponent range
        for(double d = Double.MIN_VALUE;
            d < Double.POSITIVE_INFINITY; d *= 2) {
            failures += testRintCase(d, ((d<=0.5)?0.0:d));
        }

        if (failures > 0) {
            System.err.println("Testing {Math, StrictMath}.rint incurred "
                               + failures + " failures.");
            throw new RuntimeException();
        }
    }

}