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 9 // UNSUPPORTED: c++03, c++11, c++14, c++17 10 // UNSUPPORTED: libcpp-no-concepts 11 12 // <utility> 13 14 // template<class T, class U> 15 // constexpr bool cmp_equal(T t, U u) noexcept; // C++20 16 17 #include <utility> 18 #include <limits> 19 #include <numeric> 20 #include <tuple> 21 #include <cassert> 22 23 #include "test_macros.h" 24 25 template <typename T> 26 struct Tuple { 27 T min; 28 T max; 29 T mid; 30 constexpr Tuple() { 31 min = std::numeric_limits<T>::min(); 32 max = std::numeric_limits<T>::max(); 33 mid = std::midpoint(min, max); 34 } 35 }; 36 37 template <typename T> 38 constexpr void test_cmp_equal1() { 39 constexpr Tuple<T> tup; 40 assert(std::cmp_equal(T(0), T(0))); 41 assert(std::cmp_equal(T(10), T(10))); 42 assert(std::cmp_equal(tup.min, tup.min)); 43 assert(std::cmp_equal(tup.max, tup.max)); 44 assert(!std::cmp_equal(T(0), T(1))); 45 assert(!std::cmp_equal(T(1), T(0))); 46 assert(!std::cmp_equal(T(5), T(10))); 47 assert(!std::cmp_equal(T(10), T(5))); 48 assert(!std::cmp_equal(tup.min, tup.max)); 49 assert(!std::cmp_equal(tup.max, tup.min)); 50 assert(!std::cmp_equal(1, tup.max)); 51 assert(!std::cmp_equal(tup.max, 1)); 52 assert(!std::cmp_equal(1, tup.min)); 53 assert(!std::cmp_equal(tup.min, 1)); 54 assert(std::cmp_equal(T(-5), T(-5))); 55 assert(!std::cmp_equal(-2, tup.min)); 56 assert(!std::cmp_equal(tup.min, -2)); 57 assert(!std::cmp_equal(-2, tup.max)); 58 assert(!std::cmp_equal(tup.max, -2)); 59 } 60 61 template <typename T, typename U> 62 constexpr void test_cmp_equal2() { 63 constexpr Tuple<T> ttup; 64 constexpr Tuple<U> utup; 65 assert(std::cmp_equal(T(0), U(0))); 66 assert(std::cmp_equal(T(10), U(10))); 67 assert(!std::cmp_equal(T(0), U(1))); 68 assert(!std::cmp_equal(T(1), U(0))); 69 assert(!std::cmp_equal(T(5), U(10))); 70 assert(!std::cmp_equal(T(10), U(5))); 71 assert(!std::cmp_equal(ttup.min, utup.max)); 72 assert(!std::cmp_equal(utup.min, ttup.max)); 73 } 74 75 template <class... Ts> 76 constexpr void test1(const std::tuple<Ts...>&) { 77 (test_cmp_equal1<Ts>() , ...); 78 } 79 80 template <class T, class... Us> 81 constexpr void test2_impl(const std::tuple<Us...>&) { 82 (test_cmp_equal2<T, Us>() , ...); 83 } 84 85 template <class... Ts, class UTuple> 86 constexpr void test2(const std::tuple<Ts...>&, const UTuple& utuple) { 87 (test2_impl<Ts>(utuple) , ...); 88 } 89 90 constexpr bool test() { 91 std::tuple< 92 #ifndef _LIBCPP_HAS_NO_INT128 93 __int128_t, __uint128_t, 94 #endif 95 unsigned long long, long long, unsigned long, long, unsigned int, int, 96 unsigned short, short, unsigned char, signed char> types; 97 test1(types); 98 test2(types, types); 99 return true; 100 } 101 102 int main(int, char**) { 103 ASSERT_NOEXCEPT(std::cmp_equal(0, 0)); 104 test(); 105 static_assert(test()); 106 return 0; 107 } 108