re PR rtl-optimization/22167 (Strange optimization bug when using -Os)

	PR rtl-optimization/22167
	* gcse.c (hoist_code): Fix hoist_exprs[] check.

From-SVN: r102219

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c58dcebfb16fd67a3349ceecf4cf894acea16fdb..e5e533f9f1109a17d6558f99620eab4281b4417b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-21  Richard Sandiford  <richard@codesourcery.com>
+
+       PR rtl-optimization/22167
+       * gcse.c (hoist_code): Fix hoist_exprs[] check.
+
 2005-07-20  Adam Nemet  <anemet@lnxw.com>
 
        * config/rs6000/lynx.h: Mark __do_global_ctors_aux and

diff --git a/gcc/gcse.c b/gcc/gcse.c
index 5099a08d7ba312cff81dc88a012c6c0e040d7dc8..e2d35e21286c6b7ddd37403356ffdfc7af760f3a 100644 (file)
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -4898,7 +4898,7 @@ hoist_code (void)
          insn_inserted_p = 0;
 
          /* These tests should be the same as the tests above.  */
-         if (TEST_BIT (hoist_vbeout[bb->index], i))
+         if (TEST_BIT (hoist_exprs[bb->index], i))
            {
              /* We've found a potentially hoistable expression, now
                 we look at every block BB dominates to see if it

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f701137d2fdbf6efd20054a0d472fb8556fcee0b..99b9c799651fbf3980375e70ac86a95e89646181 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-21  Richard Sandiford  <richard@codesourcery.com>
+
+       PR rtl-optimization/22167
+       * g++.dg/opt/pr22167.C: New test.
+
 2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
 
        PR c++/2922

diff --git a/gcc/testsuite/g++.dg/opt/pr22167.C b/gcc/testsuite/g++.dg/opt/pr22167.C
new file mode 100644 (file)
index 0000000..07af744
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/pr22167.C
@@ -0,0 +1,32 @@
+// Derived from PR22167, which failed on some RISC targets.  The call to
+// foo() has two successors, one normal and one exceptional, and both
+// successors use &a[0] and x.  Expressions involving &a[0] can be hoisted
+// before the call but those involving x cannot.
+// { dg-options "-Os" }
+// { dg-do run }
+
+int a[4];
+
+struct S {
+  S() : x (0) {}
+  ~S() { a[0] = x; }
+  int x;
+};
+
+void
+foo (int *x)
+{
+  if (*x == 1)
+    throw 1;
+  *x = 1;
+}
+
+int
+main()
+{
+  S s;
+  foo (&s.x);
+  if (a[0] == s.x)
+    a[0]++;
+  return a[0];
+}