mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-04 02:40:06 +00:00
f124cb3811
In <https://sourceware.org/ml/libc-alpha/2013-05/msg00722.html> I remarked on the possibility of arithmetic in various nearbyint implementations being scheduled before feholdexcept calls, resulting in spurious "inexact" exceptions. I'm now actually observing this occurring in glibc built for ARM with GCC 7 (in fact, both copies of the same addition/subtraction sequence being combined and moved out before the conditionals and feholdexcept/fesetenv pairs), resulting in test failures. This patch makes the nearbyint implementations with this particular feholdexcept / arithmetic / fesetenv pattern consistently use math_opt_barrier on the function argument when first used in arithmetic, and also consistently use math_force_eval before fesetenv (the latter was generally already done, but the dbl-64/wordsize-64 implementation used math_opt_barrier instead, and as math_opt_barrier's intended effect is through its output value being used, such a use that doesn't use the return value is suspect). Tested for x86_64 (--disable-multi-arch so more of these implementations get used), and for ARM in a configuration where I saw the problem scheduling. [BZ #22225] * sysdeps/ieee754/dbl-64/s_nearbyint.c (__nearbyint): Use math_opt_barrier on argument when doing arithmetic on it. * sysdeps/ieee754/dbl-64/wordsize-64/s_nearbyint.c (__nearbyint): Likewise. Use math_force_eval not math_opt_barrier after arithmetic. * sysdeps/ieee754/flt-32/s_nearbyintf.c (__nearbyintf): Use math_opt_barrier on argument when doing arithmetic on it. * sysdeps/ieee754/ldbl-128/s_nearbyintl.c (__nearbyintl): Likewise.
61 lines
1.5 KiB
C
61 lines
1.5 KiB
C
/* s_rintf.c -- float version of s_rint.c.
|
|
* Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
|
|
*/
|
|
/* Adapted for use as nearbyint by Ulrich Drepper <drepper@cygnus.com>. */
|
|
|
|
/*
|
|
* ====================================================
|
|
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
|
*
|
|
* Developed at SunPro, a Sun Microsystems, Inc. business.
|
|
* Permission to use, copy, modify, and distribute this
|
|
* software is freely granted, provided that this notice
|
|
* is preserved.
|
|
* ====================================================
|
|
*/
|
|
|
|
|
|
#include <fenv.h>
|
|
#include <math.h>
|
|
#include <math_private.h>
|
|
#include <libm-alias-float.h>
|
|
|
|
static const float
|
|
TWO23[2]={
|
|
8.3886080000e+06, /* 0x4b000000 */
|
|
-8.3886080000e+06, /* 0xcb000000 */
|
|
};
|
|
|
|
float
|
|
__nearbyintf(float x)
|
|
{
|
|
fenv_t env;
|
|
int32_t i0,j0,sx;
|
|
float w,t;
|
|
GET_FLOAT_WORD(i0,x);
|
|
sx = (i0>>31)&1;
|
|
j0 = ((i0>>23)&0xff)-0x7f;
|
|
if(j0<23) {
|
|
if(j0<0) {
|
|
libc_feholdexceptf (&env);
|
|
w = TWO23[sx] + math_opt_barrier (x);
|
|
t = w-TWO23[sx];
|
|
math_force_eval (t);
|
|
libc_fesetenvf (&env);
|
|
GET_FLOAT_WORD(i0,t);
|
|
SET_FLOAT_WORD(t,(i0&0x7fffffff)|(sx<<31));
|
|
return t;
|
|
}
|
|
} else {
|
|
if(__builtin_expect(j0==0x80, 0)) return x+x; /* inf or NaN */
|
|
else return x; /* x is integral */
|
|
}
|
|
libc_feholdexceptf (&env);
|
|
w = TWO23[sx] + math_opt_barrier (x);
|
|
t = w-TWO23[sx];
|
|
math_force_eval (t);
|
|
libc_fesetenvf (&env);
|
|
return t;
|
|
}
|
|
libm_alias_float (__nearbyint, nearbyint)
|