From 5ddec02e71243ad4f96d11c58a280b42e7bc8b2e Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@gcc.gnu.org>
Date: Mon, 11 Mar 2002 11:12:03 +0100
Subject: [PATCH] re PR rtl-optimization/5844 (Bad code generated for -O2
 -mcpu=i586)

	PR optimization/5844
	* gcc.dg/20020310-1.c: New test.

From-SVN: r50566
---
 gcc/ChangeLog                     |  1 +
 gcc/testsuite/ChangeLog           |  5 +++
 gcc/testsuite/gcc.dg/20020310-1.c | 54 +++++++++++++++++++++++++++++++
 3 files changed, 60 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/20020310-1.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fb929572e72..6f6d9f2e89f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -283,6 +283,7 @@ Thu Mar  7 16:33:54 CET 2002  Jan Hubicka  <jh@suse.cz>
 
 2002-03-06  Richard Henderson  <rth@redhat.com>
 
+	PR optimization/5844
 	* genemit.c (gen_exp): New argument used.  Invoke copy_rtx
 	if used indicates we've already emitted one copy of an operand.
 	(gen_insn, gen_expand, output_add_clobbers): Supply a null used.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0ea067c6682..2b541881446 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2002-03-11  Jakub Jelinek  <jakub@redhat.com>
+
+	PR optimization/5844
+	* gcc.dg/20020310-1.c: New test.
+
 2002-03-09  Michael Meissner  <meissner@redhat.com>
 
 	* gcc.c-torture/execute/memcpy-2.c: New test.
diff --git a/gcc/testsuite/gcc.dg/20020310-1.c b/gcc/testsuite/gcc.dg/20020310-1.c
new file mode 100644
index 00000000000..ec722ecc4aa
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20020310-1.c
@@ -0,0 +1,54 @@
+/* PR optimization/5844
+   This testcase was miscompiled because of an rtx sharing bug.  */
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+/* { dg-options "-O2 -mcpu=i586" { target i?86-*-* } } */
+
+struct A
+{
+  struct A *a;
+  int b;
+};
+
+struct B
+{
+  struct A *c;
+  unsigned int d;
+};
+
+struct A p = { &p, -1 };
+struct B q = { &p, 0 };
+
+extern void abort (void);
+extern void exit (int);
+
+struct B *
+foo (void)
+{
+  return &q;
+}
+
+void
+bar (void)
+{
+  struct B *e = foo ();
+  struct A *f = e->c;
+  int g = f->b;
+
+  if (++g == 0)
+    {
+      e->d++;
+      e->c = f->a;
+    }
+
+  f->b = g;
+}
+
+int
+main ()
+{
+  bar ();
+  if (p.b != 0 || q.d != 1 || q.c != &p)
+    abort ();
+  exit (0);
+}