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

re PR rtl-optimization/57003 (gcc breaks -O2 optimization with Wine(64) - links/info/bisect of commits included)

Browse Source 
PR rtl-optimization/57003
	* regcprop.c (copyprop_hardreg_forward_1): If ksvd.ignore_set_reg,
	call note_stores with kill_clobbered_value callback again after
	killing regs_invalidated_by_call.

	* gcc.target/i386/pr57003.c: New test.

From-SVN: r198320
This commit is contained in:
Jakub Jelinek 2013-04-25 23:49:22 +02:00 committed by Jakub Jelinek
parent 9c818d13d4
commit c5a4400402
4 changed files with 73 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2013-04-25 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/57003
* regcprop.c (copyprop_hardreg_forward_1): If ksvd.ignore_set_reg,
call note_stores with kill_clobbered_value callback again after
killing regs_invalidated_by_call.
2013-04-25 James Greenhalgh <james.greenhalgh@arm.com>
* config/aarch64/aarch64-simd.md

7
gcc/regcprop.c
View File

@ -1015,6 +1015,13 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
EXECUTE_IF_SET_IN_HARD_REG_SET (regs_invalidated_by_call, 0, regno, hrsi)
if (regno < set_regno || regno >= set_regno + set_nregs)
kill_value_regno (regno, 1, vd);
/* If SET was seen in CALL_INSN_FUNCTION_USAGE, and SET_SRC
of the SET isn't in regs_invalidated_by_call hard reg set,
but instead among CLOBBERs on the CALL_INSN, we could wrongly
assume the value in it is still live. */
if (ksvd.ignore_set_reg)
note_stores (PATTERN (insn), kill_clobbered_value, vd);
}
/* Notice stores. */

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-04-25 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/57003
* gcc.target/i386/pr57003.c: New test.
2013-04-25 Marek Polacek <polacek@redhat.com>
PR tree-optimization/57066

54
gcc/testsuite/gcc.target/i386/pr57003.c Normal file
View File

@ -0,0 +1,54 @@
/* PR rtl-optimization/57003 */
/* { dg-do run } */
/* { dg-options "-O2" } */
#define N 2001
unsigned short *b, *c, *d;
__attribute__ ((noinline, noclone)) unsigned
bar (void)
{
asm volatile ("" : : : "memory");
return N;
}
__attribute__ ((noinline, noclone)) unsigned short *
baz (unsigned long x)
{
if (x != N * sizeof (unsigned short) + 20)
__builtin_abort ();
asm volatile ("" : : : "memory");
return d;
}
__attribute__ ((ms_abi, noinline, noclone))
foo (void)
{
unsigned d;
unsigned short *e;
if ((d = bar ()))
{
e = baz (d * sizeof (unsigned short) + 20);
__builtin_memcpy (e, b, d * sizeof (unsigned short));
c = e;
}
}
int
main ()
{
unsigned short a[2 * N];
int i;
for (i = 0; i < 2 * N; i++)
a[i] = i + 1;
b = a;
d = a + N;
asm volatile ("" : : : "memory");
foo ();
for (i = 0; i < N; i++)
if (a[i] != i + 1 || a[i + N] != i + 1)
__builtin_abort ();
if (c != a + N)
__builtin_abort ();
return 0;
}