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.

diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index 830531f48b879ac926bd981ecab8c5a112ee89a8..965cc164f6e623c69165bd5ff4c25a762e3b03ef 100644 (file)
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -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)

diff --git a/gcc/tree.c b/gcc/tree.c
index 421a2b4bc0280c7e03ec893d77a104a2dc478c2d..e0a1d5120194f827cf7259edfcce6f25e30267a0 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -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)));
 }