]>
Commit | Line | Data |
---|---|---|
840ac85c KN |
1 | /* { dg-do run } */ |
2 | /* { dg-require-effective-target powerpc_future_hw } */ | |
b595f14f | 3 | /* { dg-require-effective-target int128 } */ |
840ac85c KN |
4 | /* { dg-options "-mdejagnu-cpu=future" } */ |
5 | ||
6 | #include <altivec.h> | |
7 | ||
8 | extern void abort (void); | |
9 | ||
10 | #define NumSamples 4 | |
11 | ||
12 | /* vec_all_eq not yet supported for arguments of type | |
13 | vector unsigned __int128. */ | |
14 | int | |
15 | vector_equal (vector unsigned __int128 a, vector unsigned __int128 b) | |
16 | { | |
17 | return a[0] == b[0]; | |
18 | } | |
19 | ||
20 | void | |
21 | doTests00000001 (vector unsigned __int128 a_sources [], | |
22 | vector unsigned __int128 b_sources [], | |
23 | vector unsigned __int128 c_sources []) { | |
24 | for (int i = 0; i < NumSamples; i++) | |
25 | for (int j = 0; j < NumSamples; j++) | |
26 | for (int k = 0; k < NumSamples; k++) | |
27 | { | |
28 | vector unsigned __int128 a = a_sources [i]; | |
29 | vector unsigned __int128 b = b_sources [j]; | |
30 | vector unsigned __int128 c = c_sources [k]; | |
31 | vector unsigned __int128 result = vec_ternarylogic (a, b, c, 0x01); | |
32 | vector unsigned __int128 intended = (a & b & c); | |
33 | if (!vector_equal (result, intended)) | |
34 | abort (); | |
35 | } | |
36 | } | |
37 | ||
38 | void | |
39 | doTests11100101 (vector unsigned __int128 a_sources [], | |
40 | vector unsigned __int128 b_sources [], | |
41 | vector unsigned __int128 c_sources []) { | |
42 | for (int i = 0; i < NumSamples; i++) | |
43 | for (int j = 0; j < NumSamples; j++) | |
44 | for (int k = 0; k < NumSamples; k++) | |
45 | { | |
46 | vector unsigned __int128 a = a_sources [i]; | |
47 | vector unsigned __int128 b = b_sources [j]; | |
48 | vector unsigned __int128 c = c_sources [k]; | |
49 | vector unsigned __int128 result = vec_ternarylogic (a, b, c, 0xe5); | |
50 | vector unsigned __int128 intended = { 0 }; | |
51 | // Supposed to be a ? c: nand (b,c) | |
52 | for (int l = 0; l < 1; l++) | |
53 | { | |
54 | for (int m = 0; m < 128; m++) | |
55 | { | |
56 | unsigned __int128 bit_selector = 0x01; | |
57 | bit_selector = bit_selector << m; | |
58 | ||
59 | if (a[l] & bit_selector) | |
60 | intended [l] |= c [l] & bit_selector; | |
61 | else if ((b [l] & c [l] & bit_selector) == 0) | |
62 | intended [l] |= bit_selector; | |
63 | } | |
64 | } | |
65 | if (!vector_equal (result, intended)) | |
66 | abort (); | |
67 | } | |
68 | } | |
69 | ||
70 | void | |
71 | doTests11110011 (vector unsigned __int128 a_sources [], | |
72 | vector unsigned __int128 b_sources [], | |
73 | vector unsigned __int128 c_sources []) { | |
74 | for (int i = 0; i < NumSamples; i++) | |
75 | for (int j = 0; j < NumSamples; j++) | |
76 | for (int k = 0; k < NumSamples; k++) | |
77 | { | |
78 | vector unsigned __int128 a = a_sources [i]; | |
79 | vector unsigned __int128 b = b_sources [j]; | |
80 | vector unsigned __int128 c = c_sources [k]; | |
81 | vector unsigned __int128 result = vec_ternarylogic (a, b, c, 0xfb); | |
82 | vector unsigned __int128 intended = { 0 }; | |
83 | for (int i = 0; i < 1; i++) | |
84 | intended [i] = b [i] | ~(a [i] & c [i]); | |
85 | if (!vector_equal (result, intended)) | |
86 | abort (); | |
87 | } | |
88 | } | |
89 | ||
90 | int main (int argc, int *argv []) | |
91 | { | |
92 | vector unsigned __int128 a_sources [NumSamples]; | |
93 | vector unsigned __int128 b_sources [NumSamples]; | |
94 | vector unsigned __int128 c_sources [NumSamples]; | |
95 | ||
96 | a_sources [0][0] = 0x0123456789abcdefull; | |
97 | a_sources [0][0] = a_sources [0][0] << 64 | 0x123456789abcdef0ull; | |
98 | a_sources [1][0] = 0x5555555555555555ull; | |
99 | a_sources [1][0] = a_sources [1][0] << 64 | 0xffffffffffffffffull; | |
100 | a_sources [2][0] = 0xcccccccc55555555ull; | |
101 | a_sources [2][0] = a_sources [2][0] << 64 | 0x0000000000000000ull; | |
102 | a_sources [3][0] = 0xe7e7e7e7e7e7e7e7ull; | |
103 | a_sources [3][0] = a_sources [3][0] << 64 | 0x6969696969696969ull; | |
104 | ||
105 | b_sources [0][0] = 0x0123456789abcdefull; | |
106 | b_sources [0][0] = b_sources [0][0] << 64 | 0x123456789abcdef0ull; | |
107 | b_sources [1][0] = 0x5555555555555555ull; | |
108 | b_sources [1][0] = b_sources [1][0] << 64 | 0xffffffffffffffffull; | |
109 | b_sources [2][0] = 0xcccccccc55555555ull; | |
110 | b_sources [2][0] = b_sources [2][0] << 64 | 0x0000000000000000ull; | |
111 | b_sources [3][0] = 0xe7e7e7e7e7e7e7e7ull; | |
112 | b_sources [3][0] = b_sources [3][0] << 64 | 0x6969696969696969ull; | |
113 | ||
114 | c_sources [0][0] = 0x0123456789abcdefull; | |
115 | c_sources [0][0] = c_sources [0][0] << 64 | 0x123456789abcdef0ull; | |
116 | c_sources [1][0] = 0x5555555555555555ull; | |
117 | c_sources [1][0] = c_sources [1][0] << 64 | 0xffffffffffffffffull; | |
118 | c_sources [2][0] = 0xcccccccc55555555ull; | |
119 | c_sources [2][0] = c_sources [2][0] << 64 | 0x0000000000000000ull; | |
120 | c_sources [3][0] = 0xe7e7e7e7e7e7e7e7ull; | |
121 | c_sources [3][0] = c_sources [3][0] << 64 | 0x6969696969696969ull; | |
122 | ||
123 | doTests00000001 (a_sources, b_sources, c_sources); | |
124 | doTests11100101 (a_sources, b_sources, c_sources); | |
125 | doTests11110011 (a_sources, b_sources, c_sources); | |
126 | ||
127 | return 0; | |
128 | } | |
129 | ||
130 | /* { dg-final { scan-assembler {\mxxeval\M} } } */ |