From 738764ef1e4321a6e385b30cf52f8ae1d9eb43b1 Mon Sep 17 00:00:00 2001 From: Roger Sayle Date: Tue, 25 Jul 2006 23:21:56 +0000 Subject: re PR middle-end/28473 (with -O, casting result of round(x) to uint64_t produces wrong values for x > INT_MAX) PR middle-end/28473 * convert.c (convert_to_integer): When transforming (T)foo(x) into bar(x) check that bar's result type can represent all the values of T. * gcc.dg/fold-convround-1.c: New test case. From-SVN: r115742 --- gcc/testsuite/gcc.dg/fold-convround-1.c | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/fold-convround-1.c (limited to 'gcc/testsuite/gcc.dg/fold-convround-1.c') diff --git a/gcc/testsuite/gcc.dg/fold-convround-1.c b/gcc/testsuite/gcc.dg/fold-convround-1.c new file mode 100644 index 00000000000..86612aa81b3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/fold-convround-1.c @@ -0,0 +1,30 @@ +/* PR middle-end/28473. */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-original" } */ + +extern double round(double); +extern double floor(double); +extern double ceil(double); + +unsigned long long test1(double x) +{ + return (unsigned long long) round(x); +} + +unsigned long long test2(double x) +{ + return (unsigned long long) floor(x); +} +unsigned long long test3(double x) +{ + return (unsigned long long) ceil(x); +} + +/* { dg-final { scan-tree-dump-times "__builtin_lround" 0 "original" } } */ +/* { dg-final { scan-tree-dump-times "__builtin_llround" 0 "original" } } */ +/* { dg-final { scan-tree-dump-times "__builtin_lfloor" 0 "original" } } */ +/* { dg-final { scan-tree-dump-times "__builtin_llfloor" 0 "original" } } */ +/* { dg-final { scan-tree-dump-times "__builtin_lceil" 0 "original" } } */ +/* { dg-final { scan-tree-dump-times "__builtin_llceil" 0 "original" } } */ +/* { dg-final { cleanup-tree-dump "original" } } */ + -- cgit v1.2.1