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

re PR rtl-optimization/51821 (64bit > 32bit conversion produces incorrect results with optimizations) 

PR rtl-optimization/51821
	* recog.c (peep2_find_free_register): Determine clobbered registers
	from insn pattern.

testsuite/ChangeLog:

	PR rtl-optimization/51821
	* gcc.dg/pr51821.c: New test.

From-SVN: r183200
This commit is contained in:
Uros Bizjak 2012-01-15 21:38:32 +01:00
parent f07ed5f9bc
commit 41a8dcc8cb
4 changed files with 43 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ChangeLog
View File

@ -1,7 +1,12 @@
2012-01-15 Uros Bizjak <ubizjak@gmail.com>
PR rtl-optimization/51821
* recog.c (peep2_find_free_register): Determine clobbered registers
from insn pattern.
2012-01-09 Richard Sandiford <rdsandiford@googlemail.com>
* config/mips/mips.md (loadgp_newabi_<mode>): Add missing
earlyclobber.
* config/mips/mips.md (loadgp_newabi_<mode>): Add missing earlyclobber.
2011-12-21 Uros Bizjak <ubizjak@gmail.com>
@ -16,7 +21,6 @@
2011-12-09 Kazu Hirata <kazu@codesourcery.com>
Backport from mainline:
2011-12-05 Kazu Hirata <kazu@codesourcery.com>
PR target/51408

11
gcc/recog.c
View File

@ -2933,6 +2933,7 @@ peep2_find_free_register (int from, int to, const char *class_str,
static int search_ofs;
enum reg_class cl;
HARD_REG_SET live;
df_ref *def_rec;
int i;
gcc_assert (from < MAX_INSNS_PER_PEEP2 + 1);
@ -2950,13 +2951,15 @@ peep2_find_free_register (int from, int to, const char *class_str,
while (from != to)
{
HARD_REG_SET this_live;
gcc_assert (peep2_insn_data[from].insn != NULL_RTX);
/* Don't use registers set or clobbered by the insn. */
for (def_rec = DF_INSN_DEFS (peep2_insn_data[from].insn);
*def_rec; def_rec++)
SET_HARD_REG_BIT (live, DF_REF_REGNO (*def_rec));
if (++from >= MAX_INSNS_PER_PEEP2 + 1)
from = 0;
gcc_assert (peep2_insn_data[from].insn != NULL_RTX);
REG_SET_TO_HARD_REG_SET (this_live, peep2_insn_data[from].live_before);
IOR_HARD_REG_SET (live, this_live);
}
cl = (class_str[0] == 'r' ? GENERAL_REGS

6
gcc/testsuite/ChangeLog
View File

@ -1,7 +1,11 @@
2012-01-15 Uros Bizjak <ubizjak@gmail.com>
PR rtl-optimization/51821
* gcc.dg/pr51821.c: New test.
2011-12-09 Kazu Hirata <kazu@codesourcery.com>
Backport from mainline:
2011-12-05 Kazu Hirata <kazu@codesourcery.com>
PR target/51408

24
gcc/testsuite/gcc.dg/pr51821.c Normal file
View File

@ -0,0 +1,24 @@
/* { dg-do run } */
/* { dg-options "-O2 -msse" { target { i?86-*-* x86_64-*-* } } } */
/* { dg-require-effective-target sse_runtime { target { i?86-*-* x86_64-*-* } } } */
extern void abort (void);
unsigned int __attribute__((noinline))
test (int shift_size)
{
unsigned long long res = ~0;
return res << shift_size;
}
int
main ()
{
int dst = 32;
if (test (dst) != 0)
abort ();
return 0;
}