From 54e075fe1e9c8b58253ed51df15b3039d7c3053a Mon Sep 17 00:00:00 2001 From: Andrew Pinski Date: Fri, 24 Sep 2004 13:26:29 +0000 Subject: [PATCH] re PR tree-optimization/17624 (ICE: SSA corruption (another one)) 2004-09-24 Andrew Pinski PR tree-opt/17624 * tree-ssa-forwprop.c (record_single_argument_cond_exprs): Reject if any of the operands occur in an abnormal PHI. From-SVN: r88032 --- gcc/ChangeLog | 6 ++++++ gcc/tree-ssa-forwprop.c | 30 ++++++++++++++++++++++++++++++ 2 files changed, 36 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b2f6bf779d6..aac77b4166f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-09-24 Andrew Pinski + + PR tree-opt/17624 + * tree-ssa-forwprop.c (record_single_argument_cond_exprs): + Reject if any of the operands occur in an abnormal PHI. + 2004-09-24 Andreas Schwab * tree-ssa-dom.c (record_range): Fix violation of strict aliasing diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index 619cab03320..cbf1fdec578 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -212,6 +212,11 @@ record_single_argument_cond_exprs (varray_type cond_worklist, || !CONSTANT_CLASS_P (op1) || !INTEGRAL_TYPE_P (TREE_TYPE (op1))) continue; + + /* Don't propagate if the first operand occurs in + an abnormal PHI. */ + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0)) + continue; } /* These cases require comparisons of a naked SSA_NAME or @@ -235,6 +240,18 @@ record_single_argument_cond_exprs (varray_type cond_worklist, || (TREE_CODE (op1) != SSA_NAME && !is_gimple_min_invariant (op1))) continue; + + /* Don't propagate if the first operand occurs in + an abnormal PHI. */ + if (TREE_CODE (op0) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0)) + continue; + + /* Don't propagate if the second operand occurs in + an abnormal PHI. */ + if (TREE_CODE (op1) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op1)) + continue; } /* If TEST_VAR is set from a TRUTH_NOT_EXPR, then it @@ -247,6 +264,12 @@ record_single_argument_cond_exprs (varray_type cond_worklist, if (TREE_CODE (def_rhs) != SSA_NAME && !is_gimple_min_invariant (def_rhs)) continue; + + /* Don't propagate if the operand occurs in + an abnormal PHI. */ + if (TREE_CODE (def_rhs) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def_rhs)) + continue; } /* If TEST_VAR was set from a cast of an integer type @@ -268,6 +291,13 @@ record_single_argument_cond_exprs (varray_type cond_worklist, ; else continue; + + /* Don't propagate if the operand occurs in + an abnormal PHI. */ + if (TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND + (def_rhs, 0))) + continue; } else continue; -- 2.30.2