diff options
| author | Ira Rosen <ira.rosen@linaro.org> | 2011-10-16 13:47:54 +0000 |
|---|---|---|
| committer | Ira Rosen <irar@gcc.gnu.org> | 2011-10-16 13:47:54 +0000 |
| commit | aede122782e489f97b367e786ad56487b790a4ee (patch) | |
| tree | 5635dbd93744619092d9488f5d8c454a19342253 | |
| parent | a1f6ecb6d6677ec56c3c7fc8de7c49062bdfa832 (diff) | |
| download | gcc-aede122782e489f97b367e786ad56487b790a4ee.zip gcc-aede122782e489f97b367e786ad56487b790a4ee.tar.gz gcc-aede122782e489f97b367e786ad56487b790a4ee.tar.bz2 | |
re PR tree-optimization/50727 (ICE with segfault in flow_bb_inside_loop_p)
PR tree-optimization/50727
* tree-vect-patterns.c (vect_operation_fits_smaller_type): Add
DEF_STMT to the list of statements to be replaced by the
pattern statements.
From-SVN: r180060
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr50727.c | 21 | ||||
| -rw-r--r-- | gcc/tree-vect-patterns.c | 1 |
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c109850..cde0069 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2011-10-16 Ira Rosen <ira.rosen@linaro.org> + + PR tree-optimization/50727 + * tree-vect-patterns.c (vect_operation_fits_smaller_type): Add + DEF_STMT to the list of statements to be replaced by the + pattern statements. + 2011-10-16 Eric Botcazou <ebotcazou@adacore.com> PR rtl-optimization/50615 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2461aeb..c449d32 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-10-16 Ira Rosen <ira.rosen@linaro.org> + + PR tree-optimization/50727 + * gcc.dg/vect/pr50727.c: New test. + 2011-10-16 Eric Botcazou <ebotcazou@adacore.com> * gcc.dg/vla-23.c: New test. diff --git a/gcc/testsuite/gcc.dg/vect/pr50727.c b/gcc/testsuite/gcc.dg/vect/pr50727.c new file mode 100644 index 0000000..896b614 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr50727.c @@ -0,0 +1,21 @@ +/* { dg-do compile } */ + +typedef unsigned char uint8_t; +typedef unsigned long uint32_t; +void +f0a (uint32_t * __restrict__ result, uint32_t * arg2, + uint8_t * __restrict__ arg4) +{ + int idx; + for (idx = 0; idx < 429; idx += 1) + { + uint32_t temp_9; + uint32_t temp_11; + temp_9 = ((-19 | arg4[idx]) >> arg2[idx]); + temp_11 = (((-19 ^ arg4[idx]) & arg2[idx]) ^ temp_9); + result[idx] = temp_11; + } +} + +/* { dg-final { cleanup-tree-dump "vect" } } */ + diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index b43ccc3..da2eb3d 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -1003,6 +1003,7 @@ vect_operation_fits_smaller_type (gimple stmt, tree def, tree *new_type, || TREE_TYPE (gimple_assign_lhs (new_stmt)) != interm_type) return false; + VEC_safe_push (gimple, heap, *stmts, def_stmt); oprnd = gimple_assign_lhs (new_stmt); } else |