From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 16 Sep 2016 07:10:08 +0000 (+0200)
Subject: re PR target/77526 (ICE: in verify_dominators, at dominance.c:1039 with -mstringop... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e43163aefb7276917ac116d9a992aa2ac18a6722;p=gcc.git

re PR target/77526 (ICE: in verify_dominators, at dominance.c:1039 with -mstringop-strategy=byte_loop)

	PR target/77526
	* combine.c (rest_of_handle_combine): If any edges have been purged,
	free dominators if available.

	* gcc.target/i386/pr77526.c: New test.

From-SVN: r240174
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0287d52c5e0..2d40745e6fe 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-09-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/77526
+	* combine.c (rest_of_handle_combine): If any edges have been purged,
+	free dominators if available.
+
 2016-09-16  Jakub Jelinek  <jakub@redhat.com>
 	    Eric Botcazou  <ebotcazou@adacore.com>
 
diff --git a/gcc/combine.c b/gcc/combine.c
index 1b262f94fed..1e43d48cc56 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -14393,6 +14393,8 @@ rest_of_handle_combine (void)
      instructions.  */
   if (rebuild_jump_labels_after_combine)
     {
+      if (dom_info_available_p (CDI_DOMINATORS))
+	free_dominance_info (CDI_DOMINATORS);
       timevar_push (TV_JUMP);
       rebuild_jump_labels (get_insns ());
       cleanup_cfg (0);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8d739b5a759..91d19629f93 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-09-16  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/77526
+	* gcc.target/i386/pr77526.c: New test.
+
 2016-09-16  Jakub Jelinek  <jakub@redhat.com>
 	    Eric Botcazou  <ebotcazou@adacore.com>
 
diff --git a/gcc/testsuite/gcc.target/i386/pr77526.c b/gcc/testsuite/gcc.target/i386/pr77526.c
new file mode 100644
index 00000000000..91b946a3660
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr77526.c
@@ -0,0 +1,13 @@
+/* PR target/77526 */
+/* { dg-do compile { target int128 } } */
+/* { dg-options "-Os -fno-forward-propagate -fno-gcse -fno-rerun-cse-after-loop -mstringop-strategy=byte_loop -Wno-psabi" } */
+
+typedef char U __attribute__((vector_size(64)));
+typedef __int128 V __attribute__((vector_size(64)));
+
+V
+foo (int a, int b, __int128 c, U u)
+{
+  u = (u >> (u & 7)) | (u << -(u & 7));
+  return a + b + c + (V)u;
+}