1 /* { dg-do compile } */
2 /* { dg-require-effective-target int128 } */
3 /* { dg-options "-O -mavx512f" } */
4 
5 typedef unsigned long V __attribute__((vector_size(64)));
6 typedef unsigned __int128 W __attribute__((vector_size(64)));
7 
8 V
foo(int i,V v)9 foo(int i, V v)
10 {
11   i *= ((W)(V){0, 0, 0, 0, 0, 1, v[0]})[2];
12   v[i] = 0;
13   i--;
14   return v + i;
15 }
16