/* Copyright (C) 2007 Free Software Foundation.
|
/* Copyright (C) 2007 Free Software Foundation.
|
|
|
Verify that built-in folding of logb, ilogb and significand is
|
Verify that built-in folding of logb, ilogb and significand is
|
correctly performed by the compiler.
|
correctly performed by the compiler.
|
|
|
Origin: Kaveh R. Ghazi, February 22, 2007. */
|
Origin: Kaveh R. Ghazi, February 22, 2007. */
|
|
|
/* { dg-do link } */
|
/* { dg-do link } */
|
/* { dg-options "-fno-finite-math-only" { target sh*-*-* } } */
|
/* { dg-options "-fno-finite-math-only" { target sh*-*-* } } */
|
/* In order to fold algebraic exprs below, targets with "composite"
|
/* In order to fold algebraic exprs below, targets with "composite"
|
floating point formats need -funsafe-math-optimizations. */
|
floating point formats need -funsafe-math-optimizations. */
|
/* { dg-options "-funsafe-math-optimizations" { target mips*-*-irix6* powerpc*-*-* } } */
|
/* { dg-options "-funsafe-math-optimizations" { target mips*-*-irix6* powerpc*-*-* } } */
|
|
|
extern void link_error(int);
|
extern void link_error(int);
|
|
|
/* Return TRUE if the sign of X != sign of Y. This is important when
|
/* Return TRUE if the sign of X != sign of Y. This is important when
|
comparing signed zeros. */
|
comparing signed zeros. */
|
#define CKSGN_F(X,Y) \
|
#define CKSGN_F(X,Y) \
|
(__builtin_copysignf(1.0F,(X)) != __builtin_copysignf(1.0F,(Y)))
|
(__builtin_copysignf(1.0F,(X)) != __builtin_copysignf(1.0F,(Y)))
|
#define CKSGN(X,Y) \
|
#define CKSGN(X,Y) \
|
(__builtin_copysign(1.0,(X)) != __builtin_copysign(1.0,(Y)))
|
(__builtin_copysign(1.0,(X)) != __builtin_copysign(1.0,(Y)))
|
#define CKSGN_L(X,Y) \
|
#define CKSGN_L(X,Y) \
|
(__builtin_copysignl(1.0L,(X)) != __builtin_copysignl(1.0L,(Y)))
|
(__builtin_copysignl(1.0L,(X)) != __builtin_copysignl(1.0L,(Y)))
|
|
|
/* Test that FUNC(ARG) == RES. Check the sign in case we get -0.0. */
|
/* Test that FUNC(ARG) == RES. Check the sign in case we get -0.0. */
|
#define TESTIT(FUNC,ARG,RES) do { \
|
#define TESTIT(FUNC,ARG,RES) do { \
|
if (__builtin_##FUNC##f(ARG##f) != RES##f \
|
if (__builtin_##FUNC##f(ARG##f) != RES##f \
|
|| CKSGN_F(__builtin_##FUNC##f(ARG##f),RES##f)) \
|
|| CKSGN_F(__builtin_##FUNC##f(ARG##f),RES##f)) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (__builtin_##FUNC(ARG) != RES \
|
if (__builtin_##FUNC(ARG) != RES \
|
|| CKSGN(__builtin_##FUNC(ARG),RES)) \
|
|| CKSGN(__builtin_##FUNC(ARG),RES)) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (__builtin_##FUNC##l(ARG##l) != RES##l \
|
if (__builtin_##FUNC##l(ARG##l) != RES##l \
|
|| CKSGN_L(__builtin_##FUNC##l(ARG##l),RES##l)) \
|
|| CKSGN_L(__builtin_##FUNC##l(ARG##l),RES##l)) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
} while (0)
|
} while (0)
|
|
|
/* Test that FUNC(ARG) == RES. RES is an int so it can't be -0.0. */
|
/* Test that FUNC(ARG) == RES. RES is an int so it can't be -0.0. */
|
#define TESTIT2(FUNC,ARG,RES) do { \
|
#define TESTIT2(FUNC,ARG,RES) do { \
|
if (__builtin_##FUNC##f(ARG##f) != RES) \
|
if (__builtin_##FUNC##f(ARG##f) != RES) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (__builtin_##FUNC(ARG) != RES) \
|
if (__builtin_##FUNC(ARG) != RES) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (__builtin_##FUNC##l(ARG##l) != RES) \
|
if (__builtin_##FUNC##l(ARG##l) != RES) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
} while (0)
|
} while (0)
|
|
|
/* Test if FUNCRES(FUNC(NEG FUNCARG(ARGARG))) is false. Check the
|
/* Test if FUNCRES(FUNC(NEG FUNCARG(ARGARG))) is false. Check the
|
sign as well. */
|
sign as well. */
|
#ifndef __SPU__
|
#ifndef __SPU__
|
#define TESTIT3(FUNC,NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
#define TESTIT3(FUNC,NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
if (!__builtin_##FUNCRES##f(__builtin_##FUNC(NEG __builtin_##FUNCARG##f(ARGARG))) \
|
if (!__builtin_##FUNCRES##f(__builtin_##FUNC(NEG __builtin_##FUNCARG##f(ARGARG))) \
|
|| CKSGN_F(__builtin_##FUNC##f(NEG __builtin_##FUNCARG##f(ARGARG)), NEG __builtin_##FUNCARG##f(ARGARG))) \
|
|| CKSGN_F(__builtin_##FUNC##f(NEG __builtin_##FUNCARG##f(ARGARG)), NEG __builtin_##FUNCARG##f(ARGARG))) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (!__builtin_##FUNCRES(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG))) \
|
if (!__builtin_##FUNCRES(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG))) \
|
|| CKSGN(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG)), NEG __builtin_##FUNCARG(ARGARG))) \
|
|| CKSGN(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG)), NEG __builtin_##FUNCARG(ARGARG))) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (!__builtin_##FUNCRES##l(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG))) \
|
if (!__builtin_##FUNCRES##l(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG))) \
|
|| CKSGN_L(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG)), NEG __builtin_##FUNCARG##l(ARGARG))) \
|
|| CKSGN_L(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG)), NEG __builtin_##FUNCARG##l(ARGARG))) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
} while (0)
|
} while (0)
|
#else
|
#else
|
#define TESTIT3(FUNC,NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
#define TESTIT3(FUNC,NEG,FUNCARG,ARGARG,FUNCRES) do { \
|
/* SPU single-precision floating point format does not support Inf or Nan. */ \
|
/* SPU single-precision floating point format does not support Inf or Nan. */ \
|
if (!__builtin_##FUNCRES(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG))) \
|
if (!__builtin_##FUNCRES(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG))) \
|
|| CKSGN(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG)), NEG __builtin_##FUNCARG(ARGARG))) \
|
|| CKSGN(__builtin_##FUNC(NEG __builtin_##FUNCARG(ARGARG)), NEG __builtin_##FUNCARG(ARGARG))) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
if (!__builtin_##FUNCRES##l(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG))) \
|
if (!__builtin_##FUNCRES##l(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG))) \
|
|| CKSGN_L(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG)), NEG __builtin_##FUNCARG##l(ARGARG))) \
|
|| CKSGN_L(__builtin_##FUNC##l(NEG __builtin_##FUNCARG##l(ARGARG)), NEG __builtin_##FUNCARG##l(ARGARG))) \
|
link_error(__LINE__); \
|
link_error(__LINE__); \
|
} while (0)
|
} while (0)
|
#endif
|
#endif
|
|
|
void __attribute__ ((__noinline__))
|
void __attribute__ ((__noinline__))
|
foo(void)
|
foo(void)
|
{
|
{
|
/* If radix == 2, test that logb(ARG2) -> ARG3. */
|
/* If radix == 2, test that logb(ARG2) -> ARG3. */
|
#if __FLT_RADIX__ == 2
|
#if __FLT_RADIX__ == 2
|
TESTIT (logb, -0x1p40, 40.0);
|
TESTIT (logb, -0x1p40, 40.0);
|
TESTIT (logb, -0x1p30, 30.0);
|
TESTIT (logb, -0x1p30, 30.0);
|
TESTIT (logb, -0x1p20, 20.0);
|
TESTIT (logb, -0x1p20, 20.0);
|
TESTIT (logb, -0x1p10, 10.0);
|
TESTIT (logb, -0x1p10, 10.0);
|
TESTIT (logb, -0x1p5, 5.0);
|
TESTIT (logb, -0x1p5, 5.0);
|
TESTIT (logb, -100/3.0, 5.0);
|
TESTIT (logb, -100/3.0, 5.0);
|
TESTIT (logb, -2.0, 1.0);
|
TESTIT (logb, -2.0, 1.0);
|
TESTIT (logb, -1.5, 0.0);
|
TESTIT (logb, -1.5, 0.0);
|
TESTIT (logb, -1.0, 0.0);
|
TESTIT (logb, -1.0, 0.0);
|
TESTIT (logb, -1/3.0, -2.0);
|
TESTIT (logb, -1/3.0, -2.0);
|
TESTIT (logb, -1/9.0, -4.0);
|
TESTIT (logb, -1/9.0, -4.0);
|
TESTIT (logb, -0x1p-5, -5.0);
|
TESTIT (logb, -0x1p-5, -5.0);
|
TESTIT (logb, -0x1p-10, -10.0);
|
TESTIT (logb, -0x1p-10, -10.0);
|
TESTIT (logb, -0x1p-20, -20.0);
|
TESTIT (logb, -0x1p-20, -20.0);
|
TESTIT (logb, -0x1p-30, -30.0);
|
TESTIT (logb, -0x1p-30, -30.0);
|
TESTIT (logb, -0x1p-40, -40.0);
|
TESTIT (logb, -0x1p-40, -40.0);
|
|
|
TESTIT (logb, 0x1p-40, -40.0);
|
TESTIT (logb, 0x1p-40, -40.0);
|
TESTIT (logb, 0x1p-30, -30.0);
|
TESTIT (logb, 0x1p-30, -30.0);
|
TESTIT (logb, 0x1p-20, -20.0);
|
TESTIT (logb, 0x1p-20, -20.0);
|
TESTIT (logb, 0x1p-10, -10.0);
|
TESTIT (logb, 0x1p-10, -10.0);
|
TESTIT (logb, 0x1p-5, -5.0);
|
TESTIT (logb, 0x1p-5, -5.0);
|
TESTIT (logb, 1/9.0, -4.0);
|
TESTIT (logb, 1/9.0, -4.0);
|
TESTIT (logb, 1/3.0, -2.0);
|
TESTIT (logb, 1/3.0, -2.0);
|
TESTIT (logb, 1.0, 0.0);
|
TESTIT (logb, 1.0, 0.0);
|
TESTIT (logb, 1.5, 0.0);
|
TESTIT (logb, 1.5, 0.0);
|
TESTIT (logb, 2.0, 1.0);
|
TESTIT (logb, 2.0, 1.0);
|
TESTIT (logb, 100/3.0, 5.0);
|
TESTIT (logb, 100/3.0, 5.0);
|
TESTIT (logb, 0x1p5, 5.0);
|
TESTIT (logb, 0x1p5, 5.0);
|
TESTIT (logb, 0x1p10, 10.0);
|
TESTIT (logb, 0x1p10, 10.0);
|
TESTIT (logb, 0x1p20, 20.0);
|
TESTIT (logb, 0x1p20, 20.0);
|
TESTIT (logb, 0x1p30, 30.0);
|
TESTIT (logb, 0x1p30, 30.0);
|
TESTIT (logb, 0x1p40, 40.0);
|
TESTIT (logb, 0x1p40, 40.0);
|
#endif
|
#endif
|
|
|
/* If radix == 2, test that ilogb(ARG2) -> ARG3. */
|
/* If radix == 2, test that ilogb(ARG2) -> ARG3. */
|
#if __FLT_RADIX__ == 2
|
#if __FLT_RADIX__ == 2
|
TESTIT2 (ilogb, -0x1p40, 40);
|
TESTIT2 (ilogb, -0x1p40, 40);
|
TESTIT2 (ilogb, -0x1p30, 30);
|
TESTIT2 (ilogb, -0x1p30, 30);
|
TESTIT2 (ilogb, -0x1p20, 20);
|
TESTIT2 (ilogb, -0x1p20, 20);
|
TESTIT2 (ilogb, -0x1p10, 10);
|
TESTIT2 (ilogb, -0x1p10, 10);
|
TESTIT2 (ilogb, -0x1p5, 5);
|
TESTIT2 (ilogb, -0x1p5, 5);
|
TESTIT2 (ilogb, -100/3.0, 5);
|
TESTIT2 (ilogb, -100/3.0, 5);
|
TESTIT2 (ilogb, -2.0, 1);
|
TESTIT2 (ilogb, -2.0, 1);
|
TESTIT2 (ilogb, -1.5, 0);
|
TESTIT2 (ilogb, -1.5, 0);
|
TESTIT2 (ilogb, -1.0, 0);
|
TESTIT2 (ilogb, -1.0, 0);
|
TESTIT2 (ilogb, -1/3.0, -2);
|
TESTIT2 (ilogb, -1/3.0, -2);
|
TESTIT2 (ilogb, -1/9.0, -4);
|
TESTIT2 (ilogb, -1/9.0, -4);
|
TESTIT2 (ilogb, -0x1p-5, -5);
|
TESTIT2 (ilogb, -0x1p-5, -5);
|
TESTIT2 (ilogb, -0x1p-10, -10);
|
TESTIT2 (ilogb, -0x1p-10, -10);
|
TESTIT2 (ilogb, -0x1p-20, -20);
|
TESTIT2 (ilogb, -0x1p-20, -20);
|
TESTIT2 (ilogb, -0x1p-30, -30);
|
TESTIT2 (ilogb, -0x1p-30, -30);
|
TESTIT2 (ilogb, -0x1p-40, -40);
|
TESTIT2 (ilogb, -0x1p-40, -40);
|
|
|
TESTIT2 (ilogb, 0x1p-40, -40);
|
TESTIT2 (ilogb, 0x1p-40, -40);
|
TESTIT2 (ilogb, 0x1p-30, -30);
|
TESTIT2 (ilogb, 0x1p-30, -30);
|
TESTIT2 (ilogb, 0x1p-20, -20);
|
TESTIT2 (ilogb, 0x1p-20, -20);
|
TESTIT2 (ilogb, 0x1p-10, -10);
|
TESTIT2 (ilogb, 0x1p-10, -10);
|
TESTIT2 (ilogb, 0x1p-5, -5);
|
TESTIT2 (ilogb, 0x1p-5, -5);
|
TESTIT2 (ilogb, 1/9.0, -4);
|
TESTIT2 (ilogb, 1/9.0, -4);
|
TESTIT2 (ilogb, 1/3.0, -2);
|
TESTIT2 (ilogb, 1/3.0, -2);
|
TESTIT2 (ilogb, 1.0, 0);
|
TESTIT2 (ilogb, 1.0, 0);
|
TESTIT2 (ilogb, 1.5, 0);
|
TESTIT2 (ilogb, 1.5, 0);
|
TESTIT2 (ilogb, 2.0, 1);
|
TESTIT2 (ilogb, 2.0, 1);
|
TESTIT2 (ilogb, 100/3.0, 5);
|
TESTIT2 (ilogb, 100/3.0, 5);
|
TESTIT2 (ilogb, 0x1p5, 5);
|
TESTIT2 (ilogb, 0x1p5, 5);
|
TESTIT2 (ilogb, 0x1p10, 10);
|
TESTIT2 (ilogb, 0x1p10, 10);
|
TESTIT2 (ilogb, 0x1p20, 20);
|
TESTIT2 (ilogb, 0x1p20, 20);
|
TESTIT2 (ilogb, 0x1p30, 30);
|
TESTIT2 (ilogb, 0x1p30, 30);
|
TESTIT2 (ilogb, 0x1p40, 40);
|
TESTIT2 (ilogb, 0x1p40, 40);
|
#endif
|
#endif
|
|
|
/* If radix == 2, test that significand(ARG2) -> ARG3. Zero always
|
/* If radix == 2, test that significand(ARG2) -> ARG3. Zero always
|
folds regardless of the radix. */
|
folds regardless of the radix. */
|
TESTIT (significand, -0.0, -0.0);
|
TESTIT (significand, -0.0, -0.0);
|
TESTIT (significand, 0.0, 0.0);
|
TESTIT (significand, 0.0, 0.0);
|
|
|
#if __FLT_RADIX__ == 2
|
#if __FLT_RADIX__ == 2
|
TESTIT (significand, -0x1p5, -1.0);
|
TESTIT (significand, -0x1p5, -1.0);
|
TESTIT (significand, -100/3.0, -100/96.0);
|
TESTIT (significand, -100/3.0, -100/96.0);
|
TESTIT (significand, -1.5, -1.5);
|
TESTIT (significand, -1.5, -1.5);
|
TESTIT (significand, -1.0, -1.0);
|
TESTIT (significand, -1.0, -1.0);
|
TESTIT (significand, -1/3.0, -4/3.0);
|
TESTIT (significand, -1/3.0, -4/3.0);
|
TESTIT (significand, -1/9.0, -16/9.0);
|
TESTIT (significand, -1/9.0, -16/9.0);
|
TESTIT (significand, -0x1p-5, -1.0);
|
TESTIT (significand, -0x1p-5, -1.0);
|
|
|
TESTIT (significand, 0x1p-5, 1.0);
|
TESTIT (significand, 0x1p-5, 1.0);
|
TESTIT (significand, 1/9.0, 16/9.0);
|
TESTIT (significand, 1/9.0, 16/9.0);
|
TESTIT (significand, 1/3.0, 4/3.0);
|
TESTIT (significand, 1/3.0, 4/3.0);
|
TESTIT (significand, 1.0, 1.0);
|
TESTIT (significand, 1.0, 1.0);
|
TESTIT (significand, 1.5, 1.5);
|
TESTIT (significand, 1.5, 1.5);
|
TESTIT (significand, 100/3.0, 100/96.0);
|
TESTIT (significand, 100/3.0, 100/96.0);
|
TESTIT (significand, 0x1p5, 1.0);
|
TESTIT (significand, 0x1p5, 1.0);
|
#endif
|
#endif
|
|
|
/* Test for f(+-Inf) -> +-Inf and f(+-NaN) -> +-NaN, regardless of
|
/* Test for f(+-Inf) -> +-Inf and f(+-NaN) -> +-NaN, regardless of
|
the radix. */
|
the radix. */
|
TESTIT3 (logb, ,inf, , isinf);
|
TESTIT3 (logb, ,inf, , isinf);
|
TESTIT3 (logb, - ,inf, , isinf);
|
TESTIT3 (logb, - ,inf, , isinf);
|
TESTIT3 (logb, ,nan, "", isnan);
|
TESTIT3 (logb, ,nan, "", isnan);
|
TESTIT3 (logb, - ,nan, "", isnan);
|
TESTIT3 (logb, - ,nan, "", isnan);
|
|
|
TESTIT3 (significand, ,inf, , isinf);
|
TESTIT3 (significand, ,inf, , isinf);
|
TESTIT3 (significand, - ,inf, , isinf);
|
TESTIT3 (significand, - ,inf, , isinf);
|
TESTIT3 (significand, ,nan, "", isnan);
|
TESTIT3 (significand, ,nan, "", isnan);
|
TESTIT3 (significand, - ,nan, "", isnan);
|
TESTIT3 (significand, - ,nan, "", isnan);
|
}
|
}
|
|
|
int main()
|
int main()
|
{
|
{
|
foo ();
|
foo ();
|
|
|
return 0;
|
return 0;
|
}
|
}
|
|
|