* gcc.c-torture/execute/991016-1.c: New test.

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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b5a9bf2..ea74e2a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+Sat Oct 16 00:05:48 1999  Richard Henderson  <rth@cygnus.com>
+
+       * gcc.c-torture/execute/991016-1.c: New test.
+
 Thu Oct 14 04:22:47 1999  Stephane Carrez  <stcarrez@worldnet.fr>
 
        * gcc.c-torture/execute/991014-1.c: New test.

diff --git a/gcc/testsuite/gcc.c-torture/execute/991016-1.c b/gcc/testsuite/gcc.c-torture/execute/991016-1.c
new file mode 100644 (file)
index 0000000..c312234
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/991016-1.c
@@ -0,0 +1,55 @@
+/* Two of these types will, on current gcc targets, have the same
+   mode but have different alias sets.  DOIT tries to get gcse to
+   invalidly hoist one of the values out of the loop.  */
+
+typedef int T0;
+typedef long T1;
+typedef long long T2;
+
+int
+doit(int sel, int n, void *p)
+{
+  T0 * const p0 = p;
+  T1 * const p1 = p;
+  T2 * const p2 = p;
+
+  switch (sel)
+    {
+    case 0:
+      do 
+       *p0 += *p0;
+      while (--n);
+      return *p0 == 0;
+
+    case 1:
+      do 
+       *p1 += *p1;
+      while (--n);
+      return *p1 == 0;
+
+    case 2:
+      do 
+       *p2 += *p2;
+      while (--n);
+      return *p2 == 0;
+
+    default:
+      abort ();
+    }
+}
+
+int
+main()
+{
+  T0 v0; T1 v1; T2 v2;
+
+  v0 = 1; doit(0, 5, &v0);
+  v1 = 1; doit(1, 5, &v1);
+  v2 = 1; doit(2, 5, &v2);
+
+  if (v0 != 32) abort ();
+  if (v1 != 32) abort ();
+  if (v2 != 32) abort ();
+
+  exit (0);
+}