1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03, c++11, c++14
10
11 // <experimental/simd>
12 //
13 // [simd.abi]
14
15 #include <experimental/simd>
16 #include <cstdint>
17
18 #include "test_macros.h"
19
20 namespace ex = std::experimental::parallelism_v2;
21
reg_width()22 constexpr inline int reg_width() {
23 #if defined(__AVX__)
24 return 32;
25 #else
26 return 16;
27 #endif
28 }
29
30 #ifndef _LIBCPP_HAS_NO_VECTOR_EXTENSION
31
32 static_assert(
33 sizeof(ex::simd<char, ex::__simd_abi<ex::_StorageKind::_VecExt, 1>>) == 1,
34 "");
35 static_assert(
36 sizeof(ex::simd<char, ex::__simd_abi<ex::_StorageKind::_VecExt, 2>>) == 2,
37 "");
38 static_assert(
39 sizeof(ex::simd<char, ex::__simd_abi<ex::_StorageKind::_VecExt, 3>>) == 4,
40 "");
41 static_assert(
42 sizeof(ex::simd<char, ex::__simd_abi<ex::_StorageKind::_VecExt, 12>>) == 16,
43 "");
44 static_assert(
45 sizeof(ex::simd<int32_t, ex::__simd_abi<ex::_StorageKind::_VecExt, 3>>) ==
46 16,
47 "");
48 static_assert(
49 sizeof(ex::simd<int32_t, ex::__simd_abi<ex::_StorageKind::_VecExt, 5>>) ==
50 32,
51 "");
52 static_assert(
53 std::is_same<ex::simd_abi::native<int8_t>,
54 ex::__simd_abi<ex::_StorageKind::_VecExt, reg_width()>>::value,
55 "");
56 #else
57 static_assert(
58 std::is_same<ex::simd_abi::native<int8_t>,
59 ex::__simd_abi<ex::_StorageKind::_Array, reg_width()>>::value,
60 "");
61
62 #endif
63
64 static_assert(std::is_same<ex::simd_abi::compatible<int8_t>,
65 ex::__simd_abi<ex::_StorageKind::_Array, 16>>::value,
66 "");
67
main(int,char **)68 int main(int, char**) {
69 return 0;
70 }
71