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