1 /* { dg-do compile } */ 2 /* { dg-require-effective-target ia32 } */ 3 /* { dg-options "-O -mtune=pentium2 -mavx512f" } */ 4 5 typedef int v4si __attribute__ ((vector_size (16))); 6 7 unsigned foo(unsigned char i,unsigned x,v4si u,v4si v,v4si w)8foo (unsigned char i, unsigned x, v4si u, v4si v, v4si w) 9 { 10 i &= (unsigned)~x; 11 v <<= w[x]; 12 return i + u[x] + v[i]; 13 } 14