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