From fb4fc71466e14340adc76f29fe900fc3caac62c4 Mon Sep 17 00:00:00 2001 From: DJ Delorie Date: Mon, 27 Apr 2009 19:27:21 -0400 Subject: [PATCH] target-supports.exp (check_effective_target_double64): New. * lib/target-supports.exp (check_effective_target_double64): New. (check_effective_target_double64plus): New. (check_effective_target_large_double): New. * gcc.dg/Wconversion-real-integer.c: Require double64plus. * gcc.dg/div-double-1.c: Likewise. * gcc.dg/Wconversion-real.c: Require large_double. * gcc.dg/cdce1.c: Require large_double instead of checking targets. * gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c: Skip if doubles are too small. * gcc.c-torture/execute/ieee/20010226-1.c: Mark all floating point constants as long. From-SVN: r146863 --- gcc/testsuite/ChangeLog | 15 +++++++++++ .../gcc.c-torture/execute/ieee/20010226-1.c | 6 ++--- .../execute/ieee/unsafe-fp-assoc-1.c | 2 ++ .../gcc.dg/Wconversion-real-integer.c | 1 + gcc/testsuite/gcc.dg/Wconversion-real.c | 1 + gcc/testsuite/gcc.dg/cdce1.c | 2 +- gcc/testsuite/gcc.dg/div-double-1.c | 1 + gcc/testsuite/lib/target-supports.exp | 27 +++++++++++++++++++ 8 files changed, 51 insertions(+), 4 deletions(-) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index aa164b21358e..d7668c402a11 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,18 @@ +2009-04-23 DJ Delorie + + * lib/target-supports.exp (check_effective_target_double64): New. + (check_effective_target_double64plus): New. + (check_effective_target_large_double): New. + * gcc.dg/Wconversion-real-integer.c: Require double64plus. + * gcc.dg/div-double-1.c: Likewise. + * gcc.dg/Wconversion-real.c: Require large_double. + * gcc.dg/cdce1.c: Require large_double instead of checking targets. + + * gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c: Skip if doubles are too small. + + * gcc.c-torture/execute/ieee/20010226-1.c: Mark all floating point + constants as long. + 2009-04-27 Ian Lance Taylor * gcc.dg/Wcxx-compat-5.c: New testcase. diff --git a/gcc/testsuite/gcc.c-torture/execute/ieee/20010226-1.c b/gcc/testsuite/gcc.c-torture/execute/ieee/20010226-1.c index daa2745e9394..ec292aca3d4f 100644 --- a/gcc/testsuite/gcc.c-torture/execute/ieee/20010226-1.c +++ b/gcc/testsuite/gcc.c-torture/execute/ieee/20010226-1.c @@ -1,6 +1,6 @@ #include -long double dfrom = 1.1; +long double dfrom = 1.1L; long double m1; long double m2; unsigned long mant_long; @@ -13,8 +13,8 @@ int main() if (LDBL_EPSILON > 0x1p-31L) return 0; - m1 = dfrom / 2.0; - m2 = m1 * 4294967296.0; + m1 = dfrom / 2.0L; + m2 = m1 * 4294967296.0L; mant_long = ((unsigned long) m2) & 0xffffffff; if (mant_long == 0x8ccccccc) diff --git a/gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c b/gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c index c15653cd2e17..7021b99ad7fd 100644 --- a/gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c +++ b/gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c @@ -32,6 +32,8 @@ void func ( double x ) int main() { + if (sizeof (double) == 4) + return 0; func((double)1.00); return 0; } diff --git a/gcc/testsuite/gcc.dg/Wconversion-real-integer.c b/gcc/testsuite/gcc.dg/Wconversion-real-integer.c index 1625fc03581a..c61ea70c7815 100644 --- a/gcc/testsuite/gcc.dg/Wconversion-real-integer.c +++ b/gcc/testsuite/gcc.dg/Wconversion-real-integer.c @@ -5,6 +5,7 @@ /* { dg-skip-if "doubles are floats,ints are 16bits" { "avr-*-*" } { "*" } { "" } } */ /* { dg-options "-std=c99 -Wconversion" } */ /* { dg-require-effective-target int32plus } */ +/* { dg-require-effective-target double64plus } */ #include void fsi (signed int x); diff --git a/gcc/testsuite/gcc.dg/Wconversion-real.c b/gcc/testsuite/gcc.dg/Wconversion-real.c index 06396fba33c8..ed7371b51232 100644 --- a/gcc/testsuite/gcc.dg/Wconversion-real.c +++ b/gcc/testsuite/gcc.dg/Wconversion-real.c @@ -3,6 +3,7 @@ /* { dg-do compile } */ /* { dg-skip-if "doubles are floats" { "avr-*-*" } { "*" } { "" } } */ /* { dg-options "-std=c99 -Wconversion" } */ +/* { dg-require-effective-target large_double } */ float vfloat; double vdouble; diff --git a/gcc/testsuite/gcc.dg/cdce1.c b/gcc/testsuite/gcc.dg/cdce1.c index dda50207015e..3bd35ecb7867 100644 --- a/gcc/testsuite/gcc.dg/cdce1.c +++ b/gcc/testsuite/gcc.dg/cdce1.c @@ -1,8 +1,8 @@ /* { dg-do run } */ -/* { dg-skip-if "doubles are floats" { "avr-*-*" "m32c-*-*" } { "*" } { "" } } */ /* { dg-options "-O2 -fmath-errno -fdump-tree-cdce-details -lm" } */ /* { dg-final { scan-tree-dump "cdce1.c:16: note: function call is shrink-wrapped into error conditions\." "cdce" } } */ /* { dg-final { cleanup-tree-dump "cdce" } } */ +/* { dg-require-effective-target large_double } */ #include #include diff --git a/gcc/testsuite/gcc.dg/div-double-1.c b/gcc/testsuite/gcc.dg/div-double-1.c index 0cb8268e8687..f290ab067821 100644 --- a/gcc/testsuite/gcc.dg/div-double-1.c +++ b/gcc/testsuite/gcc.dg/div-double-1.c @@ -1,5 +1,6 @@ /* { dg-do run } */ /* { dg-options "-O2 -ffinite-math-only" } */ +/* { dg-require-effective-target double64plus } */ extern void abort (void); diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp index 884e743d4058..cf1ed8690db6 100644 --- a/gcc/testsuite/lib/target-supports.exp +++ b/gcc/testsuite/lib/target-supports.exp @@ -1194,6 +1194,33 @@ proc check_effective_target_large_long_double { } { }] } +# Return 1 if the target supports double larger than float, +# 0 otherwise. + +proc check_effective_target_large_double { } { + return [check_no_compiler_messages large_double object { + int dummy[sizeof(double) > sizeof(float) ? 1 : -1]; + }] +} + +# Return 1 if the target supports double of 64 bits, +# 0 otherwise. + +proc check_effective_target_double64 { } { + return [check_no_compiler_messages double64 object { + int dummy[sizeof(double) == 8 ? 1 : -1]; + }] +} + +# Return 1 if the target supports double of at least 64 bits, +# 0 otherwise. + +proc check_effective_target_double64plus { } { + return [check_no_compiler_messages double64plus object { + int dummy[sizeof(double) >= 8 ? 1 : -1]; + }] +} + # Return 1 if the target supports compiling fixed-point, # 0 otherwise.