fcnvxf.c revision 1.2 1 1.2 lukem /* $NetBSD: fcnvxf.c,v 1.2 2003/07/15 02:29:42 lukem Exp $ */
2 1.1 fredette
3 1.1 fredette /* $OpenBSD: fcnvxf.c,v 1.5 2001/03/29 03:58:18 mickey Exp $ */
4 1.1 fredette
5 1.1 fredette /*
6 1.1 fredette * Copyright 1996 1995 by Open Software Foundation, Inc.
7 1.1 fredette * All Rights Reserved
8 1.1 fredette *
9 1.1 fredette * Permission to use, copy, modify, and distribute this software and
10 1.1 fredette * its documentation for any purpose and without fee is hereby granted,
11 1.1 fredette * provided that the above copyright notice appears in all copies and
12 1.1 fredette * that both the copyright notice and this permission notice appear in
13 1.1 fredette * supporting documentation.
14 1.1 fredette *
15 1.1 fredette * OSF DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE
16 1.1 fredette * INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
17 1.1 fredette * FOR A PARTICULAR PURPOSE.
18 1.1 fredette *
19 1.1 fredette * IN NO EVENT SHALL OSF BE LIABLE FOR ANY SPECIAL, INDIRECT, OR
20 1.1 fredette * CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
21 1.1 fredette * LOSS OF USE, DATA OR PROFITS, WHETHER IN ACTION OF CONTRACT,
22 1.1 fredette * NEGLIGENCE, OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION
23 1.1 fredette * WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
24 1.1 fredette *
25 1.1 fredette */
26 1.1 fredette /*
27 1.1 fredette * pmk1.1
28 1.1 fredette */
29 1.1 fredette /*
30 1.1 fredette * (c) Copyright 1986 HEWLETT-PACKARD COMPANY
31 1.1 fredette *
32 1.1 fredette * To anyone who acknowledges that this file is provided "AS IS"
33 1.1 fredette * without any express or implied warranty:
34 1.1 fredette * permission to use, copy, modify, and distribute this file
35 1.1 fredette * for any purpose is hereby granted without fee, provided that
36 1.1 fredette * the above copyright notice and this notice appears in all
37 1.1 fredette * copies, and that the name of Hewlett-Packard Company not be
38 1.1 fredette * used in advertising or publicity pertaining to distribution
39 1.1 fredette * of the software without specific, written prior permission.
40 1.1 fredette * Hewlett-Packard Company makes no representations about the
41 1.1 fredette * suitability of this software for any purpose.
42 1.1 fredette */
43 1.2 lukem
44 1.2 lukem #include <sys/cdefs.h>
45 1.2 lukem __KERNEL_RCSID(0, "$NetBSD: fcnvxf.c,v 1.2 2003/07/15 02:29:42 lukem Exp $");
46 1.1 fredette
47 1.1 fredette #include "../spmath/float.h"
48 1.1 fredette #include "../spmath/sgl_float.h"
49 1.1 fredette #include "../spmath/dbl_float.h"
50 1.1 fredette #include "../spmath/cnv_float.h"
51 1.1 fredette
52 1.1 fredette /*
53 1.1 fredette * Convert single fixed-point to single floating-point format
54 1.1 fredette */
55 1.1 fredette int
56 1.1 fredette sgl_to_sgl_fcnvxf(srcptr,dstptr,status)
57 1.1 fredette
58 1.1 fredette int *srcptr;
59 1.1 fredette sgl_floating_point *dstptr;
60 1.1 fredette unsigned int *status;
61 1.1 fredette {
62 1.1 fredette register int src, dst_exponent;
63 1.1 fredette register unsigned int result = 0;
64 1.1 fredette
65 1.1 fredette src = *srcptr;
66 1.1 fredette /*
67 1.1 fredette * set sign bit of result and get magnitude of source
68 1.1 fredette */
69 1.1 fredette if (src < 0) {
70 1.1 fredette Sgl_setone_sign(result);
71 1.1 fredette Int_negate(src);
72 1.1 fredette }
73 1.1 fredette else {
74 1.1 fredette Sgl_setzero_sign(result);
75 1.1 fredette /* Check for zero */
76 1.1 fredette if (src == 0) {
77 1.1 fredette Sgl_setzero(result);
78 1.1 fredette *dstptr = result;
79 1.1 fredette return(NOEXCEPTION);
80 1.1 fredette }
81 1.1 fredette }
82 1.1 fredette /*
83 1.1 fredette * Generate exponent and normalized mantissa
84 1.1 fredette */
85 1.1 fredette dst_exponent = 16; /* initialize for normalization */
86 1.1 fredette /*
87 1.1 fredette * Check word for most significant bit set. Returns
88 1.1 fredette * a value in dst_exponent indicating the bit position,
89 1.1 fredette * between -1 and 30.
90 1.1 fredette */
91 1.1 fredette Find_ms_one_bit(src,dst_exponent);
92 1.1 fredette /* left justify source, with msb at bit position 1 */
93 1.1 fredette if (dst_exponent >= 0) src <<= dst_exponent;
94 1.1 fredette else src = 1 << 30;
95 1.1 fredette Sgl_set_mantissa(result, src >> (SGL_EXP_LENGTH-1));
96 1.1 fredette Sgl_set_exponent(result, 30+SGL_BIAS - dst_exponent);
97 1.1 fredette
98 1.1 fredette /* check for inexact */
99 1.1 fredette if (Int_isinexact_to_sgl(src)) {
100 1.1 fredette switch (Rounding_mode()) {
101 1.1 fredette case ROUNDPLUS:
102 1.1 fredette if (Sgl_iszero_sign(result))
103 1.1 fredette Sgl_increment(result);
104 1.1 fredette break;
105 1.1 fredette case ROUNDMINUS:
106 1.1 fredette if (Sgl_isone_sign(result))
107 1.1 fredette Sgl_increment(result);
108 1.1 fredette break;
109 1.1 fredette case ROUNDNEAREST:
110 1.1 fredette Sgl_roundnearest_from_int(src,result);
111 1.1 fredette }
112 1.1 fredette if (Is_inexacttrap_enabled()) {
113 1.1 fredette *dstptr = result;
114 1.1 fredette return(INEXACTEXCEPTION);
115 1.1 fredette }
116 1.1 fredette else Set_inexactflag();
117 1.1 fredette }
118 1.1 fredette *dstptr = result;
119 1.1 fredette return(NOEXCEPTION);
120 1.1 fredette }
121 1.1 fredette
122 1.1 fredette /*
123 1.1 fredette * Single Fixed-point to Double Floating-point
124 1.1 fredette */
125 1.1 fredette int
126 1.1 fredette sgl_to_dbl_fcnvxf(srcptr,dstptr,status)
127 1.1 fredette
128 1.1 fredette int *srcptr;
129 1.1 fredette dbl_floating_point *dstptr;
130 1.1 fredette unsigned int *status;
131 1.1 fredette {
132 1.1 fredette register int src, dst_exponent;
133 1.1 fredette register unsigned int resultp1 = 0, resultp2 = 0;
134 1.1 fredette
135 1.1 fredette src = *srcptr;
136 1.1 fredette /*
137 1.1 fredette * set sign bit of result and get magnitude of source
138 1.1 fredette */
139 1.1 fredette if (src < 0) {
140 1.1 fredette Dbl_setone_sign(resultp1);
141 1.1 fredette Int_negate(src);
142 1.1 fredette }
143 1.1 fredette else {
144 1.1 fredette Dbl_setzero_sign(resultp1);
145 1.1 fredette /* Check for zero */
146 1.1 fredette if (src == 0) {
147 1.1 fredette Dbl_setzero(resultp1,resultp2);
148 1.1 fredette Dbl_copytoptr(resultp1,resultp2,dstptr);
149 1.1 fredette return(NOEXCEPTION);
150 1.1 fredette }
151 1.1 fredette }
152 1.1 fredette /*
153 1.1 fredette * Generate exponent and normalized mantissa
154 1.1 fredette */
155 1.1 fredette dst_exponent = 16; /* initialize for normalization */
156 1.1 fredette /*
157 1.1 fredette * Check word for most significant bit set. Returns
158 1.1 fredette * a value in dst_exponent indicating the bit position,
159 1.1 fredette * between -1 and 30.
160 1.1 fredette */
161 1.1 fredette Find_ms_one_bit(src,dst_exponent);
162 1.1 fredette /* left justify source, with msb at bit position 1 */
163 1.1 fredette if (dst_exponent >= 0) src <<= dst_exponent;
164 1.1 fredette else src = 1 << 30;
165 1.1 fredette Dbl_set_mantissap1(resultp1, (src >> (DBL_EXP_LENGTH - 1)));
166 1.1 fredette Dbl_set_mantissap2(resultp2, (src << (33-DBL_EXP_LENGTH)));
167 1.1 fredette Dbl_set_exponent(resultp1, (30+DBL_BIAS) - dst_exponent);
168 1.1 fredette Dbl_copytoptr(resultp1,resultp2,dstptr);
169 1.1 fredette return(NOEXCEPTION);
170 1.1 fredette }
171 1.1 fredette
172 1.1 fredette /*
173 1.1 fredette * Double Fixed-point to Single Floating-point
174 1.1 fredette */
175 1.1 fredette int
176 1.1 fredette dbl_to_sgl_fcnvxf(srcptr,dstptr,status)
177 1.1 fredette
178 1.1 fredette dbl_integer *srcptr;
179 1.1 fredette sgl_floating_point *dstptr;
180 1.1 fredette unsigned int *status;
181 1.1 fredette {
182 1.1 fredette int dst_exponent, srcp1;
183 1.1 fredette unsigned int result = 0, srcp2;
184 1.1 fredette
185 1.1 fredette Dint_copyfromptr(srcptr,srcp1,srcp2);
186 1.1 fredette /*
187 1.1 fredette * set sign bit of result and get magnitude of source
188 1.1 fredette */
189 1.1 fredette if (srcp1 < 0) {
190 1.1 fredette Sgl_setone_sign(result);
191 1.1 fredette Dint_negate(srcp1,srcp2);
192 1.1 fredette }
193 1.1 fredette else {
194 1.1 fredette Sgl_setzero_sign(result);
195 1.1 fredette /* Check for zero */
196 1.1 fredette if (srcp1 == 0 && srcp2 == 0) {
197 1.1 fredette Sgl_setzero(result);
198 1.1 fredette *dstptr = result;
199 1.1 fredette return(NOEXCEPTION);
200 1.1 fredette }
201 1.1 fredette }
202 1.1 fredette /*
203 1.1 fredette * Generate exponent and normalized mantissa
204 1.1 fredette */
205 1.1 fredette dst_exponent = 16; /* initialize for normalization */
206 1.1 fredette if (srcp1 == 0) {
207 1.1 fredette /*
208 1.1 fredette * Check word for most significant bit set. Returns
209 1.1 fredette * a value in dst_exponent indicating the bit position,
210 1.1 fredette * between -1 and 30.
211 1.1 fredette */
212 1.1 fredette Find_ms_one_bit(srcp2,dst_exponent);
213 1.1 fredette /* left justify source, with msb at bit position 1 */
214 1.1 fredette if (dst_exponent >= 0) {
215 1.1 fredette srcp1 = srcp2 << dst_exponent;
216 1.1 fredette srcp2 = 0;
217 1.1 fredette }
218 1.1 fredette else {
219 1.1 fredette srcp1 = srcp2 >> 1;
220 1.1 fredette srcp2 <<= 31;
221 1.1 fredette }
222 1.1 fredette /*
223 1.1 fredette * since msb set is in second word, need to
224 1.1 fredette * adjust bit position count
225 1.1 fredette */
226 1.1 fredette dst_exponent += 32;
227 1.1 fredette }
228 1.1 fredette else {
229 1.1 fredette /*
230 1.1 fredette * Check word for most significant bit set. Returns
231 1.1 fredette * a value in dst_exponent indicating the bit position,
232 1.1 fredette * between -1 and 30.
233 1.1 fredette *
234 1.1 fredette */
235 1.1 fredette Find_ms_one_bit(srcp1,dst_exponent);
236 1.1 fredette /* left justify source, with msb at bit position 1 */
237 1.1 fredette if (dst_exponent > 0) {
238 1.1 fredette Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
239 1.1 fredette srcp1);
240 1.1 fredette srcp2 <<= dst_exponent;
241 1.1 fredette }
242 1.1 fredette /*
243 1.1 fredette * If dst_exponent = 0, we don't need to shift anything.
244 1.1 fredette * If dst_exponent = -1, src = - 2**63 so we won't need to
245 1.1 fredette * shift srcp2.
246 1.1 fredette */
247 1.1 fredette else srcp1 >>= -(dst_exponent);
248 1.1 fredette }
249 1.1 fredette Sgl_set_mantissa(result, (srcp1 >> (SGL_EXP_LENGTH - 1)));
250 1.1 fredette Sgl_set_exponent(result, (62+SGL_BIAS) - dst_exponent);
251 1.1 fredette
252 1.1 fredette /* check for inexact */
253 1.1 fredette if (Dint_isinexact_to_sgl(srcp1,srcp2)) {
254 1.1 fredette switch (Rounding_mode()) {
255 1.1 fredette case ROUNDPLUS:
256 1.1 fredette if (Sgl_iszero_sign(result))
257 1.1 fredette Sgl_increment(result);
258 1.1 fredette break;
259 1.1 fredette case ROUNDMINUS:
260 1.1 fredette if (Sgl_isone_sign(result))
261 1.1 fredette Sgl_increment(result);
262 1.1 fredette break;
263 1.1 fredette case ROUNDNEAREST:
264 1.1 fredette Sgl_roundnearest_from_dint(srcp1,srcp2,result);
265 1.1 fredette }
266 1.1 fredette if (Is_inexacttrap_enabled()) {
267 1.1 fredette *dstptr = result;
268 1.1 fredette return(INEXACTEXCEPTION);
269 1.1 fredette }
270 1.1 fredette else Set_inexactflag();
271 1.1 fredette }
272 1.1 fredette *dstptr = result;
273 1.1 fredette return(NOEXCEPTION);
274 1.1 fredette }
275 1.1 fredette
276 1.1 fredette /*
277 1.1 fredette * Double Fixed-point to Double Floating-point
278 1.1 fredette */
279 1.1 fredette int
280 1.1 fredette dbl_to_dbl_fcnvxf(srcptr,dstptr,status)
281 1.1 fredette
282 1.1 fredette dbl_integer *srcptr;
283 1.1 fredette dbl_floating_point *dstptr;
284 1.1 fredette unsigned int *status;
285 1.1 fredette {
286 1.1 fredette register int srcp1, dst_exponent;
287 1.1 fredette register unsigned int srcp2, resultp1 = 0, resultp2 = 0;
288 1.1 fredette
289 1.1 fredette Dint_copyfromptr(srcptr,srcp1,srcp2);
290 1.1 fredette /*
291 1.1 fredette * set sign bit of result and get magnitude of source
292 1.1 fredette */
293 1.1 fredette if (srcp1 < 0) {
294 1.1 fredette Dbl_setone_sign(resultp1);
295 1.1 fredette Dint_negate(srcp1,srcp2);
296 1.1 fredette }
297 1.1 fredette else {
298 1.1 fredette Dbl_setzero_sign(resultp1);
299 1.1 fredette /* Check for zero */
300 1.1 fredette if (srcp1 == 0 && srcp2 ==0) {
301 1.1 fredette Dbl_setzero(resultp1,resultp2);
302 1.1 fredette Dbl_copytoptr(resultp1,resultp2,dstptr);
303 1.1 fredette return(NOEXCEPTION);
304 1.1 fredette }
305 1.1 fredette }
306 1.1 fredette /*
307 1.1 fredette * Generate exponent and normalized mantissa
308 1.1 fredette */
309 1.1 fredette dst_exponent = 16; /* initialize for normalization */
310 1.1 fredette if (srcp1 == 0) {
311 1.1 fredette /*
312 1.1 fredette * Check word for most significant bit set. Returns
313 1.1 fredette * a value in dst_exponent indicating the bit position,
314 1.1 fredette * between -1 and 30.
315 1.1 fredette */
316 1.1 fredette Find_ms_one_bit(srcp2,dst_exponent);
317 1.1 fredette /* left justify source, with msb at bit position 1 */
318 1.1 fredette if (dst_exponent >= 0) {
319 1.1 fredette srcp1 = srcp2 << dst_exponent;
320 1.1 fredette srcp2 = 0;
321 1.1 fredette }
322 1.1 fredette else {
323 1.1 fredette srcp1 = srcp2 >> 1;
324 1.1 fredette srcp2 <<= 31;
325 1.1 fredette }
326 1.1 fredette /*
327 1.1 fredette * since msb set is in second word, need to
328 1.1 fredette * adjust bit position count
329 1.1 fredette */
330 1.1 fredette dst_exponent += 32;
331 1.1 fredette }
332 1.1 fredette else {
333 1.1 fredette /*
334 1.1 fredette * Check word for most significant bit set. Returns
335 1.1 fredette * a value in dst_exponent indicating the bit position,
336 1.1 fredette * between -1 and 30.
337 1.1 fredette */
338 1.1 fredette Find_ms_one_bit(srcp1,dst_exponent);
339 1.1 fredette /* left justify source, with msb at bit position 1 */
340 1.1 fredette if (dst_exponent > 0) {
341 1.1 fredette Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
342 1.1 fredette srcp1);
343 1.1 fredette srcp2 <<= dst_exponent;
344 1.1 fredette }
345 1.1 fredette /*
346 1.1 fredette * If dst_exponent = 0, we don't need to shift anything.
347 1.1 fredette * If dst_exponent = -1, src = - 2**63 so we won't need to
348 1.1 fredette * shift srcp2.
349 1.1 fredette */
350 1.1 fredette else srcp1 >>= -(dst_exponent);
351 1.1 fredette }
352 1.1 fredette Dbl_set_mantissap1(resultp1, srcp1 >> (DBL_EXP_LENGTH-1));
353 1.1 fredette Shiftdouble(srcp1,srcp2,DBL_EXP_LENGTH-1,resultp2);
354 1.1 fredette Dbl_set_exponent(resultp1, (62+DBL_BIAS) - dst_exponent);
355 1.1 fredette
356 1.1 fredette /* check for inexact */
357 1.1 fredette if (Dint_isinexact_to_dbl(srcp2)) {
358 1.1 fredette switch (Rounding_mode()) {
359 1.1 fredette case ROUNDPLUS:
360 1.1 fredette if (Dbl_iszero_sign(resultp1)) {
361 1.1 fredette Dbl_increment(resultp1,resultp2);
362 1.1 fredette }
363 1.1 fredette break;
364 1.1 fredette case ROUNDMINUS:
365 1.1 fredette if (Dbl_isone_sign(resultp1)) {
366 1.1 fredette Dbl_increment(resultp1,resultp2);
367 1.1 fredette }
368 1.1 fredette break;
369 1.1 fredette case ROUNDNEAREST:
370 1.1 fredette Dbl_roundnearest_from_dint(srcp2,resultp1,
371 1.1 fredette resultp2);
372 1.1 fredette }
373 1.1 fredette if (Is_inexacttrap_enabled()) {
374 1.1 fredette Dbl_copytoptr(resultp1,resultp2,dstptr);
375 1.1 fredette return(INEXACTEXCEPTION);
376 1.1 fredette }
377 1.1 fredette else Set_inexactflag();
378 1.1 fredette }
379 1.1 fredette Dbl_copytoptr(resultp1,resultp2,dstptr);
380 1.1 fredette return(NOEXCEPTION);
381 1.1 fredette }
382