1  /* { dg-do run { target { bmi && { ! ia32 } } } } */
       2  /* { dg-options "-O2 -mbmi -fno-inline" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  #include "bmi-check.h"
       7  
       8  long long calc_bextr_u64 (unsigned long long src1,
       9  			  unsigned long long src2)
      10  {
      11    long long res = 0;
      12    unsigned char start = (src2 & 0xff);
      13    unsigned char len = (int) ((src2 >> 8) & 0xff);
      14    if (start < 64) {
      15      unsigned i;
      16      unsigned last = (start+len) < 64 ? start+len : 64;
      17  
      18      src1 >>= start;
      19      for (i=start; i<last; ++i) {
      20        res |= (src1 & 1) << (i-start);
      21        src1 >>= 1;
      22      }
      23    }
      24  
      25    return res;
      26  }
      27  
      28  static void
      29  bmi_test ()
      30  {
      31    unsigned i;
      32    unsigned char start, len;
      33    unsigned long long src1 = 0xfacec0ffeefacec0;
      34    unsigned long long res, res_ref, src2;
      35  
      36    for (i=0; i<5; ++i) {
      37      start = (i * 1983) % 64;
      38      len = i + (i * 1983) % 64;
      39  
      40      src1 = src1 * 3;
      41      src2 = start | (((long long)len) << 8);
      42  
      43      res_ref = calc_bextr_u64 (src1, src2);
      44      res = __bextr_u64 (src1, src2);
      45  
      46      if (res != res_ref)
      47        abort();
      48    }
      49  }