1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -fdump-tree-vect-details" } */
       3  
       4  float
       5  double_reduc (float *i)
       6  {
       7    float l = 0;
       8  
       9    for (int a = 0; a < 8; a++)
      10      for (int b = 0; b < 16; b++)
      11        {
      12          l += i[b * 4];
      13          l += i[b * 4 + 1];
      14          l += i[b * 4 + 2];
      15          l += i[b * 4 + 3];
      16        }
      17    return l;
      18  }
      19  
      20  /* { dg-final { scan-assembler-times {\tfadda\ts[0-9]+, p[0-7], s[0-9]+, z[0-9]+\.s\n} 1 } } */
      21  /* { dg-final { scan-tree-dump "Detected double reduction" "vect" } } */
      22  /* { dg-final { scan-tree-dump-not "OUTER LOOP VECTORIZED" "vect" } } */