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 8long long calc_blsr_u64 (long long src1, long long src2) 9{ 10 return (src1-1) & (src2); 11} 12 13static void 14bmi_test() 15{ 16 unsigned i; 17 long long src = 0xfacec0ffeefacec0; 18 long long res, res_ref; 19 20 for (i=0; i<5; ++i) { 21 src = i + src << i; 22 23 res_ref = calc_blsr_u64 (src, src); 24 res = __blsr_u64 (src); 25 26 if (res != res_ref) 27 abort(); 28 } 29} 30