mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2025-01-01 16:34:06 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

re PR rtl-optimization/46603 (gcc.dg/vect/slp-multitypes-2.c execution failure)

Browse Source 
PR rtl-optimization/46603
	* reload.c (push_reload): In the out case, reload the subreg as well
	as the reg if it has word mode.

From-SVN: r180457
This commit is contained in:
Eric Botcazou 2011-10-25 22:26:20 +00:00 committed by Eric Botcazou
parent 6ea685b857
commit 95d17cbf6d
4 changed files with 14 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2011-10-25 Eric Botcazou <ebotcazou@adacore.com>
PR rtl-optimization/46603
* reload.c (push_reload): In the out case, reload the subreg as well
as the reg if it has word mode.
2011-10-25 Eric Botcazou <ebotcazou@adacore.com>
* dwarf2out.c (add_gnat_descriptive_type_attribute): Temporarily

18
gcc/reload.c
View File

@ -1117,10 +1117,10 @@ push_reload (rtx in, rtx out, rtx *inloc, rtx *outloc,
/* Similarly for paradoxical and problematical SUBREGs on the output.
Note that there is no reason we need worry about the previous value
of SUBREG_REG (out); even if wider than out,
storing in a subreg is entitled to clobber it all
(except in the case of STRICT_LOW_PART,
and in that case the constraint should label it input-output.) */
of SUBREG_REG (out); even if wider than out, storing in a subreg is
entitled to clobber it all (except in the case of a word mode subreg
or of a STRICT_LOW_PART, in that latter case the constraint should
label it input-output.) */
if (out != 0 && GET_CODE (out) == SUBREG
&& (subreg_lowpart_p (out) || strict_low)
#ifdef CANNOT_CHANGE_MODE_CLASS
@ -1142,16 +1142,6 @@ push_reload (rtx in, rtx out, rtx *inloc, rtx *outloc,
/ UNITS_PER_WORD)))
#endif
))
|| (REG_P (SUBREG_REG (out))
&& REGNO (SUBREG_REG (out)) < FIRST_PSEUDO_REGISTER
&& ((GET_MODE_SIZE (outmode) <= UNITS_PER_WORD
&& (GET_MODE_SIZE (GET_MODE (SUBREG_REG (out)))
> UNITS_PER_WORD)
&& ((GET_MODE_SIZE (GET_MODE (SUBREG_REG (out)))
/ UNITS_PER_WORD)
!= (int) hard_regno_nregs[REGNO (SUBREG_REG (out))]
[GET_MODE (SUBREG_REG (out))]))
|| ! HARD_REGNO_MODE_OK (subreg_regno (out), outmode)))
|| (secondary_reload_class (0, rclass, outmode, out) != NO_REGS
&& (secondary_reload_class (0, rclass, GET_MODE (SUBREG_REG (out)),
SUBREG_REG (out))

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2011-10-25 Eric Botcazou <ebotcazou@adacore.com>
* gcc.dg/vect/slp-multitypes-2.c: Do not XFAIL on SPARC 32-bit.
2011-10-25 Jason Merrill <jason@redhat.com>
PR c++/50866

1
gcc/testsuite/gcc.dg/vect/slp-multitypes-2.c
View File

@ -1,5 +1,4 @@
/* { dg-require-effective-target vect_int } */
/* { dg-xfail-run-if "PR rtl-optimization/46603" { sparc*-*-* && { ilp32 && gas } } } */
#include <stdarg.h>
#include "tree-vect.h"