diff options
| author | Ed Schouten <ed@FreeBSD.org> | 2011-06-02 20:02:42 +0000 |
|---|---|---|
| committer | Ed Schouten <ed@FreeBSD.org> | 2011-06-02 20:02:42 +0000 |
| commit | b0a04aaa595ba76468e521f12727a872d144d6d0 (patch) | |
| tree | 51db692a6c937b68c7180d996af6bb7952b4b55d /lib/floatundidf.c | |
| parent | f170b6928b38a264ce005e5fa80d428364b6f659 (diff) | |
Diffstat (limited to 'lib/floatundidf.c')
| -rw-r--r-- | lib/floatundidf.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/floatundidf.c b/lib/floatundidf.c index 506fc3c4be7bb..e74e9d8d2fdd6 100644 --- a/lib/floatundidf.c +++ b/lib/floatundidf.c @@ -12,7 +12,7 @@ * ===----------------------------------------------------------------------=== */ -#include "int_lib.h" +#include "abi.h" #include <float.h> /* Returns: convert a to a double, rounding toward even. */ @@ -23,6 +23,10 @@ /* seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm */ +#include "int_lib.h" + +ARM_EABI_FNALIAS(ul2d, floatundidf); + #ifndef __SOFT_FP__ /* Support for systems that have hardware floating-point; we'll set the inexact flag * as a side-effect of this computation. @@ -30,7 +34,7 @@ #include <stdint.h> -double +COMPILER_RT_ABI double __floatundidf(du_int a) { static const double twop52 = 0x1.0p52; @@ -52,7 +56,7 @@ __floatundidf(du_int a) * set, and we don't want to code-gen to an unknown soft-float implementation. */ -double +COMPILER_RT_ABI double __floatundidf(du_int a) { if (a == 0) |