From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c | 137 +++++++++++++++++++++++++ 1 file changed, 137 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c (limited to 'gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c') diff --git a/gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c b/gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c new file mode 100644 index 000000000..3ef23648a --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/builtin-frexp-1.c @@ -0,0 +1,137 @@ +/* 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 mips*-*-irix6* 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; +} -- cgit v1.2.3