1 /* { dg-do run { target { bmi2 && { ! ia32 } } } } */ 2 /* { dg-options "-mbmi2 -O2 -dp" } */ 3 4 #include "bmi2-check.h" 5 6 __attribute__((noinline)) 7 unsigned long long calc_rorx_u64(unsigned long long a,int l)8calc_rorx_u64 (unsigned long long a, int l) 9 { 10 unsigned long long volatile res = a; 11 int i; 12 for (i = 0; i < l; ++i) 13 res = (res >> 1) | ((res&1)<< 63); 14 15 return res; 16 } 17 18 #define SHIFT_VAL 0x1e 19 20 static void bmi2_test()21bmi2_test () 22 { 23 unsigned i; 24 unsigned long long src = 0xce7ace0ce7ace0; 25 unsigned long long res, res_ref; 26 27 for (i = 0; i < 5; ++i) { 28 src = src * (i + 1); 29 30 res_ref = calc_rorx_u64 (src, SHIFT_VAL); 31 res = (src >> SHIFT_VAL) | (src << (64 - SHIFT_VAL)); 32 33 if (res != res_ref) 34 abort(); 35 } 36 } 37