summaryrefslogtreecommitdiff
path: root/usr/src/lib/libm/common/R/nextafterf.c
blob: 54ccd55f0acfd70a9725bfe586bbb17f70650f99 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License (the "License").
 * You may not use this file except in compliance with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */

/*
 * Copyright 2011 Nexenta Systems, Inc.  All rights reserved.
 */
/*
 * Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#pragma weak __nextafterf = nextafterf

#include "libm.h"

float
nextafterf(float x, float y) {
	float w;
	int *pw = (int *) &w;
	int *px = (int *) &x;
	int *py = (int *) &y;
	int ix, iy, iz;

	ix = px[0];
	iy = py[0];
	if ((ix & ~0x80000000) > 0x7f800000)
		return (x * y);		/* + -> * for Cheetah */
	if ((iy & ~0x80000000) > 0x7f800000)
		return (y * x);		/* + -> * for Cheetah */
	if (ix == iy || (ix | iy) == 0x80000000)
		return (y);		/* C99 requirement */
	if ((ix & ~0x80000000) == 0)
		iz = 1 | (iy & 0x80000000);
	else if (ix > 0) {
		if (ix > iy)
			iz = ix - 1;
		else
			iz = ix + 1;
	} else {
		if (iy < 0 && ix < iy)
			iz = ix + 1;
		else
			iz = ix - 1;
	}
	pw[0] = iz;
	ix = iz & 0x7f800000;
	if (ix == 0x7f800000) {
		/* raise overflow */
		volatile float t;

		*(int *) &t = 0x7f7fffff;
		t *= t;
	} else if (ix == 0) {
		/* raise underflow */
		volatile float t;

		*(int *) &t = 0x00800000;
		t *= t;
	}
	return (w);
}