git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR tree-optimization/53693 (ICE in vect_get_vec_def_for_stmt_copy, at tree-vect-stmts.c:1438) 

2012-06-18  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/53693
	* tree-vect-patterns.c (vect_operation_fits_smaller_type):
	Reject operands with more than one use.

	* g++.dg/torture/pr53693.C: New testcase.

From-SVN: r188733
This commit is contained in:
Richard Guenther 2012-06-18 14:05:27 +00:00 committed by Richard Biener
parent 9b10be32fd
commit 9ef7adc086
4 changed files with 37 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 @@
2012-06-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53693
* tree-vect-patterns.c (vect_operation_fits_smaller_type):
Reject operands with more than one use.
2012-06-18 Bill Schmidt <wschmidt@linux.ibm.com>
PR tree-optimization/53703

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2012-06-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53693
* g++.dg/torture/pr53693.C: New testcase.
2012-06-18 Bill Schmidt <wschmidt@linux.ibm.com>
PR tree-optimization/53703

21
gcc/testsuite/g++.dg/torture/pr53693.C Normal file
View File

@ -0,0 +1,21 @@
// { dg-do compile }
void
filter_scanlines (void *src_buffer, void *dst_buffer, int dst_pitch, int width)
{
int x;
unsigned short *src, *dst_a, *dst_b;
src = (unsigned short *) src_buffer;
dst_a = (unsigned short *) dst_buffer;
dst_b = ((unsigned short *) dst_buffer) + (dst_pitch >> 1);
for (x = 0; x < width; x++)
{
unsigned char gs, gh;
gs = src[x];
gh = gs + (gs >> 1);
dst_a[x] = (gh << 5) | (gh);
dst_b[x] = ((gs - gh) << 5) | (gs - gh);
}
}

5
gcc/tree-vect-patterns.c
View File

@ -991,6 +991,11 @@ vect_operation_fits_smaller_type (gimple stmt, tree def, tree *new_type,
|| TREE_CODE (const_oprnd) != INTEGER_CST)
return false;
/* If oprnd has other uses besides that in stmt we cannot mark it
as being part of a pattern only. */
if (!has_single_use (oprnd))
return false;
/* If we are in the middle of a sequence, we use DEF from a previous
statement. Otherwise, OPRND has to be a result of type promotion. */
if (*new_type)