]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
tree-optimization/103219 - avoid ICE in unroll-and-jam
authorRichard Biener <rguenther@suse.de>
Mon, 15 Nov 2021 10:07:55 +0000 (11:07 +0100)
committerRichard Biener <rguenther@suse.de>
Mon, 15 Nov 2021 10:10:16 +0000 (11:10 +0100)
For no particularly good reason unroll-and-jam uses single_dom_exit
to determine the exit for the region it wants to run VN on.  That
happens to ICE because of the dominance restriction.  Use single_exit
instead.

2021-11-15  Richard Biener  <rguenther@suse.de>

PR tree-optimization/103219
* gimple-loop-jam.c (tree_loop_unroll_and_jam): Use single_exit
to determine the exit for the VN region.

* gcc.dg/torture/pr103219.c: New testcase.

gcc/gimple-loop-jam.c
gcc/testsuite/gcc.dg/torture/pr103219.c [new file with mode: 0644]

index 611d38053040da0977450a0887ca32e215f2a7e8..666f740f86d79d64dbece2e40481d0d41f641340 100644 (file)
@@ -593,7 +593,7 @@ tree_loop_unroll_and_jam (void)
          todo |= TODO_cleanup_cfg;
 
          auto_bitmap exit_bbs;
-         bitmap_set_bit (exit_bbs, single_dom_exit (outer)->dest->index);
+         bitmap_set_bit (exit_bbs, single_exit (outer)->dest->index);
          todo |= do_rpo_vn (cfun, loop_preheader_edge (outer), exit_bbs);
        }
 
diff --git a/gcc/testsuite/gcc.dg/torture/pr103219.c b/gcc/testsuite/gcc.dg/torture/pr103219.c
new file mode 100644 (file)
index 0000000..cb9023e
--- /dev/null
@@ -0,0 +1,24 @@
+/* { dg-do compile } */
+
+int f();
+void g();
+int a, b, c, e;
+int d[10];
+int main()
+{
+  if (c)
+    if (f())
+      {
+       g();
+       if (e) {
+           a = 0;
+           for (; a != 6; a = a + 2)
+             {
+               b = 0;
+               for (; b <= 3; b++)
+                 d[b] &= 1;
+             }
+       }
+      }
+  return 0;
+}