1 //===-- floatdidf.c - Implement __floatdidf -------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file implements __floatdidf for the compiler_rt library.
11 //===----------------------------------------------------------------------===//
15 // Returns: convert a to a double, rounding toward even.
17 // Assumption: double is a IEEE 64 bit floating point type
18 // di_int is a 64 bit integral type
20 // seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm
24 // Support for systems that have hardware floating-point; we'll set the inexact
25 // flag as a side-effect of this computation.
27 COMPILER_RT_ABI
double __floatdidf(di_int a
) {
28 static const double twop52
= 4503599627370496.0; // 0x1.0p52
29 static const double twop32
= 4294967296.0; // 0x1.0p32
34 } low
= {.d
= twop52
};
36 const double high
= (int32_t)(a
>> 32) * twop32
;
37 low
.x
|= a
& INT64_C(0x00000000ffffffff);
39 const double result
= (high
- twop52
) + low
.d
;
44 // Support for systems that don't have hardware floating-point; there are no
45 // flags to set, and we don't want to code-gen to an unknown soft-float
50 #include "int_to_fp_impl.inc"
52 COMPILER_RT_ABI
double __floatdidf(di_int a
) { return __floatXiYf__(a
); }
55 #if defined(__ARM_EABI__)
56 #if defined(COMPILER_RT_ARMHF_TARGET)
57 AEABI_RTABI
double __aeabi_l2d(di_int a
) { return __floatdidf(a
); }
59 COMPILER_RT_ALIAS(__floatdidf
, __aeabi_l2d
)
63 #if defined(__MINGW32__) && defined(__arm__)
64 COMPILER_RT_ALIAS(__floatdidf
, __i64tod
)