SVE fallout from PR90006

2019-04-08  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
	* tree-vect-data-refs.c (vect_get_smallest_scalar_type): Always
	use gimple_expr_type for load and store calls.  Skip over the
	condition argument in a conditional internal function.
	Protect use of TREE_INT_CST_LOW.

From-SVN: r270222
This commit is contained in:
Richard Sandiford 2019-04-09 07:50:51 +00:00 committed by Richard Sandiford
parent 31215daa9b
commit 6c0b8df123
2 changed files with 29 additions and 7 deletions

View File

@ -1,3 +1,10 @@
2019-04-09 Richard Sandiford <richard.sandiford@arm.com>
* tree-vect-data-refs.c (vect_get_smallest_scalar_type): Always
use gimple_expr_type for load and store calls. Skip over the
condition argument in a conditional internal function.
Protect use of TREE_INT_CST_LOW.
2019-04-09 Jakub Jelinek <jakub@redhat.com>
PR target/90015

View File

@ -145,14 +145,29 @@ vect_get_smallest_scalar_type (stmt_vec_info stmt_info,
if (rhs < lhs)
scalar_type = rhs_type;
}
else if (is_gimple_call (stmt_info->stmt)
&& gimple_call_num_args (stmt_info->stmt) > 0)
else if (gcall *call = dyn_cast <gcall *> (stmt_info->stmt))
{
tree rhs_type = TREE_TYPE (gimple_call_arg (stmt_info->stmt, 0));
rhs = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (rhs_type));
if (rhs < lhs)
scalar_type = rhs_type;
unsigned int i = 0;
if (gimple_call_internal_p (call))
{
internal_fn ifn = gimple_call_internal_fn (call);
if (internal_load_fn_p (ifn) || internal_store_fn_p (ifn))
/* gimple_expr_type already picked the type of the loaded
or stored data. */
i = ~0U;
else if (internal_fn_mask_index (ifn) == 0)
i = 1;
}
if (i < gimple_call_num_args (call))
{
tree rhs_type = TREE_TYPE (gimple_call_arg (call, i));
if (tree_fits_uhwi_p (TYPE_SIZE_UNIT (rhs_type)))
{
rhs = TREE_INT_CST_LOW (TYPE_SIZE_UNIT (rhs_type));
if (rhs < lhs)
scalar_type = rhs_type;
}
}
}
*lhs_size_unit = lhs;