1 /* { dg-do run { target { bmi && { ! ia32 } } } } */
2 /* { dg-options "-O2 -mbmi -fno-inline" } */
8 long long calc_tzcnt_u64 (long long src
)
13 while ( (res
<64) && ((src
&1) == 0)) {
25 long long src
= 0xfacec0ffeefacec0;
26 long long res
, res_ref
;
31 res_ref
= calc_tzcnt_u64 (src
);
32 res
= __tzcnt_u64 (src
);