From 154fb72b6d8e35b1a97fd665dd43c4f215aea1b1 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 29 Nov 2018 13:33:59 +0000 Subject: [PATCH] re PR tree-optimization/88243 (ice in vect_create_epilog_for_reduction, at tree-vect-loop.c:4689) 2018-11-29 Richard Biener PR tree-optimization/88243 * tree-vect-patterns.c (vect_mark_pattern_stmts): Set the def type of all pattern-sequence stmts to vect_internal_def. * gcc.dg/torture/pr88243.c: New testcase. From-SVN: r266615 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr88243.c | 18 ++++++++++++++++++ gcc/tree-vect-patterns.c | 10 +++++++++- 4 files changed, 38 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr88243.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 91a1703db05..b35b26f6561 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-11-29 Richard Biener + + PR tree-optimization/88243 + * tree-vect-patterns.c (vect_mark_pattern_stmts): Set the def + type of all pattern-sequence stmts to vect_internal_def. + 2018-11-29 Andre Vieira PR target/88224 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1764265073d..18a921ceaef 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-11-29 Richard Biener + + PR tree-optimization/88243 + * gcc.dg/torture/pr88243.c: New testcase. + 2018-11-29 Jakub Jelinek PR c++/87539 diff --git a/gcc/testsuite/gcc.dg/torture/pr88243.c b/gcc/testsuite/gcc.dg/torture/pr88243.c new file mode 100644 index 00000000000..17ca38fb684 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr88243.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ + +int a, b, c; + +void d() +{ + int e, f; + for (; a; a++) + { + e = (__UINTPTR_TYPE__)d; + b = 0; + for (; b < 2; b++) + { + f = e = e / 2; + c = c + f; + } + } +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 2b56d85afc5..39b6f822d19 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -4723,7 +4723,15 @@ vect_mark_pattern_stmts (stmt_vec_info orig_stmt_info, gimple *pattern_stmt, if (def_seq) for (gimple_stmt_iterator si = gsi_start (def_seq); !gsi_end_p (si); gsi_next (&si)) - vect_init_pattern_stmt (gsi_stmt (si), orig_stmt_info, pattern_vectype); + { + stmt_vec_info pattern_stmt_info + = vect_init_pattern_stmt (gsi_stmt (si), + orig_stmt_info, pattern_vectype); + /* Stmts in the def sequence are not vectorizable cycle or + induction defs, instead they should all be vect_internal_def + feeding the main pattern stmt which retains this def type. */ + STMT_VINFO_DEF_TYPE (pattern_stmt_info) = vect_internal_def; + } if (orig_pattern_stmt) { -- 2.30.2