re PR middle-end/23517 (can't cast between generic vector types and target supported vector types)

2005-08-23  Paolo Bonzini  <bonzini@gnu.org>

	PR middle-end/23517
	* fold-const.c (fold_convert): Use VIEW_CONVERT_EXPR to convert
	between vectors.
	* convert.c (convert_to_integer, convert_to_vector): Likewise.
	* tree-vect-generic.c (tree_vec_extract, expand_vector_operations_1):
	Likewise.

From-SVN: r103406
This commit is contained in:
Paolo Bonzini 2005-08-23 17:48:37 +00:00 committed by Paolo Bonzini
parent 28d0e143fe
commit 4d3c798d3f
4 changed files with 14 additions and 19 deletions

View File

@ -1,3 +1,12 @@
2005-08-23 Paolo Bonzini <bonzini@gnu.org>
PR middle-end/23517
* fold-const.c (fold_convert): Use VIEW_CONVERT_EXPR to convert
between vectors.
* convert.c (convert_to_integer, convert_to_vector): Likewise.
* tree-vect-generic.c (tree_vec_extract, expand_vector_operations_1):
Likewise.
2005-08-23 Paolo Bonzini <bonzini@gnu.org>
* config/rs6000/predicates.md (equality_operator): New.

View File

@ -684,7 +684,7 @@ convert_to_integer (tree type, tree expr)
error ("can't convert between vector values of different size");
return error_mark_node;
}
return build1 (NOP_EXPR, type, expr);
return build1 (VIEW_CONVERT_EXPR, type, expr);
default:
error ("aggregate value used where an integer was expected");
@ -760,7 +760,7 @@ convert_to_vector (tree type, tree expr)
error ("can't convert between vector values of different size");
return error_mark_node;
}
return build1 (NOP_EXPR, type, expr);
return build1 (VIEW_CONVERT_EXPR, type, expr);
default:
error ("can't convert value to a vector");

View File

@ -2019,7 +2019,7 @@ fold_convert (tree type, tree arg)
gcc_assert (tree_int_cst_equal (TYPE_SIZE (type), TYPE_SIZE (orig)));
gcc_assert (INTEGRAL_TYPE_P (orig) || POINTER_TYPE_P (orig)
|| TREE_CODE (orig) == VECTOR_TYPE);
return fold_build1 (NOP_EXPR, type, arg);
return fold_build1 (VIEW_CONVERT_EXPR, type, arg);
case VOID_TYPE:
return fold_build1 (CONVERT_EXPR, type, fold_ignored_result (arg));

View File

@ -106,13 +106,8 @@ tree_vec_extract (block_stmt_iterator *bsi, tree type,
{
if (bitpos)
return gimplify_build3 (bsi, BIT_FIELD_REF, type, t, bitsize, bitpos);
/* Build a conversion; VIEW_CONVERT_EXPR is very expensive unless T will
anyway be stored in memory, so prefer NOP_EXPR. */
else if (TYPE_MODE (type) == BLKmode)
return gimplify_build1 (bsi, VIEW_CONVERT_EXPR, type, t);
else
return gimplify_build1 (bsi, NOP_EXPR, type, t);
return gimplify_build1 (bsi, VIEW_CONVERT_EXPR, type, t);
}
static tree
@ -455,16 +450,7 @@ expand_vector_operations_1 (block_stmt_iterator *bsi)
if (lang_hooks.types_compatible_p (TREE_TYPE (lhs), TREE_TYPE (rhs)))
*p_rhs = rhs;
else
{
/* Build a conversion; VIEW_CONVERT_EXPR is very expensive unless T will
be stored in memory anyway, so prefer NOP_EXPR. We should also try
performing the VIEW_CONVERT_EXPR on the left side of the
assignment. */
if (TYPE_MODE (TREE_TYPE (rhs)) == BLKmode)
*p_rhs = gimplify_build1 (bsi, VIEW_CONVERT_EXPR, TREE_TYPE (lhs), rhs);
else
*p_rhs = gimplify_build1 (bsi, NOP_EXPR, TREE_TYPE (lhs), rhs);
}
*p_rhs = gimplify_build1 (bsi, VIEW_CONVERT_EXPR, TREE_TYPE (lhs), rhs);
mark_stmt_modified (bsi_stmt (*bsi));
}