PR78255: Make postreload aware of NO_FUNCTION_CSE

gcc/ChangeLog:
2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>

	Backport from mainline
	2016-12-09  Andre Vieira <andre.simoesdiasvieira@arm.com>

	PR rtl-optimization/78255
	* gcc/postreload.c (reload_cse_simplify): Do not CSE a function if
	NO_FUNCTION_CSE is true.

gcc/testsuite/ChangeLog:
2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>

	Backport from mainline
	2016-12-20  Andre Vieira  <andre.simoesdiasvieira@arm.com>

	* gcc.target/arm/pr78255-2.c: Fix to work for targets
	that do not optimize for tailcall.

2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>

	Backport from mainline
	2016-12-09  Andre Vieira <andre.simoesdiasvieira@arm.com>

	PR rtl-optimization/78255
	* gcc.target/aarch64/pr78255.c: New.
	* gcc.target/arm/pr78255-1.c: New.
	* gcc.target/arm/pr78255-2.c: New.

From-SVN: r244319

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 099cbe97bc200ffc8654678417e2798a1126f458..22257f4d0a9c52cfa21fe8da49a1eaa84acb3dff 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>
+
+       Backport from mainline
+       2016-12-09  Andre Vieira <andre.simoesdiasvieira@arm.com>
+
+       PR rtl-optimization/78255
+       * gcc/postreload.c (reload_cse_simplify): Do not CSE a function if
+       NO_FUNCTION_CSE is true.
+
 2017-01-10  Bill Seurer  <seurer@linux.vnet.ibm.com>
 
        Backport from mainline

diff --git a/gcc/postreload.c b/gcc/postreload.c
index 3a20f9f6d80da730a78068d93ade2088414e19c8..ba6591d08203abab52e1883afe4cb72f356dfb0f 100644 (file)
--- a/gcc/postreload.c
+++ b/gcc/postreload.c
@@ -120,6 +120,11 @@ reload_cse_simplify (rtx_insn *insn, rtx testreg)
   basic_block insn_bb = BLOCK_FOR_INSN (insn);
   unsigned insn_bb_succs = EDGE_COUNT (insn_bb->succs);
 
+  /* If NO_FUNCTION_CSE has been set by the target, then we should not try
+     to cse function calls.  */
+  if (NO_FUNCTION_CSE && CALL_P (insn))
+    return false;
+
   if (GET_CODE (body) == SET)
     {
       int count = 0;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a2d2c68bda3c14a9cfde8d4614c864d8f8042a18..d400de17da8200bdf541e179a401dda0f052dbfe 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,21 @@
+2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>
+
+       Backport from mainline
+       2016-12-20  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+       * gcc.target/arm/pr78255-2.c: Fix to work for targets
+       that do not optimize for tailcall.
+
+2017-01-11  Andre Vieira <andre.simoesdiasvieira@arm.com>
+
+       Backport from mainline
+       2016-12-09  Andre Vieira <andre.simoesdiasvieira@arm.com>
+
+       PR rtl-optimization/78255
+       * gcc.target/aarch64/pr78255.c: New.
+       * gcc.target/arm/pr78255-1.c: New.
+       * gcc.target/arm/pr78255-2.c: New.
+
 2017-01-03  Martin Liska  <mliska@suse.cz>
 
        Backport from mainline

diff --git a/gcc/testsuite/gcc.target/aarch64/pr78255.c b/gcc/testsuite/gcc.target/aarch64/pr78255.c
new file mode 100644 (file)
index 0000000..b078cf3
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/pr78255.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -mcmodel=tiny" } */
+
+extern int bar (void *);
+
+int
+foo (void)
+{
+  return bar ((void *)bar);
+}
+
+/* { dg-final { scan-assembler "b\\s+bar" } } */

diff --git a/gcc/testsuite/gcc.target/arm/pr78255-1.c b/gcc/testsuite/gcc.target/arm/pr78255-1.c
new file mode 100644 (file)
index 0000000..5a69682
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/pr78255-1.c
@@ -0,0 +1,57 @@
+/* { dg-do run } */
+/* { dg-options "-O2" }  */
+
+#include <string.h>
+
+struct table_s
+    {
+    void (*fun0)
+        ( void );
+    void (*fun1)
+        ( void );
+    void (*fun2)
+        ( void );
+    void (*fun3)
+        ( void );
+    void (*fun4)
+        ( void );
+    void (*fun5)
+        ( void );
+    void (*fun6)
+        ( void );
+    void (*fun7)
+        ( void );
+    } table;
+
+void callback0(){__asm("mov r0, r0 \n\t");}
+void callback1(){__asm("mov r0, r0 \n\t");}
+void callback2(){__asm("mov r0, r0 \n\t");}
+void callback3(){__asm("mov r0, r0 \n\t");}
+void callback4(){__asm("mov r0, r0 \n\t");}
+
+void test (void) {
+    memset(&table, 0, sizeof table);
+
+    asm volatile ("" : : : "r3");
+
+    table.fun0 = callback0;
+    table.fun1 = callback1;
+    table.fun2 = callback2;
+    table.fun3 = callback3;
+    table.fun4 = callback4;
+    table.fun0();
+}
+
+void foo (void)
+{
+  __builtin_abort ();
+}
+
+int main (void)
+{
+  unsigned long p = (unsigned long) &foo;
+  asm volatile ("mov r3, %0" : : "r" (p));
+  test ();
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.target/arm/pr78255-2.c b/gcc/testsuite/gcc.target/arm/pr78255-2.c
new file mode 100644 (file)
index 0000000..cc1c180
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/pr78255-2.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" }  */
+
+extern int bar (void *);
+
+int
+foo (void)
+{
+  return bar ((void*)bar);
+}
+
+/* { dg-final { scan-assembler "bl?\\s+bar" } } */