From e05eee4908da6139ecdfe1be68af5b58418ceedf Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 14 Oct 2010 21:34:16 +0200 Subject: re PR tree-optimization/46008 (Floating point condexpr not vectorized) PR tree-optimization/46008 * tree-if-conv.c (predicate_bbs): Try to canonicalize c2 if possible. From-SVN: r165476 --- gcc/ChangeLog | 6 ++++++ gcc/tree-if-conv.c | 5 ++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index bab6958..499efa5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-10-14 Jakub Jelinek + + PR tree-optimization/46008 + * tree-if-conv.c (predicate_bbs): Try to canonicalize c2 + if possible. + 2010-10-14 Richard Guenther PR tree-optimization/44913 diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index e92090f..642dbda 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -915,7 +915,7 @@ predicate_bbs (loop_p loop) case GIMPLE_COND: { - tree c2; + tree c2, tem; edge true_edge, false_edge; location_t loc = gimple_location (stmt); tree c = fold_build2_loc (loc, gimple_cond_code (stmt), @@ -932,6 +932,9 @@ predicate_bbs (loop_p loop) /* 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; add_to_dst_predicate_list (loop, false_edge, cond, c2); cond = NULL_TREE; -- cgit v1.1