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 /*  Trick compiler in order not to generate target insn here. */
calc_blsmsk_u64(long long src1,long long src2)9 long long calc_blsmsk_u64 (long long src1, long long src2)
10 {
11   return (src1-1) ^ (src2);
12 }
13 
14 static void
bmi_test()15 bmi_test ()
16 {
17   unsigned i;
18   long long src = 0xfacec0ffeefacec0;
19   long long res, res_ref;
20 
21   for (i=0; i<5; ++i) {
22     src = i + src << i;
23 
24     res_ref = calc_blsmsk_u64 (src, src);
25     res = __blsmsk_u64 (src);
26 
27     if (res != res_ref)
28       abort();
29   }
30 }
31