--- /dev/null
+\r
+#include <stdint.h>\r
+#include "platform.h"\r
+#include "internals.h"\r
+#include "softfloat.h"\r
+\r
+float64_t f64_mulAdd( float64_t a, float64_t b, float64_t c )\r
+{\r
+ union ui64_f64 uA;\r
+ uint_fast64_t uiA;\r
+ union ui64_f64 uB;\r
+ uint_fast64_t uiB;\r
+ union ui64_f64 uC;\r
+ uint_fast64_t uiC;\r
+\r
+ uA.f = a;\r
+ uiA = uA.ui;\r
+ uB.f = b;\r
+ uiB = uB.ui;\r
+ uC.f = c;\r
+ uiC = uC.ui;\r
+ return softfloat_mulAddF64( 0, uiA, uiB, uiC );\r
+\r
+}\r
+\r