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