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 
8 /* To fool compiler, so it not generate blsi here. */
calc_blsi_u64(long long src1,long long src2)9 long long calc_blsi_u64 (long long src1, long long src2)
10 {
11   return (-src1) & (src2);
12 }
13 
14 static void
bmi_test()15 bmi_test()
16 {
17   unsigned i;
18 
19   long long src = 0xfacec0ffeefacec0;
20   long long res, res_ref;
21 
22   for (i=0; i<5; ++i) {
23     src = i + src << i;
24 
25     res_ref = calc_blsi_u64 (src, src);
26     res = __blsi_u64 (src);
27 
28     if (res != res_ref)
29       abort();
30   }
31 }
32