]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
tree-optimization/102696 - fix SLP discovery for failed BIT_FIELD_REF
authorRichard Biener <rguenther@suse.de>
Tue, 12 Oct 2021 11:49:39 +0000 (13:49 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 12 Oct 2021 12:49:44 +0000 (14:49 +0200)
This fixes a forgotten adjustment of matches[] when we fail SLP
discovery.

2021-10-12  Richard Biener  <rguenther@suse.de>

PR tree-optimization/102696
* tree-vect-slp.c (vect_build_slp_tree_2): Properly mark
the tree fatally failed when we reject a BIT_FIELD_REF.

* g++.dg/vect/pr102696.cc: New testcase.

gcc/testsuite/g++.dg/vect/pr102696.cc [new file with mode: 0644]
gcc/tree-vect-slp.c

diff --git a/gcc/testsuite/g++.dg/vect/pr102696.cc b/gcc/testsuite/g++.dg/vect/pr102696.cc
new file mode 100644 (file)
index 0000000..5560354
--- /dev/null
@@ -0,0 +1,16 @@
+// { dg-do compile }
+// { dg-additional-options "-O3" }
+// { dg-additional-options "-march=skylake-avx512" { target x86_64-*-* i?86-*-* } }
+
+int a;
+extern bool b[][14];
+char h;
+void f(short g[][14])
+{
+  for (short d = h; d < 21; d += 1)
+    for (unsigned char e = 0; e < 14; e += 1)
+      {
+       a = 0;
+       b[d][e] = g[d][e];
+      }
+}
index c70d06e5f20ceb413b670c57e4bb9bad6d9290e9..709bcb636864f5b5b5289556f043c1f4cd273a81 100644 (file)
@@ -1761,6 +1761,7 @@ vect_build_slp_tree_2 (vec_info *vinfo, slp_tree node,
                                       bit_field_size (bfref), &lane))
            {
              lperm.release ();
+             matches[0] = false;
              return NULL;
            }
          lperm.safe_push (std::make_pair (0, (unsigned)lane));