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 
calc_bextr_u64(unsigned long long src1,unsigned long long src2)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
bmi_test()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 }
50