* [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
@ 2016-12-09 14:03 Andre Vieira (lists)
2016-12-09 15:02 ` Bernd Schmidt
0 siblings, 1 reply; 14+ messages in thread
From: Andre Vieira (lists) @ 2016-12-09 14:03 UTC (permalink / raw)
To: GCC Patches
[-- Attachment #1: Type: text/plain, Size: 939 bytes --]
Hi,
This patch fixes the issue reported in PR78255 by making postreload
aware it should not be performing CSE on functions if NO_FUNCTION_CSE is
defined to true.
Bootstrap and full regression on arm-none-linux-gnueabihf and
aarch64-unknown-linux-gnu.
Also checked this fixed the reported issue on arm-none-eabi.
Is this OK for trunk?
Cheers,
Andre
gcc/ChangeLog
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:
2016-12-09 Andre Vieira <andre.simoesdiasvieira@arm.com>
PR rtl-optimization/78255
* gcc.target/arm/pr78255-1.c: New.
* gcc.target/arm/pr78255-2.c: New.
gcc/testsuite/ChangeLog:
2016-12-09 Andre Vieira <andre.simoesdiasvieira@arm.com>
PR rtl-optimization/78255
* gcc.target/aarch64/pr78255.c: New.
[-- Attachment #2: diff --]
[-- Type: text/plain, Size: 2935 bytes --]
diff --git a/gcc/postreload.c b/gcc/postreload.c
index 539ad33b6c3eb1b968677419a7420badc3a52f01..8325d121c403786fdb7804956724a81d134252a2 100644
--- a/gcc/postreload.c
+++ b/gcc/postreload.c
@@ -90,6 +90,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/gcc.target/aarch64/pr78255.c b/gcc/testsuite/gcc.target/aarch64/pr78255.c
new file mode 100644
index 0000000000000000000000000000000000000000..b078cf3e1c1c7717c9e227721a367f9846f0c7fe
--- /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
index 0000000000000000000000000000000000000000..4901acea51466c0bac92d9cb90e52b00b450d88a
--- /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
index 0000000000000000000000000000000000000000..9e64ef3939465b088e35a01d4bb23fd50d43006d
--- /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 "b\\s+bar" } } */
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 14:03 [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE Andre Vieira (lists)
@ 2016-12-09 15:02 ` Bernd Schmidt
2016-12-09 15:34 ` Andre Vieira (lists)
2016-12-09 16:01 ` [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE Jeff Law
0 siblings, 2 replies; 14+ messages in thread
From: Bernd Schmidt @ 2016-12-09 15:02 UTC (permalink / raw)
To: Andre Vieira (lists), GCC Patches
On 12/09/2016 03:03 PM, Andre Vieira (lists) wrote:
> This patch fixes the issue reported in PR78255 by making postreload
> aware it should not be performing CSE on functions if NO_FUNCTION_CSE is
> defined to true.
>
> Bootstrap and full regression on arm-none-linux-gnueabihf and
> aarch64-unknown-linux-gnu.
>
> Also checked this fixed the reported issue on arm-none-eabi.
>
> Is this OK for trunk?
Hmm, it probably doesn't hurt, but looking at the PR I think the
originally reported problem suggests you need a different fix: a
separate register class to be used for indirect sibling calls. I
remember seeing similar issues on other targets.
Bernd
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 15:02 ` Bernd Schmidt
@ 2016-12-09 15:34 ` Andre Vieira (lists)
2016-12-09 15:58 ` Bernd Schmidt
2016-12-09 16:01 ` [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE Jeff Law
1 sibling, 1 reply; 14+ messages in thread
From: Andre Vieira (lists) @ 2016-12-09 15:34 UTC (permalink / raw)
To: Bernd Schmidt, GCC Patches
On 09/12/16 15:02, Bernd Schmidt wrote:
> On 12/09/2016 03:03 PM, Andre Vieira (lists) wrote:
>> This patch fixes the issue reported in PR78255 by making postreload
>> aware it should not be performing CSE on functions if NO_FUNCTION_CSE is
>> defined to true.
>>
>> Bootstrap and full regression on arm-none-linux-gnueabihf and
>> aarch64-unknown-linux-gnu.
>>
>> Also checked this fixed the reported issue on arm-none-eabi.
>>
>> Is this OK for trunk?
>
> Hmm, it probably doesn't hurt, but looking at the PR I think the
> originally reported problem suggests you need a different fix: a
> separate register class to be used for indirect sibling calls. I
> remember seeing similar issues on other targets.
>
>
> Bernd
I agree that even though this "fixes" the PR issue, this change is
fixing more than just that.
As for your suggestion to use a separate register class for indirect
sibling calls. We already do, we use CALLER_SAVE_REGS. However, 'r3' is
also allowed by that scheme as it should. Since if we don't use 'r3' to
either pass an argument or align the stack, then it is perfectly valid
to use it for indirect sibling calls.
The problem is at the time where we decide whether it is safe to use
'r3' we expect the assigned registers not to change and postreload does,
when it shouldn't. Hence why I am now telling it to not do that. Now it
could be that there are other cases in which the register allocation
would change after reload and before the pro and epilogue pass. Maybe we
shouldn't be making the decision quite so early. This is a bit of a can
of worms though...
Regardless, the other testcases I add in this patch show a sub-optimal
transformation done by postreload, turning direct calls into indirect
calls, for targets which have specifically pointed out that no CSE
should be done on functions through 'NO_FUNCTION_CSE'. Maybe it would
make more sense to split this up into two PR's, though by fixing
postreload I wouldn't be able to reproduce the failure mentioned in PR78255.
Would you prefer I create a new PR for the problem this is actually
fixing and refile this PATCH under that PR?
Cheers,
Andre
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 15:34 ` Andre Vieira (lists)
@ 2016-12-09 15:58 ` Bernd Schmidt
2016-12-09 16:02 ` Ramana Radhakrishnan
0 siblings, 1 reply; 14+ messages in thread
From: Bernd Schmidt @ 2016-12-09 15:58 UTC (permalink / raw)
To: Andre Vieira (lists), GCC Patches
On 12/09/2016 04:34 PM, Andre Vieira (lists) wrote:
> Regardless, the other testcases I add in this patch show a sub-optimal
> transformation done by postreload, turning direct calls into indirect
> calls, for targets which have specifically pointed out that no CSE
> should be done on functions through 'NO_FUNCTION_CSE'.
What I'm wondering about is whether the patch wouldn't also prevent the
opposite transformation. Is there a reason not to do that one? Can the
problem be modeled by tweaking costs?
> Would you prefer I create a new PR for the problem this is actually
> fixing and refile this PATCH under that PR?
Well, as long as you're working on fixing it I see no reason to clutter
the bug database for the function cse issue, but do keep the existing PR
open if there also ought to be register class changes.
Bernd
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 15:02 ` Bernd Schmidt
2016-12-09 15:34 ` Andre Vieira (lists)
@ 2016-12-09 16:01 ` Jeff Law
1 sibling, 0 replies; 14+ messages in thread
From: Jeff Law @ 2016-12-09 16:01 UTC (permalink / raw)
To: Bernd Schmidt, Andre Vieira (lists), GCC Patches
On 12/09/2016 08:02 AM, Bernd Schmidt wrote:
> On 12/09/2016 03:03 PM, Andre Vieira (lists) wrote:
>> This patch fixes the issue reported in PR78255 by making postreload
>> aware it should not be performing CSE on functions if NO_FUNCTION_CSE is
>> defined to true.
>>
>> Bootstrap and full regression on arm-none-linux-gnueabihf and
>> aarch64-unknown-linux-gnu.
>>
>> Also checked this fixed the reported issue on arm-none-eabi.
>>
>> Is this OK for trunk?
>
> Hmm, it probably doesn't hurt, but looking at the PR I think the
> originally reported problem suggests you need a different fix: a
> separate register class to be used for indirect sibling calls. I
> remember seeing similar issues on other targets.
I think we actually split the call patterns into direct and indirect
variants on the PA when we stumbled on this in cse.c.
Jeff
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 15:58 ` Bernd Schmidt
@ 2016-12-09 16:02 ` Ramana Radhakrishnan
2016-12-09 16:16 ` Andre Vieira (lists)
0 siblings, 1 reply; 14+ messages in thread
From: Ramana Radhakrishnan @ 2016-12-09 16:02 UTC (permalink / raw)
To: Bernd Schmidt; +Cc: Andre Vieira (lists), GCC Patches
On Fri, Dec 9, 2016 at 3:58 PM, Bernd Schmidt <bschmidt@redhat.com> wrote:
> On 12/09/2016 04:34 PM, Andre Vieira (lists) wrote:
>
>> Regardless, the other testcases I add in this patch show a sub-optimal
>> transformation done by postreload, turning direct calls into indirect
>> calls, for targets which have specifically pointed out that no CSE
>> should be done on functions through 'NO_FUNCTION_CSE'.
>
>
> What I'm wondering about is whether the patch wouldn't also prevent the
> opposite transformation. Is there a reason not to do that one? Can the
> problem be modeled by tweaking costs?
I really don't think we should have a solution that relies on costs
for correctness .
regards
Ramana
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 16:02 ` Ramana Radhakrishnan
@ 2016-12-09 16:16 ` Andre Vieira (lists)
2016-12-09 16:31 ` Bernd Schmidt
2016-12-12 9:05 ` Christophe Lyon
0 siblings, 2 replies; 14+ messages in thread
From: Andre Vieira (lists) @ 2016-12-09 16:16 UTC (permalink / raw)
To: Ramana Radhakrishnan, Bernd Schmidt; +Cc: GCC Patches
On 09/12/16 16:02, Ramana Radhakrishnan wrote:
> On Fri, Dec 9, 2016 at 3:58 PM, Bernd Schmidt <bschmidt@redhat.com> wrote:
>> On 12/09/2016 04:34 PM, Andre Vieira (lists) wrote:
>>
>>> Regardless, the other testcases I add in this patch show a sub-optimal
>>> transformation done by postreload, turning direct calls into indirect
>>> calls, for targets which have specifically pointed out that no CSE
>>> should be done on functions through 'NO_FUNCTION_CSE'.
>>
>>
>> What I'm wondering about is whether the patch wouldn't also prevent the
>> opposite transformation. Is there a reason not to do that one? Can the
>> problem be modeled by tweaking costs?
>
> I really don't think we should have a solution that relies on costs
> for correctness .
>
> regards
> Ramana
>
Regardless, 'reload_cse_simplify' would never perform the opposite
transformation. It checks whether it can replace anything within the
first argument INSN, with the second argument TESTREG. As the name
implies this will always be a register. I double checked, the function
is only called in 'reload_cse_regs' and 'testreg' is created using
'gen_rtx_REG'.
Cheers,
Andre
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 16:16 ` Andre Vieira (lists)
@ 2016-12-09 16:31 ` Bernd Schmidt
2016-12-09 17:22 ` [arm-embedded][committed] " Andre Vieira (lists)
2017-01-06 10:53 ` [PATCH] " Andre Vieira (lists)
2016-12-12 9:05 ` Christophe Lyon
1 sibling, 2 replies; 14+ messages in thread
From: Bernd Schmidt @ 2016-12-09 16:31 UTC (permalink / raw)
To: Andre Vieira (lists), Ramana Radhakrishnan; +Cc: GCC Patches
On 12/09/2016 05:16 PM, Andre Vieira (lists) wrote:
> Regardless, 'reload_cse_simplify' would never perform the opposite
> transformation. It checks whether it can replace anything within the
> first argument INSN, with the second argument TESTREG. As the name
> implies this will always be a register. I double checked, the function
> is only called in 'reload_cse_regs' and 'testreg' is created using
> 'gen_rtx_REG'.
Ok, let's go ahead with it.
Bernd
^ permalink raw reply [flat|nested] 14+ messages in thread
* [arm-embedded][committed] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 16:31 ` Bernd Schmidt
@ 2016-12-09 17:22 ` Andre Vieira (lists)
2017-01-06 10:53 ` [PATCH] " Andre Vieira (lists)
1 sibling, 0 replies; 14+ messages in thread
From: Andre Vieira (lists) @ 2016-12-09 17:22 UTC (permalink / raw)
To: GCC Patches
[-- Attachment #1: Type: text/plain, Size: 693 bytes --]
Hi
I backported this patch to the embedded-6-branch in revision r243496.
Cheers,
Andre
gcc/ChangeLog.arm:
2016-12-09 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.arm:
2016-12-09 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.
[-- Attachment #2: diff --]
[-- Type: text/plain, Size: 4143 bytes --]
diff --git a/gcc/ChangeLog.arm b/gcc/ChangeLog.arm
index 501388026dc76edb195a783d458d2dab538733f8..3b68af407f78320b465951591c2eba9d27fec944 100644
--- a/gcc/ChangeLog.arm
+++ b/gcc/ChangeLog.arm
@@ -1,3 +1,12 @@
+2016-12-09 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.
+
2016-12-07 Thomas Preud'homme <thomas.preudhomme@arm.com>
Backport from mainline
diff --git a/gcc/postreload.c b/gcc/postreload.c
index 61c1ce8028e3d8e6cab44f8f36be31fdc8a58f71..311b83019602dd4aa8289fba776a3f16f4340c6f 100644
--- a/gcc/postreload.c
+++ b/gcc/postreload.c
@@ -93,6 +93,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.arm b/gcc/testsuite/ChangeLog.arm
index d81eaaf9eed3b63ec6403bf4229bd5e4c343063f..af426611d47fc4d134c699580025ca0c58e8903a 100644
--- a/gcc/testsuite/ChangeLog.arm
+++ b/gcc/testsuite/ChangeLog.arm
@@ -1,3 +1,13 @@
+2016-12-09 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.
+
2016-12-07 Thomas Preud'homme <thomas.preudhomme@arm.com>
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
index 0000000000000000000000000000000000000000..b078cf3e1c1c7717c9e227721a367f9846f0c7fe
--- /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
index 0000000000000000000000000000000000000000..5a696825295d18d09822edfc48f211c5712e95bb
--- /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
index 0000000000000000000000000000000000000000..efa01e750b3962497cccb05ab9862fd3935397a3
--- /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 "b\\s+bar" } } */
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 16:16 ` Andre Vieira (lists)
2016-12-09 16:31 ` Bernd Schmidt
@ 2016-12-12 9:05 ` Christophe Lyon
2016-12-20 16:48 ` [ARM][committed] Fix for PR78255-2.c testism for targets that do not optimize for tailcall Andre Vieira (lists)
1 sibling, 1 reply; 14+ messages in thread
From: Christophe Lyon @ 2016-12-12 9:05 UTC (permalink / raw)
To: Andre Vieira (lists); +Cc: Ramana Radhakrishnan, Bernd Schmidt, GCC Patches
Hi Andre,
On 9 December 2016 at 17:16, Andre Vieira (lists)
<Andre.SimoesDiasVieira@arm.com> wrote:
> On 09/12/16 16:02, Ramana Radhakrishnan wrote:
>> On Fri, Dec 9, 2016 at 3:58 PM, Bernd Schmidt <bschmidt@redhat.com> wrote:
>>> On 12/09/2016 04:34 PM, Andre Vieira (lists) wrote:
>>>
>>>> Regardless, the other testcases I add in this patch show a sub-optimal
>>>> transformation done by postreload, turning direct calls into indirect
>>>> calls, for targets which have specifically pointed out that no CSE
>>>> should be done on functions through 'NO_FUNCTION_CSE'.
>>>
>>>
>>> What I'm wondering about is whether the patch wouldn't also prevent the
>>> opposite transformation. Is there a reason not to do that one? Can the
>>> problem be modeled by tweaking costs?
>>
>> I really don't think we should have a solution that relies on costs
>> for correctness .
>>
>> regards
>> Ramana
>>
>
> Regardless, 'reload_cse_simplify' would never perform the opposite
> transformation. It checks whether it can replace anything within the
> first argument INSN, with the second argument TESTREG. As the name
> implies this will always be a register. I double checked, the function
> is only called in 'reload_cse_regs' and 'testreg' is created using
> 'gen_rtx_REG'.
>
The new test (gcc.target/arm/pr78255-2.c scan-assembler b\\s+bar)
added at r243494 fails on old arm architectures, such as:
* arm-none-linux-gnueabi, forcing -march=armv5t in runtestflags
* arm-none-eabi with default cpu/fpu/mode
Christophe
> Cheers,
> Andre
^ permalink raw reply [flat|nested] 14+ messages in thread
* [ARM][committed] Fix for PR78255-2.c testism for targets that do not optimize for tailcall
2016-12-12 9:05 ` Christophe Lyon
@ 2016-12-20 16:48 ` Andre Vieira (lists)
0 siblings, 0 replies; 14+ messages in thread
From: Andre Vieira (lists) @ 2016-12-20 16:48 UTC (permalink / raw)
To: Christophe Lyon, GCC Patches
[-- Attachment #1: Type: text/plain, Size: 851 bytes --]
On 12/12/16 09:04, Christophe Lyon wrote:
>>
>
> The new test (gcc.target/arm/pr78255-2.c scan-assembler b\\s+bar)
> added at r243494 fails on old arm architectures, such as:
> * arm-none-linux-gnueabi, forcing -march=armv5t in runtestflags
> * arm-none-eabi with default cpu/fpu/mode
>
> Christophe
Hi,
Thank you for reporting this Christophe and sorry for the delay. The
scan check obviously will not work for targets that do not optimize
tailcalls. So I applied this patch as obvious in revision r243826, such
that the test also accepts direct non-tailcalls, i.e. 'bl?' rather than 'b'.
The test is really to make sure a direct call is not turned into an
indirect call.
gcc/testsuite/ChangeLog:
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.
[-- Attachment #2: diff --]
[-- Type: text/plain, Size: 449 bytes --]
diff --git a/gcc/testsuite/gcc.target/arm/pr78255-2.c b/gcc/testsuite/gcc.target/arm/pr78255-2.c
index efa01e750b3962497cccb05ab9862fd3935397a3..cc1c1801c37ee103da90df940a673ceeac2772ed 100644
--- a/gcc/testsuite/gcc.target/arm/pr78255-2.c
+++ b/gcc/testsuite/gcc.target/arm/pr78255-2.c
@@ -9,4 +9,4 @@ foo (void)
return bar ((void*)bar);
}
-/* { dg-final { scan-assembler "b\\s+bar" } } */
+/* { dg-final { scan-assembler "bl?\\s+bar" } } */
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2016-12-09 16:31 ` Bernd Schmidt
2016-12-09 17:22 ` [arm-embedded][committed] " Andre Vieira (lists)
@ 2017-01-06 10:53 ` Andre Vieira (lists)
2017-01-06 15:47 ` Jeff Law
1 sibling, 1 reply; 14+ messages in thread
From: Andre Vieira (lists) @ 2017-01-06 10:53 UTC (permalink / raw)
To: GCC Patches; +Cc: Jakub Jelinek, Richard Biener
On 09/12/16 16:31, Bernd Schmidt wrote:
> On 12/09/2016 05:16 PM, Andre Vieira (lists) wrote:
>
>> Regardless, 'reload_cse_simplify' would never perform the opposite
>> transformation. It checks whether it can replace anything within the
>> first argument INSN, with the second argument TESTREG. As the name
>> implies this will always be a register. I double checked, the function
>> is only called in 'reload_cse_regs' and 'testreg' is created using
>> 'gen_rtx_REG'.
>
> Ok, let's go ahead with it.
>
>
> Bernd
>
Hello,
Is it OK to backport this (including the testcase fix) to gcc-6-branch?
Patches apply cleanly and full bootstrap and regression tests for
aarch64- and arm-none-linux-gnueabihf. Regression tested for arm-none-eabi.
Cheers,
Andre
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2017-01-06 10:53 ` [PATCH] " Andre Vieira (lists)
@ 2017-01-06 15:47 ` Jeff Law
2017-01-11 15:09 ` Andre Vieira (lists)
0 siblings, 1 reply; 14+ messages in thread
From: Jeff Law @ 2017-01-06 15:47 UTC (permalink / raw)
To: Andre Vieira (lists), GCC Patches; +Cc: Jakub Jelinek, Richard Biener
On 01/06/2017 03:53 AM, Andre Vieira (lists) wrote:
> On 09/12/16 16:31, Bernd Schmidt wrote:
>> On 12/09/2016 05:16 PM, Andre Vieira (lists) wrote:
>>
>>> Regardless, 'reload_cse_simplify' would never perform the opposite
>>> transformation. It checks whether it can replace anything within the
>>> first argument INSN, with the second argument TESTREG. As the name
>>> implies this will always be a register. I double checked, the function
>>> is only called in 'reload_cse_regs' and 'testreg' is created using
>>> 'gen_rtx_REG'.
>>
>> Ok, let's go ahead with it.
>>
>>
>> Bernd
>>
> Hello,
>
> Is it OK to backport this (including the testcase fix) to gcc-6-branch?
>
> Patches apply cleanly and full bootstrap and regression tests for
> aarch64- and arm-none-linux-gnueabihf. Regression tested for arm-none-eabi.
Yes, that should be fine to backport to the active release branches.
jeff
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE
2017-01-06 15:47 ` Jeff Law
@ 2017-01-11 15:09 ` Andre Vieira (lists)
0 siblings, 0 replies; 14+ messages in thread
From: Andre Vieira (lists) @ 2017-01-11 15:09 UTC (permalink / raw)
To: Jeff Law, GCC Patches; +Cc: Jakub Jelinek, Richard Biener
On 06/01/17 15:47, Jeff Law wrote:
> On 01/06/2017 03:53 AM, Andre Vieira (lists) wrote:
>> On 09/12/16 16:31, Bernd Schmidt wrote:
>>> On 12/09/2016 05:16 PM, Andre Vieira (lists) wrote:
>>>
>>>> Regardless, 'reload_cse_simplify' would never perform the opposite
>>>> transformation. It checks whether it can replace anything within the
>>>> first argument INSN, with the second argument TESTREG. As the name
>>>> implies this will always be a register. I double checked, the function
>>>> is only called in 'reload_cse_regs' and 'testreg' is created using
>>>> 'gen_rtx_REG'.
>>>
>>> Ok, let's go ahead with it.
>>>
>>>
>>> Bernd
>>>
>> Hello,
>>
>> Is it OK to backport this (including the testcase fix) to gcc-6-branch?
>>
>> Patches apply cleanly and full bootstrap and regression tests for
>> aarch64- and arm-none-linux-gnueabihf. Regression tested for
>> arm-none-eabi.
> Yes, that should be fine to backport to the active release branches.
>
> jeff
OK, I have committed the backports to gcc-5 and gcc-6 branches.
Cheers,
Andre
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2017-01-11 15:09 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-12-09 14:03 [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE Andre Vieira (lists)
2016-12-09 15:02 ` Bernd Schmidt
2016-12-09 15:34 ` Andre Vieira (lists)
2016-12-09 15:58 ` Bernd Schmidt
2016-12-09 16:02 ` Ramana Radhakrishnan
2016-12-09 16:16 ` Andre Vieira (lists)
2016-12-09 16:31 ` Bernd Schmidt
2016-12-09 17:22 ` [arm-embedded][committed] " Andre Vieira (lists)
2017-01-06 10:53 ` [PATCH] " Andre Vieira (lists)
2017-01-06 15:47 ` Jeff Law
2017-01-11 15:09 ` Andre Vieira (lists)
2016-12-12 9:05 ` Christophe Lyon
2016-12-20 16:48 ` [ARM][committed] Fix for PR78255-2.c testism for targets that do not optimize for tailcall Andre Vieira (lists)
2016-12-09 16:01 ` [PATCH] PR78255: Make postreload aware of NO_FUNCTION_CSE Jeff Law
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).