diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-16 11:03:16 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-16 11:03:16 +0000 |
| commit | 06734da8d7e6f650da5a652c933eb8095f8d6133 (patch) | |
| tree | e0d0e98c8ce375e15c7f970bb865d04058a3c444 | |
| parent | 0e89ecb3bf90d8f86dde285e43e5fd0b9bdeda7c (diff) | |
| download | gcc-06734da8d7e6f650da5a652c933eb8095f8d6133.tar.gz | |
2012-04-16 Richard Guenther <rguenther@suse.de>
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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-if-conv.c | 8 |
2 files changed, 9 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5ae727b8374..173dfee8ac8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,6 +1,12 @@ 2012-04-16 Richard Guenther <rguenther@suse.de> 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 <rguenther@suse.de> + + 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 c86a4aa55bb..31bb610af08 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); |