diff options
author | Pascal Stumpf <pascal@cvs.openbsd.org> | 2016-09-05 11:36:24 +0000 |
---|---|---|
committer | Pascal Stumpf <pascal@cvs.openbsd.org> | 2016-09-05 11:36:24 +0000 |
commit | 655378bb3dd91f8a437ea1ae76418d3bc7a9ce81 (patch) | |
tree | dd8fc208f2e4ad444932d160a27907580cc022bf /lib/libcompiler_rt/x86_64/floatundidf.S | |
parent | afa2339506d84c1497f41a4b29b6624257b7253b (diff) |
Import libcompiler_rt 3.9.0, LLVM's replacement for libgcc.
This is the lib/builtin directory of the compiler-rt source tarball.
comments/ok patrick@, ok kettenis@
Diffstat (limited to 'lib/libcompiler_rt/x86_64/floatundidf.S')
-rw-r--r-- | lib/libcompiler_rt/x86_64/floatundidf.S | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/lib/libcompiler_rt/x86_64/floatundidf.S b/lib/libcompiler_rt/x86_64/floatundidf.S new file mode 100644 index 00000000000..094a68dc3cd --- /dev/null +++ b/lib/libcompiler_rt/x86_64/floatundidf.S @@ -0,0 +1,52 @@ +//===-- floatundidf.S - Implement __floatundidf for x86_64 ----------------===// +// +// 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 implements __floatundidf for the compiler_rt library. +// +//===----------------------------------------------------------------------===// + +#include "../assembly.h" + +// double __floatundidf(du_int a); + +#ifdef __x86_64__ + +CONST_SECTION + + .balign 16 +twop52: + .quad 0x4330000000000000 + + .balign 16 +twop84_plus_twop52: + .quad 0x4530000000100000 + + .balign 16 +twop84: + .quad 0x4530000000000000 + +#define REL_ADDR(_a) (_a)(%rip) + +.text +.balign 4 +DEFINE_COMPILERRT_FUNCTION(__floatundidf) + movd %edi, %xmm0 // low 32 bits of a + shrq $32, %rdi // high 32 bits of a + orq REL_ADDR(twop84), %rdi // 0x1p84 + a_hi (no rounding occurs) + orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs) + movd %rdi, %xmm1 + subsd REL_ADDR(twop84_plus_twop52), %xmm1 // a_hi - 0x1p52 (no rounding occurs) + addsd %xmm1, %xmm0 // a_hi + a_lo (round happens here) + ret +END_COMPILERRT_FUNCTION(__floatundidf) + +#endif // __x86_64__ + +NO_EXEC_STACK_DIRECTIVE + |