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_tzcnt_u32(int src)8int calc_tzcnt_u32 (int src) 9 { 10 int i; 11 int res = 0; 12 13 while ( (res<32) && ((src&1) == 0)) { 14 ++res; 15 src >>= 1; 16 } 17 return res; 18 } 19 20 static void bmi_test()21bmi_test () 22 { 23 unsigned i; 24 int src = 0xfacec0ff; 25 int res, res_ref; 26 27 for (i=0; i<5; ++i) { 28 src = i + src << i; 29 30 res_ref = calc_tzcnt_u32 (src); 31 res = __tzcnt_u32 (src); 32 33 if (res != res_ref) 34 abort(); 35 } 36 } 37