From 5dc6ed539f4bf5f3c8c1cb29f66490460cd42405 Mon Sep 17 00:00:00 2001 From: jakub Date: Tue, 30 Sep 2008 17:00:49 +0000 Subject: PR tree-optimization/37662 PR tree-optimization/37663 * tree-vrp.c (simplify_truth_ops_using_ranges): Don't call get_value_range with non-SSA_NAME. Don't assert operands have been folded, instead just bail out. * gcc.c-torture/compile/pr37662.c: New test. * gcc.dg/pr37663.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@140792 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/tree-vrp.c | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) (limited to 'gcc/tree-vrp.c') diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index fbcda55fc2a..4f1c3288ce7 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6304,9 +6304,12 @@ simplify_truth_ops_using_ranges (gimple_stmt_iterator *gsi, gimple stmt) bool need_conversion; op0 = gimple_assign_rhs1 (stmt); - vr = get_value_range (op0); if (TYPE_PRECISION (TREE_TYPE (op0)) != 1) { + if (TREE_CODE (op0) != SSA_NAME) + return false; + vr = get_value_range (op0); + val = compare_range_with_value (GE_EXPR, vr, integer_zero_node, &sop); if (!val || !integer_onep (val)) return false; @@ -6329,10 +6332,15 @@ simplify_truth_ops_using_ranges (gimple_stmt_iterator *gsi, gimple stmt) if (is_gimple_min_invariant (op1)) { /* Exclude anything that should have been already folded. */ - gcc_assert (rhs_code == EQ_EXPR || rhs_code == NE_EXPR - || rhs_code == TRUTH_XOR_EXPR); - gcc_assert (integer_zerop (op1) || integer_onep (op1) - || integer_all_onesp (op1)); + if (rhs_code != EQ_EXPR + && rhs_code != NE_EXPR + && rhs_code != TRUTH_XOR_EXPR) + return false; + + if (!integer_zerop (op1) + && !integer_onep (op1) + && !integer_all_onesp (op1)) + return false; /* Limit the number of cases we have to consider. */ if (rhs_code == EQ_EXPR) -- cgit v1.2.1