From 9ef7adc086571bf7d2d3664dc7cdeaee27fc3a9b Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 18 Jun 2012 14:05:27 +0000 Subject: [PATCH] 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 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 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/torture/pr53693.C | 21 +++++++++++++++++++++ gcc/tree-vect-patterns.c | 5 +++++ 4 files changed, 37 insertions(+) create mode 100644 gcc/testsuite/g++.dg/torture/pr53693.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 194601dc714..8355d02452b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-06-18 Richard Guenther + + 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 PR tree-optimization/53703 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 933dca32d82..392e603df88 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-06-18 Richard Guenther + + PR tree-optimization/53693 + * g++.dg/torture/pr53693.C: New testcase. + 2012-06-18 Bill Schmidt PR tree-optimization/53703 diff --git a/gcc/testsuite/g++.dg/torture/pr53693.C b/gcc/testsuite/g++.dg/torture/pr53693.C new file mode 100644 index 00000000000..b67a484b969 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr53693.C @@ -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); + } +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 4138d41c11d..11a5019985c 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -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) -- 2.30.2