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 * 4;
38     len = i * 3;
39     src1 = src1 * 3;
40     src2 = (start & 0xff) | ((len & 0xff) << 8);
41 
42     res_ref = calc_bextr_u64 (src1, src2);
43     res = _bextr_u64 (src1, start, len);
44 
45     if (res != res_ref)
46       abort();
47   }
48 }
49