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