1 /* PR target/50766 */
2 /* { dg-do assemble } */
3 /* { dg-options "-mbmi2" } */
4 /* { dg-require-effective-target bmi2 } */
5 
6 #include <x86intrin.h>
7 
8 unsigned z;
9 
10 void
foo()11 foo ()
12 {
13   unsigned x = 0x23593464;
14   unsigned y = 0xF9494302;
15   z = _pext_u32(x, y);
16 }
17 
18