From 0acb03ae877cd9e9afbc0f02ec74ca3427ec70c1 Mon Sep 17 00:00:00 2001
From: Hans-Peter Nilsson <hp@axis.com>
Date: Wed, 22 May 2019 00:43:23 +0000
Subject: [PATCH] re PR middle-end/90553 (Register allocation allocates
 post-incremented address-load of call to call-clobbered register)

	PR middle-end/90553
	* gcc.dg/torture/pr90553.c: New test.

From-SVN: r271499
---
 gcc/testsuite/ChangeLog                |   5 +
 gcc/testsuite/gcc.dg/torture/pr90553.c | 128 +++++++++++++++++++++++++
 2 files changed, 133 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr90553.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8c3e8a4488a..801e5ea57e7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-05-22  Hans-Peter Nilsson  <hp@axis.com>
+
+	PR middle-end/90553
+	* gcc.dg/torture/pr90553.c: New test.
+
 2019-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/67184
diff --git a/gcc/testsuite/gcc.dg/torture/pr90553.c b/gcc/testsuite/gcc.dg/torture/pr90553.c
new file mode 100644
index 00000000000..06c9cbf8ee2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr90553.c
@@ -0,0 +1,128 @@
+/* { dg-do run } */
+
+__attribute__((__noipa__))
+void f1(int x, void (*p1 []) (int, int))
+{
+  int i;
+  for (i = 0; i < x; i++)
+    p1[i](42, 666);
+}
+
+int z1_called = 0;
+int w1_called = 0;
+
+__attribute__((__noipa__))
+void z1(int a, int b)
+{
+  if (w1_called || z1_called)
+    __builtin_abort();
+  z1_called++;
+}
+
+__attribute__((__noipa__))
+void w1(int a, int b)
+{
+  if (w1_called || !z1_called)
+    __builtin_abort();
+  w1_called++;
+}
+
+int z2_called = 0;
+int w2_called = 0;
+
+__attribute__((__noipa__))
+void z2(void)
+{
+  if (w2_called || z2_called)
+    __builtin_abort();
+  z2_called++;
+}
+
+__attribute__((__noipa__))
+void w2(void)
+{
+  if (w2_called || !z2_called)
+    __builtin_abort();
+  w2_called++;
+}
+
+void (*p2 []) () = { w2, z2 };
+
+__attribute__((__noipa__))
+void f2(int x)
+{
+  void (**q) (void) = p2 + x;
+  int i;
+  for (i = 0; i < x; i++)
+    (*(--q))();
+}
+
+__attribute__((__noipa__))
+void f3(int x, int (*p3 []) (int))
+{
+  int i;
+  int next = x;
+  for (i = 0; i < x; i++)
+    next = p3[i](next);
+}
+
+int z3_called = 0;
+int w3_called = 0;
+
+__attribute__((__noipa__))
+int z3(int a)
+{
+  if (w3_called || z3_called || a != 2)
+    __builtin_abort();
+  z3_called++;
+  return 42;
+}
+
+__attribute__((__noipa__))
+int w3(int a)
+{
+  if (w3_called || !z3_called || a != 42)
+    __builtin_abort();
+  w3_called++;
+  return 4096;
+}
+
+int (*p4 []) (int) = { z3, w3 };
+
+__attribute__((__noipa__))
+void f4(int x)
+{
+  int (**q) (int) = p4;
+  int (**r) (int) = p4 + x;
+
+  int next = x;
+  for (; q < r; q++)
+    next = (*q)(next);
+}
+
+int main(void)
+{
+  static int (*p3 []) (int) = { z3, w3 };
+
+  static void (*p1 []) (int, int) = { z1, w1 };
+
+  f1(2, p1);
+  if (z1_called != 1 || w1_called != 1)
+    __builtin_abort();
+
+  f2(2);
+  if (z2_called != 1 || w2_called != 1)
+    __builtin_abort();
+
+  f3(2, p3);
+  if (z3_called != 1 || w3_called != 1)
+    __builtin_abort();
+
+  z3_called = 0;
+  w3_called = 0;
+  f4(2);
+  if (z3_called != 1 || w3_called != 1)
+    __builtin_abort();
+
+  __builtin_exit(0);
+}
-- 
2.30.2