| /* { dg-do run } */ | |
| /* { dg-require-effective-target bmi } */ | |
| /* { dg-options "-O2 -mbmi" } */ | |
| #include <x86intrin.h> | |
| #include "bmi-check.h" | |
| int | |
| __attribute__((noinline, noclone)) | |
| foo (int x) | |
| { | |
| return __tzcnt_u32 (x) & 0x1f; | |
| } | |
| static void | |
| bmi_test () | |
| { | |
| if (foo (0) != 0) | |
| abort (); | |
| } |