Commit b9333ec4 by Jakub Jelinek

re PR tree-optimization/91157 (ICE: verify_gimple failed (error: position plus…

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
parent dfa6e5b4
...@@ -384,7 +384,6 @@ expand_vector_comparison (gimple_stmt_iterator *gsi, tree type, tree op0, ...@@ -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)) && !expand_vec_cond_expr_p (type, TREE_TYPE (op0), code))
{ {
if (VECTOR_BOOLEAN_TYPE_P (type) if (VECTOR_BOOLEAN_TYPE_P (type)
&& VECTOR_BOOLEAN_TYPE_P (type)
&& SCALAR_INT_MODE_P (TYPE_MODE (type)) && SCALAR_INT_MODE_P (TYPE_MODE (type))
&& known_lt (GET_MODE_BITSIZE (TYPE_MODE (type)), && known_lt (GET_MODE_BITSIZE (TYPE_MODE (type)),
TYPE_VECTOR_SUBPARTS (type) TYPE_VECTOR_SUBPARTS (type)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment