simd_utils.h 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  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. #ifndef _LIBCPP___ALGORITHM_SIMD_UTILS_H
  9. #define _LIBCPP___ALGORITHM_SIMD_UTILS_H
  10. #include <__algorithm/min.h>
  11. #include <__bit/bit_cast.h>
  12. #include <__bit/countr.h>
  13. #include <__config>
  14. #include <__type_traits/is_arithmetic.h>
  15. #include <__type_traits/is_same.h>
  16. #include <__utility/integer_sequence.h>
  17. #include <cstddef>
  18. #include <cstdint>
  19. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  20. # pragma GCC system_header
  21. #endif
  22. _LIBCPP_PUSH_MACROS
  23. #include <__undef_macros>
  24. // TODO: Find out how altivec changes things and allow vectorizations there too.
  25. #if _LIBCPP_STD_VER >= 14 && defined(_LIBCPP_CLANG_VER) && _LIBCPP_CLANG_VER >= 1700 && !defined(__ALTIVEC__) && !defined(__CUDACC__) && !(defined(_MSC_VER) && _LIBCPP_CLANG_VER <= 1801)
  26. # define _LIBCPP_HAS_ALGORITHM_VECTOR_UTILS 1
  27. #else
  28. # define _LIBCPP_HAS_ALGORITHM_VECTOR_UTILS 0
  29. #endif
  30. #if _LIBCPP_HAS_ALGORITHM_VECTOR_UTILS && !defined(__OPTIMIZE_SIZE__)
  31. # define _LIBCPP_VECTORIZE_ALGORITHMS 1
  32. #else
  33. # define _LIBCPP_VECTORIZE_ALGORITHMS 0
  34. #endif
  35. #if _LIBCPP_HAS_ALGORITHM_VECTOR_UTILS
  36. _LIBCPP_BEGIN_NAMESPACE_STD
  37. // This isn't specialized for 64 byte vectors on purpose. They have the potential to significantly reduce performance
  38. // in mixed simd/non-simd workloads and don't provide any performance improvement for currently vectorized algorithms
  39. // as far as benchmarks are concerned.
  40. # if defined(__AVX__)
  41. template <class _Tp>
  42. inline constexpr size_t __native_vector_size = 32 / sizeof(_Tp);
  43. # elif defined(__SSE__) || defined(__ARM_NEON__)
  44. template <class _Tp>
  45. inline constexpr size_t __native_vector_size = 16 / sizeof(_Tp);
  46. # elif defined(__MMX__)
  47. template <class _Tp>
  48. inline constexpr size_t __native_vector_size = 8 / sizeof(_Tp);
  49. # else
  50. template <class _Tp>
  51. inline constexpr size_t __native_vector_size = 1;
  52. # endif
  53. template <class _ArithmeticT, size_t _Np>
  54. using __simd_vector __attribute__((__ext_vector_type__(_Np))) = _ArithmeticT;
  55. template <class _VecT>
  56. inline constexpr size_t __simd_vector_size_v = []<bool _False = false>() -> size_t {
  57. static_assert(_False, "Not a vector!");
  58. }();
  59. template <class _Tp, size_t _Np>
  60. inline constexpr size_t __simd_vector_size_v<__simd_vector<_Tp, _Np>> = _Np;
  61. template <class _Tp, size_t _Np>
  62. _LIBCPP_HIDE_FROM_ABI _Tp __simd_vector_underlying_type_impl(__simd_vector<_Tp, _Np>) {
  63. return _Tp{};
  64. }
  65. template <class _VecT>
  66. using __simd_vector_underlying_type_t = decltype(std::__simd_vector_underlying_type_impl(_VecT{}));
  67. // This isn't inlined without always_inline when loading chars.
  68. template <class _VecT, class _Tp>
  69. _LIBCPP_NODISCARD _LIBCPP_ALWAYS_INLINE _LIBCPP_HIDE_FROM_ABI _VecT __load_vector(const _Tp* __ptr) noexcept {
  70. return [=]<size_t... _Indices>(index_sequence<_Indices...>) _LIBCPP_ALWAYS_INLINE noexcept {
  71. return _VecT{__ptr[_Indices]...};
  72. }(make_index_sequence<__simd_vector_size_v<_VecT>>{});
  73. }
  74. template <class _Tp, size_t _Np>
  75. _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI bool __all_of(__simd_vector<_Tp, _Np> __vec) noexcept {
  76. return __builtin_reduce_and(__builtin_convertvector(__vec, __simd_vector<bool, _Np>));
  77. }
  78. template <class _Tp, size_t _Np>
  79. _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI size_t __find_first_set(__simd_vector<_Tp, _Np> __vec) noexcept {
  80. using __mask_vec = __simd_vector<bool, _Np>;
  81. // This has MSan disabled du to https://github.com/llvm/llvm-project/issues/85876
  82. auto __impl = [&]<class _MaskT>(_MaskT) _LIBCPP_NO_SANITIZE("memory") noexcept {
  83. return std::min<size_t>(
  84. _Np, std::__countr_zero(__builtin_bit_cast(_MaskT, __builtin_convertvector(__vec, __mask_vec))));
  85. };
  86. if constexpr (sizeof(__mask_vec) == sizeof(uint8_t)) {
  87. return __impl(uint8_t{});
  88. } else if constexpr (sizeof(__mask_vec) == sizeof(uint16_t)) {
  89. return __impl(uint16_t{});
  90. } else if constexpr (sizeof(__mask_vec) == sizeof(uint32_t)) {
  91. return __impl(uint32_t{});
  92. } else if constexpr (sizeof(__mask_vec) == sizeof(uint64_t)) {
  93. return __impl(uint64_t{});
  94. } else {
  95. static_assert(sizeof(__mask_vec) == 0, "unexpected required size for mask integer type");
  96. return 0;
  97. }
  98. }
  99. template <class _Tp, size_t _Np>
  100. _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI size_t __find_first_not_set(__simd_vector<_Tp, _Np> __vec) noexcept {
  101. return std::__find_first_set(~__vec);
  102. }
  103. _LIBCPP_END_NAMESPACE_STD
  104. #endif // _LIBCPP_HAS_ALGORITHM_VECTOR_UTILS
  105. _LIBCPP_POP_MACROS
  106. #endif // _LIBCPP___ALGORITHM_SIMD_UTILS_H