Tests for additional builtin classification functions

[sepavloff]

Summary

Tests for additional builtin classification functions

This change adds tests for functions 'iszero', 'issubnornal' and 'issignaling'.
It also adds tests for Intel fp80 type and some other small enhancements.

[sepavloff]

Restore support of long double

[sepavloff]

Added support of x86 extended precision format

[arsenm]

SingleSource/UnitTests/Float/classify-f32.h

147

Use named macros for these?

SingleSource/UnitTests/Float/classify-f80.h

234 ↗

(On Diff #410307)

Use array indexing syntax?

[sepavloff]

Update the patch

[sepavloff]

SingleSource/UnitTests/Float/classify-f32.h

147

Did you mean using FP_NAN instead of 0, FP_INFINITE instead of 1 and so on?

SingleSource/UnitTests/Float/classify-f80.h

234 ↗

(On Diff #410307)

Actually ExtendedDoubleZeroValues is an array of 128-bit entities, represented as pairs of 64-bit ones. So using array syntax is not possible.

[arsenm]

Was this moved to a PR? Can that be linked and this abandoned?

[sepavloff]

In D112933#4657597, @arsenm wrote:

Was this moved to a PR? Can that be linked and this abandoned?

It should has been moved, - Phabricator stopped sending mail notifications, and I overlooked your feedback, sorry.

Now it is the PR: https://github.com/llvm/llvm-test-suite/pull/59.

SingleSource/UnitTests/Float/classify-f32.h

int test_float() {
   CHECK_EQ(F32_NORMAL(0, F32_EXP_MAX, F32_MANTISSA_MASK), 3.4028234664e38F);
   CHECK_EQ(F32_NORMAL(1, F32_EXP_MAX, F32_MANTISSA_MASK), -3.4028234664e38F);
 
   for (unsigned i = 0; i < DimOf(FloatQNaNValues); i++) {
     uint32_t *IPtr = FloatQNaNValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 0, IX);
   }
   for (unsigned i = 0; i < DimOf(FloatSNaNValues); i++) {
     uint32_t *IPtr = FloatSNaNValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(__builtin_isnan(X), IX);
+    CHECK_VALUE(__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 0, IX);
   }
   for (unsigned i = 0; i < DimOf(FloatInfValues); i++) {
     uint32_t *IPtr = FloatInfValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 1, IX);
   }
   for (unsigned i = 0; i < DimOf(FloatZeroValues); i++) {
     uint32_t *IPtr = FloatZeroValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 4, IX);
   }
   for (unsigned i = 0; i < DimOf(FloatDenormValues); i++) {
     uint32_t *IPtr = FloatDenormValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 3, IX);
   }
   for (unsigned i = 0; i < DimOf(FloatNormalValues); i++) {
     uint32_t *IPtr = FloatNormalValues + i;
     uint32_t IX = *IPtr;
     float X = *(float *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 2, IX);
   }
 
   return 0;
 }
 
+
+#include "gen_isfpclass_funcs.h"
+
+void test_isfpclass_float() {
+  for (unsigned i = 0; i < DimOf(FloatQNaNValues); i++) {
+    uint32_t *IPtr = FloatQNaNValues + i;
+    uint32_t IX = *IPtr;
+    float X = *(float *)IPtr;
+    test_fcQNan_float(X);
+  }
+  for (unsigned i = 0; i < DimOf(FloatSNaNValues); i++) {
+    uint32_t *IPtr = FloatSNaNValues + i;
+    uint32_t IX = *IPtr;
+    float X = *(float *)IPtr;
+    test_fcSNan_float(X);
+  }
+  test_fcPosInf_float(__builtin_inff());
+  test_fcNegInf_float(-__builtin_inff());
+  test_fcPosZero_float(0.0F);
+  test_fcNegZero_float(-0.0F);
+  for (unsigned i = 0; i < DimOf(FloatDenormValues); i++) {
+    uint32_t *IPtr = FloatDenormValues + i;
+    uint32_t IX = *IPtr;
+    float X = *(float *)IPtr;
+    if (X < 0)
+      test_fcNegSubnormal_float(X);
+    else
+      test_fcPosSubnormal_float(X);
+  }
+  for (unsigned i = 0; i < DimOf(FloatNormalValues); i++) {
+    uint32_t *IPtr = FloatNormalValues + i;
+    uint32_t IX = *IPtr;
+    float X = *(float *)IPtr;
+    if (X < 0)
+      test_fcNegNormal_float(X);
+    else
+      test_fcPosNormal_float(X);
+  }
+}
+
+
 #undef INT_FORMAT
 #undef FLOAT_FORMAT
 #undef VAL_FORMAT
 #undef INT_TYPE
 #undef FLOAT_TYPE
 
 #endif

SingleSource/UnitTests/Float/classify-f64.h

int test_double() {
   CHECK_EQ(F64_NORMAL(0, F64_EXP_MAX, F64_MANTISSA_MASK), 1.7976931348623157e+308);
   CHECK_EQ(F64_NORMAL(1, F64_EXP_MAX, F64_MANTISSA_MASK), -1.7976931348623157e+308);
 
   for (unsigned i = 0; i < DimOf(DoubleQNaNValues); i++) {
     uint64_t *IPtr = DoubleQNaNValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 0, IX);
   }
   for (unsigned i = 0; i < DimOf(DoubleSNaNValues); i++) {
     uint64_t *IPtr = DoubleSNaNValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(__builtin_isnan(X), IX);
+    CHECK_VALUE(__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 0, IX);
   }
   for (unsigned i = 0; i < DimOf(DoubleInfValues); i++) {
     uint64_t *IPtr = DoubleInfValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(__builtin_isinf(X), IX);
     CHECK_VALUE(!__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 1, IX);
   }
   for (unsigned i = 0; i < DimOf(DoubleZeroValues); i++) {
     uint64_t *IPtr = DoubleZeroValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 4, IX);
   }
   for (unsigned i = 0; i < DimOf(DoubleDenormValues); i++) {
     uint64_t *IPtr = DoubleDenormValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(!__builtin_isnormal(X), IX);
+    CHECK_VALUE(__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 3, IX);
   }
   for (unsigned i = 0; i < DimOf(DoubleNormalValues); i++) {
     uint64_t *IPtr = DoubleNormalValues + i;
     uint64_t IX = *IPtr;
     double X = *(double *)IPtr;
     CHECK_VALUE(!__builtin_isnan(X), IX);
+    CHECK_VALUE(!__builtin_issignaling(X), IX);
     CHECK_VALUE(!__builtin_isinf(X), IX);
     CHECK_VALUE(__builtin_isfinite(X), IX);
     CHECK_VALUE(__builtin_isnormal(X), IX);
+    CHECK_VALUE(!__builtin_issubnormal(X), IX);
+    CHECK_VALUE(!__builtin_iszero(X), IX);
     CHECK_VALUE(__builtin_fpclassify(0, 1, 2, 3, 4, X) == 2, IX);
   }
 
   return 0;
 }
 
+
+#include "gen_isfpclass_funcs.h"
+
+void test_isfpclass_double() {
+  for (unsigned i = 0; i < DimOf(DoubleQNaNValues); i++) {
+    uint64_t *IPtr = DoubleQNaNValues + i;
+    uint64_t IX = *IPtr;
+    double X = *(double *)IPtr;
+    test_fcQNan_double(X);
+  }
+  for (unsigned i = 0; i < DimOf(DoubleSNaNValues); i++) {
+    uint64_t *IPtr = DoubleSNaNValues + i;
+    uint64_t IX = *IPtr;
+    double X = *(double *)IPtr;
+    test_fcSNan_double(X);
+  }
+  test_fcPosInf_double(__builtin_inf());
+  test_fcNegInf_double(-__builtin_inf());
+  test_fcPosZero_double(0.0);
+  test_fcNegZero_double(-0.0);
+  for (unsigned i = 0; i < DimOf(DoubleDenormValues); i++) {
+    uint64_t *IPtr = DoubleDenormValues + i;
+    uint64_t IX = *IPtr;
+    double X = *(double *)IPtr;
+    if (X < 0)
+      test_fcNegSubnormal_double(X);
+    else
+      test_fcPosSubnormal_double(X);
+  }
+  for (unsigned i = 0; i < DimOf(DoubleNormalValues); i++) {
+    uint64_t *IPtr = DoubleNormalValues + i;
+    uint64_t IX = *IPtr;
+    double X = *(double *)IPtr;
+    if (X < 0)
+      test_fcNegNormal_double(X);
+    else
+      test_fcPosNormal_double(X);
+  }
+}
+
 #undef INT_FORMAT
 #undef FLOAT_FORMAT
 #undef VAL_FORMAT
 #undef INT_TYPE
 #undef FLOAT_TYPE
 
 #endif

SingleSource/UnitTests/Float/classify.c

 //===--- classify.cpp - Tess for FP classification intrinsics ---*- C++ -*-===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 //
 // This is a general test for floating point classification intrinsic.
 //
 //===----------------------------------------------------------------------===//
 
 #include "classify-f32.h"
 #include "classify-f64.h"
-#include "classify-ldouble.h"
+//#include "classify-ldouble.h"
 
 
 int main()
 {
   test_float();
+  test_isfpclass_float();
   test_double();
-  prepare_ldouble_tables();
-  test_ldouble();
+  test_isfpclass_double();
+//  prepare_ldouble_tables();
+//  test_ldouble();
   return 0;
 }
 

SingleSource/UnitTests/Float/gen_isfpclass_funcs.h

+//===--- gen_isfpclass_funcs.h ------------------------------------*- C -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This header file contains definition of functions that test a value of the
+// specified floating point type for each of the floating point classes.
+//
+//===----------------------------------------------------------------------===//
+
+// Requires the following macros to be defined:
+//
+//     FLOAT_TYPE   - type of the values to test.
+//     INT_TYPE     - corresponding integer type.
+//     FLOAT_FORMAT - printf format specifier without % to print 'value'.
+//     INT_FORMAT   - printf format specifier without %, like "d" or "llx",
+//                    which should be used to print integer representaion.
+
+#ifndef _GEN_ISFPCLASS_FUNCS_H_
+#define _GEN_ISFPCLASS_FUNCS_H_
+
+enum FPClassCheck {
+  fcBad = 0,
+  fcSNan = 0x0001,
+  fcQNan = 0x0002,
+  fcNegInf = 0x0004,
+  fcNegNormal = 0x0008,
+  fcNegSubnormal = 0x0010,
+  fcNegZero = 0x0020,
+  fcPosZero = 0x0040,
+  fcPosSubnormal = 0x0080,
+  fcPosNormal = 0x0100,
+  fcPosInf = 0x0200,
+
+  fcNan = fcSNan | fcQNan,
+  fcInf = fcPosInf | fcNegInf,
+  fcNormal = fcPosNormal | fcNegNormal,
+  fcSubnormal = fcPosSubnormal | fcNegSubnormal,
+  fcZero = fcPosZero | fcNegZero,
+  fcPosFinite = fcPosNormal | fcPosSubnormal | fcPosZero,
+  fcNegFinite = fcNegNormal | fcNegSubnormal | fcNegZero,
+  fcFinite = fcPosFinite | fcNegFinite,
+  fcAllFlags = fcNan | fcInf | fcFinite
+};
+
+#endif
+
+
+#define FPCLASS  fcSNan
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcQNan
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcPosInf
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcNegInf
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcPosNormal
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcNegNormal
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcPosSubnormal
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcNegSubnormal
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcPosZero
+#include "test_isfpclass.h"
+#undef FPCLASS
+
+#define FPCLASS  fcNegZero
+#include "test_isfpclass.h"
+#undef FPCLASS

SingleSource/UnitTests/Float/test_isfpclass.h

+//===--- test_isfpclass.h -----------------------------------------*- C -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This header file contains definition of a function that tests a value of
+// the specified floating point class for various combinations of the check
+// made by `__builtin_isfpclass`. The function has a name and arguments like:
+// `test_fcSNan_float(float x)` 
+//
+//===----------------------------------------------------------------------===//
+
+
+// Requires the following macros to be defined:
+//
+//     FLOAT_TYPE - type of the values to test.
+//     FPCLASS    - floating point class of the tested values.
+
+#define CONCAT(fpclass, fptype) test_ ## fpclass ## _ ## fptype
+#define TEST_FUNC(fpclass, fptype) CONCAT(fpclass, fptype)
+
+#ifdef INT_TYPE
+#define CHECK_CLASS(cond, value)                                               \
+    do {                                                                       \
+      if (!(cond)) {                                                           \
+        union {                                                                \
+          INT_TYPE i;                                                          \
+          FLOAT_TYPE f;                                                        \
+        } u;                                                                   \
+        u.f = (value);                                                         \
+        printf("Check '%s' failed for the value '%" FLOAT_FORMAT "' "          \
+               "(%" INT_FORMAT "), FPCLASS=0x%x\n", #cond, u.f, u.i, FPCLASS); \
+        exit(-1);                                                              \
+      }                                                                        \
+    } while(0)
+#else
+#define CHECK_CLASS(cond, value)                                               \
+    do {                                                                       \
+      if (!(cond)) {                                                           \
+        printf("Check '%s' failed for the value '%" FLOAT_FORMAT "' "          \
+               ", FPCLASS=0x%x\n", #cond, (value), FPCLASS);                   \
+        exit(-1);                                                              \
+      }                                                                        \
+    } while(0)
+#endif
+
+#define CHECK(flags, value) \
+        CHECK_CLASS(!!((flags)&FPCLASS) == !!__builtin_isfpclass((flags),(value)), (value))
+
+void TEST_FUNC(FPCLASS, FLOAT_TYPE)(FLOAT_TYPE x) {
+  CHECK(fcSNan, x);
+  CHECK(fcQNan, x);
+  CHECK(fcNan, x);
+  CHECK(fcPosInf, x);
+  CHECK(fcNegInf, x);
+  CHECK(fcInf, x);
+  CHECK(fcPosNormal, x);
+  CHECK(fcNegNormal, x);
+  CHECK(fcNormal, x);
+  CHECK(fcPosSubnormal, x);
+  CHECK(fcNegSubnormal, x);
+  CHECK(fcSubnormal, x);
+  CHECK(fcPosZero, x);
+  CHECK(fcNegZero, x);
+  CHECK(fcZero, x);
+  CHECK(fcPosFinite, x);
+  CHECK(fcNegFinite, x);
+  CHECK(fcFinite, x);
+
+  CHECK(fcQNan|fcInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcSNan|fcInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcNegInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcPosInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcNegNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcPosNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcNegSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcPosSubnormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcSubnormal|fcNegZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcSubnormal|fcPosZero, x);
+  CHECK(fcNan|fcInf|fcNormal|fcSubnormal, x);
+  CHECK(fcNan|fcInf|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcNan|fcInf|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcNan|fcInf, x);
+
+  CHECK(fcSNan|fcPosInf, x);
+  CHECK(fcSNan|fcNegInf, x);
+  CHECK(fcSNan|fcInf, x);
+  CHECK(fcSNan|fcPosNormal, x);
+  CHECK(fcSNan|fcNegNormal, x);
+  CHECK(fcSNan|fcNormal, x);
+  CHECK(fcSNan|fcPosSubnormal, x);
+  CHECK(fcSNan|fcNegSubnormal, x);
+  CHECK(fcSNan|fcSubnormal, x);
+  CHECK(fcSNan|fcPosZero, x);
+  CHECK(fcSNan|fcNegZero, x);
+  CHECK(fcSNan|fcZero, x);
+  CHECK(fcSNan|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcSNan|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcSNan|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcQNan|fcPosInf, x);
+  CHECK(fcQNan|fcNegInf, x);
+  CHECK(fcQNan|fcInf, x);
+  CHECK(fcQNan|fcPosNormal, x);
+  CHECK(fcQNan|fcNegNormal, x);
+  CHECK(fcQNan|fcNormal, x);
+  CHECK(fcQNan|fcPosSubnormal, x);
+  CHECK(fcQNan|fcNegSubnormal, x);
+  CHECK(fcQNan|fcSubnormal, x);
+  CHECK(fcQNan|fcPosZero, x);
+  CHECK(fcQNan|fcNegZero, x);
+  CHECK(fcQNan|fcZero, x);
+  CHECK(fcQNan|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcQNan|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcQNan|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNan|fcPosInf, x);
+  CHECK(fcNan|fcNegInf, x);
+  CHECK(fcNan|fcPosNormal, x);
+  CHECK(fcNan|fcNegNormal, x);
+  CHECK(fcNan|fcNormal, x);
+  CHECK(fcNan|fcPosSubnormal, x);
+  CHECK(fcNan|fcNegSubnormal, x);
+  CHECK(fcNan|fcSubnormal, x);
+  CHECK(fcNan|fcPosZero, x);
+  CHECK(fcNan|fcNegZero, x);
+  CHECK(fcNan|fcZero, x);
+  CHECK(fcNan|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcNan|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcPosInf|fcPosNormal, x);
+  CHECK(fcPosInf|fcNegNormal, x);
+  CHECK(fcPosInf|fcNormal, x);
+  CHECK(fcPosInf|fcPosSubnormal, x);
+  CHECK(fcPosInf|fcNegSubnormal, x);
+  CHECK(fcPosInf|fcSubnormal, x);
+  CHECK(fcPosInf|fcPosZero, x);
+  CHECK(fcPosInf|fcNegZero, x);
+  CHECK(fcPosInf|fcZero, x);
+  CHECK(fcPosInf|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcPosInf|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcPosInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcNegInf|fcPosNormal, x);
+  CHECK(fcNegInf|fcNegNormal, x);
+  CHECK(fcNegInf|fcNormal, x);
+  CHECK(fcNegInf|fcPosSubnormal, x);
+  CHECK(fcNegInf|fcNegSubnormal, x);
+  CHECK(fcNegInf|fcSubnormal, x);
+  CHECK(fcNegInf|fcPosZero, x);
+  CHECK(fcNegInf|fcNegZero, x);
+  CHECK(fcNegInf|fcZero, x);
+  CHECK(fcNegInf|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcNegInf|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcNegInf|fcNormal|fcSubnormal|fcZero, x);
+  CHECK(fcInf|fcPosNormal, x);
+  CHECK(fcInf|fcNegNormal, x);
+  CHECK(fcInf|fcNormal, x);
+  CHECK(fcInf|fcPosSubnormal, x);
+  CHECK(fcInf|fcNegSubnormal, x);
+  CHECK(fcInf|fcSubnormal, x);
+  CHECK(fcInf|fcPosZero, x);
+  CHECK(fcInf|fcNegZero, x);
+  CHECK(fcInf|fcZero, x);
+  CHECK(fcInf|fcPosNormal|fcPosSubnormal|fcPosZero, x);
+  CHECK(fcInf|fcNegNormal|fcNegSubnormal|fcNegZero, x);
+  CHECK(fcPosNormal|fcPosSubnormal, x);
+  CHECK(fcPosNormal|fcNegSubnormal, x);
+  CHECK(fcPosNormal|fcSubnormal, x);
+  CHECK(fcPosNormal|fcPosZero, x);
+  CHECK(fcPosNormal|fcNegZero, x);
+  CHECK(fcPosNormal|fcZero, x);
+  CHECK(fcNegNormal|fcPosSubnormal, x);
+  CHECK(fcNegNormal|fcNegSubnormal, x);
+  CHECK(fcNegNormal|fcSubnormal, x);
+  CHECK(fcNegNormal|fcPosZero, x);
+  CHECK(fcNegNormal|fcNegZero, x);
+  CHECK(fcNegNormal|fcZero, x);
+  CHECK(fcNormal|fcPosSubnormal, x);
+  CHECK(fcNormal|fcNegSubnormal, x);
+  CHECK(fcNormal|fcSubnormal, x);
+  CHECK(fcNormal|fcPosZero, x);
+  CHECK(fcNormal|fcNegZero, x);
+  CHECK(fcNormal|fcZero, x);
+  CHECK(fcPosSubnormal|fcPosZero, x);
+  CHECK(fcPosSubnormal|fcNegZero, x);
+  CHECK(fcPosSubnormal|fcZero, x);
+  CHECK(fcNegNormal|fcSubnormal|fcNegZero, x);
+  CHECK(fcNegSubnormal|fcPosZero, x);
+  CHECK(fcNegSubnormal|fcNegZero, x);
+  CHECK(fcNegSubnormal|fcZero, x);
+  CHECK(fcPosNormal|fcSubnormal|fcPosZero, x);
+  CHECK(fcSubnormal|fcPosZero, x);
+  CHECK(fcSubnormal|fcNegZero, x);
+  CHECK(fcSubnormal|fcZero, x);
+  CHECK(fcNegNormal|fcNegSubnormal|fcZero, x);
+  CHECK(fcPosNormal|fcPosSubnormal|fcZero, x);
+
+}
+
+#undef CHECK
+#undef CHECK_CLASS
+#undef TEST_FUNC
+#undef CONCAT