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