| 1 | // RUN: %clang_builtins %s %librt -o %t && %run %t |
|---|
| 2 | // REQUIRES: librt_has_extenddftf2 |
|---|
| 3 | |
|---|
| 4 | #include "int_lib.h" |
|---|
| 5 | #include <stdio.h> |
|---|
| 6 | |
|---|
| 7 | #if __LDBL_MANT_DIG__ == 113 |
|---|
| 8 | |
|---|
| 9 | #include "fp_test.h" |
|---|
| 10 | |
|---|
| 11 | COMPILER_RT_ABI long double __extenddftf2(double a); |
|---|
| 12 | |
|---|
| 13 | int test__extenddftf2(double a, uint64_t expectedHi, uint64_t expectedLo) |
|---|
| 14 | { |
|---|
| 15 | long double x = __extenddftf2(a); |
|---|
| 16 | int ret = compareResultF128(x, expectedHi, expectedLo); |
|---|
| 17 | |
|---|
| 18 | if (ret){ |
|---|
| 19 | printf("error in test__extenddftf2(%f) = %.20Lf, " |
|---|
| 20 | "expected %.20Lf\n" , a, x, fromRep128(expectedHi, expectedLo)); |
|---|
| 21 | } |
|---|
| 22 | return ret; |
|---|
| 23 | } |
|---|
| 24 | |
|---|
| 25 | char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0}; |
|---|
| 26 | |
|---|
| 27 | #endif |
|---|
| 28 | |
|---|
| 29 | int main() |
|---|
| 30 | { |
|---|
| 31 | #if __LDBL_MANT_DIG__ == 113 |
|---|
| 32 | // qNaN |
|---|
| 33 | if (test__extenddftf2(makeQNaN64(), |
|---|
| 34 | UINT64_C(0x7fff800000000000), |
|---|
| 35 | UINT64_C(0x0))) |
|---|
| 36 | return 1; |
|---|
| 37 | // NaN |
|---|
| 38 | if (test__extenddftf2(makeNaN64(UINT64_C(0x7100000000000)), |
|---|
| 39 | UINT64_C(0x7fff710000000000), |
|---|
| 40 | UINT64_C(0x0))) |
|---|
| 41 | return 1; |
|---|
| 42 | // inf |
|---|
| 43 | if (test__extenddftf2(makeInf64(), |
|---|
| 44 | UINT64_C(0x7fff000000000000), |
|---|
| 45 | UINT64_C(0x0))) |
|---|
| 46 | return 1; |
|---|
| 47 | // zero |
|---|
| 48 | if (test__extenddftf2(0.0, UINT64_C(0x0), UINT64_C(0x0))) |
|---|
| 49 | return 1; |
|---|
| 50 | |
|---|
| 51 | if (test__extenddftf2(0x1.23456789abcdefp+5, |
|---|
| 52 | UINT64_C(0x400423456789abcd), |
|---|
| 53 | UINT64_C(0xf000000000000000))) |
|---|
| 54 | return 1; |
|---|
| 55 | if (test__extenddftf2(0x1.edcba987654321fp-9, |
|---|
| 56 | UINT64_C(0x3ff6edcba9876543), |
|---|
| 57 | UINT64_C(0x2000000000000000))) |
|---|
| 58 | return 1; |
|---|
| 59 | if (test__extenddftf2(0x1.23456789abcdefp+45, |
|---|
| 60 | UINT64_C(0x402c23456789abcd), |
|---|
| 61 | UINT64_C(0xf000000000000000))) |
|---|
| 62 | return 1; |
|---|
| 63 | if (test__extenddftf2(0x1.edcba987654321fp-45, |
|---|
| 64 | UINT64_C(0x3fd2edcba9876543), |
|---|
| 65 | UINT64_C(0x2000000000000000))) |
|---|
| 66 | return 1; |
|---|
| 67 | // denormal |
|---|
| 68 | if (test__extenddftf2(1.8194069811494184E-308, |
|---|
| 69 | UINT64_C(0x3c00a2a7757954b9), |
|---|
| 70 | UINT64_C(0x6000000000000000))) |
|---|
| 71 | return 1; |
|---|
| 72 | #else |
|---|
| 73 | printf(format: "skipped\n" ); |
|---|
| 74 | |
|---|
| 75 | #endif |
|---|
| 76 | return 0; |
|---|
| 77 | } |
|---|
| 78 | |
|---|
