mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-05 03:01:05 +00:00
111 lines
3.6 KiB
ArmAsm
111 lines
3.6 KiB
ArmAsm
/* llround function. PowerPC32 on PowerPC64 version.
|
|
Copyright (C) 2004, 2006, 2007, 2008 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, write to the Free
|
|
Software Foundation, Inc., 1 Franklin Street, Fifth Floor, Boston MA
|
|
02110-1301 USA. */
|
|
|
|
#include <sysdep.h>
|
|
#include <math_ldbl_opt.h>
|
|
|
|
.section .rodata.cst12,"aM",@progbits,12
|
|
.align 3
|
|
.LC0: /* 0x1.0000000000000p+52 == 2^52 */
|
|
.long 0x43300000
|
|
.long 0x00000000
|
|
.long 0x3f000000 /* Use this for 0.5 */
|
|
|
|
.section ".text"
|
|
|
|
/* long [r3] lround (float x [fp1])
|
|
IEEE 1003.1 lround function. IEEE specifies "round to the nearest
|
|
integer value, rounding halfway cases away from zero, regardless of
|
|
the current rounding mode." However PowerPC Architecture defines
|
|
"round to Nearest" as "Choose the best approximation. In case of a
|
|
tie, choose the one that is even (least significant bit o).".
|
|
So we can't use the PowerPC "round to Nearest" mode. Instead we set
|
|
"round toward Zero" mode and round by adding +-0.5 before rounding
|
|
to the integer value.
|
|
|
|
It is necessary to detect when x is (+-)0x1.fffffffffffffp-2
|
|
because adding +-0.5 in this case will cause an erroneous shift,
|
|
carry and round. We simply return 0 if 0.5 > x > -0.5. Likewise
|
|
if x is and odd number between +-(2^52 and 2^53-1) a shift and
|
|
carry will erroneously round if biased with +-0.5. Therefore if x
|
|
is greater/less than +-2^52 we don't need to bias the number with
|
|
+-0.5. */
|
|
|
|
ENTRY (__llround)
|
|
stwu r1,-16(r1)
|
|
cfi_adjust_cfa_offset (16)
|
|
#ifdef SHARED
|
|
mflr r11
|
|
cfi_register(lr,r11)
|
|
bcl 20,31,1f
|
|
1: mflr r9
|
|
addis r9,r9,.LC0-1b@ha
|
|
addi r9,r9,.LC0-1b@l
|
|
mtlr r11
|
|
cfi_same_value (lr)
|
|
lfd fp9,0(r9)
|
|
lfs fp10,8(r9)
|
|
#else
|
|
lis r9,.LC0@ha
|
|
lfd fp9,.LC0@l(r9) /* Load 2^52 into fpr9. */
|
|
lfs fp10,.LC0@l+8(r9) /* Load 0.5 into fpr10. */
|
|
#endif
|
|
fabs fp2,fp1 /* Get the absolute value of x. */
|
|
fsub fp12,fp10,fp10 /* Compute 0.0 into fpr12. */
|
|
fcmpu cr6,fp2,fp10 /* if |x| < 0.5 */
|
|
fcmpu cr7,fp2,fp9 /* if |x| >= 2^52 */
|
|
fcmpu cr1,fp1,fp12 /* x is negative? x < 0.0 */
|
|
blt- cr6,.Lretzero /* 0.5 > x < -0.5 so just return 0. */
|
|
bge- cr7,.Lnobias /* 2^52 > x < -2^52 just convert with no bias. */
|
|
fadd fp3,fp2,fp10 /* |x|+=0.5 bias to prepare to round. */
|
|
bge cr1,.Lconvert /* x is positive so don't negate x. */
|
|
fnabs fp3,fp3 /* -(|x|+=0.5) */
|
|
.Lconvert:
|
|
fctidz fp4,fp3 /* Convert to Integer double word round toward 0. */
|
|
stfd fp4,8(r1)
|
|
nop
|
|
nop
|
|
nop
|
|
lwz r4,12(r1) /* Load return as integer. */
|
|
lwz r3,8(r1)
|
|
.Lout:
|
|
addi r1,r1,16
|
|
blr
|
|
.Lretzero: /* 0.5 > x > -0.5 */
|
|
li r3,0 /* return 0. */
|
|
li r4,0
|
|
b .Lout
|
|
.Lnobias:
|
|
fmr fp3,fp1
|
|
b .Lconvert
|
|
END (__llround)
|
|
|
|
weak_alias (__llround, llround)
|
|
|
|
strong_alias (__llround, __llroundf)
|
|
weak_alias (__llround, llroundf)
|
|
|
|
#ifdef NO_LONG_DOUBLE
|
|
weak_alias (__llround, llroundl)
|
|
strong_alias (__llround, __llroundl)
|
|
#endif
|
|
#if LONG_DOUBLE_COMPAT(libm, GLIBC_2_1)
|
|
compat_symbol (libm, __llround, llroundl, GLIBC_2_1)
|
|
#endif
|