* gcc.dg/20020103-1.c: New.

From-SVN: r48525

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ad7b553..cc16de8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2002-01-03  Richard Henderson  <rth@redhat.com>
+
+       * gcc.dg/20020103-1.c: New.
+
 2002-01-03  Kazu Hirata  <kazu@hxi.com>
 
        * gcc.c-torture/execute/20020103-1.c: New test.

diff --git a/gcc/testsuite/gcc.dg/20020103-1.c b/gcc/testsuite/gcc.dg/20020103-1.c
new file mode 100644 (file)
index 0000000..bd5f1c1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20020103-1.c
@@ -0,0 +1,35 @@
+/* Verify that constant equivalences get reloaded properly, either by being
+   spilled to the stack, or regenerated, but not dropped to memory.  */
+/* { dg-do compile { target { i?86-*-* powerpc-*-* alpha*-*-* } } */
+/* { dg-options "-O2 -fpic -fno-omit-frame-pointer" } */
+/* { dg-final { scan-assembler-not "LC" } } */
+
+/* Clobber all call-saved registers that can hold a pointer value.  */
+#if defined(__i386__)
+#define clobber \
+  asm volatile("#asm" : : : "si", "di")
+#elif defined(__powerpc__)
+#define clobber \
+  asm volatile("#asm" : : : "14", "15", "16", "17", "18", "19", "20", \
+              "21", "22", "23", "24", "25", "26", "27", "28", "29")
+#elif defined(__alpha__)
+#define clobber \
+  asm volatile("#asm" : : : "$9", "$10", "$11", "$12", "$13", "$14", \
+              "$f2", "$f3", "$f4", "$f5", "$f6", "$f7", "$f8", "$f9")
+#else
+#error no clobber macro defined
+#endif
+
+extern void f1(int, int, int);
+extern void f2(int*, int*, int*);
+
+extern int ext;
+static int loc_small;
+static int loc_big[100];
+
+void bar(void)
+{
+  f1(ext, loc_small, loc_big[0]);
+  clobber;
+  f2(&ext, &loc_small, &loc_big[0]);
+}