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" } } */
next 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).