1  /* { dg-do compile } */
       2  /* { dg-options "-mdejagnu-cpu=power10" } */
       3  
       4  #include <altivec.h>
       5  
       6  extern void abort (void);
       7  
       8  vector unsigned long long int
       9  do_vec_pext (vector unsigned long long int source,
      10  	     vector unsigned long long int mask) {
      11    return vec_pext (source, mask);
      12  }
      13  
      14  int main (int argc, char *argv [])
      15  {
      16    vector unsigned long long int source_a = { 0xa5f07e3cull, 0x7e3ca5f0ull };
      17    vector unsigned long long int source_b = { 0x3ca5f07eull, 0x5a0fe7c3ull };
      18  
      19    vector unsigned long long int mask_a = { 0xffff0000ull, 0x0000ffffull };
      20    vector unsigned long long int mask_b = { 0x0f0f0f0full, 0xf0f0f0f0ull };
      21  
      22    /* See pextd-0.c for derivation of expected results.
      23  
      24       result_aa [0] is compute (source [0], mask [0];
      25       result_aa [1] is compute (source [1], mask [1].
      26  
      27       result_ab [0] is compute (source [0], mask [2];
      28       result_ab [1] is compute (source [1], mask [3].
      29  
      30       result_ba [0] is compute (source [2], mask [0];
      31       result_ba [1] is compute (source [3], mask [1].
      32  
      33       result_bb [0] is compute (source [2], mask [2];
      34       result_bb [1] is compute (source [3], mask [3].  */
      35  
      36    vector unsigned long long int result_aa = { 0x0000a5f0ull, 0x0000a5f0ull };
      37    vector unsigned long long int result_ab = { 0x000050ecull, 0x000073afull };
      38    vector unsigned long long int result_ba = { 0x00003ca5ull, 0x0000e7c3ull };
      39    vector unsigned long long int result_bb = { 0x0000c50eull, 0x000050ecull };
      40  
      41    if (!vec_all_eq (do_vec_pext (source_a, mask_a), result_aa))
      42      abort ();
      43    if (!vec_all_eq (do_vec_pext (source_a, mask_b),result_ab))
      44      abort ();
      45    if (!vec_all_eq (do_vec_pext (source_b, mask_a), result_ba))
      46      abort ();
      47    if (!vec_all_eq (do_vec_pext (source_b, mask_b), result_bb))
      48      abort ();
      49  
      50    return 0;
      51  }
      52  
      53  /* { dg-final { scan-assembler {\mvpextd\M} } } */