diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2005-07-25 20:23:50 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2005-07-25 13:23:50 -0700 |
| commit | c72f711f8aa995eef830a3189fd0ca65c663544e (patch) | |
| tree | 84e5a56aec9d4dbd3e5bb74ed964647e3c00138e | |
| parent | 160633c62690e70e5af6bad15c3e0ccab8b59578 (diff) | |
| download | gcc-c72f711f8aa995eef830a3189fd0ca65c663544e.zip gcc-c72f711f8aa995eef830a3189fd0ca65c663544e.tar.gz gcc-c72f711f8aa995eef830a3189fd0ca65c663544e.tar.bz2 | |
tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point types when flag_unsafe_math_optimizations is true.
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
* tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point
types when flag_unsafe_math_optimizations is true.
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
* gcc.dg/tree-ssa/reassoc-3.c: New test.
* gcc.dg/tree-ssa/reassoc-4.c: New test.
From-SVN: r102368
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/reassoc-3.c | 18 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/reassoc-4.c | 18 | ||||
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 11 |
5 files changed, 53 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7d8d6f7..2217142 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-07-25 Andrew Pinski <pinskia@physics.uc.edu> + + * tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point + types when flag_unsafe_math_optimizations is true. + 2005-07-25 Mark Mitchell <mark@codesourcery.com> * gcc.c (option_map): Add --sysroot. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index affa4b6..bcdb54c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-07-25 Andrew Pinski <pinskia@physics.uc.edu> + + * gcc.dg/tree-ssa/reassoc-3.c: New test. + * gcc.dg/tree-ssa/reassoc-4.c: New test. + 2005-07-25 Adam Nemet <anemet@lnxw.com> * lib/profopt.exp (profopt-execute): Check for profiling data diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-3.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-3.c new file mode 100644 index 0000000..3800497 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-3.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized -ffast-math" } */ +float a, b, c, d; +extern int printf (const char *, ...); +int main(void) +{ + float e; + float f; + /* We should be able to transform these into the same expression, and only have two additions. */ + e = a + b; + e = e + c; + f = c + a; + f = f + b; + printf ("%f %f\n", e, f); +} + +/* { dg-final { scan-tree-dump-times "\\\+" 2 "optimized"} } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-4.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-4.c new file mode 100644 index 0000000..6f46752 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-4.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ +float a, b, c, d; +extern int printf (const char *, ...); +int main(void) +{ + float e; + float f; + /* We should not be able to transform these into the same expression, and only have two additions. */ + e = a + b; + e = e + c; + f = c + a; + f = f + b; + printf ("%f %f\n", e, f); +} + +/* { dg-final { scan-tree-dump-times "\\\+" 4 "optimized"} } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index 395c549..e0d4561 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -435,10 +435,13 @@ reassociate_expr (tree bexpr, block_stmt_iterator *currbsi) unsigned int lhsrank = get_rank (lhs); unsigned int rhsrank = get_rank (rhs); - /* I don't want to get into the business of floating point - reassociation. */ - if (!INTEGRAL_TYPE_P (TREE_TYPE (lhs)) - || !INTEGRAL_TYPE_P (TREE_TYPE (rhs))) + /* If unsafe math optimizations we can do reassociation for non integal + types. */ + if ((!INTEGRAL_TYPE_P (TREE_TYPE (lhs)) + || !INTEGRAL_TYPE_P (TREE_TYPE (rhs))) + && (!SCALAR_FLOAT_TYPE_P (TREE_TYPE (rhs)) + || !SCALAR_FLOAT_TYPE_P (TREE_TYPE(lhs)) + || !flag_unsafe_math_optimizations)) return false; /* We want the greater ranked operand to be our "LHS" for simplicity |