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
foo(V x,V y,V z)8 foo (V x, V y, V z)
9 {
10   return __builtin_ia32_vpshrdv_v32hi (x, y, z);
11 }
12