From fee19280b889ae84d9f1cb2600da2fa0bcc36ddf Mon Sep 17 00:00:00 2001 From: Joerg Sonnenberger Date: Thu, 29 May 2014 01:00:39 +0000 Subject: [PATCH] Add __extenddftf2 and __extendsftf2 for IEEE quad precision. Patch by: GuanHong Liu Differential Revision: http://reviews.llvm.org/D2802 llvm-svn: 209783 --- compiler-rt/lib/builtins/extenddftf2.c | 23 +++++++ compiler-rt/lib/builtins/extendsftf2.c | 23 +++++++ compiler-rt/test/builtins/Unit/extenddftf2_test.c | 82 ++++++++++++++++++++++ compiler-rt/test/builtins/Unit/extendsftf2_test.c | 83 +++++++++++++++++++++++ 4 files changed, 211 insertions(+) create mode 100644 compiler-rt/lib/builtins/extenddftf2.c create mode 100644 compiler-rt/lib/builtins/extendsftf2.c create mode 100644 compiler-rt/test/builtins/Unit/extenddftf2_test.c create mode 100644 compiler-rt/test/builtins/Unit/extendsftf2_test.c diff --git a/compiler-rt/lib/builtins/extenddftf2.c b/compiler-rt/lib/builtins/extenddftf2.c new file mode 100644 index 0000000..86dab8f --- /dev/null +++ b/compiler-rt/lib/builtins/extenddftf2.c @@ -0,0 +1,23 @@ +//===-- lib/extenddftf2.c - double -> quad 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_DOUBLE +#define DST_QUAD +#include "fp_extend_impl.inc" + +COMPILER_RT_ABI long double __extenddftf2(double a) { + return __extendXfYf2__(a); +} + +#endif diff --git a/compiler-rt/lib/builtins/extendsftf2.c b/compiler-rt/lib/builtins/extendsftf2.c new file mode 100644 index 0000000..2eeeba2 --- /dev/null +++ b/compiler-rt/lib/builtins/extendsftf2.c @@ -0,0 +1,23 @@ +//===-- lib/extendsftf2.c - single -> quad 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_SINGLE +#define DST_QUAD +#include "fp_extend_impl.inc" + +COMPILER_RT_ABI long double __extendsftf2(float a) { + return __extendXfYf2__(a); +} + +#endif diff --git a/compiler-rt/test/builtins/Unit/extenddftf2_test.c b/compiler-rt/test/builtins/Unit/extenddftf2_test.c new file mode 100644 index 0000000..05acc08 --- /dev/null +++ b/compiler-rt/test/builtins/Unit/extenddftf2_test.c @@ -0,0 +1,82 @@ +//===--------------- extenddftf2_test.c - Test __extenddftf2 --------------===// +// +// 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 __extenddftf2 for the compiler_rt library. +// +//===----------------------------------------------------------------------===// + +#include + +#if __LDBL_MANT_DIG__ == 113 + +#include "fp_test.h" + +long double __extenddftf2(double a); + +int test__extenddftf2(double a, uint64_t expectedHi, uint64_t expectedLo) +{ + long double x = __extenddftf2(a); + int ret = compareResultLD(x, expectedHi, expectedLo); + + if (ret){ + printf("error in test__extenddftf2(%f) = %.20Lf, " + "expected %.20Lf\n", a, x, fromRep128(expectedHi, expectedLo)); + } + return ret; +} + +char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0}; + +#endif + +int main() +{ +#if __LDBL_MANT_DIG__ == 113 + // qNaN + if (test__extenddftf2(makeQNaN64(), + UINT64_C(0x7fff800000000000), + UINT64_C(0x0))) + return 1; + // NaN + if (test__extenddftf2(makeNaN64(UINT64_C(0x7100000000000)), + UINT64_C(0x7fff710000000000), + UINT64_C(0x0))) + return 1; + // inf + if (test__extenddftf2(makeInf64(), + UINT64_C(0x7fff000000000000), + UINT64_C(0x0))) + return 1; + // zero + if (test__extenddftf2(0.0, UINT64_C(0x0), UINT64_C(0x0))) + return 1; + + if (test__extenddftf2(0x1.23456789abcdefp+5, + UINT64_C(0x400423456789abcd), + UINT64_C(0xf000000000000000))) + return 1; + if (test__extenddftf2(0x1.edcba987654321fp-9, + UINT64_C(0x3ff6edcba9876543), + UINT64_C(0x2000000000000000))) + return 1; + if (test__extenddftf2(0x1.23456789abcdefp+45, + UINT64_C(0x402c23456789abcd), + UINT64_C(0xf000000000000000))) + return 1; + if (test__extenddftf2(0x1.edcba987654321fp-45, + UINT64_C(0x3fd2edcba9876543), + UINT64_C(0x2000000000000000))) + return 1; + +#else + printf("skipped\n"); + +#endif + return 0; +} diff --git a/compiler-rt/test/builtins/Unit/extendsftf2_test.c b/compiler-rt/test/builtins/Unit/extendsftf2_test.c new file mode 100644 index 0000000..5f41928 --- /dev/null +++ b/compiler-rt/test/builtins/Unit/extendsftf2_test.c @@ -0,0 +1,83 @@ +//===--------------- extendsftf2_test.c - Test __extendsftf2 --------------===// +// +// 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 __extendsftf2 for the compiler_rt library. +// +//===----------------------------------------------------------------------===// + +#include + +#if __LDBL_MANT_DIG__ == 113 + +#include "fp_test.h" + +long double __extendsftf2(float a); + +int test__extendsftf2(float a, uint64_t expectedHi, uint64_t expectedLo) +{ + long double x = __extendsftf2(a); + int ret = compareResultLD(x, expectedHi, expectedLo); + + if (ret) + { + printf("error in test__extendsftf2(%f) = %.20Lf, " + "expected %.20Lf\n", a, x, fromRep128(expectedHi, expectedLo)); + } + return ret; +} + +char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0}; + +#endif + +int main() +{ +#if __LDBL_MANT_DIG__ == 113 + // qNaN + if (test__extendsftf2(makeQNaN32(), + UINT64_C(0x7fff800000000000), + UINT64_C(0x0))) + return 1; + // NaN + if (test__extendsftf2(makeNaN32(UINT32_C(0x410000)), + UINT64_C(0x7fff820000000000), + UINT64_C(0x0))) + return 1; + // inf + if (test__extendsftf2(makeInf32(), + UINT64_C(0x7fff000000000000), + UINT64_C(0x0))) + return 1; + // zero + if (test__extendsftf2(0.0f, UINT64_C(0x0), UINT64_C(0x0))) + return 1; + + if (test__extendsftf2(0x1.23456p+5f, + UINT64_C(0x4004234560000000), + UINT64_C(0x0))) + return 1; + if (test__extendsftf2(0x1.edcbap-9f, + UINT64_C(0x3ff6edcba0000000), + UINT64_C(0x0))) + return 1; + if (test__extendsftf2(0x1.23456p+45f, + UINT64_C(0x402c234560000000), + UINT64_C(0x0))) + return 1; + if (test__extendsftf2(0x1.edcbap-45f, + UINT64_C(0x3fd2edcba0000000), + UINT64_C(0x0))) + return 1; + +#else + printf("skipped\n"); + +#endif + return 0; +} -- 2.7.4