/* { dg-do compile } */
/* { dg-additional-options "-fno-tree-loop-vectorize" } */

extern int a[][4], b[][4], c[][4], d[4], e[4];
void f()
{
  int t0 = a[0][3];
  int t1 = a[1][3];
  int t2 = a[2][3];
  int t3 = a[3][3];
  int a0 = 0, a1 = 0, a2 = 0, a3 = 0, b0 = 0, b1 = 0, b2 = 0, b3 = 0;
  for (int i = 0; i < 400; i += 4)
    {
      a0 += b[i][3] * t0;
      a1 += b[i][2] * t1;
      a2 += b[i][1] * t2;
      a3 += b[i][0] * t3;
      b0 += c[i][3] * t0;
      b1 += c[i][2] * t1;
      b2 += c[i][1] * t2;
      b3 += c[i][0] * t3;
    }
  d[0] = a0;
  d[1] = a1;
  d[2] = a2;
  d[3] = a3;
  e[0] = b0;
  e[1] = b1;
  e[2] = b2;
  e[3] = b3;
}

/* { dg-final { scan-tree-dump-times "add new stmt: \[^\\n\\r\]* = VEC_PERM_EXPR" 3 "slp1" { target { vect_int_mult && vect_perm } } } } */