1 /*
   2  * Copyright 1998 Sun Microsystems, Inc.  All Rights Reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
  20  * CA 95054 USA or visit www.sun.com if you need additional information or
  21  * have any questions.
  22  */
  23 
  24 /* @test
  25    @bug 4096278
  26    @summary Math.abs(+0.0) wrong
  27    @author Anand Palaniswamy
  28  */
  29 public class AbsPositiveZero {
  30     private static boolean isPositiveZero(float f) {
  31         return Float.floatToIntBits(f) == Float.floatToIntBits(0.0f);
  32     }
  33 
  34     private static boolean isPositiveZero(double d) {
  35         return Double.doubleToLongBits(d) == Double.doubleToLongBits(0.0d);
  36     }
  37 
  38     public static void main(String[] args) throws Exception {
  39         if (!isPositiveZero(Math.abs(-0.0d))) {
  40             throw new Exception("abs(-0.0d) failed");
  41         }
  42         if (!isPositiveZero(Math.abs(+0.0d))) {
  43             throw new Exception("abs(+0.0d) failed");
  44         }
  45         if (Math.abs(Double.POSITIVE_INFINITY) != Double.POSITIVE_INFINITY) {
  46             throw new Exception("abs(+Inf) failed");
  47         }
  48         if (Math.abs(Double.NEGATIVE_INFINITY) != Double.POSITIVE_INFINITY) {
  49             throw new Exception("abs(-Inf) failed");
  50         }
  51         double dnanval = Math.abs(Double.NaN);
  52         if (dnanval == dnanval) {
  53             throw new Exception("abs(NaN) failed");
  54         }
  55 
  56         if (!isPositiveZero(Math.abs(-0.0f))) {
  57             throw new Exception("abs(-0.0f) failed");
  58         }
  59         if (!isPositiveZero(Math.abs(+0.0f))) {
  60             throw new Exception("abs(+0.0f) failed");
  61         }
  62         if (Math.abs(Float.POSITIVE_INFINITY) != Float.POSITIVE_INFINITY) {
  63             throw new Exception("abs(+Inf) failed");
  64         }
  65         if (Math.abs(Float.NEGATIVE_INFINITY) != Float.POSITIVE_INFINITY) {
  66             throw new Exception("abs(-Inf) failed");
  67         }
  68         float fnanval = Math.abs(Float.NaN);
  69         if (fnanval == fnanval) {
  70             throw new Exception("abs(NaN) failed");
  71         }
  72     }
  73 }