diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-02-02 09:09:37 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-02-02 09:09:37 +0100 |
| commit | 13c931c93961cdaa85b6fe77f455bae1c9b19b98 (patch) | |
| tree | a6ddb2038a27e4777cb0c3f455a8e0ce370e9e45 | |
| parent | 10f5ffa4e9ec1e8393eecf074e9a554d7c0b9c66 (diff) | |
| download | gcc-13c931c93961cdaa85b6fe77f455bae1c9b19b98.zip gcc-13c931c93961cdaa85b6fe77f455bae1c9b19b98.tar.gz gcc-13c931c93961cdaa85b6fe77f455bae1c9b19b98.tar.bz2 | |
re PR tree-optimization/52073 (ICE: vector VEC(vec_void_p,base) index domain error, in vinfo_for_stmt at tree-vectorizer.h:620)
PR tree-optimization/52073
* tree-vect-stmts.c (vect_mark_relevant): When checking uses of
a pattern stmt for pattern uses, ignore uses outside of the loop.
* gcc.c-torture/compile/pr52073.c: New test.
From-SVN: r183829
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr52073.c | 28 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.c | 5 |
4 files changed, 44 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e182b73..26beb11 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-02-02 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/52073 + * tree-vect-stmts.c (vect_mark_relevant): When checking uses of + a pattern stmt for pattern uses, ignore uses outside of the loop. + 2012-02-01 Georg-Johann Lay <avr@gjlay.de> * config/avr/avr.c: Resolve all AS1 and AS2 macros. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1b3a406..a6f4fc2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-02-02 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/52073 + * gcc.c-torture/compile/pr52073.c: New test. + 2012-02-01 Thomas König <tkoenig@gcc.gnu.org> PR fortran/51958 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr52073.c b/gcc/testsuite/gcc.c-torture/compile/pr52073.c new file mode 100644 index 0000000..19056e1 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr52073.c @@ -0,0 +1,28 @@ +/* PR tree-optimization/52073 */ + +int a, b, c, d, e, f; + +void +foo (int x) +{ + e = 1; + for (;;) + { + int g = c; + if (x) + { + if (e) + continue; + while (a) + --f; + } + else + for (b = 5; b; b--) + { + d = g; + g = 0 == d; + } + if (!g) + x = 0; + } +} diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 8e2b5fe..8532fd8 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -150,6 +150,8 @@ vect_mark_relevant (VEC(gimple,heap) **worklist, gimple stmt, use_operand_p use_p; gimple use_stmt; tree lhs; + loop_vec_info loop_vinfo = STMT_VINFO_LOOP_VINFO (stmt_info); + struct loop *loop = LOOP_VINFO_LOOP (loop_vinfo); if (is_gimple_assign (stmt)) lhs = gimple_assign_lhs (stmt); @@ -166,6 +168,9 @@ vect_mark_relevant (VEC(gimple,heap) **worklist, gimple stmt, continue; use_stmt = USE_STMT (use_p); + if (!flow_bb_inside_loop_p (loop, gimple_bb (use_stmt))) + continue; + if (vinfo_for_stmt (use_stmt) && STMT_VINFO_IN_PATTERN_P (vinfo_for_stmt (use_stmt))) { |