1 /* { dg-do run { target { bmi && { ! ia32 } } } } */
2 /* { dg-options "-O2 -mbmi -fno-inline" } */
8 long long calc_andn_u64 (long long src1,
12 return (~src1 + dummy) & (src2);
20 long long src = 0xfacec0ffeefacec0;
21 long long res, res_ref;
26 res_ref = calc_andn_u64 (src, src+i, 0);
27 res = __andn_u64 (src, src+i);