Changes in uspace/lib/softfloat/div.c [2416085:c0c38c7c] in mainline

File:

• uspace/lib/softfloat/div.c (modified) (2 diffs)

uspace/lib/softfloat/div.c

@@ -34 +34 @@
  */
 
-#include "sftypes.h"
 #include "add.h"
 #include "div.h"
@@ -539 +538 @@
 }
 
+#ifdef float32_t
+
+float32_t __divsf3(float32_t a, float32_t b)
+{
+        float32_u ua;
+        ua.val = a;
+        
+        float32_u ub;
+        ub.val = b;
+        
+        float32_u res;
+        res.data = div_float32(ua.data, ub.data);
+        
+        return res.val;
+}
+
+float32_t __aeabi_fdiv(float32_t a, float32_t b)
+{
+        float32_u ua;
+        ua.val = a;
+        
+        float32_u ub;
+        ub.val = b;
+        
+        float32_u res;
+        res.data = div_float32(ua.data, ub.data);
+        
+        return res.val;
+}
+
+#endif
+
+#ifdef float64_t
+
+float64_t __divdf3(float64_t a, float64_t b)
+{
+        float64_u ua;
+        ua.val = a;
+        
+        float64_u ub;
+        ub.val = b;
+        
+        float64_u res;
+        res.data = div_float64(ua.data, ub.data);
+        
+        return res.val;
+}
+
+float64_t __aeabi_ddiv(float64_t a, float64_t b)
+{
+        float64_u ua;
+        ua.val = a;
+        
+        float64_u ub;
+        ub.val = b;
+        
+        float64_u res;
+        res.data = div_float64(ua.data, ub.data);
+        
+        return res.val;
+}
+
+#endif
+
+#ifdef float128_t
+
+float128_t __divtf3(float128_t a, float128_t b)
+{
+        float128_u ua;
+        ua.val = a;
+        
+        float128_u ub;
+        ub.val = b;
+        
+        float128_u res;
+        res.data = div_float128(ua.data, ub.data);
+        
+        return res.val;
+}
+
+void _Qp_div(float128_t *c, float128_t *a, float128_t *b)
+{
+        *c = __divtf3(*a, *b);
+}
+
+#endif
+
 /** @}
  */