Changeset 3b814c3a in mainline

Timestamp:

2018-08-30T19:12:03Z (6 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Children:

bbdca54

Parents:

ace1bca4

Message:

Add nearbyint() and PCUT-based tests for present rounding functions.

Files:

• boot/Makefile.common (modified) (1 diff)
• uspace/lib/c/include/fenv.h (added)
• uspace/lib/c/include/float.h (modified) (1 diff)
• uspace/lib/c/include/math.h (modified) (1 diff)
• uspace/lib/math/Makefile (modified) (1 diff)
• uspace/lib/math/generic/nearbyint.c (added)
• uspace/lib/math/generic/round.c (modified) (2 diffs)
• uspace/lib/math/generic/trunc.c (modified) (2 diffs)
• uspace/lib/math/test/main.c (added)
• uspace/lib/math/test/rounding.c (added)

boot/Makefile.common

@@ -244 +244 @@
         $(USPACE_PATH)/lib/sif/test-libsif \
         $(USPACE_PATH)/lib/uri/test-liburi \
+        $(USPACE_PATH)/lib/math/test-libmath \
         $(USPACE_PATH)/drv/bus/usb/xhci/test-xhci \
         $(USPACE_PATH)/app/bdsh/test-bdsh \

uspace/lib/c/include/float.h

@@ -32 +32 @@
 // FIXME: <float.h> is freestanding. Just include the compiler-provided file.
 
+#define FLT_MIN __FLT_MIN__
+#define FLT_DENORM_MIN __FLT_DENORM_MIN__
+#define FLT_EPSILON __FLT_EPSILON__
+
 #define FLT_MANT_DIG  __FLT_MANT_DIG__
 #define DBL_MANT_DIG  __DBL_MANT_DIG__

uspace/lib/c/include/math.h

@@ -312 +312 @@
 #define copysignl __builtin_copysignl
 
+#define nextafter __builtin_nextafter
+#define nextafterf __builtin_nextafterf
+#define nextafterl __builtin_nextafterl
+
 #endif
 

uspace/lib/math/Makefile

@@ -39 +39 @@
         generic/fabs.c \
         generic/fmod.c \
+        generic/nearbyint.c \
         generic/round.c \
         generic/trig.c \
         generic/trunc.c
 
+TEST_SOURCES = \
+        test/rounding.c \
+        test/main.c
+
 include $(USPACE_PREFIX)/Makefile.common

uspace/lib/math/generic/round.c

@@ -45 +45 @@
 float roundf(float val)
 {
-        /* If the input is a nan, return a canonical nan. */
-        if (isnan(val))
-                return __builtin_nanf("");
-
         const int exp_bias = FLT_MAX_EXP - 1;
         const int mant_bits = FLT_MANT_DIG - 1;
@@ -78 +74 @@
 double round(double val)
 {
-        /* If the input is a nan, return a canonical nan. */
-        if (isnan(val))
-                return __builtin_nan("");
-
         const int exp_bias = DBL_MAX_EXP - 1;
         const int mant_bits = DBL_MANT_DIG - 1;

uspace/lib/math/generic/trunc.c

@@ -55 +55 @@
 float truncf(float val)
 {
-        /* If the input is a nan, return a canonical nan. */
-        if (isnan(val))
-                return __builtin_nanf("");
-
         const int exp_bias = FLT_MAX_EXP - 1;
         const int mant_bits = FLT_MANT_DIG - 1;
@@ -99 +95 @@
 double trunc(double val)
 {
-        /* If the input is a nan, return a canonical nan. */
-        if (isnan(val))
-                return __builtin_nan("");
-
         const int exp_bias = DBL_MAX_EXP - 1;
         const int mant_bits = DBL_MANT_DIG - 1;