PR inline-asm/84742
[official-gcc.git] / gcc / testsuite / gcc.target / i386 / bmi-tzcnt-2.c
blobab3c30c38059c8aad96f3de4da86f2bd6b29f1bc
1 /* { dg-do run { target bmi } } */
2 /* { dg-options "-O2 -mbmi -fno-inline" } */
4 #include <x86intrin.h>
6 #include "bmi-check.h"
8 int calc_tzcnt_u32 (int src)
10 int i;
11 int res = 0;
13 while ( (res<32) && ((src&1) == 0)) {
14 ++res;
15 src >>= 1;
17 return res;
20 static void
21 bmi_test ()
23 unsigned i;
24 int src = 0xfacec0ff;
25 int res, res_ref;
27 for (i=0; i<5; ++i) {
28 src = i + src << i;
30 res_ref = calc_tzcnt_u32 (src);
31 res = __tzcnt_u32 (src);
33 if (res != res_ref)
34 abort();