From 8b7db2596e34866f3143938e017e97fb903b3279 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 16 Apr 2012 11:03:16 +0000 Subject: [PATCH] re PR tree-optimization/52975 (Ofast produces not optimized code for vectorized "converted if") 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. From-SVN: r186491 --- 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 5ae727b8374..173dfee8ac8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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 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); -- 2.30.2