mirror of git://gcc.gnu.org/git/gcc.git
138 lines
4.9 KiB
C
138 lines
4.9 KiB
C
/* Copyright (C) 2007 Free Software Foundation.
|
|
|
|
Verify that built-in folding of frexp is correctly performed by the
|
|
compiler.
|
|
|
|
Origin: Kaveh R. Ghazi, February 21, 2007. */
|
|
|
|
/* { dg-do link } */
|
|
/* { dg-options "-fno-finite-math-only" { target sh*-*-* } } */
|
|
/* In order to fold algebraic exprs below, targets with "composite"
|
|
floating point formats need -funsafe-math-optimizations. */
|
|
/* { dg-options "-funsafe-math-optimizations" { target powerpc*-*-* } } */
|
|
|
|
extern void link_error(int);
|
|
|
|
/* Return TRUE if the sign of X != sign of Y. This is important when
|
|
comparing signed zeros. */
|
|
#define CKSGN_F(X,Y) \
|
|
(__builtin_copysignf(1.0F,(X)) != __builtin_copysignf(1.0F,(Y)))
|
|
#define CKSGN(X,Y) \
|
|
(__builtin_copysign(1.0,(X)) != __builtin_copysign(1.0,(Y)))
|
|
#define CKSGN_L(X,Y) \
|
|
(__builtin_copysignl(1.0L,(X)) != __builtin_copysignl(1.0L,(Y)))
|
|
|
|
/* We can only check the exponent when optimizing since we rely on
|
|
other optimizations to propagate the value. TRUE means an error
|
|
occurred. */
|
|
#ifdef __OPTIMIZE__
|
|
#define CKEXP(X,Y) X != Y
|
|
#else
|
|
#define CKEXP(X,Y) 0
|
|
#endif
|
|
|
|
/* Test that frexp(ARG,&i) == RES && i == EXP. Check the sign in
|
|
case we get -0.0. */
|
|
#define TESTIT_FREXP(ARG,RES,EXP) do { \
|
|
int i = 12345; \
|
|
if (__builtin_frexpf(ARG##f,&i) != RES##f \
|
|
|| CKEXP(i,EXP) \
|
|
|| CKSGN_F(__builtin_frexpf(ARG##f,&i),RES##f)) \
|
|
link_error(__LINE__); \
|
|
i = 12345; \
|
|
if (__builtin_frexp(ARG,&i) != RES \
|
|
|| CKEXP(i,EXP) \
|
|
|| CKSGN(__builtin_frexp(ARG,&i),RES)) \
|
|
link_error(__LINE__); \
|
|
i = 12345; \
|
|
if (__builtin_frexpl(ARG##l,&i) != RES##l \
|
|
|| CKEXP(i,EXP) \
|
|
|| CKSGN_L(__builtin_frexpl(ARG##l,&i),RES##l)) \
|
|
link_error(__LINE__); \
|
|
} while (0)
|
|
|
|
/* Test that FUNCRES(frexp(NEG FUNCARG(ARGARG),&i)) is false. Check
|
|
the sign as well. Ensure side-effects are evaluated in i. */
|
|
#ifndef __SPU__
|
|
#define TESTIT_FREXP2(NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
|
int i=5; \
|
|
if (!__builtin_##FUNCRES##f(__builtin_frexpf(NEG __builtin_##FUNCARG##f(ARGARG),&i)) \
|
|
|| CKSGN_F(__builtin_frexpf(NEG __builtin_##FUNCARG##f(ARGARG),(i++,&i)), NEG __builtin_##FUNCARG##f(ARGARG)) \
|
|
|| CKEXP(i,6)) \
|
|
link_error(__LINE__); \
|
|
if (!__builtin_##FUNCRES(__builtin_frexp(NEG __builtin_##FUNCARG(ARGARG),&i)) \
|
|
|| CKSGN(__builtin_frexp(NEG __builtin_##FUNCARG(ARGARG),(i++,&i)), NEG __builtin_##FUNCARG(ARGARG)) \
|
|
|| CKEXP(i,7)) \
|
|
link_error(__LINE__); \
|
|
if (!__builtin_##FUNCRES##l(__builtin_frexpl(NEG __builtin_##FUNCARG##l(ARGARG),&i)) \
|
|
|| CKSGN_L(__builtin_frexpl(NEG __builtin_##FUNCARG##l(ARGARG),(i++,&i)), NEG __builtin_##FUNCARG##l(ARGARG)) \
|
|
|| CKEXP(i,8)) \
|
|
link_error(__LINE__); \
|
|
} while (0)
|
|
#else
|
|
#define TESTIT_FREXP2(NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
|
int i=6; \
|
|
/* SPU single-precision floating point format does not support Inf or Nan. */ \
|
|
if (!__builtin_##FUNCRES(__builtin_frexp(NEG __builtin_##FUNCARG(ARGARG),&i)) \
|
|
|| CKSGN(__builtin_frexp(NEG __builtin_##FUNCARG(ARGARG),(i++,&i)), NEG __builtin_##FUNCARG(ARGARG)) \
|
|
|| CKEXP(i,7)) \
|
|
link_error(__LINE__); \
|
|
if (!__builtin_##FUNCRES##l(__builtin_frexpl(NEG __builtin_##FUNCARG##l(ARGARG),&i)) \
|
|
|| CKSGN_L(__builtin_frexpl(NEG __builtin_##FUNCARG##l(ARGARG),(i++,&i)), NEG __builtin_##FUNCARG##l(ARGARG)) \
|
|
|| CKEXP(i,8)) \
|
|
link_error(__LINE__); \
|
|
} while (0)
|
|
#endif
|
|
|
|
void __attribute__ ((__noinline__))
|
|
foo(void)
|
|
{
|
|
/* Test that frexp(ARG1,&i) -> ARG2 && i == ARG3. */
|
|
TESTIT_FREXP (-0x1p40, -0.5, 41);
|
|
TESTIT_FREXP (-0x1p30, -0.5, 31);
|
|
TESTIT_FREXP (-0x1p20, -0.5, 21);
|
|
TESTIT_FREXP (-0x1p10, -0.5, 11);
|
|
TESTIT_FREXP (-0x1p5, -0.5, 6);
|
|
TESTIT_FREXP (-100/3.0, -100/192.0, 6);
|
|
TESTIT_FREXP (-1.5, -0.75, 1);
|
|
TESTIT_FREXP (-1.0, -0.5, 1);
|
|
TESTIT_FREXP (-1/3.0, -2/3.0, -1);
|
|
TESTIT_FREXP (-1/9.0, -8/9.0, -3);
|
|
TESTIT_FREXP (-0x1p-5, -0.5, -4);
|
|
TESTIT_FREXP (-0x1p-10, -0.5, -9);
|
|
TESTIT_FREXP (-0x1p-20, -0.5, -19);
|
|
TESTIT_FREXP (-0x1p-30, -0.5, -29);
|
|
TESTIT_FREXP (-0x1p-40, -0.5, -39);
|
|
TESTIT_FREXP (-0.0, -0.0, 0);
|
|
TESTIT_FREXP (0.0, 0.0, 0);
|
|
TESTIT_FREXP (0x1p-40, 0.5, -39);
|
|
TESTIT_FREXP (0x1p-30, 0.5, -29);
|
|
TESTIT_FREXP (0x1p-20, 0.5, -19);
|
|
TESTIT_FREXP (0x1p-10, 0.5, -9);
|
|
TESTIT_FREXP (0x1p-5, 0.5, -4);
|
|
TESTIT_FREXP (1/9.0, 8/9.0, -3);
|
|
TESTIT_FREXP (1/3.0, 2/3.0, -1);
|
|
TESTIT_FREXP (1.0, 0.5, 1);
|
|
TESTIT_FREXP (1.5, 0.75, 1);
|
|
TESTIT_FREXP (100/3.0, 100/192.0, 6);
|
|
TESTIT_FREXP (0x1p5, 0.5, 6);
|
|
TESTIT_FREXP (0x1p10, 0.5, 11);
|
|
TESTIT_FREXP (0x1p20, 0.5, 21);
|
|
TESTIT_FREXP (0x1p30, 0.5, 31);
|
|
TESTIT_FREXP (0x1p40, 0.5, 41);
|
|
|
|
/* Test for frexp(+-Inf,&i) -> +-Inf and frexp(+-NaN,&i) -> +-NaN.
|
|
Exponent is left unspecified, but we test for side-effects. */
|
|
TESTIT_FREXP2 ( ,inf, , isinf);
|
|
TESTIT_FREXP2 (- ,inf, , isinf);
|
|
TESTIT_FREXP2 ( ,nan, "", isnan);
|
|
TESTIT_FREXP2 (- ,nan, "", isnan);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
foo ();
|
|
|
|
return 0;
|
|
}
|