| 1,3 → 1,4 |
|---|
| |
| /* |
| * Copyright (C) 2005 Josef Cejka |
| * All rights reserved. |
| 27,13 → 28,11 |
|---|
| */ |
| |
| #include<softfloat.h> |
| #include<sftypes.h> |
| #include<arithmetic.h> |
| #include<conversion.h> |
| #include<comparison.h> |
| #include<other.h> |
| |
| /* Arithmetic functions */ |
| float32 addFloat32(float32 a, float32 b); |
| float32 subFloat32(float32 a, float32 b); |
| inline int isFloat32NaN(float32 f); |
| inline int isFloat32SigNaN(float32 f); |
| |
| float __addsf3(float a, float b) |
| { |
| 40,14 → 39,7 |
|---|
| 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; |
| } |
| if (fa.parts.sign!=fb.parts.sign) return subFloat32(fa,fb).f; |
| return addFloat32(fa,fb).f; |
| }; |
| |
| 56,10 → 48,7 |
|---|
| 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; |
| } |
| if (fa.parts.sign!=fb.parts.sign) return addFloat32(fa,fb).f; |
| return subFloat32(fa,fb).f; |
| }; |
| |
| 79,9 → 68,107 |
|---|
| return fa.d; |
| }; |
| |
| /* Conversion functions */ |
| /** Add two Float32 numbers with same signs |
| */ |
| float32 addFloat32(float32 a, float32 b) |
| { |
| int expdiff; |
| __u32 exp1,exp2,mant1,mant2; |
| |
| expdiff=a.parts.exp - b.parts.exp; |
| if (expdiff<0) { |
| if (isFloat32NaN(b)) { |
| //TODO: fix SigNaN |
| if (isFloat32SigNaN(b)) { |
| }; |
| return b; |
| }; |
| |
| if (b.parts.exp==0xFF) { |
| return b; |
| } |
| |
| mant1=b.parts.mantisa; |
| exp1=b.parts.exp; |
| mant2=a.parts.mantisa; |
| exp2=a.parts.exp; |
| expdiff*=-1; |
| } else { |
| if (isFloat32NaN(a)) { |
| //TODO: fix SigNaN |
| if ((isFloat32SigNaN(a))||(isFloat32SigNaN(b))) { |
| }; |
| return a; |
| }; |
| |
| if (a.parts.exp==0xFF) { |
| return a; |
| } |
| |
| mant1=a.parts.mantisa; |
| exp1=a.parts.exp; |
| mant2=b.parts.mantisa; |
| exp2=b.parts.exp; |
| }; |
| |
| if (exp1==0) { |
| //both are denormalized |
| mant1+=mant2; |
| if (mant1&0xF00000) { |
| a.parts.exp=1; |
| }; |
| a.parts.mantisa=mant1; |
| return a; |
| }; |
| |
| // create some space for rounding |
| mant1<<=6; |
| mant2<<=6; |
| |
| mant1|=0x20000000; //add hidden bit |
| |
| |
| if (exp2==0) { |
| --expdiff; |
| } else { |
| mant2|=0x20000000; //hidden bit |
| }; |
| |
| if (expdiff>24) { |
| goto done; |
| }; |
| |
| mant2>>=expdiff; |
| mant1+=mant2; |
| done: |
| if (mant1&0x40000000) { |
| ++exp1; |
| mant1>>=1; |
| }; |
| |
| //rounding - if first bit after mantisa is set then round up |
| mant1+=0x20; |
| |
| a.parts.exp=exp1; |
| a.parts.mantisa=mant1>>6; |
| return a; |
| }; |
| |
| /* Comparison functions */ |
| /** Substract two float32 numbers with same signs |
| */ |
| float32 subFloat32(float32 a, float32 b) |
| { |
| |
| |
| }; |
| |
| /* Other functions */ |
| inline int isFloat32NaN(float32 f) |
| { /* NaN : exp = 0xff and nonzero mantisa */ |
| return ((f.parts.exp==0xFF)&&(f.parts.mantisa)); |
| }; |
| |
| inline int isFloat32SigNaN(float32 f) |
| { /* SigNaN : exp = 0xff mantisa = 1xxxxx..x (binary), where at least one x is nonzero */ |
| return ((f.parts.exp==0xFF)&&(f.parts.mantisa>0x400000)); |
| }; |
| |