/* { dg-do compile } */
/* { dg-options "-O3 -mavx2 -fdump-tree-fre5" } */

void __attribute__((noinline,noclone))
foo (int *out, int *res)
{
  int mask[] = { 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1 };
  int i;
  for (i = 0; i < 16; ++i)
    {
      if (mask[i])
        out[i] = i;
    }
  int o0 = out[0];
  int o7 = out[7];
  int o14 = out[14];
  int o15 = out[15];
  res[0] = o0;
  res[2] = o7;
  res[4] = o14;
  res[6] = o15;
}

/* Vectorization produces .MASK_STORE, unrolling will unroll the two
   vector iterations.  FRE5 after that should be able to CSE
   out[7] and out[15], but leave out[0] and out[14] alone.  */
/* { dg-final { scan-tree-dump " = o0_\[0-9\]+;" "fre5" } } */
/* { dg-final { scan-tree-dump " = 7;" "fre5" } } */
/* { dg-final { scan-tree-dump " = o14_\[0-9\]+;" "fre5" } } */
/* { dg-final { scan-tree-dump " = 15;" "fre5" } } */