blob: 62aa11b2a8b56430e8e663673b886d5550d067fd (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
/* { dg-do run { target { powerpc*-*-* && { p8vector_hw && int128 } } } } */
/* { dg-options "-mdejagnu-cpu=power8 -O3" } */
/* Test that the vec_addec builtin works as expected. */
#include "altivec.h"
#define N 4096
void abort ();
#define define_test_functions(STYPE, NAMESUFFIX) \
\
STYPE result_##NAMESUFFIX[N]; \
STYPE addend1_##NAMESUFFIX[N]; \
STYPE addend2_##NAMESUFFIX[N]; \
STYPE carry_##NAMESUFFIX[N]; \
STYPE expected_##NAMESUFFIX[N]; \
\
__attribute__((noinline)) void vector_tests_##NAMESUFFIX () \
{ \
vector STYPE v1, v2, v3, tmp; \
int i; \
for (i = 0; i < N; i+=16/sizeof (STYPE)) \
{ \
/* result=carry of addend1+addend2+(carry & 0x1). */ \
v1 = (vector STYPE) { addend1_##NAMESUFFIX[i] }; \
v2 = (vector STYPE) { addend2_##NAMESUFFIX[i] }; \
v3 = (vector STYPE) { carry_##NAMESUFFIX[i] }; \
\
tmp = vec_addec (v1, v2, v3); \
result_##NAMESUFFIX[i] = tmp[0]; \
} \
} \
\
__attribute__((noinline)) void init_##NAMESUFFIX () \
{ \
int i; \
for (i = 0; i < N; ++i) \
{ \
result_##NAMESUFFIX[i] = 0; \
if (i%6 == 0) \
{ \
addend1_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64); \
addend2_##NAMESUFFIX[i] = 0xfffffffffffffffe; \
carry_##NAMESUFFIX[i] = 1; \
expected_##NAMESUFFIX[i] = 0; \
} \
else if (i%6 == 1) \
{ \
addend1_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64) + \
0xffffffffffffffff; \
addend2_##NAMESUFFIX[i] = 1; \
carry_##NAMESUFFIX[i] = 0; \
expected_##NAMESUFFIX[i] = 1; \
} \
else if (i%6 == 2) \
{ \
addend1_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64) + \
0xffffffffffffffff; \
addend2_##NAMESUFFIX[i] = 0; \
carry_##NAMESUFFIX[i] = 3; /* 3 should work like 1 here. */ \
expected_##NAMESUFFIX[i] = 1; \
} \
else if (i%6 == 3) \
{ \
addend1_##NAMESUFFIX[i] = 1; \
addend2_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64) + \
0xffffffffffffffff; \
carry_##NAMESUFFIX[i] = 2; /* 2 should work like 0 here. */ \
expected_##NAMESUFFIX[i] = 1; \
} \
else if (i%6 == 4) \
{ \
addend1_##NAMESUFFIX[i] = 0; \
addend2_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64) + \
0xffffffffffffffff; \
carry_##NAMESUFFIX[i] = 1; \
expected_##NAMESUFFIX[i] = 1; \
} \
else if (i%6 == 5) \
{ \
addend1_##NAMESUFFIX[i] = ((__int128)0xffffffffffffffff << 64); \
addend2_##NAMESUFFIX[i] = 0xffffffffffffffff; \
carry_##NAMESUFFIX[i] = 1; \
expected_##NAMESUFFIX[i] = 1; \
} \
} \
} \
\
__attribute__((noinline)) void verify_results_##NAMESUFFIX () \
{ \
int i; \
for (i = 0; i < N; ++i) \
{ \
if (result_##NAMESUFFIX[i] != expected_##NAMESUFFIX[i]) \
abort (); \
} \
}
#define execute_test_functions(STYPE, NAMESUFFIX) \
{ \
init_##NAMESUFFIX (); \
vector_tests_##NAMESUFFIX (); \
verify_results_##NAMESUFFIX (); \
}
define_test_functions (signed __int128, si128);
define_test_functions (unsigned __int128, ui128);
int main ()
{
execute_test_functions (signed __int128, si128);
execute_test_functions (unsigned __int128, ui128);
return 0;
}
|
