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

re PR rtl-optimization/8555 (ICE in gen_split_1231) 

PR optimization/8555
	* config/i386/i386.md (sse_mov?fcc split): Handle op2 == op3 case
	instead of aborting.

	* gcc.dg/20030204-1.c: New test.

From-SVN: r62438
This commit is contained in:
Jakub Jelinek 2003-02-05 12:29:15 +01:00 committed by Jakub Jelinek
parent 8acfdd43da
commit 4f6ae35d12
4 changed files with 33 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2003-02-05 Jakub Jelinek <jakub@redhat.com>
PR optimization/8555
* config/i386/i386.md (sse_mov?fcc split): Handle op2 == op3 case
instead of aborting.
2003-02-04 Richard Henderson <rth@redhat.com>
* config/i386/i386.md (UNSPEC_BSF): Remove.

10
gcc/config/i386/i386.md
View File

@ -17127,10 +17127,14 @@
op = simplify_gen_subreg (V2DFmode, operands[3], DFmode, 0);
emit_insn (gen_sse2_unpcklpd (op, op, op));
}
/* If op2 == op3, op3 will be clobbered before it is used.
This should be optimized out though. */
/* If op2 == op3, op3 would be clobbered before it is used. */
if (operands_match_p (operands[2], operands[3]))
abort ();
{
emit_move_insn (operands[0], operands[2]);
DONE;
}
PUT_MODE (operands[1], GET_MODE (operands[0]));
if (operands_match_p (operands[0], operands[4]))
operands[6] = operands[4], operands[7] = operands[2];

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2003-02-05 Jakub Jelinek <jakub@redhat.com>
* gcc.dg/20030204-1.c: New test.
2003-02-04 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
PR c++/38

16
gcc/testsuite/gcc.dg/20030204-1.c Normal file
View File

@ -0,0 +1,16 @@
/* PR optimization/8555 */
/* { dg-do compile } */
/* { dg-options "-O -ffast-math -funroll-loops" } */
/* { dg-options "-march=pentium3 -O -ffast-math -funroll-loops" { target i?86-*-* } } */
float foo (float *a, int i)
{
int j;
float x = a[j = i - 1], y;
for (j = i; --j >= 0; )
if ((y = a[j]) > x)
x = y;
return x;
}