2
0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-24 07:20:29 +08:00

tree-optimization/98381 - fix live bool vector extract

This fixes extraction of live bool vector results for the case of
integer mode vectors.

2021-01-05  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/98381
	* tree.c (vector_element_bits): Properly compute bool vector
	element size.
	* tree-vect-loop.c (vectorizable_live_operation): Properly
	compute the last lane bit offset.
This commit is contained in:
Richard Biener 2021-01-05 14:23:55 +01:00
parent 1ff0ddcd8b
commit 01da03c915
2 changed files with 9 additions and 5 deletions

@ -8494,7 +8494,7 @@ vectorizable_live_operation (vec_info *vinfo,
{
loop_vec_info loop_vinfo = dyn_cast <loop_vec_info> (vinfo);
imm_use_iterator imm_iter;
tree lhs, lhs_type, bitsize, vec_bitsize;
tree lhs, lhs_type, bitsize;
tree vectype = (slp_node
? SLP_TREE_VECTYPE (slp_node)
: STMT_VINFO_VECTYPE (stmt_info));
@ -8637,7 +8637,6 @@ vectorizable_live_operation (vec_info *vinfo,
lhs_type = TREE_TYPE (lhs);
bitsize = vector_element_bits_tree (vectype);
vec_bitsize = TYPE_SIZE (vectype);
/* Get the vectorized lhs of STMT and the lane to use (counted in bits). */
tree vec_lhs, bitstart;
@ -8661,7 +8660,7 @@ vectorizable_live_operation (vec_info *vinfo,
vec_lhs = gimple_get_lhs (vec_stmt);
/* Get the last lane in the vector. */
bitstart = int_const_binop (MINUS_EXPR, vec_bitsize, bitsize);
bitstart = int_const_binop (MULT_EXPR, bitsize, bitsize_int (nunits - 1));
}
if (loop_vinfo)

@ -14021,8 +14021,13 @@ vector_element_bits (const_tree type)
{
gcc_checking_assert (VECTOR_TYPE_P (type));
if (VECTOR_BOOLEAN_TYPE_P (type))
return vector_element_size (tree_to_poly_uint64 (TYPE_SIZE (type)),
TYPE_VECTOR_SUBPARTS (type));
{
if (VECTOR_MODE_P (TYPE_MODE (type)))
return vector_element_size (tree_to_poly_uint64 (TYPE_SIZE (type)),
TYPE_VECTOR_SUBPARTS (type));
else
return 1;
}
return tree_to_uhwi (TYPE_SIZE (TREE_TYPE (type)));
}