From: ienkovich Date: Tue, 8 Dec 2015 07:16:04 +0000 (+0000) Subject: gcc/ X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e7eabf3bf9135c14ba6512ab329e616327e2a301;p=thirdparty%2Fgcc.git gcc/ PR tree-optimization/68766 * tree-vectorizer.c (vectorize_loops): Check for if-converted loops when debug counters are used. gcc/testsuite/ PR tree-optimization/68766 * gcc.dg/pr68766.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231395 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 858d2b8ffa0a..de4cdef459ef 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-12-08 Ilya Enkovich + + PR tree-optimization/68766 + * tree-vectorizer.c (vectorize_loops): Check for + if-converted loops when debug counters are used. + 2015-12-07 DJ Delorie * config/rl78/constraints.md (Wfr): Change to be a non-memory diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fec47e137fb8..7feb510e1d4d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-12-08 Ilya Enkovich + + PR tree-optimization/68766 + * gcc.dg/pr68766.c: New test. + 2015-12-07 Eric Botcazou * gcc.target/sparc/struct-ret-check.c: Rename to... diff --git a/gcc/testsuite/gcc.dg/pr68766.c b/gcc/testsuite/gcc.dg/pr68766.c new file mode 100644 index 000000000000..a0d549b946e6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68766.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftree-vectorize -fdbg-cnt=vect_loop:1" } */ +/* { dg-additional-options "-mavx2" { target { i?86-*-* x86_64-*-* } } } */ +/* { dg-prune-output "dbg_cnt 'vect_loop' set to 1" } */ + +int a, b, g, h; +int c[58]; +int d[58]; +int fn1() { + for (; g; g++) + if (a) + c[g] = b; +} + +int fn2() { + fn1(); + for (; h; h++) + d[h] = 0; +} diff --git a/gcc/tree-vectorizer.c b/gcc/tree-vectorizer.c index b721c56d62ac..c496c4b2f7e7 100644 --- a/gcc/tree-vectorizer.c +++ b/gcc/tree-vectorizer.c @@ -536,7 +536,13 @@ vectorize_loops (void) continue; if (!dbg_cnt (vect_loop)) - break; + { + /* We may miss some if-converted loops due to + debug counter. Set any_ifcvt_loops to visit + them at finalization. */ + any_ifcvt_loops = true; + break; + } gimple *loop_vectorized_call = vect_loop_vectorized_call (loop); if (loop_vectorized_call)