xref: /llvm-project/pstl/test/std/algorithms/alg.nonmodifying/equal.pass.cpp (revision 3b9a1bb1af90db9472340ef2122d3855eb9ba3fc)
13b62047bSLouis Dionne // -*- C++ -*-
23b62047bSLouis Dionne //===-- equal.pass.cpp ----------------------------------------------------===//
33b62047bSLouis Dionne //
43b62047bSLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
53b62047bSLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
63b62047bSLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
73b62047bSLouis Dionne //
83b62047bSLouis Dionne //===----------------------------------------------------------------------===//
93b62047bSLouis Dionne 
10b5e896c0SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
116ab35c9dSLouis Dionne 
123b62047bSLouis Dionne #include "support/pstl_test_config.h"
133b62047bSLouis Dionne 
143b62047bSLouis Dionne #include <execution>
153b62047bSLouis Dionne #include <algorithm>
163b62047bSLouis Dionne 
173b62047bSLouis Dionne #include "support/utils.h"
183b62047bSLouis Dionne 
193b62047bSLouis Dionne using namespace TestUtils;
203b62047bSLouis Dionne 
213b62047bSLouis Dionne #define CPP14_ENABLED 0
223b62047bSLouis Dionne 
233b62047bSLouis Dionne struct UserType
243b62047bSLouis Dionne {
255c4c4431SLouis Dionne     size_t key;
263b62047bSLouis Dionne     float32_t f;
273b62047bSLouis Dionne     float64_t d;
283b62047bSLouis Dionne     int32_t i;
293b62047bSLouis Dionne 
303b62047bSLouis Dionne     bool
operator ()UserType313b62047bSLouis Dionne     operator()(UserType a, UserType b)
323b62047bSLouis Dionne     {
333b62047bSLouis Dionne         return a.key < b.key;
343b62047bSLouis Dionne     }
353b62047bSLouis Dionne     bool
operator <UserType363b62047bSLouis Dionne     operator<(UserType a)
373b62047bSLouis Dionne     {
383b62047bSLouis Dionne         return a.key < key;
393b62047bSLouis Dionne     }
403b62047bSLouis Dionne     bool
operator >=UserType413b62047bSLouis Dionne     operator>=(UserType a)
423b62047bSLouis Dionne     {
433b62047bSLouis Dionne         return a.key <= key;
443b62047bSLouis Dionne     }
453b62047bSLouis Dionne     bool
operator <=UserType463b62047bSLouis Dionne     operator<=(UserType a)
473b62047bSLouis Dionne     {
483b62047bSLouis Dionne         return a.key >= key;
493b62047bSLouis Dionne     }
503b62047bSLouis Dionne     bool
operator ==UserType513b62047bSLouis Dionne     operator==(UserType a)
523b62047bSLouis Dionne     {
533b62047bSLouis Dionne         return a.key == key;
543b62047bSLouis Dionne     }
553b62047bSLouis Dionne     bool
operator ==UserType563b62047bSLouis Dionne     operator==(UserType a) const
573b62047bSLouis Dionne     {
583b62047bSLouis Dionne         return a.key == key;
593b62047bSLouis Dionne     }
603b62047bSLouis Dionne     bool
operator !=UserType613b62047bSLouis Dionne     operator!=(UserType a)
623b62047bSLouis Dionne     {
633b62047bSLouis Dionne         return a.key != key;
643b62047bSLouis Dionne     }
operator !UserType653b62047bSLouis Dionne     UserType operator!()
663b62047bSLouis Dionne     {
673b62047bSLouis Dionne         UserType tmp;
683b62047bSLouis Dionne         tmp.key = !key;
693b62047bSLouis Dionne         return tmp;
703b62047bSLouis Dionne     }
713b62047bSLouis Dionne     friend std::ostream&
operator <<(std::ostream & stream,const UserType a)723b62047bSLouis Dionne     operator<<(std::ostream& stream, const UserType a)
733b62047bSLouis Dionne     {
743b62047bSLouis Dionne         stream << a.key;
753b62047bSLouis Dionne         return stream;
763b62047bSLouis Dionne     }
773b62047bSLouis Dionne 
UserTypeUserType783b62047bSLouis Dionne     UserType() : key(-1), f(0.0f), d(0.0), i(0) {}
UserTypeUserType793b62047bSLouis Dionne     UserType(size_t Number) : key(Number), f(0.0f), d(0.0), i(0) {}
803b62047bSLouis Dionne     UserType&
operator =UserType813b62047bSLouis Dionne     operator=(const UserType& other)
823b62047bSLouis Dionne     {
833b62047bSLouis Dionne         key = other.key;
843b62047bSLouis Dionne         return *this;
853b62047bSLouis Dionne     }
UserTypeUserType863b62047bSLouis Dionne     UserType(const UserType& other) : key(other.key), f(other.f), d(other.d), i(other.i) {}
UserTypeUserType873b62047bSLouis Dionne     UserType(UserType&& other) : key(other.key), f(other.f), d(other.d), i(other.i)
883b62047bSLouis Dionne     {
893b62047bSLouis Dionne         other.key = -1;
903b62047bSLouis Dionne         other.f = 0.0f;
913b62047bSLouis Dionne         other.d = 0.0;
923b62047bSLouis Dionne         other.i = 0;
933b62047bSLouis Dionne     }
943b62047bSLouis Dionne };
953b62047bSLouis Dionne 
963b62047bSLouis Dionne struct test_one_policy
973b62047bSLouis Dionne {
983b62047bSLouis Dionne     template <typename ExecutionPolicy, typename Iterator1, typename Iterator2>
993b62047bSLouis Dionne     void
operator ()test_one_policy1003b62047bSLouis Dionne     operator()(ExecutionPolicy&& exec, Iterator1 first1, Iterator1 last1, Iterator2 first2, bool is_true_equal)
1013b62047bSLouis Dionne     {
1023b62047bSLouis Dionne         using namespace std;
1033b62047bSLouis Dionne 
1043b62047bSLouis Dionne         auto expected = equal(first1, last1, first2);
1053b62047bSLouis Dionne         auto actual = equal(exec, first1, last1, first2);
1063b62047bSLouis Dionne         EXPECT_EQ(expected, actual, "result for equal for random-access iterator, checking against std::equal()");
1073b62047bSLouis Dionne 
1083b62047bSLouis Dionne         // testing bool
1093b62047bSLouis Dionne         EXPECT_TRUE(is_true_equal == actual, "result for equal for random-access iterator, bool");
1103b62047bSLouis Dionne 
1113b62047bSLouis Dionne //add C++14 equal symantics tests
1123b62047bSLouis Dionne //add more cases for inCopy size less than in
1133b62047bSLouis Dionne #if CPP14_ENABLED
1143b62047bSLouis Dionne         auto actualr14 = std::equal(in.cbegin(), in.cend(), inCopy.cbegin(), inCopy.cend());
1153b62047bSLouis Dionne         EXPECT_EQ(expected, actualr14, "result for equal for random-access iterator");
1163b62047bSLouis Dionne #endif
1173b62047bSLouis Dionne     }
1183b62047bSLouis Dionne };
1193b62047bSLouis Dionne 
1203b62047bSLouis Dionne template <typename T>
1213b62047bSLouis Dionne void
test(size_t bits)1223b62047bSLouis Dionne test(size_t bits)
1233b62047bSLouis Dionne {
1243b62047bSLouis Dionne     for (size_t n = 1; n <= 100000; n = n <= 16 ? n + 1 : size_t(3.1415 * n))
1253b62047bSLouis Dionne     {
1263b62047bSLouis Dionne 
1273b62047bSLouis Dionne         // Sequence of odd values
1283b62047bSLouis Dionne         Sequence<T> in(n, [bits](size_t k) { return T(2 * HashBits(k, bits - 1) ^ 1); });
1293b62047bSLouis Dionne         Sequence<T> inCopy(in);
1303b62047bSLouis Dionne 
1313b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in.begin(), in.end(), inCopy.begin(), true);
1323b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in.cbegin(), in.cend(), inCopy.cbegin(), true);
1333b62047bSLouis Dionne 
1343b62047bSLouis Dionne         // testing bool !equal()
1353b62047bSLouis Dionne         inCopy[0] = !inCopy[0];
1363b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in.begin(), in.end(), inCopy.begin(), false);
1373b62047bSLouis Dionne         invoke_on_all_policies(test_one_policy(), in.cbegin(), in.cend(), inCopy.cbegin(), false);
1383b62047bSLouis Dionne     }
1393b62047bSLouis Dionne }
1403b62047bSLouis Dionne 
1413b62047bSLouis Dionne template <typename T>
1423b62047bSLouis Dionne struct test_non_const
1433b62047bSLouis Dionne {
1443b62047bSLouis Dionne     template <typename Policy, typename FirstIterator, typename SecondInterator>
1453b62047bSLouis Dionne     void
operator ()test_non_const1463b62047bSLouis Dionne     operator()(Policy&& exec, FirstIterator first_iter, SecondInterator second_iter)
1473b62047bSLouis Dionne     {
1483b62047bSLouis Dionne         equal(exec, first_iter, first_iter, second_iter, second_iter, non_const(std::equal_to<T>()));
1493b62047bSLouis Dionne     }
1503b62047bSLouis Dionne };
1513b62047bSLouis Dionne 
152249c1c74SLouis Dionne int
main()1533b62047bSLouis Dionne main()
1543b62047bSLouis Dionne {
1553b62047bSLouis Dionne 
1563b62047bSLouis Dionne     test<int32_t>(8 * sizeof(int32_t));
1573b62047bSLouis Dionne     test<uint16_t>(8 * sizeof(uint16_t));
1583b62047bSLouis Dionne     test<float64_t>(53);
159*3b9a1bb1SLouis Dionne #if !defined(_PSTL_ICC_16_17_TEST_REDUCTION_BOOL_TYPE_RELEASE_64_BROKEN)
1603b62047bSLouis Dionne     test<bool>(1);
1613b62047bSLouis Dionne #endif
1623b62047bSLouis Dionne     test<UserType>(256);
1633b62047bSLouis Dionne 
1643b62047bSLouis Dionne     test_algo_basic_double<int32_t>(run_for_rnd_fw<test_non_const<int32_t>>());
1653b62047bSLouis Dionne 
1663b62047bSLouis Dionne     std::cout << done() << std::endl;
1673b62047bSLouis Dionne     return 0;
1683b62047bSLouis Dionne }
169