OLD | NEW |
---|---|
(Empty) | |
1 /* | |
2 * Copyright (c) 2014 The Native Client Authors. All rights reserved. | |
3 * Use of this source code is governed by a BSD-style license that can be | |
4 * found in the LICENSE file. | |
5 */ | |
6 | |
7 /* | |
8 * Test that the GCC/LLVM vector extensions can be used from C code. | |
9 * http://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html | |
10 * http://clang.llvm.org/docs/LanguageExtensions.html | |
11 * | |
12 * This test is thorough feature-wise, but not thorough in testing the | |
nfullagar1
2014/04/17 00:32:50
should note: excluding __builtin_convertvector & _
JF
2014/04/17 00:48:04
Right, I'll add a TODO to add them once we support
| |
13 * corner-case values. It tries to exercise all vector types and | |
14 * operations that are supported, and verifies that test values generate | |
15 * the right result by comparing to a golden output file. It does not | |
16 * test all the MIN/MAX values, nor does it test undefined behavior. | |
17 */ | |
18 | |
19 #include "native_client/src/include/nacl_macros.h" | |
20 | |
21 #include <stdint.h> | |
22 #include <stdio.h> | |
23 | |
24 /* | |
25 * Basic types that are supported inside vectors. | |
26 * | |
27 * TODO(jfb) Handle 64-bit int and double. | |
28 */ | |
29 typedef int8_t I8; | |
30 typedef uint8_t U8; | |
31 typedef int16_t I16; | |
32 typedef uint16_t U16; | |
33 typedef int32_t I32; | |
34 typedef uint32_t U32; | |
35 typedef float F32; | |
36 | |
37 /* | |
38 * | |
39 * The GCC/LLVM vector extensions represent the results of comparisons | |
40 * as a vector of all-ones or all-zeros with the same vector bit width | |
41 * and number of elements. They must be treated differently than their | |
42 * corresponding type because floating-point values change their bit | |
43 * representation through assignments when they hold NaN values. | |
44 */ | |
45 typedef int8_t I8_BOOL; | |
46 typedef int8_t U8_BOOL; | |
47 typedef int16_t I16_BOOL; | |
48 typedef int16_t U16_BOOL; | |
49 typedef int32_t I32_BOOL; | |
50 typedef int32_t U32_BOOL; | |
51 typedef int32_t F32_BOOL; | |
52 | |
53 #define I8_FMT "i" | |
54 #define U8_FMT "u" | |
55 #define I16_FMT "i" | |
56 #define U16_FMT "u" | |
57 #define I32_FMT "i" | |
58 #define U32_FMT "u" | |
59 #define F32_FMT "f" | |
60 | |
61 /* All elements in a boolean vector should print as 0 or -1. */ | |
62 #define I8_BOOL_FMT "i" | |
63 #define U8_BOOL_FMT "i" | |
64 #define I16_BOOL_FMT "i" | |
65 #define U16_BOOL_FMT "i" | |
66 #define I32_BOOL_FMT "i" | |
67 #define U32_BOOL_FMT "i" | |
68 #define F32_BOOL_FMT "i" | |
69 | |
70 /* All supported vector types are currently 128-bit wide. */ | |
71 #define VEC_BYTES 16 | |
72 | |
73 /* Vector types corresponding to each supported basic types. */ | |
74 typedef I8 VI8 __attribute__((vector_size(VEC_BYTES))); | |
75 typedef U8 VU8 __attribute__((vector_size(VEC_BYTES))); | |
76 typedef I16 VI16 __attribute__((vector_size(VEC_BYTES))); | |
77 typedef U16 VU16 __attribute__((vector_size(VEC_BYTES))); | |
78 typedef I32 VI32 __attribute__((vector_size(VEC_BYTES))); | |
79 typedef U32 VU32 __attribute__((vector_size(VEC_BYTES))); | |
80 typedef F32 VF32 __attribute__((vector_size(VEC_BYTES))); | |
81 | |
82 /* Boolean vector types generate by comparisons on each vector type. */ | |
83 typedef I8 VI8_BOOL __attribute__((vector_size(VEC_BYTES))); | |
84 typedef I8 VU8_BOOL __attribute__((vector_size(VEC_BYTES))); | |
85 typedef I16 VI16_BOOL __attribute__((vector_size(VEC_BYTES))); | |
86 typedef I16 VU16_BOOL __attribute__((vector_size(VEC_BYTES))); | |
87 typedef I32 VI32_BOOL __attribute__((vector_size(VEC_BYTES))); | |
88 typedef I32 VU32_BOOL __attribute__((vector_size(VEC_BYTES))); | |
89 typedef I32 VF32_BOOL __attribute__((vector_size(VEC_BYTES))); | |
90 | |
91 #define PRINT(TYPE, VEC) \ | |
92 do { \ | |
93 NACL_COMPILE_TIME_ASSERT(sizeof(V##TYPE) == \ | |
94 VEC_BYTES); /* Vector must be 128 bits. */ \ | |
95 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
96 sizeof(VEC[0])); /* Type must match. */ \ | |
97 printf("{"); \ | |
98 for (size_t i = 0; i != sizeof(V##TYPE) / sizeof(VEC[0]); ++i) \ | |
99 printf("%" TYPE##_FMT ",", VEC[i]); \ | |
100 printf("}"); \ | |
101 } while (0) | |
102 | |
103 #define TEST_BINARY(TYPE, LHS, OP, RHS) \ | |
104 do { \ | |
105 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
106 sizeof(LHS[0])); /* Types must match. */ \ | |
107 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
108 sizeof(RHS[0])); /* Types must match. */ \ | |
109 const V##TYPE result = LHS OP RHS; \ | |
110 printf(#TYPE " "); \ | |
111 PRINT(TYPE, LHS); \ | |
112 printf(" %s ", #OP); \ | |
113 PRINT(TYPE, RHS); \ | |
114 printf(" = "); \ | |
115 PRINT(TYPE, result); \ | |
116 printf("\n"); \ | |
117 } while (0) | |
118 | |
119 #define TEST_BINARY_COMPARISON(TYPE, LHS, OP, RHS) \ | |
120 do { \ | |
121 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
122 sizeof(LHS[0])); /* Types must match. */ \ | |
123 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
124 sizeof(RHS[0])); /* Types must match. */ \ | |
125 const V##TYPE##_BOOL result = LHS OP RHS; \ | |
126 printf(#TYPE " "); \ | |
127 PRINT(TYPE, LHS); \ | |
128 printf(" %s ", #OP); \ | |
129 PRINT(TYPE, RHS); \ | |
130 printf(" = "); \ | |
131 PRINT(TYPE##_BOOL, result); \ | |
132 printf("\n"); \ | |
133 } while (0) | |
134 | |
135 #define TEST_UNARY(TYPE, OP, VAL) \ | |
136 do { \ | |
137 NACL_COMPILE_TIME_ASSERT(sizeof(TYPE) == \ | |
138 sizeof(VAL[0])); /* Types must match. */ \ | |
139 const V##TYPE result = OP VAL; \ | |
140 printf(#TYPE " %s ", #OP); \ | |
141 PRINT(TYPE, VAL); \ | |
142 printf(" = "); \ | |
143 PRINT(TYPE, result); \ | |
144 printf("\n"); \ | |
145 } while (0) | |
146 | |
147 #define TEST_BINARY_FP(TYPE, LHS, RHS) \ | |
148 do { \ | |
149 TEST_BINARY(TYPE, LHS, +, RHS); \ | |
150 TEST_BINARY(TYPE, LHS, -, RHS); \ | |
151 TEST_BINARY(TYPE, LHS, *, RHS); \ | |
152 TEST_BINARY(TYPE, LHS, /, RHS); \ | |
153 TEST_BINARY_COMPARISON(TYPE, LHS, ==, RHS); \ | |
154 TEST_BINARY_COMPARISON(TYPE, LHS, !=, RHS); \ | |
155 TEST_BINARY_COMPARISON(TYPE, LHS, <, RHS); \ | |
156 TEST_BINARY_COMPARISON(TYPE, LHS, >, RHS); \ | |
157 TEST_BINARY_COMPARISON(TYPE, LHS, <=, RHS); \ | |
158 TEST_BINARY_COMPARISON(TYPE, LHS, >=, RHS); \ | |
159 } while (0) | |
160 | |
161 #define TEST_BINARY_INT(TYPE, LHS, RHS) \ | |
162 do { \ | |
163 TEST_BINARY_FP(TYPE, LHS, RHS); \ | |
164 TEST_BINARY(TYPE, LHS, %, RHS); \ | |
165 TEST_BINARY(TYPE, LHS, &, RHS); \ | |
166 TEST_BINARY(TYPE, LHS, |, RHS); \ | |
167 TEST_BINARY(TYPE, LHS, ^, RHS); \ | |
168 TEST_BINARY(TYPE, LHS, <<, RHS); \ | |
169 TEST_BINARY(TYPE, LHS, >>, RHS); \ | |
170 } while (0) | |
171 | |
172 /* | |
173 * TODO(jfb) Pre/post ++/-- don't seem to be supported. Neither does !. | |
174 */ | |
175 #define TEST_UNARY_FP(TYPE, VAL) \ | |
176 do { \ | |
177 TEST_UNARY(TYPE, +, VAL); \ | |
178 TEST_UNARY(TYPE, -, VAL); \ | |
179 } while (0) | |
180 | |
181 #define TEST_UNARY_INT(TYPE, VAL) \ | |
182 do { \ | |
183 TEST_UNARY_FP(TYPE, VAL); \ | |
184 TEST_UNARY(TYPE, ~, VAL); \ | |
185 } while (0) | |
186 | |
187 /* | |
188 * Vector values used in tests. | |
189 * | |
190 * Initialize everything in a non-inlined function to make sure that | |
191 * nothing gets pre-computed. | |
192 */ | |
193 VI8 vi8[2]; | |
194 VU8 vu8[2]; | |
195 VI16 vi16[2]; | |
196 VU16 vu16[2]; | |
197 VI32 vi32[2]; | |
198 VU32 vu32[2]; | |
199 VF32 vf32[2]; | |
200 __attribute__((noinline)) void init(void) { | |
201 /* | |
202 * TODO(jfb) Test undefined behavior: shift bit bitwidth or larger, | |
203 * and divide by zero. | |
204 */ | |
205 vi8[0] = (VI8) {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}; | |
206 vi8[1] = (VI8) {2, 1, 1, 2, 3, 4, 5, 6, 7, 7, 6, 5, 4, 3, 2, 1}; | |
207 | |
208 vu8[0] = (VU8) {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}; | |
209 vu8[1] = (VU8) {2, 1, 1, 2, 3, 4, 5, 6, 7, 7, 6, 5, 4, 3, 2, 1}; | |
210 | |
211 vi16[0] = (VI16) {1, 2, 3, 4, 5, 6, 7, 8}; | |
212 vi16[1] = (VI16) {1, 15, 14, 13, 12, 11, 10, 9}; | |
213 | |
214 vu16[0] = (VU16) {1, 2, 3, 4, 5, 6, 7, 8}; | |
215 vu16[1] = (VU16) {1, 15, 14, 13, 12, 11, 10, 9}; | |
216 | |
217 vi32[0] = (VI32) {1, 2, 3, 4}; | |
218 vi32[1] = (VI32) {16, 15, 14, 13}; | |
219 | |
220 vu32[0] = (VU32) {1, 2, 3, 4}; | |
221 vu32[1] = (VU32) {16, 15, 14, 13}; | |
222 | |
223 vf32[0] = (VF32) {1, 2, 3, 4}; | |
224 vf32[1] = (VF32) {16, 15, 14, 13}; | |
225 } | |
226 | |
227 __attribute__((noinline)) void test(void) { | |
228 TEST_BINARY_INT(I8, vi8[0], vi8[1]); | |
229 TEST_BINARY_INT(U8, vu8[0], vu8[1]); | |
230 TEST_BINARY_INT(I16, vi16[0], vi16[1]); | |
231 TEST_BINARY_INT(U16, vu16[0], vu16[1]); | |
232 TEST_BINARY_INT(I32, vi32[0], vi32[1]); | |
233 TEST_BINARY_INT(U32, vu32[0], vu32[1]); | |
234 TEST_BINARY_FP(F32, vf32[0], vf32[1]); | |
235 | |
236 TEST_UNARY_INT(I8, vi8[0]); | |
237 TEST_UNARY_INT(U8, vu8[0]); | |
238 TEST_UNARY_INT(I16, vi16[0]); | |
239 TEST_UNARY_INT(U16, vu16[0]); | |
240 TEST_UNARY_INT(I32, vi32[0]); | |
241 TEST_UNARY_INT(U32, vu32[0]); | |
242 TEST_UNARY_FP(F32, vf32[0]); | |
243 } | |
244 | |
245 int main(void) { | |
246 init(); | |
247 test(); | |
248 | |
249 return 0; | |
250 } | |
OLD | NEW |