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

[PR100066] Check paradoxical subreg when splitting hard reg live range 

When splitting live range of a hard reg, LRA actually split multi-register
containing the hard reg.  So we need to check the biggest used mode of the hard reg on
paradoxical subregister when the natural and the biggest
mode are ordered.

gcc/ChangeLog:

	PR rtl-optimization/100066
	* lra-constraints.c (split_reg): Check paradoxical_subreg_p for
	ordered modes when choosing splitting mode for hard reg.

gcc/testsuite/ChangeLog:

	PR rtl-optimization/100066
	* gcc.target/i386/pr100066.c: New.
This commit is contained in:
Vladimir N. Makarov 2021-04-14 13:21:40 -04:00
parent 785209fc46
commit f99f64f69d
2 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/lra-constraints.c
View File

@ -5797,10 +5797,14 @@ split_reg (bool before_p, int original_regno, rtx_insn *insn,
mode = lra_reg_info[hard_regno].biggest_mode; mode = lra_reg_info[hard_regno].biggest_mode;
machine_mode reg_rtx_mode = GET_MODE (regno_reg_rtx[hard_regno]); machine_mode reg_rtx_mode = GET_MODE (regno_reg_rtx[hard_regno]);
/* A reg can have a biggest_mode of VOIDmode if it was only ever seen as /* A reg can have a biggest_mode of VOIDmode if it was only ever seen as
part of a multi-word register. In that case, just use the reg_rtx. part of a multi-word register. In that case, just use the reg_rtx
Otherwise, limit the size to that of the biggest access in the mode. Do the same also if the biggest mode was larger than a register
function. */ or we can not compare the modes. Otherwise, limit the size to that of
if (mode == VOIDmode) the biggest access in the function. */
if (mode == VOIDmode
|| !ordered_p (GET_MODE_PRECISION (mode),
GET_MODE_PRECISION (reg_rtx_mode))
|| paradoxical_subreg_p (mode, reg_rtx_mode))
{ {
original_reg = regno_reg_rtx[hard_regno]; original_reg = regno_reg_rtx[hard_regno];
mode = reg_rtx_mode; mode = reg_rtx_mode;

13
gcc/testsuite/gcc.target/i386/pr100066.c Normal file
View File

@ -0,0 +1,13 @@
/* { dg-do compile { target { int128 } } } */
/* { dg-options "-O1 -w" } */
int pm;
void
w3 (int, int, int);
void
e6 (__int128 rt, long int mo)
{
mo += rt / 0;
w3 (pm / mo, pm, 0);
}