/* { dg-do compile } */
/* { dg-require-effective-target int128 } */
/* { dg-options "-O -mavx512f" } */

typedef unsigned long V __attribute__((vector_size(64)));
typedef unsigned __int128 W __attribute__((vector_size(64)));

V
foo(int i, V v)
{
  i *= ((W)(V){0, 0, 0, 0, 0, 1, v[0]})[2];
  v[i] = 0;
  i--;
  return v + i;
}