public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Richard Guenther <rguenther@suse.de>
To: gcc-patches@gcc.gnu.org
Subject: [PATCH] Propagate out predicate inversions in forwprop
Date: Wed, 07 Sep 2011 11:55:00 -0000	[thread overview]
Message-ID: <alpine.LNX.2.00.1109071339110.2130@zhemvz.fhfr.qr> (raw)


This makes sure that we propagate comparisons that we cannot invert
into inverted conditions by swapping edges or the conditional ops.
For the testcase it transforms

<bb 2>:
  D.2724_4 = xx_2(D) < xy_3(D);
  p_5 = (int) D.2724_4;
  D.2725_6 = p_5 == 0;
  np_7 = (int) D.2725_6;
  if (np_7 != 0)

to

<bb 2>:
  if (xx_2(D) < xy_3(D))

while without the patch we would be left with

<bb 2>:
  D.2724_4 = xx_2(D) < xy_3(D);
  if (D.2724_4 == 0)

Bootstrap and regtest ongoing on x86_64-unknown-linux-gnu.

Richard.

2011-09-07  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-forwprop.c (forward_propagate_into_gimple_cond):
	Canonicalize negated predicates by swapping edges.
	(forward_propagate_into_cond): Likewise.

	* gcc.dg/tree-ssa/forwprop-16.c: New testcase.

Index: gcc/tree-ssa-forwprop.c
===================================================================
*** gcc/tree-ssa-forwprop.c	(revision 178633)
--- gcc/tree-ssa-forwprop.c	(working copy)
*************** forward_propagate_into_gimple_cond (gimp
*** 534,539 ****
--- 534,556 ----
        return (cfg_changed || is_gimple_min_invariant (tmp)) ? 2 : 1;
      }
  
+   /* Canonicalize _Bool == 0 and _Bool != 1 to _Bool != 0 by swapping edges.  */
+   if ((TREE_CODE (TREE_TYPE (rhs1)) == BOOLEAN_TYPE
+        || (INTEGRAL_TYPE_P (TREE_TYPE (rhs1))
+ 	   && TYPE_PRECISION (TREE_TYPE (rhs1)) == 1))
+       && ((code == EQ_EXPR
+ 	   && integer_zerop (rhs2))
+ 	  || (code == NE_EXPR
+ 	      && integer_onep (rhs2))))
+     {
+       basic_block bb = gimple_bb (stmt);
+       gimple_cond_set_code (stmt, NE_EXPR);
+       gimple_cond_set_rhs (stmt, build_zero_cst (TREE_TYPE (rhs1)));
+       EDGE_SUCC (bb, 0)->flags ^= (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE);
+       EDGE_SUCC (bb, 1)->flags ^= (EDGE_TRUE_VALUE|EDGE_FALSE_VALUE);
+       return 1;
+     }
+ 
    return 0;
  }
  
*************** forward_propagate_into_cond (gimple_stmt
*** 548,553 ****
--- 565,571 ----
    gimple stmt = gsi_stmt (*gsi_p);
    tree tmp = NULL_TREE;
    tree cond = gimple_assign_rhs1 (stmt);
+   bool swap = false;
  
    /* We can do tree combining on SSA_NAME and comparison expressions.  */
    if (COMPARISON_CLASS_P (cond))
*************** forward_propagate_into_cond (gimple_stmt
*** 557,573 ****
  					       TREE_OPERAND (cond, 1));
    else if (TREE_CODE (cond) == SSA_NAME)
      {
        tree name = cond;
        gimple def_stmt = get_prop_source_stmt (name, true, NULL);
        if (!def_stmt || !can_propagate_from (def_stmt))
  	return 0;
  
!       if (TREE_CODE_CLASS (gimple_assign_rhs_code (def_stmt)) == tcc_comparison)
  	tmp = fold_build2_loc (gimple_location (def_stmt),
! 			       gimple_assign_rhs_code (def_stmt),
  			       boolean_type_node,
  			       gimple_assign_rhs1 (def_stmt),
  			       gimple_assign_rhs2 (def_stmt));
      }
  
    if (tmp)
--- 575,601 ----
  					       TREE_OPERAND (cond, 1));
    else if (TREE_CODE (cond) == SSA_NAME)
      {
+       enum tree_code code;
        tree name = cond;
        gimple def_stmt = get_prop_source_stmt (name, true, NULL);
        if (!def_stmt || !can_propagate_from (def_stmt))
  	return 0;
  
!       code = gimple_assign_rhs_code (def_stmt);
!       if (TREE_CODE_CLASS (code) == tcc_comparison)
  	tmp = fold_build2_loc (gimple_location (def_stmt),
! 			       code,
  			       boolean_type_node,
  			       gimple_assign_rhs1 (def_stmt),
  			       gimple_assign_rhs2 (def_stmt));
+       else if ((code == BIT_NOT_EXPR
+ 		&& TYPE_PRECISION (TREE_TYPE (cond)) == 1)
+ 	       || (code == BIT_XOR_EXPR
+ 		   && integer_onep (gimple_assign_rhs2 (def_stmt))))
+ 	{
+ 	  tmp = gimple_assign_rhs1 (def_stmt);
+ 	  swap = true;
+ 	}
      }
  
    if (tmp)
*************** forward_propagate_into_cond (gimple_stmt
*** 586,592 ****
        else if (integer_zerop (tmp))
  	gimple_assign_set_rhs_from_tree (gsi_p, gimple_assign_rhs3 (stmt));
        else
! 	gimple_assign_set_rhs1 (stmt, unshare_expr (tmp));
        stmt = gsi_stmt (*gsi_p);
        update_stmt (stmt);
  
--- 614,628 ----
        else if (integer_zerop (tmp))
  	gimple_assign_set_rhs_from_tree (gsi_p, gimple_assign_rhs3 (stmt));
        else
! 	{
! 	  gimple_assign_set_rhs1 (stmt, unshare_expr (tmp));
! 	  if (swap)
! 	    {
! 	      tree t = gimple_assign_rhs2 (stmt);
! 	      gimple_assign_set_rhs2 (stmt, gimple_assign_rhs3 (stmt));
! 	      gimple_assign_set_rhs3 (stmt, t);
! 	    }
! 	}
        stmt = gsi_stmt (*gsi_p);
        update_stmt (stmt);
  
Index: gcc/testsuite/gcc.dg/tree-ssa/forwprop-16.c
===================================================================
*** gcc/testsuite/gcc.dg/tree-ssa/forwprop-16.c	(revision 0)
--- gcc/testsuite/gcc.dg/tree-ssa/forwprop-16.c	(revision 0)
***************
*** 0 ****
--- 1,14 ----
+ /* { dg-do compile } */
+ /* { dg-options "-O -fdump-tree-forwprop1" } */
+ 
+ int foo (double xx, double xy)
+ {
+   int p = xx < xy;
+   int np = !p; 
+   if (np)
+     return 5;
+   return 2;
+ }
+ 
+ /* { dg-final { scan-tree-dump "if \\\(x" "forwprop1" } } */
+ /* { dg-final { cleanup-tree-dump "forwprop1" } } */

             reply	other threads:[~2011-09-07 11:47 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-09-07 11:55 Richard Guenther [this message]
2011-09-07 19:51 ` Andrew Pinski

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=alpine.LNX.2.00.1109071339110.2130@zhemvz.fhfr.qr \
    --to=rguenther@suse.de \
    --cc=gcc-patches@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).