From 43b883a99006138770d42067d385347fbae21334 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 11 May 2017 14:08:07 +0000 Subject: [PATCH] re PR tree-optimization/80705 (Incorrect code generated for profile counter updates due to SLP+LIM) 2017-05-11 Richard Biener PR tree-optimization/80705 * tree-vect-data-refs.c (vect_analyze_data_refs): DECL_NONALIASED bases are not vectorizable. * gcc.dg/vect/bb-slp-pr80705.c: New testcase. From-SVN: r247906 --- gcc/ChangeLog | 6 ++++ gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/gcc.dg/vect/bb-slp-pr80705.c | 44 ++++++++++++++++++++++++++++++ gcc/tree-vect-data-refs.c | 21 ++++++++++++++ 4 files changed, 76 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/vect/bb-slp-pr80705.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3430b1e..a317c21 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-05-11 Richard Biener + + PR tree-optimization/80705 + * tree-vect-data-refs.c (vect_analyze_data_refs): DECL_NONALIASED + bases are not vectorizable. + 2017-05-11 Bin Cheng * tree-ssa-loop-ivopts.c (determine_set_costs): Skip non-interger diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 832eba3..1af2958 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-05-11 Richard Biener + + PR tree-optimization/80705 + * gcc.dg/vect/bb-slp-pr80705.c: New testcase. + 2017-05-11 Nathan Sidwell * lib/scanlang.exp: New. diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pr80705.c b/gcc/testsuite/gcc.dg/vect/bb-slp-pr80705.c new file mode 100644 index 0000000..189e3d1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pr80705.c @@ -0,0 +1,44 @@ +/* { dg-do compile } */ +/* { dg-require-profiling "-fprofile-generate" } */ +/* { dg-additional-options "-fprofile-generate" } */ + +extern int isspace (int); + +int foo(const char *txt, char *buf) +{ + const char *s; + char *d; + int ws = 1; + for (s=txt, d=buf; *s; ) + { + if (*s=='/' && *(s+1)=='/') { + + s += 2; + while (*s && *s!='\r' && *s!='\n') + s++; + } + else if (*s=='"') { + + s++; + while (*s && *s!='\r' && *s!='\n' && *s!='"') + if (*s++=='\\') + s++; + if (*s=='"') + s++; + } + else { + if (*s && !isspace(*s)) + ws = 0; + + + *d++ = *s++; + + } + } + *d = '\0'; + + return ws; +} + +/* { dg-final { scan-tree-dump "base object not addressable" "slp1" } } */ +/* { dg-final { scan-tree-dump-not "MEM\[^\r\n\]*__gcov\[^\r\n\]* = vect_cst" "slp1" } } */ diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index c974268..67cc969 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -3957,6 +3957,27 @@ again: datarefs[i] = dr; } + if (TREE_CODE (DR_BASE_ADDRESS (dr)) == ADDR_EXPR + && VAR_P (TREE_OPERAND (DR_BASE_ADDRESS (dr), 0)) + && DECL_NONALIASED (TREE_OPERAND (DR_BASE_ADDRESS (dr), 0))) + { + if (dump_enabled_p ()) + { + dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location, + "not vectorized: base object not addressable " + "for stmt: "); + dump_gimple_stmt (MSG_MISSED_OPTIMIZATION, TDF_SLIM, stmt, 0); + } + if (is_a (vinfo)) + { + /* In BB vectorization the ref can still participate + in dependence analysis, we just can't vectorize it. */ + STMT_VINFO_VECTORIZABLE (stmt_info) = false; + continue; + } + return false; + } + /* Set vectype for STMT. */ scalar_type = TREE_TYPE (DR_REF (dr)); STMT_VINFO_VECTYPE (stmt_info) -- 2.7.4