Chromium Code Reviews| 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 |