Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(126)

Side by Side Diff: tests/simd/vector_extension.c

Issue 222483002: PNaCl: Test support for GCC/LLVM vector extensions (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client
Patch Set: Update pnacl/COMPONENT_REVISIONS to pull in the LLVM change that adds vector extensions, and use FE… Created 6 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
(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 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698