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);