diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-dom.c | 46 |
2 files changed, 6 insertions, 46 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9be0982..4868c8f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-11-09 Richard Biener <rguenther@suse.de> + + * tree-ssa-dom.c (canonicalize_comparison): Remove. + (optimize_stmt): Remove redundant pre-propagation canonicalization + of comparison operand order. + 2016-11-09 Martin Liska <mliska@suse.cz> * fold-const-call.c (fold_const_call): Fix the folding. diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 5376ff9..85689f3 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -753,49 +753,6 @@ make_pass_dominator (gcc::context *ctxt) } -/* Given a conditional statement CONDSTMT, convert the - condition to a canonical form. */ - -static void -canonicalize_comparison (gcond *condstmt) -{ - tree op0; - tree op1; - enum tree_code code; - - gcc_assert (gimple_code (condstmt) == GIMPLE_COND); - - op0 = gimple_cond_lhs (condstmt); - op1 = gimple_cond_rhs (condstmt); - - code = gimple_cond_code (condstmt); - - /* If it would be profitable to swap the operands, then do so to - canonicalize the statement, enabling better optimization. - - By placing canonicalization of such expressions here we - transparently keep statements in canonical form, even - when the statement is modified. */ - if (tree_swap_operands_p (op0, op1, false)) - { - /* For relationals we need to swap the operands - and change the code. */ - if (code == LT_EXPR - || code == GT_EXPR - || code == LE_EXPR - || code == GE_EXPR) - { - code = swap_tree_comparison (code); - - gimple_cond_set_code (condstmt, code); - gimple_cond_set_lhs (condstmt, op1); - gimple_cond_set_rhs (condstmt, op0); - - update_stmt (condstmt); - } - } -} - /* A trivial wrapper so that we can present the generic jump threading code with a simple API for simplifying statements. */ static tree @@ -1789,9 +1746,6 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si, print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM); } - if (gimple_code (stmt) == GIMPLE_COND) - canonicalize_comparison (as_a <gcond *> (stmt)); - update_stmt_if_modified (stmt); opt_stats.num_stmts++; |