public inbox for libstdc++-cvs@sourceware.org help / color / mirror / Atom feed
From: Matthias Kretz <mkretz@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-6908] libstdc++: Add missing trait is_simd_flag_type Date: Tue, 28 Mar 2023 14:43:38 +0000 (GMT) [thread overview] Message-ID: <20230328144338.6A9CE3858D39@sourceware.org> (raw) https://gcc.gnu.org/g:97383b4116ea63486eb5bfb0a7140871bed75fb4 commit r13-6908-g97383b4116ea63486eb5bfb0a7140871bed75fb4 Author: Matthias Kretz <m.kretz@gsi.de> Date: Wed Mar 22 08:12:08 2023 +0100 libstdc++: Add missing trait is_simd_flag_type Signed-off-by: Matthias Kretz <m.kretz@gsi.de> libstdc++-v3/ChangeLog: * include/experimental/bits/simd.h (is_simd_flag_type): New. (_IsSimdFlagType): New. (copy_from, copy_to, load ctors): Constrain _Flags using _IsSimdFlagType. Diff: --- libstdc++-v3/include/experimental/bits/simd.h | 52 ++++++++++++++++++++------- 1 file changed, 39 insertions(+), 13 deletions(-) diff --git a/libstdc++-v3/include/experimental/bits/simd.h b/libstdc++-v3/include/experimental/bits/simd.h index 4df446654ac..224153ffbaf 100644 --- a/libstdc++-v3/include/experimental/bits/simd.h +++ b/libstdc++-v3/include/experimental/bits/simd.h @@ -2837,6 +2837,32 @@ template <typename _Tp> } // namespace simd_abi // traits {{{1 +template <typename _Tp> + struct is_simd_flag_type + : false_type + {}; + +template <> + struct is_simd_flag_type<element_aligned_tag> + : true_type + {}; + +template <> + struct is_simd_flag_type<vector_aligned_tag> + : true_type + {}; + +template <size_t _Np> + struct is_simd_flag_type<overaligned_tag<_Np>> + : __bool_constant<(_Np > 0) and __has_single_bit(_Np)> + {}; + +template <typename _Tp> + inline constexpr bool is_simd_flag_type_v = is_simd_flag_type<_Tp>::value; + +template <typename _Tp, typename = enable_if_t<is_simd_flag_type_v<_Tp>>> + using _IsSimdFlagType = _Tp; + // is_abi_tag {{{2 template <typename _Tp, typename = void_t<>> struct is_abi_tag : false_type {}; @@ -3308,7 +3334,7 @@ template <typename _M, typename _Tp> template <typename _Up, typename _Flags> [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _V - copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _Flags) const&& + copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) const&& { return {__private_init, _Impl::_S_masked_load(__data(_M_value), __data(_M_k), @@ -3317,7 +3343,7 @@ template <typename _M, typename _Tp> template <typename _Up, typename _Flags> _GLIBCXX_SIMD_INTRINSIC void - copy_to(_LoadStorePtr<_Up, value_type>* __mem, _Flags) const&& + copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) const&& { _Impl::_S_masked_store(__data(_M_value), _Flags::template _S_apply<_V>(__mem), @@ -3363,12 +3389,12 @@ template <typename _Tp> template <typename _Up, typename _Flags> [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _V - copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _Flags) const&& + copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) const&& { return _M_k ? static_cast<_V>(__mem[0]) : _M_value; } template <typename _Up, typename _Flags> _GLIBCXX_SIMD_INTRINSIC void - copy_to(_LoadStorePtr<_Up, value_type>* __mem, _Flags) const&& + copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) const&& { if (_M_k) __mem[0] = _M_value; @@ -3466,7 +3492,7 @@ template <typename _M, typename _Tp> // intentionally hides const_where_expression::copy_from template <typename _Up, typename _Flags> _GLIBCXX_SIMD_INTRINSIC void - copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _Flags) && + copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) && { __data(_M_value) = _Impl::_S_masked_load(__data(_M_value), __data(_M_k), _Flags::template _S_apply<_Tp>(__mem)); @@ -3529,7 +3555,7 @@ template <typename _Tp> // intentionally hides const_where_expression::copy_from template <typename _Up, typename _Flags> _GLIBCXX_SIMD_INTRINSIC void - copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _Flags) && + copy_from(const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) && { if (_M_k) _M_value = __mem[0]; } }; @@ -4574,12 +4600,12 @@ template <typename _Tp, typename _Abi> // load constructor {{{ template <typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE - simd_mask(const value_type* __mem, _Flags) + simd_mask(const value_type* __mem, _IsSimdFlagType<_Flags>) : _M_data(_Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem))) {} template <typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE - simd_mask(const value_type* __mem, simd_mask __k, _Flags) + simd_mask(const value_type* __mem, simd_mask __k, _IsSimdFlagType<_Flags>) : _M_data{} { _M_data = _Impl::_S_masked_load(_M_data, __k._M_data, @@ -4590,14 +4616,14 @@ template <typename _Tp, typename _Abi> // loads [simd_mask.load] {{{ template <typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE void - copy_from(const value_type* __mem, _Flags) + copy_from(const value_type* __mem, _IsSimdFlagType<_Flags>) { _M_data = _Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem)); } // }}} // stores [simd_mask.store] {{{ template <typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE void - copy_to(value_type* __mem, _Flags) const + copy_to(value_type* __mem, _IsSimdFlagType<_Flags>) const { _Impl::_S_store(_M_data, _Flags::template _S_apply<simd_mask>(__mem)); } // }}} @@ -5210,7 +5236,7 @@ template <typename _Tp, typename _Abi> // load constructor template <typename _Up, typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE - simd(const _Up* __mem, _Flags) + simd(const _Up* __mem, _IsSimdFlagType<_Flags>) : _M_data( _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag)) {} @@ -5218,7 +5244,7 @@ template <typename _Tp, typename _Abi> // loads [simd.load] template <typename _Up, typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE void - copy_from(const _Vectorizable<_Up>* __mem, _Flags) + copy_from(const _Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>) { _M_data = static_cast<decltype(_M_data)>( _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag)); @@ -5227,7 +5253,7 @@ template <typename _Tp, typename _Abi> // stores [simd.store] template <typename _Up, typename _Flags> _GLIBCXX_SIMD_ALWAYS_INLINE void - copy_to(_Vectorizable<_Up>* __mem, _Flags) const + copy_to(_Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>) const { _Impl::_S_store(_M_data, _Flags::template _S_apply<simd>(__mem), _S_type_tag);
reply other threads:[~2023-03-28 14:43 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20230328144338.6A9CE3858D39@sourceware.org \ --to=mkretz@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ --cc=libstdc++-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).