From ddee24bb52316286952bdfe9931038623abc7def Mon Sep 17 00:00:00 2001 From: jakub Date: Thu, 2 Feb 2012 08:09:37 +0000 Subject: [PATCH] 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183829 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/pr52073.c | 28 +++++++++++++++++++++++++++ gcc/tree-vect-stmts.c | 5 +++++ 4 files changed, 44 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr52073.c 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 + + 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 * 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 + + PR tree-optimization/52073 + * gcc.c-torture/compile/pr52073.c: New test. + 2012-02-01 Thomas König 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))) { -- 2.7.4