Changeset 3781092 in mainline for uspace/lib/softfloat/include/conversion.h

Timestamp:

2011-09-09T18:22:33Z (13 years ago)

Author:

Maurizio Lombardi <m.lombardi85@…>

Branches:

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

Children:

40a2af3

Parents:

980671e7 (diff), 5da7199 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merge mainline changes

File:

• uspace/lib/softfloat/include/conversion.h (modified) (5 diffs)

uspace/lib/softfloat/include/conversion.h

@@ -1 +1 @@
 /*
  * Copyright (c) 2005 Josef Cejka
+ * Copyright (c) 2011 Petr Koupy
  * All rights reserved.
  *
@@ -30 +31 @@
  * @{
  */
-/** @file
+/** @file Conversion of precision and conversion between integers and floats.
  */
 
@@ -37 +38 @@
 
 extern float64 convertFloat32ToFloat64(float32);
+extern float128 convertFloat32ToFloat128(float32);
+extern float128 convertFloat64ToFloat128(float64);
+
+
 extern float32 convertFloat64ToFloat32(float64);
+extern float32 convertFloat128ToFloat32(float128);
+extern float64 convertFloat128ToFloat64(float128);
+
 
 extern uint32_t float32_to_uint32(float32);
@@ -45 +53 @@
 extern int64_t float32_to_int64(float32);
 
+extern uint32_t float64_to_uint32(float64);
+extern int32_t float64_to_int32(float64);
+
 extern uint64_t float64_to_uint64(float64);
 extern int64_t float64_to_int64(float64);
 
-extern uint32_t float64_to_uint32(float64);
-extern int32_t float64_to_int32(float64);
+extern uint32_t float128_to_uint32(float128);
+extern int32_t float128_to_int32(float128);
+
+extern uint64_t float128_to_uint64(float128);
+extern int64_t float128_to_int64(float128);
+
 
 extern float32 uint32_to_float32(uint32_t);
@@ -63 +78 @@
 extern float64 int64_to_float64(int64_t);
 
+extern float128 uint32_to_float128(uint32_t);
+extern float128 int32_to_float128(int32_t);
+
+extern float128 uint64_to_float128(uint64_t);
+extern float128 int64_to_float128(int64_t);
+
 #endif