1 /* N1150 4: Characteristics of decimal floating types (not explicit)
2 C99 5.2.4.2.2: Characteristics of floating types.
3 A few simple checks on arithmetic operations. */
9 /* Some possibly non-obvious tests, but most logical
10 operations on NaN return false, including NaN == NaN. */
11 if (__builtin_nand32("") == __builtin_nand32(""))
14 if (__builtin_nand64("") == __builtin_nand64(""))
17 if (__builtin_nand128("") == __builtin_nand128(""))
20 if (!(__builtin_nand32("") != __builtin_nand32("")))
23 if (!(__builtin_nand64("") != __builtin_nand64("")))
26 if (!(__builtin_nand128("") != __builtin_nand128("")))
29 if (__builtin_nand32("") > __builtin_nand32(""))
32 if (__builtin_nand64("") >= __builtin_nand64(""))
35 if (__builtin_nand128("") < __builtin_nand128(""))
38 if (-__builtin_nand128("") < +__builtin_nand128(""))
41 /* 0.0/0.0 => NaN, but NaN != NaN. */
42 if (0.0df/0.0dl == __builtin_nand32(""))
45 /* 0.0 * INF => NaN. */
46 if (!__builtin_isnand32 (0.0df * __builtin_infd32()))
49 if (!__builtin_isnand64 (0.0dd * __builtin_infd64()))
52 if (!__builtin_isnand128 (0.0dd * __builtin_infd128()))
55 /* INF - INF => NaN. */
56 if (!__builtin_isnand32 (__builtin_infd32() - __builtin_infd32()))
59 if (!__builtin_isnand64 (__builtin_infd64() - __builtin_infd64()))
62 if (!__builtin_isnand128 (__builtin_infd128() - __builtin_infd128()))
66 if (!__builtin_isnand32 (__builtin_infd32()/__builtin_infd32()) )
69 if (!__builtin_isnand64 (__builtin_infd64()/__builtin_infd64()) )
72 if (!__builtin_isnand128 (__builtin_infd128()/__builtin_infd128()) )
75 /* 0.0/0.0 => NaN, but NaN != NaN. */
76 if ((0.0dd/0.0df) == (0.0dd/0.0df))
79 if (__builtin_nand32("") < __builtin_infd32())
82 if (__builtin_nand32("") >= __builtin_infd32())
85 /* Fixme: Add sqrtdf(-x.df) test when sqrt is supported. */
87 if (!__builtin_isnand32(__builtin_nand32("")))
90 if (!__builtin_isnand64(__builtin_nand64("")))
93 if (!__builtin_isnand128(__builtin_nand128("")))
96 if (!__builtin_isnand128(8.0df * __builtin_nand128("")))
99 if (!__builtin_isnand32(8.1dl - __builtin_nand32("")))
102 if (!__builtin_isnand128(__builtin_nand64("") + __builtin_nand128("")))