From fdc7e5d00e0d577852dd17d6207750e8efacda0e Mon Sep 17 00:00:00 2001 From: Fariborz Jahanian Date: Wed, 10 Nov 2004 19:06:53 +0000 Subject: [PATCH] Test for PR tree-optimization/17892. From-SVN: r90447 --- .../execute/ieee/unsafe-fp-assoc-1.c | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c 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 new file mode 100644 index 00000000000..c15653cd2e1 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/ieee/unsafe-fp-assoc-1.c @@ -0,0 +1,37 @@ +extern void abort(); + +typedef union { + struct { + unsigned int hi; + unsigned int lo; + } i; + double d; +} hexdouble; + +static const double twoTo52 = 0x1.0p+52; + +void func ( double x ) +{ + hexdouble argument; + register double y, z; + unsigned int xHead; + argument.d = x; + xHead = argument.i.hi & 0x7fffffff; + if (__builtin_expect(!!(xHead < 0x43300000u), 1)) + { + y = ( x - twoTo52 ) + twoTo52; + if ( y != x ) + abort(); + z = x - 0.5; + y = ( z - twoTo52 ) + twoTo52; + if ( y == (( x - twoTo52 ) + twoTo52) ) + abort(); + } + return; +} + +int main() +{ + func((double)1.00); + return 0; +} -- 2.30.2