Changeset 88d5c1e in mainline for uspace/lib/softint

Timestamp:

2012-04-07T17:55:10Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

41455a22

Parents:

8bcd727

Message:

softfloat redesign

• avoid hardwired type sizes, actual sizes are determined at compile-time
• add basic support for x87 extended-precision data types (stored as 96bit long double)
• a lot of coding style changes (removal of CamelCase, etc.)

Location:

uspace/lib/softint

Files:

• generic/division.c (modified) (2 diffs)
• include/comparison.h (modified) (1 diff)
• include/division.h (modified) (2 diffs)
• include/lltype.h (modified) (1 diff)
• include/multiplication.h (modified) (2 diffs)
• include/shift.h (modified) (1 diff)

uspace/lib/softint/generic/division.c

@@ -188 +188 @@
 }
 
+int __divmodsi3(int a, int b, int *c)
+{
+        unsigned int rem;
+        int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
+        
+        if (SGN(a) == SGN(b)) {
+                *c = rem;
+                return result;
+        }
+        
+        *c = -rem;
+        return -result;
+}
+
 unsigned int __udivmodsi3(unsigned int a, unsigned int b,
     unsigned int *c)
@@ -194 +208 @@
 }
 
+long long __divmoddi3(long long a, long long b, long long *c)
+{
+        unsigned long long rem;
+        long long result = (int) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
+        
+        if (SGN(a) == SGN(b)) {
+                *c = rem;
+                return result;
+        }
+        
+        *c = -rem;
+        return -result;
+}
+
 unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
     unsigned long long *c)

uspace/lib/softint/include/comparison.h

@@ -38 +38 @@
 
 /* Signed comparison (a < b => 0, a == b => 1, a > b => 2). */
-int __cmpdi2 (long long a, long long b);
+extern int __cmpdi2(long long, long long);
 
 /* Unsigned comparison (a < b => 0, a == b => 1, a > b => 2). */
-int __ucmpdi2 (unsigned long long a, unsigned long long b);
+extern int __ucmpdi2(unsigned long long, unsigned long long);
 
 #endif

uspace/lib/softint/include/division.h

@@ -29 +29 @@
 /** @addtogroup softint
  * @{
- */ 
+ */
 /**
  * @file
@@ -49 +49 @@
 extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
 
+extern int __divmodsi3(int, int, int *);
 extern unsigned int __udivmodsi3(unsigned int, unsigned int, unsigned int *);
+
+extern long long __divmoddi3(long long, long long, long long *);
 extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
     unsigned long long *);

uspace/lib/softint/include/lltype.h

@@ -39 +39 @@
 #include <stdint.h>
 
-#define HALF_BIT_CNT (sizeof(int32_t) * sizeof(char))
-#define WHOLE_BIT_CNT (sizeof(int64_t) * sizeof(char))
+#define HALF_BIT_CNT   (sizeof(int32_t) * sizeof(char))
+#define WHOLE_BIT_CNT  (sizeof(int64_t) * sizeof(char))
 
 #ifdef __BE__

uspace/lib/softint/include/multiplication.h

@@ -29 +29 @@
 /** @addtogroup softint
  * @{
- */ 
+ */
 /**
  * @file
@@ -38 +38 @@
 
 /* 64 bit multiplication */
-long long __muldi3(long long a, long long b);
+extern long long __muldi3(long long, long long);
 
 #endif

uspace/lib/softint/include/shift.h

@@ -38 +38 @@
 
 /* Arithmetic/logical shift left. */
-long long __ashldi3 (long long val, int shift);
+extern long long __ashldi3(long long, int);
 
 /* Arithmetic shift right. */
-long long __ashrdi3 (long long val, int shift);
+extern long long __ashrdi3(long long, int);
 
 /* Logical shift right. */
-long long __lshrdi3 (long long val, int shift);
+extern long long __lshrdi3(long long, int);
 
 #endif