summary refs log tree commit diff
path: root/math
diff options
context:
space:
mode:
Diffstat (limited to 'math')
-rw-r--r--math/Makefile4
-rw-r--r--math/Versions1
-rw-r--r--math/libm-test.inc32
-rw-r--r--math/math.h2
-rw-r--r--math/s_iscanonicall.c1
5 files changed, 35 insertions, 5 deletions
diff --git a/math/Makefile b/math/Makefile
index 7ccd59a1ee..d2b4fd1153 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -27,7 +27,7 @@ headers		:= math.h bits/mathcalls.h bits/mathinline.h bits/huge_val.h \
 		   fpu_control.h complex.h bits/cmathcalls.h fenv.h \
 		   bits/fenv.h bits/fenvinline.h bits/mathdef.h tgmath.h \
 		   bits/math-finite.h bits/math-vector.h \
-		   bits/libm-simd-decl-stubs.h
+		   bits/libm-simd-decl-stubs.h bits/iscanonical.h
 
 # FPU support code.
 aux		:= setfpucw fpu_control
@@ -94,7 +94,7 @@ types = $(type-ldouble-$(long-double-fcts)) double float
 
 # long double support
 type-ldouble-suffix := l
-type-ldouble-routines := t_sincosl k_sincosl
+type-ldouble-routines := t_sincosl k_sincosl s_iscanonicall
 type-ldouble-yes := ldouble
 
 # double support
diff --git a/math/Versions b/math/Versions
index a429221340..f702051451 100644
--- a/math/Versions
+++ b/math/Versions
@@ -216,5 +216,6 @@ libm {
   }
   GLIBC_2.25 {
     fesetexcept; fetestexceptflag; fegetmode; fesetmode;
+    __iscanonicall;
   }
 }
diff --git a/math/libm-test.inc b/math/libm-test.inc
index 872bafd9c7..cbc7226aea 100644
--- a/math/libm-test.inc
+++ b/math/libm-test.inc
@@ -46,9 +46,9 @@
    cbrt, ceil, copysign, cos, cosh, drem, erf, erfc, exp, exp10, exp2, expm1,
    fabs, fdim, finite, floor, fma, fmax, fmin, fmod, fpclassify,
    frexp, gamma, hypot,
-   ilogb, isfinite, isinf, isnan, isnormal, issignaling, issubnormal, iszero,
-   isless, islessequal, isgreater, isgreaterequal, islessgreater, isunordered,
-   j0, j1, jn,
+   ilogb, iscanonical, isfinite, isinf, isnan, isnormal, issignaling,
+   issubnormal, iszero, isless, islessequal, isgreater,
+   isgreaterequal, islessgreater, isunordered, j0, j1, jn,
    ldexp, lgamma, log, log10, log1p, log2, logb,
    modf, nearbyint, nextafter, nexttoward,
    pow, pow10, remainder, remquo, rint, lrint, llrint,
@@ -8160,6 +8160,31 @@ ilogb_test (void)
   ALL_RM_TEST (ilogb, 1, ilogb_test_data, RUN_TEST_LOOP_f_i, END);
 }
 
+static const struct test_f_i_data iscanonical_test_data[] =
+  {
+    TEST_f_b (iscanonical, 0, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, minus_zero, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, 10, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, min_subnorm_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, -min_subnorm_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, min_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, -min_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, max_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, -max_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, plus_infty, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, minus_infty, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, qnan_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, -qnan_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, snan_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+    TEST_f_b (iscanonical, -snan_value, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
+  };
+
+static void
+iscanonical_test (void)
+{
+  ALL_RM_TEST (iscanonical, 1, iscanonical_test_data, RUN_TEST_LOOP_f_b_tg, END);
+}
+
 static const struct test_f_i_data isfinite_test_data[] =
   {
     TEST_f_b (isfinite, 0, 1, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
@@ -12713,6 +12738,7 @@ main (int argc, char **argv)
   /* Classification macros:  */
   finite_test ();
   fpclassify_test ();
+  iscanonical_test ();
   isfinite_test ();
   isinf_test ();
   isnan_test ();
diff --git a/math/math.h b/math/math.h
index 1382baa75a..8cd641688d 100644
--- a/math/math.h
+++ b/math/math.h
@@ -317,6 +317,8 @@ enum
 #endif /* Use ISO C99.  */
 
 #if __GLIBC_USE (IEC_60559_BFP_EXT)
+# include <bits/iscanonical.h>
+
 /* Return nonzero value if X is a signaling NaN.  */
 # ifdef __NO_LONG_DOUBLE_MATH
 #  define issignaling(x) \
diff --git a/math/s_iscanonicall.c b/math/s_iscanonicall.c
new file mode 100644
index 0000000000..b5fd996ffe
--- /dev/null
+++ b/math/s_iscanonicall.c
@@ -0,0 +1 @@
+/* Not needed by default.  */