diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:46:46 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:46:46 +0000 |
commit | 61b9a7258a7693d7f3674a5a1daf7b036ff1d382 (patch) | |
tree | ec41ed70ffca97240e76f9a78bb2dedba28f310c /test/std/utilities/intseq | |
parent | f857581820d15e410e9945d2fcd5f7163be25a96 (diff) | |
download | src-61b9a7258a7693d7f3674a5a1daf7b036ff1d382.tar.gz src-61b9a7258a7693d7f3674a5a1daf7b036ff1d382.zip |
Import libc++ 3.7.0 release (r246257).vendor/libc++/libc++-release_370-r246257
Notes
Notes:
svn path=/vendor/libc++/dist/; revision=287518
svn path=/vendor/libc++/libc++-release_370-r246257/; revision=287519; tag=vendor/libc++/libc++-release_370-r246257
Diffstat (limited to 'test/std/utilities/intseq')
6 files changed, 248 insertions, 0 deletions
diff --git a/test/std/utilities/intseq/intseq.general/integer_seq.pass.cpp b/test/std/utilities/intseq/intseq.general/integer_seq.pass.cpp new file mode 100644 index 000000000000..8ca5a96a4fac --- /dev/null +++ b/test/std/utilities/intseq/intseq.general/integer_seq.pass.cpp @@ -0,0 +1,86 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <utility> + +// class make_integer_sequence + +#include <tuple> +#include <utility> +#include <type_traits> +#include <cassert> + +#if _LIBCPP_STD_VER > 11 + +template <typename AtContainer, typename T, T... I> +auto extract ( const AtContainer &t, const std::integer_sequence<T, I...> idx ) +-> decltype ( std::make_tuple ( std::get<I>(t)... )) +{ return std::make_tuple ( std::get<I>(t)... ); } + +#endif // _LIBCPP_STD_VER > 11 + +int main() +{ +#if _LIBCPP_STD_VER > 11 + +// Make a couple of sequences + using int3 = std::make_integer_sequence<int, 3>; // generates int: 0,1,2 + using size7 = std::make_integer_sequence<size_t, 7>; // generates size_t: 0,1,2,3,4,5,6 + using size4 = std::make_index_sequence<4>; // generates size_t: 0,1,2,3 + using size2 = std::index_sequence_for<int, size_t>; // generates size_t: 0,1 + using intmix = std::integer_sequence<int, 9, 8, 7, 2>; // generates int: 9,8,7,2 + using sizemix = std::index_sequence<1, 1, 2, 3, 5>; // generates size_t: 1,1,2,3,5 + +// Make sure they're what we expect + static_assert ( std::is_same<int3::value_type, int>::value, "int3 type wrong" ); + static_assert ( int3::size () == 3, "int3 size wrong" ); + + static_assert ( std::is_same<size7::value_type, size_t>::value, "size7 type wrong" ); + static_assert ( size7::size () == 7, "size7 size wrong" ); + + static_assert ( std::is_same<size4::value_type, size_t>::value, "size4 type wrong" ); + static_assert ( size4::size () == 4, "size4 size wrong" ); + + static_assert ( std::is_same<size2::value_type, size_t>::value, "size2 type wrong" ); + static_assert ( size2::size () == 2, "size2 size wrong" ); + + static_assert ( std::is_same<intmix::value_type, int>::value, "intmix type wrong" ); + static_assert ( intmix::size () == 4, "intmix size wrong" ); + + static_assert ( std::is_same<sizemix::value_type, size_t>::value, "sizemix type wrong" ); + static_assert ( sizemix::size () == 5, "sizemix size wrong" ); + + auto tup = std::make_tuple ( 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20 ); + +// Use them + auto t3 = extract ( tup, int3() ); + static_assert ( std::tuple_size<decltype(t3)>::value == int3::size (), "t3 size wrong"); + assert ( t3 == std::make_tuple ( 10, 11, 12 )); + + auto t7 = extract ( tup, size7 ()); + static_assert ( std::tuple_size<decltype(t7)>::value == size7::size (), "t7 size wrong"); + assert ( t7 == std::make_tuple ( 10, 11, 12, 13, 14, 15, 16 )); + + auto t4 = extract ( tup, size4 ()); + static_assert ( std::tuple_size<decltype(t4)>::value == size4::size (), "t4 size wrong"); + assert ( t4 == std::make_tuple ( 10, 11, 12, 13 )); + + auto t2 = extract ( tup, size2 ()); + static_assert ( std::tuple_size<decltype(t2)>::value == size2::size (), "t2 size wrong"); + assert ( t2 == std::make_tuple ( 10, 11 )); + + auto tintmix = extract ( tup, intmix ()); + static_assert ( std::tuple_size<decltype(tintmix)>::value == intmix::size (), "tintmix size wrong"); + assert ( tintmix == std::make_tuple ( 19, 18, 17, 12 )); + + auto tsizemix = extract ( tup, sizemix ()); + static_assert ( std::tuple_size<decltype(tsizemix)>::value == sizemix::size (), "tsizemix size wrong"); + assert ( tsizemix == std::make_tuple ( 11, 11, 12, 13, 15 )); +#endif // _LIBCPP_STD_VER > 11 +} diff --git a/test/std/utilities/intseq/intseq.intseq/integer_seq.fail.cpp b/test/std/utilities/intseq/intseq.intseq/integer_seq.fail.cpp new file mode 100644 index 000000000000..4b2d1acb5e6b --- /dev/null +++ b/test/std/utilities/intseq/intseq.intseq/integer_seq.fail.cpp @@ -0,0 +1,38 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <utility> + +// template<class T, T... I> +// struct integer_sequence +// { +// typedef T type; +// +// static constexpr size_t size() noexcept; +// }; + +// This test is a conforming extension. The extension turns undefined behavior +// into a compile-time error. + +#include <utility> + +int main() +{ +#if _LIBCPP_STD_VER > 11 + +// Should fail to compile, since float is not an integral type + using floatmix = std::integer_sequence<float>; + floatmix::value_type I; + +#else + +X + +#endif // _LIBCPP_STD_VER > 11 +} diff --git a/test/std/utilities/intseq/intseq.intseq/integer_seq.pass.cpp b/test/std/utilities/intseq/intseq.intseq/integer_seq.pass.cpp new file mode 100644 index 000000000000..a795e90c41e4 --- /dev/null +++ b/test/std/utilities/intseq/intseq.intseq/integer_seq.pass.cpp @@ -0,0 +1,48 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <utility> + +// template<class T, T... I> +// struct integer_sequence +// { +// typedef T type; +// +// static constexpr size_t size() noexcept; +// }; + +#include <utility> +#include <type_traits> +#include <cassert> + +int main() +{ +#if _LIBCPP_STD_VER > 11 + +// Make a few of sequences + using int3 = std::integer_sequence<int, 3, 2, 1>; + using size1 = std::integer_sequence<size_t, 7>; + using ushort2 = std::integer_sequence<unsigned short, 4, 6>; + using bool0 = std::integer_sequence<bool>; + +// Make sure they're what we expect + static_assert ( std::is_same<int3::value_type, int>::value, "int3 type wrong" ); + static_assert ( int3::size() == 3, "int3 size wrong" ); + + static_assert ( std::is_same<size1::value_type, size_t>::value, "size1 type wrong" ); + static_assert ( size1::size() == 1, "size1 size wrong" ); + + static_assert ( std::is_same<ushort2::value_type, unsigned short>::value, "ushort2 type wrong" ); + static_assert ( ushort2::size() == 2, "ushort2 size wrong" ); + + static_assert ( std::is_same<bool0::value_type, bool>::value, "bool0 type wrong" ); + static_assert ( bool0::size() == 0, "bool0 size wrong" ); + +#endif // _LIBCPP_STD_VER > 11 +} diff --git a/test/std/utilities/intseq/intseq.make/make_integer_seq.fail.cpp b/test/std/utilities/intseq/intseq.make/make_integer_seq.fail.cpp new file mode 100644 index 000000000000..2dd6c17b3dee --- /dev/null +++ b/test/std/utilities/intseq/intseq.make/make_integer_seq.fail.cpp @@ -0,0 +1,30 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <utility> + +// template<class T, T N> +// using make_integer_sequence = integer_sequence<T, 0, 1, ..., N-1>; + +#include <utility> +#include <type_traits> +#include <cassert> + +int main() +{ +#if _LIBCPP_STD_VER > 11 + + std::make_integer_sequence<int, -3>::value_type i; + +#else + +X + +#endif // _LIBCPP_STD_VER > 11 +} diff --git a/test/std/utilities/intseq/intseq.make/make_integer_seq.pass.cpp b/test/std/utilities/intseq/intseq.make/make_integer_seq.pass.cpp new file mode 100644 index 000000000000..7e82b94a7da0 --- /dev/null +++ b/test/std/utilities/intseq/intseq.make/make_integer_seq.pass.cpp @@ -0,0 +1,34 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <utility> + +// template<class T, T N> +// using make_integer_sequence = integer_sequence<T, 0, 1, ..., N-1>; + +#include <utility> +#include <type_traits> +#include <cassert> + +int main() +{ +#if _LIBCPP_STD_VER > 11 + + static_assert(std::is_same<std::make_integer_sequence<int, 0>, std::integer_sequence<int>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<int, 1>, std::integer_sequence<int, 0>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<int, 2>, std::integer_sequence<int, 0, 1>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<int, 3>, std::integer_sequence<int, 0, 1, 2>>::value, ""); + + static_assert(std::is_same<std::make_integer_sequence<unsigned long long, 0>, std::integer_sequence<unsigned long long>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<unsigned long long, 1>, std::integer_sequence<unsigned long long, 0>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<unsigned long long, 2>, std::integer_sequence<unsigned long long, 0, 1>>::value, ""); + static_assert(std::is_same<std::make_integer_sequence<unsigned long long, 3>, std::integer_sequence<unsigned long long, 0, 1, 2>>::value, ""); + +#endif // _LIBCPP_STD_VER > 11 +} diff --git a/test/std/utilities/intseq/nothing_to_do.pass.cpp b/test/std/utilities/intseq/nothing_to_do.pass.cpp new file mode 100644 index 000000000000..b58f5c55b643 --- /dev/null +++ b/test/std/utilities/intseq/nothing_to_do.pass.cpp @@ -0,0 +1,12 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +int main() +{ +} |