tree-ssa-dom.c (canonicalize_comparison): Remove.

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.

From-SVN: r242003

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9be098291be53cd5ea000578f7845a8086f97c95..4868c8fa610f0c9fb1baa7b8476c55321bbc07d8 100644 (file)
--- 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 5376ff9fc90036a4c7ada1bdf2d7f859cb11d59a..85689f3d93f009e34653e7867e794f9fd179ebe0 100644 (file)
--- 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++;