[libc++] <experimental/simd> Add ++/-- operators for simd reference

Author: joy2myself

libcxx/docs/Status/ParallelismProjects.csv

@@ -18,6 +18,7 @@ Section,Description,Dependencies,Assignee,Complete
 | `[parallel.simd.reference] <https://wg21.link/N4808>`_, "`Element references operator= <https://github.com/llvm/llvm-project/pull/70020>`_", None, Yin Zhang, |Complete|
 | `[parallel.simd.reference] <https://wg21.link/N4808>`_, "`Element references swap functions <https://github.com/llvm/llvm-project/pull/86478>`_", None, Yin Zhang, |Complete|
 | `[parallel.simd.reference] <https://wg21.link/N4808>`_, "`Element references compound assignment operators <https://github.com/llvm/llvm-project/pull/86761>`_", None, Yin Zhang, |Complete|
+| `[parallel.simd.reference] <https://wg21.link/N4808>`_, "`Element references unary operators ++/-- <https://github.com/llvm/llvm-project/pull/88091>`_", None, Yin Zhang, |Complete|
 | `[parallel.simd.class] <https://wg21.link/N4808>`_, "`Class template simd declaration and alias <https://reviews.llvm.org/D144362>`_", [parallel.simd.abi], Yin Zhang, |Complete|
 | `[parallel.simd.class] <https://wg21.link/N4808>`_, "`simd<>::size() <https://reviews.llvm.org/D144363>`_", [parallel.simd.traits] simd_size[_v], Yin Zhang, |Complete|
 | `[parallel.simd.class] <https://wg21.link/N4808>`_, "`simd default constructor <https://github.com/llvm/llvm-project/pull/70424>`_", None, Yin Zhang, |Complete|

libcxx/include/experimental/__simd/reference.h

@@ -132,6 +132,32 @@ class __simd_reference {
     __set(__get() >> static_cast<value_type>(std::forward<_Up>(__v)));
     return {__s_, __idx_};
   }
+
+  template <class _Up = value_type, class = decltype(std::declval<_Up&>()++)>
+  __simd_reference _LIBCPP_HIDE_FROM_ABI operator++() && noexcept {
+    __set(__get() + 1);
+    return {__s_, __idx_};
+  }
+
+  template <class _Up = value_type, class = decltype(++std::declval<_Up&>())>
+  value_type _LIBCPP_HIDE_FROM_ABI operator++(int) && noexcept {
+    auto __r = __get();
+    __set(__get() + 1);
+    return __r;
+  }
+
+  template <class _Up = value_type, class = decltype(std::declval<_Up&>()--)>
+  __simd_reference _LIBCPP_HIDE_FROM_ABI operator--() && noexcept {
+    __set(__get() - 1);
+    return {__s_, __idx_};
+  }
+
+  template <class _Up = value_type, class = decltype(--std::declval<_Up&>())>
+  value_type _LIBCPP_HIDE_FROM_ABI operator--(int) && noexcept {
+    auto __r = __get();
+    __set(__get() - 1);
+    return __r;
+  }
 };
 
 template <class _Tp, class _Storage, class _Vp>

libcxx/test/std/experimental/simd/simd.reference/reference_unary.pass.cpp

@@ -0,0 +1,83 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03, c++11, c++14
+
+// <experimental/simd>
+//
+// [simd.reference]
+// reference operator++() && noexcept;
+// value_type operator++(int) && noexcept;
+// reference operator--() && noexcept;
+// value_type operator--(int) && noexcept;
+
+#include "../test_utils.h"
+#include <experimental/simd>
+
+namespace ex = std::experimental::parallelism_v2;
+
+template <class T, std::size_t>
+struct CheckSimdReferenceUnaryOperators {
+  template <class SimdAbi>
+  void operator()() const {
+    ex::simd<T, SimdAbi> origin_simd(static_cast<T>(3));
+    static_assert(noexcept(++origin_simd[0]));
+    assert(((T)(++origin_simd[0]) == static_cast<T>(4)) && ((T)origin_simd[0] == static_cast<T>(4)));
+    static_assert(noexcept(origin_simd[0]++));
+    assert(((T)(origin_simd[0]++) == static_cast<T>(4)) && ((T)origin_simd[0] == static_cast<T>(5)));
+    static_assert(noexcept(--origin_simd[0]));
+    assert(((T)(--origin_simd[0]) == static_cast<T>(4)) && ((T)origin_simd[0] == static_cast<T>(4)));
+    static_assert(noexcept(origin_simd[0]--));
+    assert(((T)(origin_simd[0]--) == static_cast<T>(4)) && ((T)origin_simd[0] == static_cast<T>(3)));
+  }
+};
+
+template <class T, class SimdAbi = ex::simd_abi::compatible<T>, class = void>
+struct has_pre_increment : std::false_type {};
+
+template <class T, class SimdAbi>
+struct has_pre_increment<T, SimdAbi, std::void_t<decltype(++std::declval<ex::simd<T, SimdAbi>>()[0])>>
+    : std::true_type {};
+
+template <class T, class SimdAbi = ex::simd_abi::compatible<T>, class = void>
+struct has_post_increment : std::false_type {};
+
+template <class T, class SimdAbi>
+struct has_post_increment<T, SimdAbi, std::void_t<decltype(std::declval<ex::simd<T, SimdAbi>>()[0]++)>>
+    : std::true_type {};
+
+template <class T, class SimdAbi = ex::simd_abi::compatible<T>, class = void>
+struct has_pre_decrement : std::false_type {};
+
+template <class T, class SimdAbi>
+struct has_pre_decrement<T, SimdAbi, std::void_t<decltype(--std::declval<ex::simd<T, SimdAbi>>()[0])>>
+    : std::true_type {};
+
+template <class T, class SimdAbi = ex::simd_abi::compatible<T>, class = void>
+struct has_post_decrement : std::false_type {};
+
+template <class T, class SimdAbi>
+struct has_post_decrement<T, SimdAbi, std::void_t<decltype(std::declval<ex::simd<T, SimdAbi>>()[0]--)>>
+    : std::true_type {};
+
+template <class T, std::size_t>
+struct CheckSimdReferenceUnaryTraits {
+  template <class SimdAbi>
+  void operator()() {
+    static_assert(has_pre_increment<T, SimdAbi>::value);
+    static_assert(has_post_increment<T, SimdAbi>::value);
+    static_assert(has_pre_decrement<T, SimdAbi>::value);
+    static_assert(has_post_decrement<T, SimdAbi>::value);
+  }
+};
+
+int main(int, char**) {
+  test_all_simd_abi<CheckSimdReferenceUnaryOperators>();
+  test_all_simd_abi<CheckSimdReferenceUnaryTraits>();
+  return 0;
+}