1 /*
   2  * CDDL HEADER START
   3  *
   4  * The contents of this file are subject to the terms of the
   5  * Common Development and Distribution License (the "License").
   6  * You may not use this file except in compliance with the License.
   7  *
   8  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
   9  * or http://www.opensolaris.org/os/licensing.
  10  * See the License for the specific language governing permissions
  11  * and limitations under the License.
  12  *
  13  * When distributing Covered Code, include this CDDL HEADER in each
  14  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
  15  * If applicable, add the following below this CDDL HEADER, with the
  16  * fields enclosed by brackets "[]" replaced with your own identifying
  17  * information: Portions Copyright [yyyy] [name of copyright owner]
  18  *
  19  * CDDL HEADER END
  20  */
  21 /*
  22  * Copyright 2011 Nexenta Systems, Inc.  All rights reserved.
  23  */
  24 /*
  25  * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
  26  * Use is subject to license terms.
  27  */
  28 
  29 #pragma weak nextafter = __nextafter
  30 #pragma weak _nextafter = __nextafter
  31 
  32 #include "libm.h"
  33 #include <float.h>                /* DBL_MIN */
  34 
  35 double
  36 nextafter(double x, double y) {
  37         int             hx, hy, k;
  38         double          ans;
  39         unsigned        lx;
  40 
  41         hx = ((int *)&x)[HIWORD];
  42         lx = ((int *)&x)[LOWORD];
  43         hy = ((int *)&y)[HIWORD];
  44         k = (hx & ~0x80000000) | lx;
  45 
  46         if (x == y)
  47                 return (y);             /* C99 requirement */
  48         if (x != x || y != y)
  49                 return (x * y);
  50         if (k == 0) {                   /* x = 0 */
  51                 k = hy & 0x80000000;
  52                 ((int *)&ans)[HIWORD] = k;
  53                 ((int *)&ans)[LOWORD] = 1;
  54         } else if (hx >= 0) {
  55                 if (x > y) {
  56                         ((int *)&ans)[LOWORD] = lx - 1;
  57                         k = (lx == 0)? hx - 1 : hx;
  58                         ((int *)&ans)[HIWORD] = k;
  59                 } else {
  60                         ((int *)&ans)[LOWORD] = lx + 1;
  61                         k  = (lx == 0xffffffff)? hx + 1 : hx;
  62                         ((int *)&ans)[HIWORD] = k;
  63                 }
  64         } else {
  65                 if (x < y) {
  66                         ((int *)&ans)[LOWORD] = lx - 1;
  67                         k = (lx == 0)? hx - 1 : hx;
  68                         ((int *)&ans)[HIWORD] = k;
  69                 } else {
  70                         ((int *)&ans)[LOWORD] = lx + 1;
  71                         k  = (lx == 0xffffffff)? hx + 1 : hx;
  72                         ((int *)&ans)[HIWORD] = k;
  73                 }
  74         }
  75         k = (k >> 20) & 0x7ff;
  76         if (k == 0x7ff) {
  77                 /* overflow */
  78                 return (_SVID_libm_err(x, y, 46));
  79 #if !defined(__lint)
  80         } else if (k == 0) {
  81                 /* underflow */
  82                 volatile double dummy = DBL_MIN * copysign(DBL_MIN, x);
  83 #endif
  84         }
  85         return (ans);
  86 }