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 /gcc/tree-ssa-reassoc.c | |
| 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
Diffstat (limited to 'gcc/tree-ssa-reassoc.c')
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 11 |
1 files changed, 7 insertions, 4 deletions
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 |