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_andn_u32(int src1,int src2,int dummy)8long long calc_andn_u32 (int src1, int src2, int dummy) 9 { 10 return (~src1+dummy) & (src2); 11 } 12 13 static void bmi_test()14bmi_test() 15 { 16 unsigned i; 17 18 int src = 0xfacec0ff; 19 int res, res_ref; 20 21 for (i=0; i<5; ++i) { 22 src = i + src << i; 23 24 res_ref = calc_andn_u32 (src, src+i, 0); 25 res = __andn_u32 (src, src+i); 26 27 if (res != res_ref) 28 abort(); 29 } 30 } 31