1 /* { dg-do run { target { bmi && { ! ia32 } } } } */
2 /* { dg-options "-O2 -mbmi -fno-inline" } */
8 long long calc_blsr_u64 (long long src1
, long long src2
)
10 return (src1
-1) & (src2
);
17 long long src
= 0xfacec0ffeefacec0;
18 long long res
, res_ref
;
23 res_ref
= calc_blsr_u64 (src
, src
);
24 res
= __blsr_u64 (src
);