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

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4c1dd35148953d6321cdd511484b7133a94f166f..9595e9aa0d4fd156154eb05ae02c3aa3ffa3c573 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -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.

diff --git a/gcc/convert.c b/gcc/convert.c
index 907933209307088bbb641e15ea273bc4b8467a4f..e5f8dcd76de235129672c535abf0eaa13ce8f1f7 100644 (file)
--- a/gcc/convert.c
+++ b/gcc/convert.c
@@ -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");

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 52a9a425a8b46ec58f23844566e7cbe1f74e740a..28d97df862acece7c706c23589a4d01a86ce28ac 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -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));

diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c
index f9c9fda31047271902754e05f3f5fd4585984106..463b161a434cdb4285a34c796873e2ecdedbdaa9 100644 (file)
--- a/gcc/tree-vect-generic.c
+++ b/gcc/tree-vect-generic.c
@@ -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));
 }