From 06734da8d7e6f650da5a652c933eb8095f8d6133 Mon Sep 17 00:00:00 2001 From: rguenth Date: Mon, 16 Apr 2012 11:03:16 +0000 Subject: [PATCH] 2012-04-16 Richard Guenther PR tree-optimization/52975 * tree-if-conv.c (predicate_bbs): Do not simplify inverted condition but always mark it with TRUTH_NOT_EXPR. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@186491 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/tree-if-conv.c | 8 +++----- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5ae727b..173dfee 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,6 +1,12 @@ 2012-04-16 Richard Guenther PR tree-optimization/52975 + * tree-if-conv.c (predicate_bbs): Do not simplify inverted + condition but always mark it with TRUTH_NOT_EXPR. + +2012-04-16 Richard Guenther + + PR tree-optimization/52975 * tree-ssa-forwprop.c (combine_cond_exprs): New function. (ssa_forward_propagate_and_combine): Call it for COND_EXPRs and VEC_COND_EXPRs. Also combine into VEC_COND_EXPRs condition. diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index c86a4aa5..31bb610 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -968,7 +968,7 @@ predicate_bbs (loop_p loop) case GIMPLE_COND: { - tree c2, tem; + tree c2; edge true_edge, false_edge; location_t loc = gimple_location (stmt); tree c = fold_build2_loc (loc, gimple_cond_code (stmt), @@ -986,10 +986,8 @@ predicate_bbs (loop_p loop) unshare_expr (c)); /* If C is false, then FALSE_EDGE is taken. */ - c2 = invert_truthvalue_loc (loc, unshare_expr (c)); - tem = canonicalize_cond_expr_cond (c2); - if (tem) - c2 = tem; + c2 = build1_loc (loc, TRUTH_NOT_EXPR, + boolean_type_node, unshare_expr (c)); add_to_dst_predicate_list (loop, false_edge, unshare_expr (cond), c2); -- 2.7.4