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