WebSVN – HelenOS-historic – Diff – /uspace/trunk/softfloat/generic/softfloat.c


/*
 * Copyright (C) 2005 Josef Cejka
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
#include<softfloat.h>
#include<sftypes.h>
 
#include<add.h>
#include<sub.h>
#include<mul.h>
#include<div.h>
 
#include<conversion.h>
#include<comparison.h>
#include<other.h>
 
#include<arch.h>
#include<types.h>
#include<functions.h>
 
/* Arithmetic functions */
 
float __addsf3(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if (fa.parts.sign != fb.parts.sign) {
        if (fa.parts.sign) {
            fa.parts.sign = 0;
            return subFloat32(fb, fa).f;
        };
        fb.parts.sign = 0;
        return subFloat32(fa, fb).f;
    }
    return addFloat32(fa, fb).f;
}
 
double __adddf3(double a, double b)
{
    float64 da, db;
    da.d = a;
    db.d = b;
    if (da.parts.sign != db.parts.sign) {
        if (da.parts.sign) {
            da.parts.sign = 0;
            return subFloat64(db, da).d;
        };
        db.parts.sign = 0;
        return subFloat64(da, db).d;
    }
    return addFloat64(da, db).d;
}
 
float __subsf3(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if (fa.parts.sign != fb.parts.sign) {
        fb.parts.sign = !fb.parts.sign;
        return addFloat32(fa, fb).f;
    }
    return subFloat32(fa, fb).f;
}
 
double __subdf3(double a, double b)
{
    float64 da, db;
    da.d = a;
    db.d = b;
    if (da.parts.sign != db.parts.sign) {
        db.parts.sign = !db.parts.sign;
        return addFloat64(da, db).d;
    }
    return subFloat64(da, db).d;
}
 
float __mulsf3(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    return  mulFloat32(fa, fb).f;
}
 
double __muldf3(double a, double b)
{
    float64 da, db;
    da.d = a;
    db.d = b;
    return  mulFloat64(da, db).d;
}
 
float __divsf3(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    return  divFloat32(fa, fb).f;
}
 
double __divdf3(double a, double b)
{
    float64 da, db;
    da.d = a;
    db.d = b;
    return  divFloat64(da, db).d;
}
 
float __negsf2(float a)
{
    float32 fa;
    fa.f = a;
    fa.parts.sign = !fa.parts.sign;
    return fa.f;
}
 
double __negdf2(double a)
{
    float64 fa;
    fa.d = a;
    fa.parts.sign = !fa.parts.sign;
    return fa.d;
}
 
/* Conversion functions */
 
double __extendsfdf2(float a)
{
    float32 fa;
    fa.f = a;
    return convertFloat32ToFloat64(fa).d;
}
 
float __truncdfsf2(double a)
{
    float64 da;
    da.d = a;
    return convertFloat64ToFloat32(da).f;
}
 
int __fixsfsi(float a)
{
    float32 fa;
    fa.f = a;
   
    return float32_to_int(fa);
}
int __fixdfsi(double a)
{
}
 
long __fixsfdi(float a)
{
    float32 fa;
    fa.f = a;
   
    return float32_to_long(fa);
}
long __fixdfdi(double a)
{
}
 
long long __fixsfti(float a)
{
}
long long __fixdfti(double a)
{
}
 
unsigned int __fixunssfsi(float a)
{
    float32 fa;
    fa.f = a;
   
    return float32_to_uint(fa);
}
unsigned int __fixunsdfsi(double a)
{
}
 
unsigned long __fixunssfdi(float a)
{
    float32 fa;
    fa.f = a;
   
    return float32_to_ulong(fa);
}
unsigned long __fixunsdfdi(double a)
{
}
 
unsigned long long __fixunssfti(float a)
{
}
unsigned long long __fixunsdfti(double a)
{
}
 
float __floatsisf(int i)
{
}
double __floatsidf(int i)
{
}
 
float __floatdisf(long i)
{
}
double __floatdidf(long i)
{
}
 
float __floattisf(long long i)
{
}
double __floattidf(long long i)
{
}
 
float __floatunsisf(unsigned int i)
{
}
double __floatunsidf(unsigned int i)
{
}
 
float __floatundisf(unsigned long i)
{
}
double __floatundidf(unsigned long i)
{
}
 
float __floatuntisf(unsigned long long i)
{
}
double __floatuntidf(unsigned long long i)
{
}
 
/* Comparison functions */
/* Comparison functions */
 
/* a<b .. -1
 * a=b ..  0
 * a>b ..  1
 * */
 
int __cmpsf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        return 1; /* no special constant for unordered - maybe signaled? */
    };
 
   
    if (isFloat32eq(fa, fb)) {
        return 0;
    };
   
    if (isFloat32lt(fa, fb)) {
        return -1;
        };
    return 1;
}
 
int __unordsf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    return ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) );
}
 
/**
 * @return zero, if neither argument is a NaN and are equal
 * */
int __eqsf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        /* TODO: sigNaNs*/
        return 1;
        };
    return isFloat32eq(fa, fb) - 1;
}
 
/* strange behavior, but it was in gcc documentation */
int __nesf2(float a, float b)
{
    return __eqsf2(a, b);
}
 
/* return value >= 0 if a>=b and neither is NaN */
int __gesf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        /* TODO: sigNaNs*/
        return -1;
        };
   
    if (isFloat32eq(fa, fb)) {
        return 0;
    };
   
    if (isFloat32gt(fa, fb)) {
        return 1;
        };
   
    return -1;
}
 
/** Return negative value, if a<b and neither is NaN*/
int __ltsf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        /* TODO: sigNaNs*/
        return 1;
        };
    if (isFloat32lt(fa, fb)) {
        return -1;
        };
    return 0;
}
 
/* return value <= 0 if a<=b and neither is NaN */
int __lesf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        /* TODO: sigNaNs*/
        return 1;
        };
   
    if (isFloat32eq(fa, fb)) {
        return 0;
    };
   
    if (isFloat32lt(fa, fb)) {
        return -1;
        };
   
    return 1;
}
 
/** Return positive value, if a>b and neither is NaN*/
int __gtsf2(float a, float b)
{
    float32 fa, fb;
    fa.f = a;
    fb.f = b;
    if ( (isFloat32NaN(fa)) || (isFloat32NaN(fb)) ) {
        /* TODO: sigNaNs*/
        return -1;
        };
    if (isFloat32gt(fa, fb)) {
        return 1;
        };
    return 0;
}
 
/* Other functions */
 
float __powisf2(float a, int b)
{
/* TODO: */
}
 
float __mulsc3(float a, float b, float c, float d)
{
/* TODO: */
}
 
float __divsc3(float a, float b, float c, float d)
{
/* TODO: */
}
 
 

Rev 857	Rev 858
1	/*	1	/*
2	* Copyright (C) 2005 Josef Cejka	2	* Copyright (C) 2005 Josef Cejka
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	13	* documentation and/or other materials provided with the distribution.
14	* - The name of the author may not be used to endorse or promote products	14	* - The name of the author may not be used to endorse or promote products
15	* derived from this software without specific prior written permission.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF	25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	#include<softfloat.h>	29	#include<softfloat.h>
30	#include<sftypes.h>	30	#include<sftypes.h>
31		31
32	#include<add.h>	32	#include<add.h>
33	#include<sub.h>	33	#include<sub.h>
34	#include<mul.h>	34	#include<mul.h>
35	#include<div.h>	35	#include<div.h>
36		36
37	#include<conversion.h>	37	#include<conversion.h>
38	#include<comparison.h>	38	#include<comparison.h>
39	#include<other.h>	39	#include<other.h>
40		40
41	#include<arch.h>	41	#include<arch.h>
42	#include<types.h>	42	#include<types.h>
43	#include<functions.h>	43	#include<functions.h>
44		44
45	/* Arithmetic functions */	45	/* Arithmetic functions */
46		46
47	float __addsf3(float a, float b)	47	float __addsf3(float a, float b)
48	{	48	{
49	float32 fa, fb;	49	float32 fa, fb;
50	fa.f = a;	50	fa.f = a;
51	fb.f = b;	51	fb.f = b;
52	if (fa.parts.sign != fb.parts.sign) {	52	if (fa.parts.sign != fb.parts.sign) {
53	if (fa.parts.sign) {	53	if (fa.parts.sign) {
54	fa.parts.sign = 0;	54	fa.parts.sign = 0;
55	return subFloat32(fb, fa).f;	55	return subFloat32(fb, fa).f;
56	};	56	};
57	fb.parts.sign = 0;	57	fb.parts.sign = 0;
58	return subFloat32(fa, fb).f;	58	return subFloat32(fa, fb).f;
59	}	59	}
60	return addFloat32(fa, fb).f;	60	return addFloat32(fa, fb).f;
61	}	61	}
62		62
63	double __adddf3(double a, double b)	63	double __adddf3(double a, double b)
64	{	64	{
65	float64 da, db;	65	float64 da, db;
66	da.d = a;	66	da.d = a;
67	db.d = b;	67	db.d = b;
68	if (da.parts.sign != db.parts.sign) {	68	if (da.parts.sign != db.parts.sign) {
69	if (da.parts.sign) {	69	if (da.parts.sign) {
70	da.parts.sign = 0;	70	da.parts.sign = 0;
71	return subFloat64(db, da).d;	71	return subFloat64(db, da).d;
72	};	72	};
73	db.parts.sign = 0;	73	db.parts.sign = 0;
74	return subFloat64(da, db).d;	74	return subFloat64(da, db).d;
75	}	75	}
76	return addFloat64(da, db).d;	76	return addFloat64(da, db).d;
77	}	77	}
78		78
79	float __subsf3(float a, float b)	79	float __subsf3(float a, float b)
80	{	80	{
81	float32 fa, fb;	81	float32 fa, fb;
82	fa.f = a;	82	fa.f = a;
83	fb.f = b;	83	fb.f = b;
84	if (fa.parts.sign != fb.parts.sign) {	84	if (fa.parts.sign != fb.parts.sign) {
85	fb.parts.sign = !fb.parts.sign;	85	fb.parts.sign = !fb.parts.sign;
86	return addFloat32(fa, fb).f;	86	return addFloat32(fa, fb).f;
87	}	87	}
88	return subFloat32(fa, fb).f;	88	return subFloat32(fa, fb).f;
89	}	89	}
90		90
91	double __subdf3(double a, double b)	91	double __subdf3(double a, double b)
92	{	92	{
93	float64 da, db;	93	float64 da, db;
94	da.d = a;	94	da.d = a;
95	db.d = b;	95	db.d = b;
96	if (da.parts.sign != db.parts.sign) {	96	if (da.parts.sign != db.parts.sign) {
97	db.parts.sign = !db.parts.sign;	97	db.parts.sign = !db.parts.sign;
98	return addFloat64(da, db).d;	98	return addFloat64(da, db).d;
99	}	99	}
100	return subFloat64(da, db).d;	100	return subFloat64(da, db).d;
101	}	101	}
102		102
103	float __mulsf3(float a, float b)	103	float __mulsf3(float a, float b)
104	{	104	{
105	float32 fa, fb;	105	float32 fa, fb;
106	fa.f = a;	106	fa.f = a;
107	fb.f = b;	107	fb.f = b;
108	return mulFloat32(fa, fb).f;	108	return mulFloat32(fa, fb).f;
109	}	109	}
110		110
111	double __muldf3(double a, double b)	111	double __muldf3(double a, double b)
112	{	112	{
113	float64 da, db;	113	float64 da, db;
114	da.d = a;	114	da.d = a;
115	db.d = b;	115	db.d = b;
116	return mulFloat64(da, db).d;	116	return mulFloat64(da, db).d;
117	}	117	}
118		118
119	float __divsf3(float a, float b)	119	float __divsf3(float a, float b)
120	{	120	{
121	float32 fa, fb;	121	float32 fa, fb;
122	fa.f = a;	122	fa.f = a;
123	fb.f = b;	123	fb.f = b;
124	return divFloat32(fa, fb).f;	124	return divFloat32(fa, fb).f;
125	}	125	}
126		126
127	double __divdf3(double a, double b)	127	double __divdf3(double a, double b)
128	{	128	{
129	float64 da, db;	129	float64 da, db;
130	da.d = a;	130	da.d = a;
131	db.d = b;	131	db.d = b;
132	return divFloat64(da, db).d;	132	return divFloat64(da, db).d;
133	}	133	}
134		134
135	float __negsf2(float a)	135	float __negsf2(float a)
136	{	136	{
137	float32 fa;	137	float32 fa;
138	fa.f = a;	138	fa.f = a;
139	fa.parts.sign = !fa.parts.sign;	139	fa.parts.sign = !fa.parts.sign;
140	return fa.f;	140	return fa.f;
141	}	141	}
142		142
143	double __negdf2(double a)	143	double __negdf2(double a)
144	{	144	{
145	float64 fa;	145	float64 fa;
146	fa.d = a;	146	fa.d = a;
147	fa.parts.sign = !fa.parts.sign;	147	fa.parts.sign = !fa.parts.sign;
148	return fa.d;	148	return fa.d;
149	}	149	}
150		150
151	/* Conversion functions */	151	/* Conversion functions */
152		152
153	double __extendsfdf2(float a)	153	double __extendsfdf2(float a)
154	{	154	{
155	float32 fa;	155	float32 fa;
156	fa.f = a;	156	fa.f = a;
157	return convertFloat32ToFloat64(fa).d;	157	return convertFloat32ToFloat64(fa).d;
158	}	158	}
159		159
160	float __truncdfsf2(double a)	160	float __truncdfsf2(double a)
161	{	161	{
162	float64 da;	162	float64 da;
163	da.d = a;	163	da.d = a;
164	return convertFloat64ToFloat32(da).f;	164	return convertFloat64ToFloat32(da).f;
165	}	165	}
166		166
167	int __fixsfsi(float a)	167	int __fixsfsi(float a)
168	{	168	{
169	float32 fa;	169	float32 fa;
170	fa.f = a;	170	fa.f = a;
171		171
172	return float32_to_int(fa);	172	return float32_to_int(fa);
173	}	173	}
174	int __fixdfsi(double a)	174	int __fixdfsi(double a)
175	{	175	{
176	}	176	}
177		177
178	long __fixsfdi(float a)	178	long __fixsfdi(float a)
179	{	179	{
180	float32 fa;	180	float32 fa;
181	fa.f = a;	181	fa.f = a;
182		182
183	return float32_to_long(fa);	183	return float32_to_long(fa);
184	}	184	}
185	long __fixdfdi(double a)	185	long __fixdfdi(double a)
186	{	186	{
187	}	187	}
188		188
189	long long __fixsfti(float a)	189	long long __fixsfti(float a)
190	{	190	{
191	}	191	}
192	long long __fixdfti(double a)	192	long long __fixdfti(double a)
193	{	193	{
194	}	194	}
195		195
196	unsigned int __fixunssfsi(float a)	196	unsigned int __fixunssfsi(float a)
197	{	197	{
198	float32 fa;	198	float32 fa;
199	fa.f = a;	199	fa.f = a;
200		200
201	return float32_to_uint(fa);	201	return float32_to_uint(fa);
202	}	202	}
203	unsigned int __fixunsdfsi(double a)	203	unsigned int __fixunsdfsi(double a)
204	{	204	{
205	}	205	}
206		206
207	unsigned long __fixunssfdi(float a)	207	unsigned long __fixunssfdi(float a)
208	{	208	{
209	float32 fa;	209	float32 fa;
210	fa.f = a;	210	fa.f = a;
211		211
212	return float32_to_long(fa);	212	return float32_to_ulong(fa);
213	}	213	}
214	unsigned long __fixunsdfdi(double a)	214	unsigned long __fixunsdfdi(double a)
215	{	215	{
216	}	216	}
217		217
218	unsigned long long __fixunssfti(float a)	218	unsigned long long __fixunssfti(float a)
219	{	219	{
220	}	220	}
221	unsigned long long __fixunsdfti(double a)	221	unsigned long long __fixunsdfti(double a)
222	{	222	{
223	}	223	}
224		224
225	float __floatsisf(int i)	225	float __floatsisf(int i)
226	{	226	{
227	}	227	}
228	double __floatsidf(int i)	228	double __floatsidf(int i)
229	{	229	{
230	}	230	}
231		231
232	float __floatdisf(long i)	232	float __floatdisf(long i)
233	{	233	{
234	}	234	}
235	double __floatdidf(long i)	235	double __floatdidf(long i)
236	{	236	{
237	}	237	}
238		238
239	float __floattisf(long long i)	239	float __floattisf(long long i)
240	{	240	{
241	}	241	}
242	double __floattidf(long long i)	242	double __floattidf(long long i)
243	{	243	{
244	}	244	}
245		245
246	float __floatunsisf(unsigned int i)	246	float __floatunsisf(unsigned int i)
247	{	247	{
248	}	248	}
249	double __floatunsidf(unsigned int i)	249	double __floatunsidf(unsigned int i)
250	{	250	{
251	}	251	}
252		252
253	float __floatundisf(unsigned long i)	253	float __floatundisf(unsigned long i)
254	{	254	{
255	}	255	}
256	double __floatundidf(unsigned long i)	256	double __floatundidf(unsigned long i)
257	{	257	{
258	}	258	}
259		259
260	float __floatuntisf(unsigned long long i)	260	float __floatuntisf(unsigned long long i)
261	{	261	{
262	}	262	}
263	double __floatuntidf(unsigned long long i)	263	double __floatuntidf(unsigned long long i)
264	{	264	{
265	}	265	}
266		266
267	/* Comparison functions */	267	/* Comparison functions */
268	/* Comparison functions */	268	/* Comparison functions */
269		269
270	/* a<b .. -1	270	/* a<b .. -1
271	* a=b .. 0	271	* a=b .. 0
272	* a>b .. 1	272	* a>b .. 1
273	* */	273	* */
274		274
275	int __cmpsf2(float a, float b)	275	int __cmpsf2(float a, float b)
276	{	276	{
277	float32 fa, fb;	277	float32 fa, fb;
278	fa.f = a;	278	fa.f = a;
279	fb.f = b;	279	fb.f = b;
280	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	280	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
281	return 1; /* no special constant for unordered - maybe signaled? */	281	return 1; /* no special constant for unordered - maybe signaled? */
282	};	282	};
283		283
284		284
285	if (isFloat32eq(fa, fb)) {	285	if (isFloat32eq(fa, fb)) {
286	return 0;	286	return 0;
287	};	287	};
288		288
289	if (isFloat32lt(fa, fb)) {	289	if (isFloat32lt(fa, fb)) {
290	return -1;	290	return -1;
291	};	291	};
292	return 1;	292	return 1;
293	}	293	}
294		294
295	int __unordsf2(float a, float b)	295	int __unordsf2(float a, float b)
296	{	296	{
297	float32 fa, fb;	297	float32 fa, fb;
298	fa.f = a;	298	fa.f = a;
299	fb.f = b;	299	fb.f = b;
300	return ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) );	300	return ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) );
301	}	301	}
302		302
303	/**	303	/**
304	* @return zero, if neither argument is a NaN and are equal	304	* @return zero, if neither argument is a NaN and are equal
305	* */	305	* */
306	int __eqsf2(float a, float b)	306	int __eqsf2(float a, float b)
307	{	307	{
308	float32 fa, fb;	308	float32 fa, fb;
309	fa.f = a;	309	fa.f = a;
310	fb.f = b;	310	fb.f = b;
311	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	311	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
312	/* TODO: sigNaNs*/	312	/* TODO: sigNaNs*/
313	return 1;	313	return 1;
314	};	314	};
315	return isFloat32eq(fa, fb) - 1;	315	return isFloat32eq(fa, fb) - 1;
316	}	316	}
317		317
318	/* strange behavior, but it was in gcc documentation */	318	/* strange behavior, but it was in gcc documentation */
319	int __nesf2(float a, float b)	319	int __nesf2(float a, float b)
320	{	320	{
321	return __eqsf2(a, b);	321	return __eqsf2(a, b);
322	}	322	}
323		323
324	/* return value >= 0 if a>=b and neither is NaN */	324	/* return value >= 0 if a>=b and neither is NaN */
325	int __gesf2(float a, float b)	325	int __gesf2(float a, float b)
326	{	326	{
327	float32 fa, fb;	327	float32 fa, fb;
328	fa.f = a;	328	fa.f = a;
329	fb.f = b;	329	fb.f = b;
330	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	330	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
331	/* TODO: sigNaNs*/	331	/* TODO: sigNaNs*/
332	return -1;	332	return -1;
333	};	333	};
334		334
335	if (isFloat32eq(fa, fb)) {	335	if (isFloat32eq(fa, fb)) {
336	return 0;	336	return 0;
337	};	337	};
338		338
339	if (isFloat32gt(fa, fb)) {	339	if (isFloat32gt(fa, fb)) {
340	return 1;	340	return 1;
341	};	341	};
342		342
343	return -1;	343	return -1;
344	}	344	}
345		345
346	/** Return negative value, if a<b and neither is NaN*/	346	/** Return negative value, if a<b and neither is NaN*/
347	int __ltsf2(float a, float b)	347	int __ltsf2(float a, float b)
348	{	348	{
349	float32 fa, fb;	349	float32 fa, fb;
350	fa.f = a;	350	fa.f = a;
351	fb.f = b;	351	fb.f = b;
352	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	352	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
353	/* TODO: sigNaNs*/	353	/* TODO: sigNaNs*/
354	return 1;	354	return 1;
355	};	355	};
356	if (isFloat32lt(fa, fb)) {	356	if (isFloat32lt(fa, fb)) {
357	return -1;	357	return -1;
358	};	358	};
359	return 0;	359	return 0;
360	}	360	}
361		361
362	/* return value <= 0 if a<=b and neither is NaN */	362	/* return value <= 0 if a<=b and neither is NaN */
363	int __lesf2(float a, float b)	363	int __lesf2(float a, float b)
364	{	364	{
365	float32 fa, fb;	365	float32 fa, fb;
366	fa.f = a;	366	fa.f = a;
367	fb.f = b;	367	fb.f = b;
368	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	368	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
369	/* TODO: sigNaNs*/	369	/* TODO: sigNaNs*/
370	return 1;	370	return 1;
371	};	371	};
372		372
373	if (isFloat32eq(fa, fb)) {	373	if (isFloat32eq(fa, fb)) {
374	return 0;	374	return 0;
375	};	375	};
376		376
377	if (isFloat32lt(fa, fb)) {	377	if (isFloat32lt(fa, fb)) {
378	return -1;	378	return -1;
379	};	379	};
380		380
381	return 1;	381	return 1;
382	}	382	}
383		383
384	/** Return positive value, if a>b and neither is NaN*/	384	/** Return positive value, if a>b and neither is NaN*/
385	int __gtsf2(float a, float b)	385	int __gtsf2(float a, float b)
386	{	386	{
387	float32 fa, fb;	387	float32 fa, fb;
388	fa.f = a;	388	fa.f = a;
389	fb.f = b;	389	fb.f = b;
390	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {	390	if ( (isFloat32NaN(fa)) \|\| (isFloat32NaN(fb)) ) {
391	/* TODO: sigNaNs*/	391	/* TODO: sigNaNs*/
392	return -1;	392	return -1;
393	};	393	};
394	if (isFloat32gt(fa, fb)) {	394	if (isFloat32gt(fa, fb)) {
395	return 1;	395	return 1;
396	};	396	};
397	return 0;	397	return 0;
398	}	398	}
399		399
400	/* Other functions */	400	/* Other functions */
401		401
402	float __powisf2(float a, int b)	402	float __powisf2(float a, int b)
403	{	403	{
404	/* TODO: */	404	/* TODO: */
405	}	405	}
406		406
407	float __mulsc3(float a, float b, float c, float d)	407	float __mulsc3(float a, float b, float c, float d)
408	{	408	{
409	/* TODO: */	409	/* TODO: */
410	}	410	}
411		411
412	float __divsc3(float a, float b, float c, float d)	412	float __divsc3(float a, float b, float c, float d)
413	{	413	{
414	/* TODO: */	414	/* TODO: */
415	}	415	}
416		416
417		417

Subversion Repositories HelenOS-historic

(root)/uspace/trunk/softfloat/generic/softfloat.c – Rev 857 → 858