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

[PR102627] Use at least natural mode during splitting hard reg live range 

In the PR test case SImode was used to split live range of cx on x86-64
because it was the biggest mode for this hard reg in the function.  But
all 64-bits of cx contain structure members.  We need always to use at least
natural mode of hard reg in splitting to fix this problem.

gcc/ChangeLog:

	PR rtl-optimization/102627
	* lra-constraints.c (split_reg): Use at least natural mode of hard reg.

gcc/testsuite/ChangeLog:

	PR rtl-optimization/102627
	* gcc.target/i386/pr102627.c: New test.
This commit is contained in:
Vladimir N. Makarov 2021-10-08 10:16:09 -04:00
parent e6f6972b5f
commit 9046e0d46f
2 changed files with 44 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/lra-constraints.c
View File

@ -5799,11 +5799,12 @@ split_reg (bool before_p, int original_regno, rtx_insn *insn,
part of a multi-word register. In that case, just use the reg_rtx
mode. Do the same also if the biggest mode was larger than a register
or we can not compare the modes. Otherwise, limit the size to that of
the biggest access in the function. */
the biggest access in the function or to the natural mode at least. */
if (mode == VOIDmode
|| !ordered_p (GET_MODE_PRECISION (mode),
GET_MODE_PRECISION (reg_rtx_mode))
|| paradoxical_subreg_p (mode, reg_rtx_mode))
|| paradoxical_subreg_p (mode, reg_rtx_mode)
|| maybe_gt (GET_MODE_PRECISION (reg_rtx_mode), GET_MODE_PRECISION (mode)))
{
original_reg = regno_reg_rtx[hard_regno];
mode = reg_rtx_mode;

41
gcc/testsuite/gcc.target/i386/pr102627.c Normal file
View File

@ -0,0 +1,41 @@
/* PR rtl-optimization/102627 */
/* { dg-do run } */
/* { dg-options "-O1" } */
int a, f, l, m, q, c, d, g;
long b, e;
struct g {
signed h;
signed i;
unsigned j;
unsigned k;
};
unsigned n;
char o;
int *p = &m;
long r(int s) { return s && b ?: b; }
long __attribute__((noipa)) v() {
l = 0 || r(n & o);
return q;
}
void w(int, unsigned, struct g x) {
c ?: a;
for (; d < 2; d++)
*p = x.k;
}
struct g __attribute__((noipa)) y() {
struct g h = {3, 908, 1, 20};
for (; g; g++)
;
return h;
}
int main() {
long t;
struct g u = y();
t = e << f;
w(0, t, u);
v(0, 4, 4, 4);
if (m != 20)
__builtin_abort ();
return 0;
}