Hi, This patch forces boolean vector usage in VEC_COND_EXPR generated by vectorizer. VEC_COND_EXPR expand is fixed appropriately.
Thanks, Ilya -- gcc/ 2015-10-02 Ilya Enkovich <enkovich....@gmail.com> * optabs.c (expand_vec_cond_expr): Accept boolean vector as condition operand. * tree-vect-stmts.c (vectorizable_condition): Use boolean vector type for vector comparison. diff --git a/gcc/optabs.c b/gcc/optabs.c index c49d66b..8d9d742 100644 --- a/gcc/optabs.c +++ b/gcc/optabs.c @@ -5365,16 +5365,17 @@ expand_vec_cond_expr (tree vec_cond_type, tree op0, tree op1, tree op2, op0a = TREE_OPERAND (op0, 0); op0b = TREE_OPERAND (op0, 1); tcode = TREE_CODE (op0); + unsignedp = TYPE_UNSIGNED (TREE_TYPE (op0a)); } else { /* Fake op0 < 0. */ - gcc_assert (!TYPE_UNSIGNED (TREE_TYPE (op0))); + gcc_assert (VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (op0))); op0a = op0; op0b = build_zero_cst (TREE_TYPE (op0)); tcode = LT_EXPR; + unsignedp = false; } - unsignedp = TYPE_UNSIGNED (TREE_TYPE (op0a)); cmp_op_mode = TYPE_MODE (TREE_TYPE (op0a)); diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 2ff2827..e93f5ef 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -7384,10 +7384,7 @@ vectorizable_condition (gimple *stmt, gimple_stmt_iterator *gsi, && TREE_CODE (else_clause) != FIXED_CST) return false; - unsigned int prec = GET_MODE_BITSIZE (TYPE_MODE (TREE_TYPE (vectype))); - /* The result of a vector comparison should be signed type. */ - tree cmp_type = build_nonstandard_integer_type (prec, 0); - vec_cmp_type = get_same_sized_vectype (cmp_type, vectype); + vec_cmp_type = build_same_sized_truth_vector_type (comp_vectype); if (vec_cmp_type == NULL_TREE) return false;