OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[PR96264] LRA: Check output insn hard regs when updating available rematerialization after the insn

Browse Source 
Insn for rematerialization can contain a clobbered hard register.  We
can not move such insn through another insn setting up the same hard
register.  The patch adds such check.

gcc/ChangeLog:

	PR rtl-optimization/96264
	* lra-remat.c (reg_overlap_for_remat_p): Check also output insn
	hard regs.

gcc/testsuite/ChangeLog:

	PR rtl-optimization/96264
	* gcc.target/powerpc/pr96264.c: New.
This commit is contained in:
Vladimir N. Makarov 2021-02-18 17:49:26 -05:00
parent 6347f4a090
commit d1efec57e2
2 changed files with 37 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/lra-remat.c
View File

@ -651,7 +651,11 @@ calculate_local_reg_remat_bb_data (void)
/* Return true if REG overlaps an input operand of INSN. */
/* Return true if REG overlaps an input operand or non-input hard register of
INSN. Basically the function returns false if we can move rematerialization
candidate INSN through another insn with output REG or dead input REG (we
consider it to avoid extending reg live range) with possible output pseudo
renaming in INSN. */
static bool
reg_overlap_for_remat_p (lra_insn_reg *reg, rtx_insn *insn)
{
@ -675,10 +679,11 @@ reg_overlap_for_remat_p (lra_insn_reg *reg, rtx_insn *insn)
reg2 != NULL;
reg2 = reg2->next)
{
if (reg2->type != OP_IN)
continue;
unsigned regno2 = reg2->regno;
int nregs2;
unsigned regno2 = reg2->regno;
if (reg2->type != OP_IN && regno2 >= FIRST_PSEUDO_REGISTER)
continue;
if (regno2 >= FIRST_PSEUDO_REGISTER && reg_renumber[regno2] >= 0)
regno2 = reg_renumber[regno2];

28
gcc/testsuite/gcc.target/powerpc/pr96264.c Normal file
View File

@ -0,0 +1,28 @@
/* { dg-do run } */
/* { dg-options "-Os -fno-forward-propagate -fschedule-insns -fno-tree-ter -Wno-psabi" } */
/* { dg-require-effective-target p8vector_hw } */
typedef unsigned char __attribute__ ((__vector_size__ (64))) v512u8;
typedef unsigned short u16;
typedef unsigned short __attribute__ ((__vector_size__ (64))) v512u16;
typedef unsigned __int128 __attribute__ ((__vector_size__ (64))) v512u128;
v512u16 d;
v512u128 f;
v512u8
foo (u16 e)
{
v512u128 g = f - -e;
d = (5 / (d + 1)) < e;
return (v512u8) g;
}
int
main (void)
{
v512u8 x = foo (2);
for (unsigned i = 0; i < sizeof (x); i++)
if (x[i] != (i % 16 ? 0 : 2))
__builtin_abort ();
}