tree-optimization/111751 - support 1024 bit vector constant reinterpretation

The following ups the limit in fold_view_convert_expr to handle
1024bit vectors as used by GCN and RVV.  It also robustifies
the handling in visit_reference_op_load to properly give up when
constants cannot be re-interpreted.

	PR tree-optimization/111751
	* fold-const.cc (fold_view_convert_expr): Up the buffer size
	to 128 bytes.
	* tree-ssa-sccvn.cc (visit_reference_op_load): Special case
	constants, giving up when re-interpretation to the target type
	fails.

diff --git a/gcc/fold-const.cc b/gcc/fold-const.cc
index 4f8561509ffb2abf1ace960544151790f25bf9f8..82299bb7f1d93e5fcfe9de1c92e3a2151a2bc766 100644 (file)
--- a/gcc/fold-const.cc
+++ b/gcc/fold-const.cc
@@ -9266,8 +9266,8 @@ fold_view_convert_vector_encoding (tree type, tree expr)
 static tree
 fold_view_convert_expr (tree type, tree expr)
 {
-  /* We support up to 512-bit values (for V8DFmode).  */
-  unsigned char buffer[64];
+  /* We support up to 1024-bit values (for GCN/RISC-V V128QImode).  */
+  unsigned char buffer[128];
   int len;
 
   /* Check that the host and target are sane.  */

diff --git a/gcc/tree-ssa-sccvn.cc b/gcc/tree-ssa-sccvn.cc
index ce8ae8c675392e4cd632a4a30fffa5c2eb4d6018..0b2c10dcc1ab0657604b4a7d14a62f11c7e1ce94 100644 (file)
--- a/gcc/tree-ssa-sccvn.cc
+++ b/gcc/tree-ssa-sccvn.cc
@@ -5751,6 +5751,8 @@ visit_reference_op_load (tree lhs, tree op, gimple *stmt)
          && maybe_lt (GET_MODE_PRECISION (TYPE_MODE (TREE_TYPE (result))),
                       GET_MODE_PRECISION (TYPE_MODE (TREE_TYPE (op)))))
        result = NULL_TREE;
+      else if (CONSTANT_CLASS_P (result))
+       result = const_unop (VIEW_CONVERT_EXPR, TREE_TYPE (op), result);
       else
        {
          /* We will be setting the value number of lhs to the value number