1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512vl -O2" } */
       3  typedef char v8qi __attribute__((vector_size (8)));
       4  typedef char v16qi __attribute__((vector_size (16)));
       5  v8qi
       6  foo_wb_128 (v16qi x)
       7  {
       8    return __builtin_shufflevector (x, x,
       9  				  0, 2, 4, 6, 8, 10, 12, 14);
      10  }