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)8unsigned 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()28bmi_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