From 214e4f8fe625ad54aac3b215909e0b994a5768ec Mon Sep 17 00:00:00 2001 From: theraven Date: Wed, 10 Jul 2013 16:28:24 +0000 Subject: Import new libcxxrt / libc++. This brings some bug fixes, including a potential race condition for static initialisers. --- contrib/libc++/include/utility | 107 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 107 insertions(+) (limited to 'contrib/libc++/include/utility') diff --git a/contrib/libc++/include/utility b/contrib/libc++/include/utility index 2df4b36..ba65649 100644 --- a/contrib/libc++/include/utility +++ b/contrib/libc++/include/utility @@ -117,6 +117,27 @@ template typename tuple_element >::type&& get(std::pair&&) noexcept; +// C++14 + +template +struct integer_sequence +{ + typedef T value_type; + + static constexpr size_t size() noexcept; +}; + +template + using index_sequence = integer_sequence; + +template + using make_integer_sequence = integer_sequence; +template + using make_index_sequence = make_integer_sequence; + +template + using index_sequence_for = make_index_sequence; + } // std */ @@ -578,6 +599,92 @@ get(pair<_T1, _T2>&& __p) _NOEXCEPT #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES +#if _LIBCPP_STD_VER > 11 + +template +struct _LIBCPP_TYPE_VIS integer_sequence +{ + typedef _Tp value_type; + static_assert( is_integral<_Tp>::value, + "std::integer_sequence can only be instantiated with an integral type" ); + static + _LIBCPP_INLINE_VISIBILITY + constexpr + size_t + size() noexcept { return sizeof...(_Ip); } +}; + +template + using index_sequence = integer_sequence; + +namespace __detail { + +template struct __repeat; +template struct __repeat, _Extra...> { + typedef integer_sequence<_Tp, + _Np..., + sizeof...(_Np) + _Np..., + 2 * sizeof...(_Np) + _Np..., + 3 * sizeof...(_Np) + _Np..., + 4 * sizeof...(_Np) + _Np..., + 5 * sizeof...(_Np) + _Np..., + 6 * sizeof...(_Np) + _Np..., + 7 * sizeof...(_Np) + _Np..., + _Extra...> type; +}; + +template struct __parity; +template struct __make : __parity<_Np % 8>::template __pmake<_Np> {}; + +template<> struct __make<0> { typedef integer_sequence type; }; +template<> struct __make<1> { typedef integer_sequence type; }; +template<> struct __make<2> { typedef integer_sequence type; }; +template<> struct __make<3> { typedef integer_sequence type; }; +template<> struct __make<4> { typedef integer_sequence type; }; +template<> struct __make<5> { typedef integer_sequence type; }; +template<> struct __make<6> { typedef integer_sequence type; }; +template<> struct __make<7> { typedef integer_sequence type; }; + +template<> struct __parity<0> { template struct __pmake : __repeat::type> {}; }; +template<> struct __parity<1> { template struct __pmake : __repeat::type, _Np - 1> {}; }; +template<> struct __parity<2> { template struct __pmake : __repeat::type, _Np - 2, _Np - 1> {}; }; +template<> struct __parity<3> { template struct __pmake : __repeat::type, _Np - 3, _Np - 2, _Np - 1> {}; }; +template<> struct __parity<4> { template struct __pmake : __repeat::type, _Np - 4, _Np - 3, _Np - 2, _Np - 1> {}; }; +template<> struct __parity<5> { template struct __pmake : __repeat::type, _Np - 5, _Np - 4, _Np - 3, _Np - 2, _Np - 1> {}; }; +template<> struct __parity<6> { template struct __pmake : __repeat::type, _Np - 6, _Np - 5, _Np - 4, _Np - 3, _Np - 2, _Np - 1> {}; }; +template<> struct __parity<7> { template struct __pmake : __repeat::type, _Np - 7, _Np - 6, _Np - 5, _Np - 4, _Np - 3, _Np - 2, _Np - 1> {}; }; + +template struct __convert { + template struct __result; + template<_Tp ..._Np> struct __result > { typedef integer_sequence<_Up, _Np...> type; }; +}; +template struct __convert<_Tp, _Tp> { template struct __result { typedef _Up type; }; }; + +} + +template using __make_integer_sequence_unchecked = + typename __detail::__convert::template __result::type>::type; + +template +struct __make_integer_sequence +{ + static_assert(is_integral<_Tp>::value, + "std::make_integer_sequence can only be instantiated with an integral type" ); + static_assert(0 <= _Ep, "std::make_integer_sequence input shall not be negative"); + typedef __make_integer_sequence_unchecked<_Tp, _Ep> type; +}; + +template + using make_integer_sequence = typename __make_integer_sequence<_Tp, _Np>::type; + +template + using make_index_sequence = make_integer_sequence; + +template + using index_sequence_for = make_index_sequence; + +#endif // _LIBCPP_STD_VER > 11 + _LIBCPP_END_NAMESPACE_STD #endif // _LIBCPP_UTILITY -- cgit v1.1