Changeset 7e557805 in mainline

Timestamp:

2005-12-20T12:48:15Z (19 years ago)

Author:

Josef Cejka <malyzelenyhnus@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e649dfa

Parents:

b5440cf

Message:

Some new functions implemented in softfloat lib.

Location:

softfloat

Files:

• generic/comparison.c (modified) (1 diff)
• generic/softfloat.c (modified) (1 diff)
• include/sftypes.h (modified) (2 diffs)

softfloat/generic/comparison.c

@@ -40 +40 @@
 };
 
+inline int isFloat32Infinity(float32 f) 
+{
+        return ((f.parts.exp==0xFF)&&(f.parts.mantisa==0x0));
+};
+
+/**
+ * @return 1, if both floats are equal - but NaNs are not recognized 
+ */
+inline int isFloat32eq(float32 a, float32 b)
+{
+        return ((a==b)||(((a.binary| b.binary)&0x7FFFFFFF)==0)); /* a equals to b or both are zeros (with any sign) */
+}
+
+/**
+ * @return 1, if a>b - but NaNs are not recognized 
+ */
+inline int isFloat32lt(float32 a, float32 b) 
+{
+        if (((a.binary| b.binary)&0x7FFFFFFF)==0) {
+                return 0;
+        };
+        a.parts.sign^=a.parts.sign;
+        b.parts.sign^=b.parts.sign;
+        return (a.binary<b.binary);
+                        
+}
+
+

softfloat/generic/softfloat.c

@@ -84 +84 @@
 /* Comparison functions */
 
+/* a<b .. -1
+ * a=b ..  0
+ * a>b ..  1
+ * */
+
+int __cmpsf2(double a, double 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);
+};
 /* Other functions */
 

softfloat/include/sftypes.h

@@ -33 +33 @@
 typedef union {
         float f;
+        __u32 binary;
+
         struct  {
                 #ifdef __BIG_ENDIAN__
@@ -50 +52 @@
 typedef union {
         double d;
+        __u64 binary;
+        
         struct  {
                 #ifdef __BIG_ENDIAN__