* g++.dg/eh/registers1.C: New test case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@45679 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ae0bb7b..7f28c4c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-09-18  Richard Sandiford  <rsandifo@redhat.com>
+
+       * g++.dg/eh/registers1.C: New test case.
+
 2001-09-17  Richard Henderson  <rth@redhat.com>
 
        * gcc.dg/array-5.c: Fix VLA decomposition test.

diff --git a/gcc/testsuite/g++.dg/eh/registers1.C b/gcc/testsuite/g++.dg/eh/registers1.C
new file mode 100644 (file)
index 0000000..6633e83
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/registers1.C
@@ -0,0 +1,138 @@
+// Try to check that registers are preserved when the stack is unwound.
+// { dg-do run }
+// { dg-options -O2 }
+
+extern "C" void exit(int);
+extern "C" void abort();
+
+// This test case triggers up to DEPTH recursive calls to function
+// foo(), These calls are numbered so that 0 is the innermost, 1 the
+// second innermost, and so on.  Each call caches NUM_VARS elements of
+// both DOUBLE_SRC and INT_SRC and applies a trivial operation to each
+// cached value.  The innermost foo() call will throw an integer call
+// number.  The specified call should store its cached values in
+// DOUBLE_DEST and INT_DEST, which main() will check.
+const int num_vars = 16;
+const int depth = 3;
+
+float float_src[num_vars * depth];
+float float_dest[num_vars];
+
+int int_src[num_vars * depth];
+int int_dest[num_vars];
+
+void foo (int level, int throw_to)
+{
+  float *fsrc = &float_src[level * num_vars];
+  float f00 = *fsrc++ + 1.0f;
+  float f01 = *fsrc++ + 1.0f;
+  float f02 = *fsrc++ + 1.0f;
+  float f03 = *fsrc++ + 1.0f;
+  float f04 = *fsrc++ + 1.0f;
+  float f05 = *fsrc++ + 1.0f;
+  float f06 = *fsrc++ + 1.0f;
+  float f07 = *fsrc++ + 1.0f;
+  float f08 = *fsrc++ + 1.0f;
+  float f09 = *fsrc++ + 1.0f;
+  float f10 = *fsrc++ + 1.0f;
+  float f11 = *fsrc++ + 1.0f;
+  float f12 = *fsrc++ + 1.0f;
+  float f13 = *fsrc++ + 1.0f;
+  float f14 = *fsrc++ + 1.0f;
+  float f15 = *fsrc++ + 1.0f;
+
+  int *isrc = &int_src[level * num_vars];
+  int i00 = *isrc++ + 1;
+  int i01 = *isrc++ + 1;
+  int i02 = *isrc++ + 1;
+  int i03 = *isrc++ + 1;
+  int i04 = *isrc++ + 1;
+  int i05 = *isrc++ + 1;
+  int i06 = *isrc++ + 1;
+  int i07 = *isrc++ + 1;
+  int i08 = *isrc++ + 1;
+  int i09 = *isrc++ + 1;
+  int i10 = *isrc++ + 1;
+  int i11 = *isrc++ + 1;
+  int i12 = *isrc++ + 1;
+  int i13 = *isrc++ + 1;
+  int i14 = *isrc++ + 1;
+  int i15 = *isrc++ + 1;
+
+  try
+    {
+      if (level == 0)
+       throw throw_to;
+      else
+       foo (level - 1, throw_to);
+    }
+  catch (int i)
+    {
+      if (i == level)
+       {
+         float *fdest = float_dest;
+         *fdest++ = f00;
+         *fdest++ = f01;
+         *fdest++ = f02;
+         *fdest++ = f03;
+         *fdest++ = f04;
+         *fdest++ = f05;
+         *fdest++ = f06;
+         *fdest++ = f07;
+         *fdest++ = f08;
+         *fdest++ = f09;
+         *fdest++ = f10;
+         *fdest++ = f11;
+         *fdest++ = f12;
+         *fdest++ = f13;
+         *fdest++ = f14;
+         *fdest++ = f15;
+
+         int *idest = int_dest;
+         *idest++ = i00;
+         *idest++ = i01;
+         *idest++ = i02;
+         *idest++ = i03;
+         *idest++ = i04;
+         *idest++ = i05;
+         *idest++ = i06;
+         *idest++ = i07;
+         *idest++ = i08;
+         *idest++ = i09;
+         *idest++ = i10;
+         *idest++ = i11;
+         *idest++ = i12;
+         *idest++ = i13;
+         *idest++ = i14;
+         *idest++ = i15;
+       }
+      else
+       {
+         throw;
+       }
+    }
+}
+
+int main ()
+{
+  for (int i = 0; i < depth * num_vars; i++)
+    {
+      int_src[i] = i * i;
+      float_src[i] = i * 2.0f;
+    }
+  for (int level = 0; level < depth; level++)
+    for (int throw_to = 0; throw_to <= level; throw_to++)
+      {
+       foo (level, throw_to);
+       float *fsrc = &float_src[throw_to * num_vars];
+       int *isrc = &int_src[throw_to * num_vars];
+       for (int i = 0; i < num_vars; i++)
+         {
+           if (int_dest[i] != isrc[i] + 1)
+             abort ();
+           if (float_dest[i] != fsrc[i] + 1.0f)
+             abort ();
+         }
+      }
+  exit (0);
+}