1  /* { dg-do compile } */
       2  /* { dg-require-effective-target lp64 } */
       3  /* { dg-options "-mdejagnu-cpu=power10" } */
       4  
       5  extern void abort (void);
       6  
       7  unsigned long long int
       8  do_pextd (unsigned long long int source, unsigned long long int mask) {
       9    return __builtin_pextd (source, mask);
      10  }
      11  
      12  int main (int argc, char *argv [])
      13  {
      14    unsigned long long int sources [4], masks [4];
      15    unsigned long long int results [4][4] = {
      16      /* sources [0] with each of masks [0..3] */
      17      { 0x0000a5f0ll, 0x00007e3cll, 0x000050ecll, 0x0000af73ll },
      18      /* sources [1] with each of masks [0..3] */
      19      { 0x00007e3cll, 0x0000a5f0ll, 0x0000ec50ll, 0x000073afll },
      20      /* sources [2] with each of masks [0..3] */
      21      { 0x00003ca5ll, 0x0000f07ell, 0x0000c50ell, 0x00003af7ll },
      22      /* sources [3] with each of masks [0..3] */
      23      { 0x00005a0fll, 0x0000e7c3ll, 0x0000af73ll, 0x000050ecll },
      24    };
      25  
      26    sources[0] = 0xa5f07e3cll;
      27    sources[1] = 0x7e3ca5f0ll;
      28    sources[2] = 0x3ca5f07ell;
      29    sources[3] = 0x5a0fe7c3ll;
      30  
      31    masks[0] = 0xffff0000ll;
      32    masks[1] = 0x0000ffffll;
      33    masks[2] = 0x0f0f0f0fll;
      34    masks[3] = 0xf0f0f0f0ll;
      35  
      36    unsigned long long int result;
      37  
      38    for (int i = 0; i < 4; i++)
      39      {
      40        for (int j = 0; j < 4; j++)
      41  	{
      42  	  if (do_pextd (sources[i], masks[j]) != results [i][j])
      43  	    abort ();
      44  	}
      45      }
      46  
      47    return 0;
      48  }
      49  
      50  /* { dg-final { scan-assembler {\mpextd\M} } } */