[Bug tree-optimization/50680] New: -ftree-vectorizer-verbose does not report about "basic block SLP" (attempt of) vectorization

[Bug tree-optimization/50680] New: -ftree-vectorizer-verbose does not report about "basic block SLP" (attempt of) vectorization

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50680

             Bug #: 50680
           Summary: -ftree-vectorizer-verbose does not report about
                    "basic block SLP" (attempt of) vectorization
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: trivial
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: vincenzo.innocente@cern.ch


in this example compiled with
c++ -Ofast -ftree-vectorizer-verbose=7  -c slp.cc  -mtune=corei7  -msse4.2
it reports only about loop, voop,aoop, not about the equivalently
(not)-vectorized code in foo,voo,aoo
This makes debug/optmization of "basic block SLP" difficult
(it took me a while to understand why foo is not vectorized!)

float * __restrict__ x;
float * __restrict__ y;
float * __restrict__ z;

float v1[4],v2[4],v3[4];

struct A {
  float a[4];
}; //  __attribute__ ((aligned(16)));

A a1, a2, a3;

void foo ()
{

 float * __restrict__ pin = &x[0];
 float * __restrict__ pout =&y[0];

  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;
}

void voo() {

 float * __restrict__ pin = &v1[0];
 float * __restrict__ pout =&v2[0];

  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;


}

void aoo() {

 float * __restrict__ pin = &a1.a[0];
 float * __restrict__ pout =&a2.a[0];

  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;
  *pout++ = *pin++;


}


void loop() {
  for (int i=0;i!=4;++i) x[i]=y[i]+z[i];
}

void voop() {
  for (int i=0;i!=4;++i) v1[i]=v2[i]+v3[i];
}

void aoop() {
  for (int i=0;i!=4;++i) a1.a[i]=a2.a[i]+a3.a[i];
}

[Bug tree-optimization/50680] -ftree-vectorizer-verbose does not report about "basic block SLP" (attempt of) vectorization

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50680

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
           Severity|trivial                     |enhancement

[Bug tree-optimization/50680] -ftree-vectorizer-verbose does not report about "basic block SLP" (attempt of) vectorization

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50680

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-09-14
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Still the case because most of the analysis is under a dump-scope:

vect_slp_analyze_bb_1 (bb_vec_info bb_vinfo, int n_stmts, bool &fatal,
                       vec<int> *dataref_groups)
{
  DUMP_VECT_SCOPE ("vect_slp_analyze_bb");

and BB analysis does not return a opt_result yet to communicate the relevant
part up.