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