middle-end/123697 - fix .MASK_LOAD_LANES folding

.MASK_LOAD_LANES has an aggregate (array of vectors) return value
which is not compatible with the else value used when trying to
fold this with all lanes inactive.  Instead use an empty CTOR if
the else value is zero and otherwise do not simplify.

	PR middle-end/123697
	* gimple-fold.cc (gimple_fold_partial_load_store): Use an
	empty CTOR for a zero else value in .MASK_LOAD_LANES.

	* gcc.dg/vect/vect-pr123697.c: New testcase.

diff --git a/gcc/gimple-fold.cc b/gcc/gimple-fold.cc
index b92bf450aba3c0b8a5ccb36b9d8e87e07125103d..4766187e0b9d4096fa20c65cebbbd32f0cf2b11e 100644 (file)
--- a/gcc/gimple-fold.cc
+++ b/gcc/gimple-fold.cc
@@ -5899,6 +5899,12 @@ gimple_fold_partial_load_store (gimple_stmt_iterator *gsi, gcall *call)
          /* Replace load with else value.  */
          int else_index = internal_fn_else_index (ifn);
          tree else_value = gimple_call_arg (call, else_index);
+         if (!is_gimple_reg (lhs))
+           {
+             if (!zerop (else_value))
+               return false;
+             else_value = build_constructor (TREE_TYPE (lhs), NULL);
+           }
          gassign *new_stmt = gimple_build_assign (lhs, else_value);
          gimple_set_location (new_stmt, gimple_location (call));
          gsi_replace (gsi, new_stmt, false);

diff --git a/gcc/testsuite/gcc.dg/vect/vect-pr123697.c b/gcc/testsuite/gcc.dg/vect/vect-pr123697.c
new file mode 100644 (file)
index 0000000..e171701
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/vect-pr123697.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O3" } */
+
+struct a {
+  int c[2];
+};
+struct a d[3];
+double f;
+void g()
+{
+  for (int e = 0; e < 3; ++e)
+    f += d[e].c[1];
+}