From: Jakub Jelinek <jakub@redhat.com>
Date: Mon, 14 Dec 2015 08:04:37 +0000 (+0100)
Subject: re PR rtl-optimization/68730 (wrong code at -O3 on x86_64-linux-gnu (in 32-bit mode))
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63da5ff6bfbc86294a911c36be99e70b9fc0a83a;p=gcc.git

re PR rtl-optimization/68730 (wrong code at -O3 on x86_64-linux-gnu (in 32-bit mode))

	PR rtl-optimization/68730
	* cfgrtl.c (cfg_layout_finalize): Free dominators.

	* gcc.dg/pr68730.c: New test.

From-SVN: r231606
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 42955284bc3..e6a2763e6e8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-14  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/68730
+	* cfgrtl.c (cfg_layout_finalize): Free dominators.
+
 2015-12-13  Alexandre Oliva <aoliva@redhat.com>
 
 	PR debug/67355
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index b8cfd5c5b89..fbfc7cd6790 100644
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -4299,6 +4299,7 @@ void
 cfg_layout_finalize (void)
 {
   checking_verify_flow_info ();
+  free_dominance_info (CDI_DOMINATORS);
   force_one_exit_fallthru ();
   rtl_register_cfg_hooks ();
   if (reload_completed && !targetm.have_epilogue ())
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 19950748279..2b900bfabac 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-14  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/68730
+	* gcc.dg/pr68730.c: New test.
+
 2015-12-14  Thomas Preud'homme  <thomas.preudhomme@arm.com>
 
 	PR testsuite/68629
diff --git a/gcc/testsuite/gcc.dg/pr68730.c b/gcc/testsuite/gcc.dg/pr68730.c
new file mode 100644
index 00000000000..8ec6f19ca55
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr68730.c
@@ -0,0 +1,51 @@
+/* PR rtl-optimization/68730 */
+/* { dg-do compile } */
+/* { dg-options "-O3 -fno-if-conversion" } */
+/* { dg-additional-options "-march=x86-64" { target { i?86-*-* x86_64-*-* } } } */
+
+int b, d, e;
+unsigned long long c = 4100543410106915;
+
+void
+foo (void)
+{
+  short f, g = 4 % c;
+  int h = c;
+  if (h)
+    {
+      int i = ~c;
+      if (~c)
+	i = 25662;
+      f = g = i;
+      h = c - g + ~-f;
+      c = ~(c * h - f);
+    }
+  f = g;
+  unsigned long long k = g || c;
+  short l = c ^ g ^ k;
+  if (g > 25662 || c == 74074520320 || !(g < 2))
+    {
+      k = c;
+      l = g;
+      c = ~((k && c) + ~l);
+      f = ~(f * (c ^ k) | l);
+      if (c > k)
+	__builtin_printf ("%d\n", f);
+    }
+  short m = -f;
+  unsigned long long n = c;
+  c = m * f | n % c;
+  if (n)
+    __builtin_printf ("%d\n", f);
+  while (f < -31807)
+    ;
+  c = ~(n | c) | f;
+  if (n < c)
+    __builtin_printf ("%lld\n", (long long) f);
+  for (; d;)
+    for (; e;)
+      for (;;)
+	;
+  c = h;
+  c = l % c;
+}