summaryrefslogtreecommitdiff
path: root/usr/src/lib/libm/common/R/floorf.c
blob: 088e737ae9c5b6112ec76f4ca8ca1e5a68993b2d (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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
/*
 * 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 __ceilf = ceilf
#pragma weak __floorf = floorf

/* INDENT OFF */
/*
 * ceilf(x)	return the biggest integral value (in float) below x
 * floorf(x)	return the least integral value (in float) above x
 *
 * NOTE: ceilf(x) and floorf(x) return result
 * with the same sign as x's,  including 0.0F.
 */

#include "libm.h"

static const float xf[] = {
/* ZEROF */	0.0f,
/* ONEF */	1.0f,
/* MONEF */	-1.0f,
/* HUGEF */	1.0e30f,
};

#define	ZEROF	xf[0]
#define	ONEF	xf[1]
#define	MONEF	xf[2]
#define	HUGEF	xf[3]
/* INDENT ON */

float
ceilf(float x) {
	volatile float dummy;
	int hx, k, j, ix;

	hx = *(int *) &x;
	ix = hx & ~0x80000000;
	k = ix >> 23;
	if (((k - 127) ^ (k - 150)) < 0) {
		k = (1 << (150 - k)) - 1;
		if ((k & hx) != 0)
			dummy = HUGEF + x;	/* raise inexact */
		j = k & (~(hx >> 31));
		*(int *) &x = (hx + j) & ~k;
		return (x);
	} else if (k <= 126) {
		dummy = HUGEF + x;
		if (hx > 0)
			return (ONEF);
		else if (ix == 0)
			return (x);
		else
			return (-ZEROF);
	} else
		/* signal invalid if x is a SNaN */
		return (x * ONEF);		/* +0 -> *1 for Cheetah */
}

float
floorf(float x) {
	volatile float dummy;
	int hx, k, j, ix;

	hx = *(int *) &x;
	ix = hx & ~0x80000000;
	k = ix >> 23;
	if (((k - 127) ^ (k - 150)) < 0) {
		k = (1 << (150 - k)) - 1;
		if ((k & hx) != 0)
			dummy = HUGEF + x;	/* raise inexact */
		j = k & (hx >> 31);
		*(int *) &x = (hx + j) & ~k;
		return (x);
	} else if (k <= 126) {
		dummy = HUGEF + x;
		if (hx > 0)
			return (ZEROF);
		else if (ix == 0)
			return (x);
		else
			return (MONEF);
	} else
		/* signal invalid if x is a SNaN */
		return (x * ONEF);		/* +0 -> *1 for Cheetah */
}