[COMPILER-RT] Implement __trunctfdf2, __trunctfsf2

[koviankevin]

Summary

Implement trunctfdf2, trunctfsf2, which truncate long double type into float or double

[koviankevin]

add test

[koviankevin]

Use CRT_HAS_128BIT and modify the codes according to gribozavr's comments

[koviankevin]

introduce CRT_LDBL_128BIT

[koviankevin]

modify by gribozavr's comment and use COMPILER_RT_ABI

[koviankevin]

use UINT64_C and drop le64
truncdfsf2.c is refactored in D3888

[joerg]

Closed by commit rL209782 (authored by @joerg).

compiler-rt/trunk/lib/builtins/trunctfdf2.c

+//===-- lib/truncdfsf2.c - quad -> double conversion --------------*- C -*-===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is dual licensed under the MIT and the University of Illinois Open
+// Source Licenses. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+#define QUAD_PRECISION
+#include "fp_lib.h"
+
+#if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
+#define SRC_QUAD
+#define DST_DOUBLE
+#include "fp_trunc_impl.inc"
+
+COMPILER_RT_ABI double __trunctfdf2(long double a) {
+    return __truncXfYf2__(a);
+}
+
+#endif

compiler-rt/trunk/lib/builtins/trunctfsf2.c

+//===-- lib/trunctfsf2.c - quad -> single conversion --------------*- C -*-===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is dual licensed under the MIT and the University of Illinois Open
+// Source Licenses. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+#define QUAD_PRECISION
+#include "fp_lib.h"
+
+#if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
+#define SRC_QUAD
+#define DST_SINGLE
+#include "fp_trunc_impl.inc"
+
+COMPILER_RT_ABI float __trunctfsf2(long double a) {
+    return __truncXfYf2__(a);
+}
+
+#endif

compiler-rt/trunk/test/builtins/Unit/trunctfdf2_test.c

+//===-------------- trunctfdf2_test.c - Test __trunctfdf2 -----------------===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is dual licensed under the MIT and the University of Illinois Open
+// Source Licenses. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file tests __trunctfdf2 for the compiler_rt library.
+//
+//===----------------------------------------------------------------------===//
+
+#include <stdio.h>
+
+#if __LDBL_MANT_DIG__ == 113
+
+#include "fp_test.h"
+
+double __trunctfdf2(long double a);
+
+int test__trunctfdf2(long double a, uint64_t expected)
+{
+    double x = __trunctfdf2(a);
+    int ret = compareResultD(x, expected);
+
+    if (ret)
+    {
+        printf("error in test__trunctfdf2(%.20Lf) = %lf, "
+               "expected %lf\n", a, x, fromRep64(expected));
+    }
+    return ret;
+}
+
+char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0};
+
+#endif
+
+int main()
+{
+#if __LDBL_MANT_DIG__ == 113
+    // qNaN
+    if (test__trunctfdf2(makeQNaN128(),
+                         UINT64_C(0x7ff8000000000000)))
+        return 1;
+    // NaN
+    if (test__trunctfdf2(makeNaN128(UINT64_C(0x810000000000)),
+                         UINT64_C(0x7ff8100000000000)))
+        return 1;
+    // inf
+    if (test__trunctfdf2(makeInf128(),
+                         UINT64_C(0x7ff0000000000000)))
+        return 1;
+    // zero
+    if (test__trunctfdf2(0.0L, UINT64_C(0x0)))
+        return 1;
+
+    if (test__trunctfdf2(0x1.af23456789bbaaab347645365cdep+5L,
+                         UINT64_C(0x404af23456789bbb)))
+        return 1;
+    if (test__trunctfdf2(0x1.dedafcff354b6ae9758763545432p-9L,
+                         UINT64_C(0x3f6dedafcff354b7)))
+        return 1;
+    if (test__trunctfdf2(0x1.2f34dd5f437e849b4baab754cdefp+4534L,
+                         UINT64_C(0x7ff0000000000000)))
+        return 1;
+    if (test__trunctfdf2(0x1.edcbff8ad76ab5bf46463233214fp-435L,
+                         UINT64_C(0x24cedcbff8ad76ab)))
+        return 1;
+
+#else
+    printf("skipped\n");
+
+#endif
+    return 0;
+}

compiler-rt/trunk/test/builtins/Unit/trunctfsf2_test.c

+//===--------------- trunctfsf2_test.c - Test __trunctfsf2 ----------------===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is dual licensed under the MIT and the University of Illinois Open
+// Source Licenses. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file tests __trunctfsf2 for the compiler_rt library.
+//
+//===----------------------------------------------------------------------===//
+
+#include <stdio.h>
+
+#if __LDBL_MANT_DIG__ == 113
+
+#include "fp_test.h"
+
+float __trunctfsf2(long double a);
+
+int test__trunctfsf2(long double a, uint32_t expected)
+{
+    float x = __trunctfsf2(a);
+    int ret = compareResultF(x, expected);
+
+    if (ret){
+        printf("error in test__trunctfsf2(%.20Lf) = %f, "
+               "expected %f\n", a, x, fromRep32(expected));
+    }
+    return ret;
+}
+
+char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0};
+
+#endif
+
+int main()
+{
+#if __LDBL_MANT_DIG__ == 113
+    // qNaN
+    if (test__trunctfsf2(makeQNaN128(),
+                         UINT32_C(0x7fc00000)))
+        return 1;
+    // NaN
+    if (test__trunctfsf2(makeNaN128(UINT64_C(0x810000000000)),
+                         UINT32_C(0x7fc08000)))
+        return 1;
+    // inf
+    if (test__trunctfsf2(makeInf128(),
+                         UINT32_C(0x7f800000)))
+        return 1;
+    // zero
+    if (test__trunctfsf2(0.0L, UINT32_C(0x0)))
+        return 1;
+
+    if (test__trunctfsf2(0x1.23a2abb4a2ddee355f36789abcdep+5L,
+                         UINT32_C(0x4211d156)))
+        return 1;
+    if (test__trunctfsf2(0x1.e3d3c45bd3abfd98b76a54cc321fp-9L,
+                         UINT32_C(0x3b71e9e2)))
+        return 1;
+    if (test__trunctfsf2(0x1.234eebb5faa678f4488693abcdefp+4534L,
+                         UINT32_C(0x7f800000)))
+        return 1;
+    if (test__trunctfsf2(0x1.edcba9bb8c76a5a43dd21f334634p-435L,
+                         UINT32_C(0x0)))
+        return 1;
+
+#else
+    printf("skipped\n");
+
+#endif
+    return 0;
+}