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