[PATCH] Fix PR80453
Richard Biener
rguenther@suse.de
Thu Apr 20 15:09:00 GMT 2017
The following fixes PR80453.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk
sofar.
Richard.
2017-04-20 Richard Biener <rguenther@suse.de>
PR tree-optimization/80453
* tree-ssa-sccvn.h (struct vn_phi_s): Add cclhs and ccrhs members.
* tree-ssa-sccvn.c (cond_stmts_equal_p): Use recorded lhs and rhs
from the conditions.
(vn_phi_eq): Pass them down.
(vn_phi_lookup): Record them.
(vn_phi_insert): Likewise.
Index: gcc/tree-ssa-sccvn.c
===================================================================
--- gcc/tree-ssa-sccvn.c (revision 246964)
+++ gcc/tree-ssa-sccvn.c (working copy)
@@ -2916,14 +2916,11 @@ vn_phi_compute_hash (vn_phi_t vp1)
the other. */
static bool
-cond_stmts_equal_p (gcond *cond1, gcond *cond2, bool *inverted_p)
+cond_stmts_equal_p (gcond *cond1, tree lhs1, tree rhs1,
+ gcond *cond2, tree lhs2, tree rhs2, bool *inverted_p)
{
enum tree_code code1 = gimple_cond_code (cond1);
enum tree_code code2 = gimple_cond_code (cond2);
- tree lhs1 = gimple_cond_lhs (cond1);
- tree lhs2 = gimple_cond_lhs (cond2);
- tree rhs1 = gimple_cond_rhs (cond1);
- tree rhs2 = gimple_cond_rhs (cond2);
*inverted_p = false;
if (code1 == code2)
@@ -2941,10 +2938,6 @@ cond_stmts_equal_p (gcond *cond1, gcond
else
return false;
- lhs1 = vn_valueize (lhs1);
- rhs1 = vn_valueize (rhs1);
- lhs2 = vn_valueize (lhs2);
- rhs2 = vn_valueize (rhs2);
return ((expressions_equal_p (lhs1, lhs2)
&& expressions_equal_p (rhs1, rhs2))
|| (commutative_tree_code (code1)
@@ -3002,7 +2995,10 @@ vn_phi_eq (const_vn_phi_t const vp1, con
return false;
bool inverted_p;
if (! cond_stmts_equal_p (as_a <gcond *> (last1),
- as_a <gcond *> (last2), &inverted_p))
+ vp1->cclhs, vp1->ccrhs,
+ as_a <gcond *> (last2),
+ vp2->cclhs, vp2->ccrhs,
+ &inverted_p))
return false;
/* Get at true/false controlled edges into the PHI. */
@@ -3081,6 +3077,16 @@ vn_phi_lookup (gimple *phi)
vp1.type = TREE_TYPE (gimple_phi_result (phi));
vp1.phiargs = shared_lookup_phiargs;
vp1.block = gimple_bb (phi);
+ /* Extract values of the controlling condition. */
+ vp1.cclhs = NULL_TREE;
+ vp1.ccrhs = NULL_TREE;
+ basic_block idom1 = get_immediate_dominator (CDI_DOMINATORS, vp1.block);
+ if (EDGE_COUNT (idom1->succs) == 2)
+ if (gcond *last1 = dyn_cast <gcond *> (last_stmt (idom1)))
+ {
+ vp1.cclhs = vn_valueize (gimple_cond_lhs (last1));
+ vp1.ccrhs = vn_valueize (gimple_cond_rhs (last1));
+ }
vp1.hashcode = vn_phi_compute_hash (&vp1);
slot = current_info->phis->find_slot_with_hash (&vp1, vp1.hashcode,
NO_INSERT);
@@ -3117,6 +3123,16 @@ vn_phi_insert (gimple *phi, tree result)
vp1->type = TREE_TYPE (gimple_phi_result (phi));
vp1->phiargs = args;
vp1->block = gimple_bb (phi);
+ /* Extract values of the controlling condition. */
+ vp1->cclhs = NULL_TREE;
+ vp1->ccrhs = NULL_TREE;
+ basic_block idom1 = get_immediate_dominator (CDI_DOMINATORS, vp1->block);
+ if (EDGE_COUNT (idom1->succs) == 2)
+ if (gcond *last1 = dyn_cast <gcond *> (last_stmt (idom1)))
+ {
+ vp1->cclhs = vn_valueize (gimple_cond_lhs (last1));
+ vp1->ccrhs = vn_valueize (gimple_cond_rhs (last1));
+ }
vp1->result = result;
vp1->hashcode = vn_phi_compute_hash (vp1);
Index: gcc/tree-ssa-sccvn.h
===================================================================
--- gcc/tree-ssa-sccvn.h (revision 246964)
+++ gcc/tree-ssa-sccvn.h (working copy)
@@ -67,6 +67,9 @@ typedef struct vn_phi_s
hashval_t hashcode;
vec<tree> phiargs;
basic_block block;
+ /* Controlling condition lhs/rhs. */
+ tree cclhs;
+ tree ccrhs;
tree type;
tree result;
} *vn_phi_t;
More information about the Gcc-patches
mailing list