From b9333ec437f272951ced9a390737116ef3f56909 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 17 Jul 2019 09:15:30 +0200 Subject: [PATCH] re PR tree-optimization/91157 (ICE: verify_gimple failed (error: position plus size exceeds size of referenced object in 'bit_field_ref')) PR tree-optimization/91157 * tree-vect-generic.c (expand_vector_comparison): Handle lhs being a vector boolean with scalar mode. (expand_vector_condition): Handle first operand being a vector boolean with scalar mode. (expand_vector_operations_1): For comparisons, don't bail out early if the return type is vector boolean with scalar mode, but comparison operand type is not. * gcc.target/i386/avx512f-pr91157.c: New test. * gcc.target/i386/avx512bw-pr91157.c: New test. From-SVN: r273545 --- gcc/tree-vect-generic.c | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c index 6fcd37c8a69..5855653257b 100644 --- a/gcc/tree-vect-generic.c +++ b/gcc/tree-vect-generic.c @@ -384,7 +384,6 @@ expand_vector_comparison (gimple_stmt_iterator *gsi, tree type, tree op0, && !expand_vec_cond_expr_p (type, TREE_TYPE (op0), code)) { if (VECTOR_BOOLEAN_TYPE_P (type) - && VECTOR_BOOLEAN_TYPE_P (type) && SCALAR_INT_MODE_P (TYPE_MODE (type)) && known_lt (GET_MODE_BITSIZE (TYPE_MODE (type)), TYPE_VECTOR_SUBPARTS (type) -- 2.30.2