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        .file "ieee_funcl.s"
30
31#include "libm.h"
32
33	ENTRY(isinfl)
34	movl	16(%rsp),%eax		/ ax <-- sign and bexp of x
35	notl	%eax
36	andq	$0x7fff,%rax
37	jz	.L6
38	movq	$0,%rax
39.not_inf:
40	ret
41
42.L6:					/ here, (eax) = 0.0
43	movl	12(%rsp),%ecx
44	xorl	$0x80000000,%ecx	/ handle unsupported implicitly
45	orl	8(%rsp), %ecx
46	jnz	.not_inf
47	movq	$1,%rax
48	ret
49	.align	16
50	SET_SIZE(isinfl)
51
52	ENTRY(isnormall)
53					/ TRUE iff (x is finite, but
54					/	    neither subnormal nor zero)
55					/      iff (msb(sgnfcnd(x) /= 0
56					/	    &  0 < bexp(x) < 0x7fff)
57	movl	12(%rsp),%eax		/ eax <-- hi_32(sgnfcnd(x))
58	andl	$-0x80000000,%eax	/ eax[31]  <-- msb(sgnfcnd(x)),
59					/ rest_of(eax) <-- 0
60	jz	.L8			/ jump iff msb(sgnfcnd(x)) = 0
61	movl	16(%rsp),%eax		/ ax <-- sign and bexp of x
62	notl	%eax			/ ax[0..14] <-- not(bexp(x))
63	andq	$0x7fff,%rax		/ eax  <-- zero_xtnd(not(bexp(x)))
64	jz	.L8			/ jump	iff bexp(x) = 0x7fff or 0
65	xorq	$0x7fff,%rax		/ treat pseudo-denormal as subnormal
66	jz	.L8
67	movq	$1,%rax
68.L8:
69	ret
70	.align	16
71	SET_SIZE(isnormall)
72
73	ENTRY(issubnormall)
74					/ TRUE iff (bexp(x) = 0 &
75					/ msb(sgnfcnd(x)) = 0 & frac(x) /= 0)
76	movl	12(%rsp),%eax		/ eax <-- hi_32(sgnfcnd(x))
77	testl	$0x80000000,%eax	/ eax[31] = msb(sgnfcnd(x));
78					/ set ZF if it's 0.
79	jz	.may_be_subnorm		/ jump iff msb(sgnfcnd(x)) = 0
80.not_subnorm:
81	movq	$0,%rax
82	ret
83.may_be_subnorm:
84	testl	$0x7fff,16(%rsp)	/ set ZF iff bexp(x)  = 0
85	jnz	.not_subnorm		/ jump   iff bexp(x) /= 0
86	orl	8(%rsp),%eax		/ (eax) = 0 iff sgnfcnd(x) = 0
87	jz	.not_subnorm
88	movq	$1,%rax
89	ret
90	.align	16
91	SET_SIZE(issubnormall)
92
93	ENTRY(iszerol)
94	movl	16(%rsp),%eax		/ ax <-- sign and bexp of x
95	andl	$0x7fff,%eax		/ eax <-- zero_xtnd(bexp(x))
96	jz	.may_be_zero		/ jump iff bexp(x) = 0
97.not_zero:
98	movq	$0,%rax
99	ret
100.may_be_zero:				/ here, (eax) = 0
101	orl	12(%rsp),%eax		/ is hi_32(sgnfcnd(x)) = 0?
102	jnz	.not_zero		/ jump iff hi_32(sgnfcnd(x)) /= 0
103	orl	8(%rsp),%eax		/ is lo_32(sgnfcnd(x)) = 0?
104	jnz	.not_zero		/ jump iff lo_32(sgnfcnd(x)) /= 0
105	movq	$1,%rax
106	ret
107	.align	16
108	SET_SIZE(iszerol)
109
110	ENTRY(signbitl)
111	movl	16(%rsp),%eax		/ eax[15] <-- sign_bit(x)
112	shrl	$15,%eax		/ eax <-- zero_xtnd(sign_bit(x))
113	andq	$1,%rax
114	ret
115	.align	16
116	SET_SIZE(signbitl)
117