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

re PR middle-end/27959 (s390x miscompilation due to clobbering literal pool base reg) 

2006-06-14  Andreas Krebbel  <krebbel1@de.ibm.com>

	PR middle-end/27959
	* reload1.c (reload): Remove registers returned by update_eliminables
	from used_spill_regs.

2006-06-14  Andreas Krebbel  <krebbel1@de.ibm.com>

	PR middle-end/27959
	* gcc.dg/pr27959.c: New testcase.

From-SVN: r114640
This commit is contained in:
Andreas Krebbel 2006-06-14 14:19:54 +00:00 committed by Andreas Krebbel
parent 34e598d832
commit 184f4c5647
4 changed files with 106 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2006-06-14 Andreas Krebbel <krebbel1@de.ibm.com>
PR middle-end/27959
* reload1.c (reload): Remove registers returned by update_eliminables
from used_spill_regs.
2006-06-13 DJ Delorie <dj@redhat.com>
* config/m32c/muldiv.md (mulpsi3): Expect arbitrary constants.

2
gcc/reload1.c
View File

@ -989,6 +989,8 @@ reload (rtx first, int global)
HARD_REG_SET to_spill;
CLEAR_HARD_REG_SET (to_spill);
update_eliminables (&to_spill);
AND_COMPL_HARD_REG_SET(used_spill_regs, to_spill);
for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
if (TEST_HARD_REG_BIT (to_spill, i))
{

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2006-06-14 Andreas Krebbel <krebbel1@de.ibm.com>
PR middle-end/27959
* gcc.dg/pr27959.c: New testcase.
2006-06-13 J"orn Rennecke <joern.rennecke@st.com>
PR target/28014:

93
gcc/testsuite/gcc.dg/pr27959.c Normal file
View File

@ -0,0 +1,93 @@
/* PR middle-end/27959 */
/* { dg-do run } */
/* { dg-options "-O2" } */
/* { dg-options "-O2 -mtune=z990" { target s390*-*-* } } */
extern void abort (void);
struct B
{
unsigned int b1, b2, b3;
char b4;
};
struct C
{
char c1;
};
struct D
{
char *d1;
struct C **d2;
unsigned int d3;
};
void
__attribute__((noinline))
foo (void *x, struct B *y, unsigned int *z)
{
if (x)
abort ();
if (y->b1 != 7 || y->b2 != 5 || y->b3 != 3 || y->b4)
abort ();
if (*z != 2)
abort ();
}
int
__attribute__((noinline))
baz (unsigned int *x, unsigned int y)
{
asm volatile ("" : : "r" (&x), "r" (&y) : "memory");
return *x + y;
}
inline int bar (unsigned int *x, unsigned int y)
{
if (y < *x)
return 0;
return baz (x, y);
}
unsigned int *
__attribute__((noinline))
test (struct D *x, unsigned int *y)
{
struct B b;
unsigned int c;
bar (y, x->d3);
if ((*(x->d2))->c1)
c = ((unsigned char) x->d1[0]
+ ((unsigned char) x->d1[1] << 8)
+ ((unsigned char) x->d1[2] << 16)
+ ((short) x->d1[3] << 24));
else
{
int d;
((char *) &d)[0] = x->d1[0];
((char *) &d)[1] = x->d1[1];
((char *) &d)[2] = x->d1[2];
((char *) &d)[3] = x->d1[3];
c = d;
}
b.b4 = 0;
b.b1 = c / 10000L % 10000;
b.b2 = c / 100 % 100;
b.b3 = c % 100;
foo (0, &b, y);
return y;
}
int
main (void)
{
unsigned int x = 900070503;
unsigned int y = 2;
struct C c = { 0 }, *cptr = &c;
struct D d = { (char *) &x, &cptr, 0 };
if (test (&d, &y) != &y)
abort ();
return 0;
}