Print this page
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/lib/libm/amd64/src/ieee_funcl.s
+++ new/usr/src/lib/libm/amd64/src/ieee_funcl.s
1 1 /*
2 2 * CDDL HEADER START
3 3 *
4 4 * The contents of this file are subject to the terms of the
5 5 * Common Development and Distribution License (the "License").
6 6 * You may not use this file except in compliance with the License.
7 7 *
8 8 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9 9 * or http://www.opensolaris.org/os/licensing.
10 10 * See the License for the specific language governing permissions
11 11 * and limitations under the License.
12 12 *
13 13 * When distributing Covered Code, include this CDDL HEADER in each
14 14 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15 15 * If applicable, add the following below this CDDL HEADER, with the
16 16 * fields enclosed by brackets "[]" replaced with your own identifying
17 17 * information: Portions Copyright [yyyy] [name of copyright owner]
18 18 *
19 19 * CDDL HEADER END
20 20 */
21 21 /*
22 22 * Copyright 2011 Nexenta Systems, Inc. All rights reserved.
23 23 */
24 24 /*
25 25 * Copyright 2005 Sun Microsystems, Inc. All rights reserved.
26 26 * Use is subject to license terms.
27 27 */
28 28
29 29 .file "ieee_funcl.s"
30 30
31 31 #include "libm.h"
32 32 LIBM_ANSI_PRAGMA_WEAK(isinfl,function)
33 33 LIBM_ANSI_PRAGMA_WEAK(isnormall,function)
34 34 LIBM_ANSI_PRAGMA_WEAK(issubnormall,function)
35 35 LIBM_ANSI_PRAGMA_WEAK(iszerol,function)
36 36 LIBM_ANSI_PRAGMA_WEAK(signbitl,function)
37 37 #include "libm_synonyms.h"
38 38
39 39 ENTRY(isinfl)
40 40 movl 16(%rsp),%eax / ax <-- sign and bexp of x
41 41 notl %eax
42 42 andq $0x7fff,%rax
43 43 jz .L6
44 44 movq $0,%rax
45 45 .not_inf:
46 46 ret
47 47
48 48 .L6: / here, (eax) = 0.0
49 49 movl 12(%rsp),%ecx
50 50 xorl $0x80000000,%ecx / handle unsupported implicitly
51 51 orl 8(%rsp), %ecx
52 52 jnz .not_inf
53 53 movq $1,%rax
↓ open down ↓ |
53 lines elided |
↑ open up ↑ |
54 54 ret
55 55 .align 16
56 56 SET_SIZE(isinfl)
57 57
58 58 ENTRY(isnormall)
59 59 / TRUE iff (x is finite, but
60 60 / neither subnormal nor zero)
61 61 / iff (msb(sgnfcnd(x) /= 0
62 62 / & 0 < bexp(x) < 0x7fff)
63 63 movl 12(%rsp),%eax / eax <-- hi_32(sgnfcnd(x))
64 - movq $0x80000000,%r8
65 - andq %r8,%rax / eax[31] <-- msb(sgnfcnd(x)),
64 + andl $-0x80000000,%eax / eax[31] <-- msb(sgnfcnd(x)),
66 65 / rest_of(eax) <-- 0
67 66 jz .L8 / jump iff msb(sgnfcnd(x)) = 0
68 67 movl 16(%rsp),%eax / ax <-- sign and bexp of x
69 68 notl %eax / ax[0..14] <-- not(bexp(x))
70 69 andq $0x7fff,%rax / eax <-- zero_xtnd(not(bexp(x)))
71 70 jz .L8 / jump iff bexp(x) = 0x7fff or 0
72 71 xorq $0x7fff,%rax / treat pseudo-denormal as subnormal
73 72 jz .L8
74 73 movq $1,%rax
75 74 .L8:
76 75 ret
77 76 .align 16
78 77 SET_SIZE(isnormall)
79 78
80 79 ENTRY(issubnormall)
81 80 / TRUE iff (bexp(x) = 0 &
82 81 / msb(sgnfcnd(x)) = 0 & frac(x) /= 0)
83 82 movl 12(%rsp),%eax / eax <-- hi_32(sgnfcnd(x))
84 83 testl $0x80000000,%eax / eax[31] = msb(sgnfcnd(x));
85 - / set ZF if it is 0.
84 + / set ZF if it's 0.
86 85 jz .may_be_subnorm / jump iff msb(sgnfcnd(x)) = 0
87 86 .not_subnorm:
88 87 movq $0,%rax
89 88 ret
90 89 .may_be_subnorm:
91 90 testl $0x7fff,16(%rsp) / set ZF iff bexp(x) = 0
92 91 jnz .not_subnorm / jump iff bexp(x) /= 0
93 92 orl 8(%rsp),%eax / (eax) = 0 iff sgnfcnd(x) = 0
94 93 jz .not_subnorm
95 94 movq $1,%rax
96 95 ret
97 96 .align 16
98 97 SET_SIZE(issubnormall)
99 98
100 99 ENTRY(iszerol)
101 100 movl 16(%rsp),%eax / ax <-- sign and bexp of x
102 101 andl $0x7fff,%eax / eax <-- zero_xtnd(bexp(x))
103 102 jz .may_be_zero / jump iff bexp(x) = 0
104 103 .not_zero:
105 104 movq $0,%rax
106 105 ret
107 106 .may_be_zero: / here, (eax) = 0
108 107 orl 12(%rsp),%eax / is hi_32(sgnfcnd(x)) = 0?
109 108 jnz .not_zero / jump iff hi_32(sgnfcnd(x)) /= 0
110 109 orl 8(%rsp),%eax / is lo_32(sgnfcnd(x)) = 0?
111 110 jnz .not_zero / jump iff lo_32(sgnfcnd(x)) /= 0
112 111 movq $1,%rax
113 112 ret
114 113 .align 16
115 114 SET_SIZE(iszerol)
116 115
117 116 ENTRY(signbitl)
118 117 movl 16(%rsp),%eax / eax[15] <-- sign_bit(x)
119 118 shrl $15,%eax / eax <-- zero_xtnd(sign_bit(x))
120 119 andq $1,%rax
121 120 ret
122 121 .align 16
123 122 SET_SIZE(signbitl)
↓ open down ↓ |
28 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX