diff options
| author | espindola <espindola@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-24 09:48:41 +0000 |
|---|---|---|
| committer | espindola <espindola@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-24 09:48:41 +0000 |
| commit | ced5bc56a892f34678fa445d3921ca683e5a4b64 (patch) | |
| tree | 831bbe410099a9e9cd9808e14ec5ced2f9d783b4 /gcc/tree-ssa-propagate.c | |
| parent | 06d44c0023d428f85e616b7dd0ddcc9b81e8cbb8 (diff) | |
| download | gcc-ced5bc56a892f34678fa445d3921ca683e5a4b64.tar.gz | |
2008-04-24 Rafael Espindola <espindola@google.com>
* tree-flow.h (vrp_evaluate_conditional): Change signature.
* tree-ssa-propagate.c (fold_predicate_in): Update call to
vrp_evaluate_conditional.
* tree-vrp.c (vrp_evaluate_conditional_warnv): Remove.
(vrp_evaluate_conditional): Split the cond argument.
(vrp_visit_cond_stmt): Use vrp_evaluate_conditional_warnv_with_ops.
(simplify_stmt_for_jump_threading): Update call to
vrp_evaluate_conditional.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134625 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-propagate.c')
| -rw-r--r-- | gcc/tree-ssa-propagate.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c index c37cfa53545..6423ec6ba52 100644 --- a/gcc/tree-ssa-propagate.c +++ b/gcc/tree-ssa-propagate.c @@ -1148,7 +1148,17 @@ fold_predicate_in (tree stmt) else return false; - val = vrp_evaluate_conditional (*pred_p, stmt); + if (TREE_CODE (*pred_p) == SSA_NAME) + val = vrp_evaluate_conditional (EQ_EXPR, + *pred_p, + boolean_true_node, + stmt); + else + val = vrp_evaluate_conditional (TREE_CODE (*pred_p), + TREE_OPERAND (*pred_p, 0), + TREE_OPERAND (*pred_p, 1), + stmt); + if (val) { if (modify_stmt_p) |