1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-or-later
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Linux/PA-RISC Project (http://www.parisc-linux.org/)
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Floating-point emulation code
6*4882a593Smuzhiyun * Copyright (C) 2001 Hewlett-Packard (Paul Bame) <bame@debian.org>
7*4882a593Smuzhiyun */
8*4882a593Smuzhiyun /*
9*4882a593Smuzhiyun * BEGIN_DESC
10*4882a593Smuzhiyun *
11*4882a593Smuzhiyun * File:
12*4882a593Smuzhiyun * @(#) pa/spmath/fcnvxf.c $Revision: 1.1 $
13*4882a593Smuzhiyun *
14*4882a593Smuzhiyun * Purpose:
15*4882a593Smuzhiyun * Single Fixed-point to Single Floating-point
16*4882a593Smuzhiyun * Single Fixed-point to Double Floating-point
17*4882a593Smuzhiyun * Double Fixed-point to Single Floating-point
18*4882a593Smuzhiyun * Double Fixed-point to Double Floating-point
19*4882a593Smuzhiyun *
20*4882a593Smuzhiyun * External Interfaces:
21*4882a593Smuzhiyun * dbl_to_dbl_fcnvxf(srcptr,nullptr,dstptr,status)
22*4882a593Smuzhiyun * dbl_to_sgl_fcnvxf(srcptr,nullptr,dstptr,status)
23*4882a593Smuzhiyun * sgl_to_dbl_fcnvxf(srcptr,nullptr,dstptr,status)
24*4882a593Smuzhiyun * sgl_to_sgl_fcnvxf(srcptr,nullptr,dstptr,status)
25*4882a593Smuzhiyun *
26*4882a593Smuzhiyun * Internal Interfaces:
27*4882a593Smuzhiyun *
28*4882a593Smuzhiyun * Theory:
29*4882a593Smuzhiyun * <<please update with a overview of the operation of this file>>
30*4882a593Smuzhiyun *
31*4882a593Smuzhiyun * END_DESC
32*4882a593Smuzhiyun */
33*4882a593Smuzhiyun
34*4882a593Smuzhiyun
35*4882a593Smuzhiyun #include "float.h"
36*4882a593Smuzhiyun #include "sgl_float.h"
37*4882a593Smuzhiyun #include "dbl_float.h"
38*4882a593Smuzhiyun #include "cnv_float.h"
39*4882a593Smuzhiyun
40*4882a593Smuzhiyun /*
41*4882a593Smuzhiyun * Convert single fixed-point to single floating-point format
42*4882a593Smuzhiyun */
43*4882a593Smuzhiyun
44*4882a593Smuzhiyun int
sgl_to_sgl_fcnvxf(int * srcptr,unsigned int * nullptr,sgl_floating_point * dstptr,unsigned int * status)45*4882a593Smuzhiyun sgl_to_sgl_fcnvxf(
46*4882a593Smuzhiyun int *srcptr,
47*4882a593Smuzhiyun unsigned int *nullptr,
48*4882a593Smuzhiyun sgl_floating_point *dstptr,
49*4882a593Smuzhiyun unsigned int *status)
50*4882a593Smuzhiyun {
51*4882a593Smuzhiyun register int src, dst_exponent;
52*4882a593Smuzhiyun register unsigned int result = 0;
53*4882a593Smuzhiyun
54*4882a593Smuzhiyun src = *srcptr;
55*4882a593Smuzhiyun /*
56*4882a593Smuzhiyun * set sign bit of result and get magnitude of source
57*4882a593Smuzhiyun */
58*4882a593Smuzhiyun if (src < 0) {
59*4882a593Smuzhiyun Sgl_setone_sign(result);
60*4882a593Smuzhiyun Int_negate(src);
61*4882a593Smuzhiyun }
62*4882a593Smuzhiyun else {
63*4882a593Smuzhiyun Sgl_setzero_sign(result);
64*4882a593Smuzhiyun /* Check for zero */
65*4882a593Smuzhiyun if (src == 0) {
66*4882a593Smuzhiyun Sgl_setzero(result);
67*4882a593Smuzhiyun *dstptr = result;
68*4882a593Smuzhiyun return(NOEXCEPTION);
69*4882a593Smuzhiyun }
70*4882a593Smuzhiyun }
71*4882a593Smuzhiyun /*
72*4882a593Smuzhiyun * Generate exponent and normalized mantissa
73*4882a593Smuzhiyun */
74*4882a593Smuzhiyun dst_exponent = 16; /* initialize for normalization */
75*4882a593Smuzhiyun /*
76*4882a593Smuzhiyun * Check word for most significant bit set. Returns
77*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
78*4882a593Smuzhiyun * between -1 and 30.
79*4882a593Smuzhiyun */
80*4882a593Smuzhiyun Find_ms_one_bit(src,dst_exponent);
81*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
82*4882a593Smuzhiyun if (dst_exponent >= 0) src <<= dst_exponent;
83*4882a593Smuzhiyun else src = 1 << 30;
84*4882a593Smuzhiyun Sgl_set_mantissa(result, src >> (SGL_EXP_LENGTH-1));
85*4882a593Smuzhiyun Sgl_set_exponent(result, 30+SGL_BIAS - dst_exponent);
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun /* check for inexact */
88*4882a593Smuzhiyun if (Int_isinexact_to_sgl(src)) {
89*4882a593Smuzhiyun switch (Rounding_mode()) {
90*4882a593Smuzhiyun case ROUNDPLUS:
91*4882a593Smuzhiyun if (Sgl_iszero_sign(result))
92*4882a593Smuzhiyun Sgl_increment(result);
93*4882a593Smuzhiyun break;
94*4882a593Smuzhiyun case ROUNDMINUS:
95*4882a593Smuzhiyun if (Sgl_isone_sign(result))
96*4882a593Smuzhiyun Sgl_increment(result);
97*4882a593Smuzhiyun break;
98*4882a593Smuzhiyun case ROUNDNEAREST:
99*4882a593Smuzhiyun Sgl_roundnearest_from_int(src,result);
100*4882a593Smuzhiyun }
101*4882a593Smuzhiyun if (Is_inexacttrap_enabled()) {
102*4882a593Smuzhiyun *dstptr = result;
103*4882a593Smuzhiyun return(INEXACTEXCEPTION);
104*4882a593Smuzhiyun }
105*4882a593Smuzhiyun else Set_inexactflag();
106*4882a593Smuzhiyun }
107*4882a593Smuzhiyun *dstptr = result;
108*4882a593Smuzhiyun return(NOEXCEPTION);
109*4882a593Smuzhiyun }
110*4882a593Smuzhiyun
111*4882a593Smuzhiyun /*
112*4882a593Smuzhiyun * Single Fixed-point to Double Floating-point
113*4882a593Smuzhiyun */
114*4882a593Smuzhiyun
115*4882a593Smuzhiyun int
sgl_to_dbl_fcnvxf(int * srcptr,unsigned int * nullptr,dbl_floating_point * dstptr,unsigned int * status)116*4882a593Smuzhiyun sgl_to_dbl_fcnvxf(
117*4882a593Smuzhiyun int *srcptr,
118*4882a593Smuzhiyun unsigned int *nullptr,
119*4882a593Smuzhiyun dbl_floating_point *dstptr,
120*4882a593Smuzhiyun unsigned int *status)
121*4882a593Smuzhiyun {
122*4882a593Smuzhiyun register int src, dst_exponent;
123*4882a593Smuzhiyun register unsigned int resultp1 = 0, resultp2 = 0;
124*4882a593Smuzhiyun
125*4882a593Smuzhiyun src = *srcptr;
126*4882a593Smuzhiyun /*
127*4882a593Smuzhiyun * set sign bit of result and get magnitude of source
128*4882a593Smuzhiyun */
129*4882a593Smuzhiyun if (src < 0) {
130*4882a593Smuzhiyun Dbl_setone_sign(resultp1);
131*4882a593Smuzhiyun Int_negate(src);
132*4882a593Smuzhiyun }
133*4882a593Smuzhiyun else {
134*4882a593Smuzhiyun Dbl_setzero_sign(resultp1);
135*4882a593Smuzhiyun /* Check for zero */
136*4882a593Smuzhiyun if (src == 0) {
137*4882a593Smuzhiyun Dbl_setzero(resultp1,resultp2);
138*4882a593Smuzhiyun Dbl_copytoptr(resultp1,resultp2,dstptr);
139*4882a593Smuzhiyun return(NOEXCEPTION);
140*4882a593Smuzhiyun }
141*4882a593Smuzhiyun }
142*4882a593Smuzhiyun /*
143*4882a593Smuzhiyun * Generate exponent and normalized mantissa
144*4882a593Smuzhiyun */
145*4882a593Smuzhiyun dst_exponent = 16; /* initialize for normalization */
146*4882a593Smuzhiyun /*
147*4882a593Smuzhiyun * Check word for most significant bit set. Returns
148*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
149*4882a593Smuzhiyun * between -1 and 30.
150*4882a593Smuzhiyun */
151*4882a593Smuzhiyun Find_ms_one_bit(src,dst_exponent);
152*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
153*4882a593Smuzhiyun if (dst_exponent >= 0) src <<= dst_exponent;
154*4882a593Smuzhiyun else src = 1 << 30;
155*4882a593Smuzhiyun Dbl_set_mantissap1(resultp1, src >> DBL_EXP_LENGTH - 1);
156*4882a593Smuzhiyun Dbl_set_mantissap2(resultp2, src << (33-DBL_EXP_LENGTH));
157*4882a593Smuzhiyun Dbl_set_exponent(resultp1, (30+DBL_BIAS) - dst_exponent);
158*4882a593Smuzhiyun Dbl_copytoptr(resultp1,resultp2,dstptr);
159*4882a593Smuzhiyun return(NOEXCEPTION);
160*4882a593Smuzhiyun }
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun /*
163*4882a593Smuzhiyun * Double Fixed-point to Single Floating-point
164*4882a593Smuzhiyun */
165*4882a593Smuzhiyun
166*4882a593Smuzhiyun int
dbl_to_sgl_fcnvxf(dbl_integer * srcptr,unsigned int * nullptr,sgl_floating_point * dstptr,unsigned int * status)167*4882a593Smuzhiyun dbl_to_sgl_fcnvxf(
168*4882a593Smuzhiyun dbl_integer *srcptr,
169*4882a593Smuzhiyun unsigned int *nullptr,
170*4882a593Smuzhiyun sgl_floating_point *dstptr,
171*4882a593Smuzhiyun unsigned int *status)
172*4882a593Smuzhiyun {
173*4882a593Smuzhiyun int dst_exponent, srcp1;
174*4882a593Smuzhiyun unsigned int result = 0, srcp2;
175*4882a593Smuzhiyun
176*4882a593Smuzhiyun Dint_copyfromptr(srcptr,srcp1,srcp2);
177*4882a593Smuzhiyun /*
178*4882a593Smuzhiyun * set sign bit of result and get magnitude of source
179*4882a593Smuzhiyun */
180*4882a593Smuzhiyun if (srcp1 < 0) {
181*4882a593Smuzhiyun Sgl_setone_sign(result);
182*4882a593Smuzhiyun Dint_negate(srcp1,srcp2);
183*4882a593Smuzhiyun }
184*4882a593Smuzhiyun else {
185*4882a593Smuzhiyun Sgl_setzero_sign(result);
186*4882a593Smuzhiyun /* Check for zero */
187*4882a593Smuzhiyun if (srcp1 == 0 && srcp2 == 0) {
188*4882a593Smuzhiyun Sgl_setzero(result);
189*4882a593Smuzhiyun *dstptr = result;
190*4882a593Smuzhiyun return(NOEXCEPTION);
191*4882a593Smuzhiyun }
192*4882a593Smuzhiyun }
193*4882a593Smuzhiyun /*
194*4882a593Smuzhiyun * Generate exponent and normalized mantissa
195*4882a593Smuzhiyun */
196*4882a593Smuzhiyun dst_exponent = 16; /* initialize for normalization */
197*4882a593Smuzhiyun if (srcp1 == 0) {
198*4882a593Smuzhiyun /*
199*4882a593Smuzhiyun * Check word for most significant bit set. Returns
200*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
201*4882a593Smuzhiyun * between -1 and 30.
202*4882a593Smuzhiyun */
203*4882a593Smuzhiyun Find_ms_one_bit(srcp2,dst_exponent);
204*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
205*4882a593Smuzhiyun if (dst_exponent >= 0) {
206*4882a593Smuzhiyun srcp1 = srcp2 << dst_exponent;
207*4882a593Smuzhiyun srcp2 = 0;
208*4882a593Smuzhiyun }
209*4882a593Smuzhiyun else {
210*4882a593Smuzhiyun srcp1 = srcp2 >> 1;
211*4882a593Smuzhiyun srcp2 <<= 31;
212*4882a593Smuzhiyun }
213*4882a593Smuzhiyun /*
214*4882a593Smuzhiyun * since msb set is in second word, need to
215*4882a593Smuzhiyun * adjust bit position count
216*4882a593Smuzhiyun */
217*4882a593Smuzhiyun dst_exponent += 32;
218*4882a593Smuzhiyun }
219*4882a593Smuzhiyun else {
220*4882a593Smuzhiyun /*
221*4882a593Smuzhiyun * Check word for most significant bit set. Returns
222*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
223*4882a593Smuzhiyun * between -1 and 30.
224*4882a593Smuzhiyun *
225*4882a593Smuzhiyun */
226*4882a593Smuzhiyun Find_ms_one_bit(srcp1,dst_exponent);
227*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
228*4882a593Smuzhiyun if (dst_exponent > 0) {
229*4882a593Smuzhiyun Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
230*4882a593Smuzhiyun srcp1);
231*4882a593Smuzhiyun srcp2 <<= dst_exponent;
232*4882a593Smuzhiyun }
233*4882a593Smuzhiyun /*
234*4882a593Smuzhiyun * If dst_exponent = 0, we don't need to shift anything.
235*4882a593Smuzhiyun * If dst_exponent = -1, src = - 2**63 so we won't need to
236*4882a593Smuzhiyun * shift srcp2.
237*4882a593Smuzhiyun */
238*4882a593Smuzhiyun else srcp1 >>= -(dst_exponent);
239*4882a593Smuzhiyun }
240*4882a593Smuzhiyun Sgl_set_mantissa(result, srcp1 >> SGL_EXP_LENGTH - 1);
241*4882a593Smuzhiyun Sgl_set_exponent(result, (62+SGL_BIAS) - dst_exponent);
242*4882a593Smuzhiyun
243*4882a593Smuzhiyun /* check for inexact */
244*4882a593Smuzhiyun if (Dint_isinexact_to_sgl(srcp1,srcp2)) {
245*4882a593Smuzhiyun switch (Rounding_mode()) {
246*4882a593Smuzhiyun case ROUNDPLUS:
247*4882a593Smuzhiyun if (Sgl_iszero_sign(result))
248*4882a593Smuzhiyun Sgl_increment(result);
249*4882a593Smuzhiyun break;
250*4882a593Smuzhiyun case ROUNDMINUS:
251*4882a593Smuzhiyun if (Sgl_isone_sign(result))
252*4882a593Smuzhiyun Sgl_increment(result);
253*4882a593Smuzhiyun break;
254*4882a593Smuzhiyun case ROUNDNEAREST:
255*4882a593Smuzhiyun Sgl_roundnearest_from_dint(srcp1,srcp2,result);
256*4882a593Smuzhiyun }
257*4882a593Smuzhiyun if (Is_inexacttrap_enabled()) {
258*4882a593Smuzhiyun *dstptr = result;
259*4882a593Smuzhiyun return(INEXACTEXCEPTION);
260*4882a593Smuzhiyun }
261*4882a593Smuzhiyun else Set_inexactflag();
262*4882a593Smuzhiyun }
263*4882a593Smuzhiyun *dstptr = result;
264*4882a593Smuzhiyun return(NOEXCEPTION);
265*4882a593Smuzhiyun }
266*4882a593Smuzhiyun
267*4882a593Smuzhiyun /*
268*4882a593Smuzhiyun * Double Fixed-point to Double Floating-point
269*4882a593Smuzhiyun */
270*4882a593Smuzhiyun
271*4882a593Smuzhiyun int
dbl_to_dbl_fcnvxf(dbl_integer * srcptr,unsigned int * nullptr,dbl_floating_point * dstptr,unsigned int * status)272*4882a593Smuzhiyun dbl_to_dbl_fcnvxf(
273*4882a593Smuzhiyun dbl_integer *srcptr,
274*4882a593Smuzhiyun unsigned int *nullptr,
275*4882a593Smuzhiyun dbl_floating_point *dstptr,
276*4882a593Smuzhiyun unsigned int *status)
277*4882a593Smuzhiyun {
278*4882a593Smuzhiyun register int srcp1, dst_exponent;
279*4882a593Smuzhiyun register unsigned int srcp2, resultp1 = 0, resultp2 = 0;
280*4882a593Smuzhiyun
281*4882a593Smuzhiyun Dint_copyfromptr(srcptr,srcp1,srcp2);
282*4882a593Smuzhiyun /*
283*4882a593Smuzhiyun * set sign bit of result and get magnitude of source
284*4882a593Smuzhiyun */
285*4882a593Smuzhiyun if (srcp1 < 0) {
286*4882a593Smuzhiyun Dbl_setone_sign(resultp1);
287*4882a593Smuzhiyun Dint_negate(srcp1,srcp2);
288*4882a593Smuzhiyun }
289*4882a593Smuzhiyun else {
290*4882a593Smuzhiyun Dbl_setzero_sign(resultp1);
291*4882a593Smuzhiyun /* Check for zero */
292*4882a593Smuzhiyun if (srcp1 == 0 && srcp2 ==0) {
293*4882a593Smuzhiyun Dbl_setzero(resultp1,resultp2);
294*4882a593Smuzhiyun Dbl_copytoptr(resultp1,resultp2,dstptr);
295*4882a593Smuzhiyun return(NOEXCEPTION);
296*4882a593Smuzhiyun }
297*4882a593Smuzhiyun }
298*4882a593Smuzhiyun /*
299*4882a593Smuzhiyun * Generate exponent and normalized mantissa
300*4882a593Smuzhiyun */
301*4882a593Smuzhiyun dst_exponent = 16; /* initialize for normalization */
302*4882a593Smuzhiyun if (srcp1 == 0) {
303*4882a593Smuzhiyun /*
304*4882a593Smuzhiyun * Check word for most significant bit set. Returns
305*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
306*4882a593Smuzhiyun * between -1 and 30.
307*4882a593Smuzhiyun */
308*4882a593Smuzhiyun Find_ms_one_bit(srcp2,dst_exponent);
309*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
310*4882a593Smuzhiyun if (dst_exponent >= 0) {
311*4882a593Smuzhiyun srcp1 = srcp2 << dst_exponent;
312*4882a593Smuzhiyun srcp2 = 0;
313*4882a593Smuzhiyun }
314*4882a593Smuzhiyun else {
315*4882a593Smuzhiyun srcp1 = srcp2 >> 1;
316*4882a593Smuzhiyun srcp2 <<= 31;
317*4882a593Smuzhiyun }
318*4882a593Smuzhiyun /*
319*4882a593Smuzhiyun * since msb set is in second word, need to
320*4882a593Smuzhiyun * adjust bit position count
321*4882a593Smuzhiyun */
322*4882a593Smuzhiyun dst_exponent += 32;
323*4882a593Smuzhiyun }
324*4882a593Smuzhiyun else {
325*4882a593Smuzhiyun /*
326*4882a593Smuzhiyun * Check word for most significant bit set. Returns
327*4882a593Smuzhiyun * a value in dst_exponent indicating the bit position,
328*4882a593Smuzhiyun * between -1 and 30.
329*4882a593Smuzhiyun */
330*4882a593Smuzhiyun Find_ms_one_bit(srcp1,dst_exponent);
331*4882a593Smuzhiyun /* left justify source, with msb at bit position 1 */
332*4882a593Smuzhiyun if (dst_exponent > 0) {
333*4882a593Smuzhiyun Variable_shift_double(srcp1,srcp2,(32-dst_exponent),
334*4882a593Smuzhiyun srcp1);
335*4882a593Smuzhiyun srcp2 <<= dst_exponent;
336*4882a593Smuzhiyun }
337*4882a593Smuzhiyun /*
338*4882a593Smuzhiyun * If dst_exponent = 0, we don't need to shift anything.
339*4882a593Smuzhiyun * If dst_exponent = -1, src = - 2**63 so we won't need to
340*4882a593Smuzhiyun * shift srcp2.
341*4882a593Smuzhiyun */
342*4882a593Smuzhiyun else srcp1 >>= -(dst_exponent);
343*4882a593Smuzhiyun }
344*4882a593Smuzhiyun Dbl_set_mantissap1(resultp1, srcp1 >> (DBL_EXP_LENGTH-1));
345*4882a593Smuzhiyun Shiftdouble(srcp1,srcp2,DBL_EXP_LENGTH-1,resultp2);
346*4882a593Smuzhiyun Dbl_set_exponent(resultp1, (62+DBL_BIAS) - dst_exponent);
347*4882a593Smuzhiyun
348*4882a593Smuzhiyun /* check for inexact */
349*4882a593Smuzhiyun if (Dint_isinexact_to_dbl(srcp2)) {
350*4882a593Smuzhiyun switch (Rounding_mode()) {
351*4882a593Smuzhiyun case ROUNDPLUS:
352*4882a593Smuzhiyun if (Dbl_iszero_sign(resultp1)) {
353*4882a593Smuzhiyun Dbl_increment(resultp1,resultp2);
354*4882a593Smuzhiyun }
355*4882a593Smuzhiyun break;
356*4882a593Smuzhiyun case ROUNDMINUS:
357*4882a593Smuzhiyun if (Dbl_isone_sign(resultp1)) {
358*4882a593Smuzhiyun Dbl_increment(resultp1,resultp2);
359*4882a593Smuzhiyun }
360*4882a593Smuzhiyun break;
361*4882a593Smuzhiyun case ROUNDNEAREST:
362*4882a593Smuzhiyun Dbl_roundnearest_from_dint(srcp2,resultp1,
363*4882a593Smuzhiyun resultp2);
364*4882a593Smuzhiyun }
365*4882a593Smuzhiyun if (Is_inexacttrap_enabled()) {
366*4882a593Smuzhiyun Dbl_copytoptr(resultp1,resultp2,dstptr);
367*4882a593Smuzhiyun return(INEXACTEXCEPTION);
368*4882a593Smuzhiyun }
369*4882a593Smuzhiyun else Set_inexactflag();
370*4882a593Smuzhiyun }
371*4882a593Smuzhiyun Dbl_copytoptr(resultp1,resultp2,dstptr);
372*4882a593Smuzhiyun return(NOEXCEPTION);
373*4882a593Smuzhiyun }
374