1  /* PR target/83604 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mno-avx" } */
       4  
       5  typedef short V __attribute__((__vector_size__(64)));
       6  
       7  __attribute__((target ("avx512vbmi2"))) V
       8  foo (V x, V y, V z)
       9  {
      10    return __builtin_ia32_vpshrdv_v32hi (x, y, z);
      11  }