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
      11  foo ()
      12  {
      13    unsigned x = 0x23593464;
      14    unsigned y = 0xF9494302;
      15    z = _pext_u32(x, y);
      16  }
      17