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 // <algorithm>
10
11 // template<InputIterator Iter1, InputIterator Iter2>
12 // requires HasEqualTo<Iter1::value_type, Iter2::value_type>
13 // constexpr bool // constexpr after c++17
14 // equal(Iter1 first1, Iter1 last1, Iter2 first2);
15 //
16 // Introduced in C++14:
17 // template<InputIterator Iter1, InputIterator Iter2>
18 // constexpr bool // constexpr after c++17
19 // equal(Iter1 first1, Iter1 last1, Iter2 first2, Iter2 last2);
20
21 #include <algorithm>
22 #include <cassert>
23
24 #include "test_macros.h"
25 #include "test_iterators.h"
26
27 #if TEST_STD_VER > 17
test_constexpr()28 TEST_CONSTEXPR bool test_constexpr() {
29 int ia[] = {1, 3, 6, 7};
30 int ib[] = {1, 3};
31 int ic[] = {1, 3, 5, 7};
32 typedef input_iterator<int*> II;
33 typedef bidirectional_iterator<int*> BI;
34
35 return !std::equal(std::begin(ia), std::end(ia), std::begin(ic))
36 && !std::equal(std::begin(ia), std::end(ia), std::begin(ic), std::end(ic))
37 && std::equal(std::begin(ib), std::end(ib), std::begin(ic))
38 && !std::equal(std::begin(ib), std::end(ib), std::begin(ic), std::end(ic))
39
40 && std::equal(II(std::begin(ib)), II(std::end(ib)), II(std::begin(ic)))
41 && !std::equal(BI(std::begin(ib)), BI(std::end(ib)), BI(std::begin(ic)), BI(std::end(ic)))
42 ;
43 }
44 #endif
45
46
main(int,char **)47 int main(int, char**)
48 {
49 int ia[] = {0, 1, 2, 3, 4, 5};
50 const unsigned s = sizeof(ia)/sizeof(ia[0]);
51 int ib[s] = {0, 1, 2, 5, 4, 5};
52 assert(std::equal(input_iterator<const int*>(ia),
53 input_iterator<const int*>(ia+s),
54 input_iterator<const int*>(ia)));
55 #if TEST_STD_VER >= 14
56 assert(std::equal(input_iterator<const int*>(ia),
57 input_iterator<const int*>(ia+s),
58 input_iterator<const int*>(ia),
59 input_iterator<const int*>(ia+s)));
60 assert(std::equal(random_access_iterator<const int*>(ia),
61 random_access_iterator<const int*>(ia+s),
62 random_access_iterator<const int*>(ia),
63 random_access_iterator<const int*>(ia+s)));
64 #endif
65 assert(!std::equal(input_iterator<const int*>(ia),
66 input_iterator<const int*>(ia+s),
67 input_iterator<const int*>(ib)));
68 #if TEST_STD_VER >= 14
69 assert(!std::equal(input_iterator<const int*>(ia),
70 input_iterator<const int*>(ia+s),
71 input_iterator<const int*>(ib),
72 input_iterator<const int*>(ib+s)));
73 assert(!std::equal(random_access_iterator<const int*>(ia),
74 random_access_iterator<const int*>(ia+s),
75 random_access_iterator<const int*>(ib),
76 random_access_iterator<const int*>(ib+s)));
77 assert(!std::equal(input_iterator<const int*>(ia),
78 input_iterator<const int*>(ia+s),
79 input_iterator<const int*>(ia),
80 input_iterator<const int*>(ia+s-1)));
81 assert(!std::equal(random_access_iterator<const int*>(ia),
82 random_access_iterator<const int*>(ia+s),
83 random_access_iterator<const int*>(ia),
84 random_access_iterator<const int*>(ia+s-1)));
85
86 #endif
87
88 #if TEST_STD_VER > 17
89 static_assert(test_constexpr());
90 #endif
91
92 return 0;
93 }
94