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
       8  foo (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  }