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 // <deque>
10 
11 // Optimization for deque::iterators
12 
13 // template <class InputIterator, class OutputIterator>
14 //   OutputIterator
15 //   copy(InputIterator first, InputIterator last, OutputIterator result);
16 
17 #include <deque>
18 #include <cassert>
19 
20 #include "test_iterators.h"
21 #include "min_allocator.h"
22 
23 template <class C>
24 C
25 make(int size, int start = 0 )
26 {
27     const int b = 4096 / sizeof(int);
28     int init = 0;
29     if (start > 0)
30     {
31         init = (start+1) / b + ((start+1) % b != 0);
32         init *= b;
33         --init;
34     }
35     C c(init, 0);
36     for (int i = 0; i < init-start; ++i)
37         c.pop_back();
38     for (int i = 0; i < size; ++i)
39         c.push_back(i);
40     for (int i = 0; i < start; ++i)
41         c.pop_front();
42     return c;
43 }
44 
45 template <class C>
46 void testN(int start, int N)
47 {
48     typedef typename C::iterator I;
49     typedef typename C::const_iterator CI;
50     typedef random_access_iterator<I> RAI;
51     typedef random_access_iterator<CI> RACI;
52     typedef input_iterator<CI> ICI;
53     C c1 = make<C>(N, start);
54     C c2 = make<C>(N);
55     assert(std::copy(c1.cbegin(), c1.cend(), c2.begin()) == c2.end());
56     assert(c1 == c2);
57     assert(std::copy(c2.cbegin(), c2.cend(), c1.begin()) == c1.end());
58     assert(c1 == c2);
59     assert(std::copy(c1.cbegin(), c1.cend(), RAI(c2.begin())) == RAI(c2.end()));
60     assert(c1 == c2);
61     assert(std::copy(c2.cbegin(), c2.cend(), RAI(c1.begin())) == RAI(c1.end()));
62     assert(c1 == c2);
63     assert(std::copy(RACI(c1.cbegin()), RACI(c1.cend()), c2.begin()) == c2.end());
64     assert(c1 == c2);
65     assert(std::copy(ICI(c2.cbegin()), ICI(c2.cend()), c1.begin()) == c1.end());
66     assert(c1 == c2);
67 }
68 
69 int main(int, char**)
70 {
71     {
72     int rng[] = {0, 1, 2, 3, 1023, 1024, 1025, 2047, 2048, 2049};
73     const int N = sizeof(rng)/sizeof(rng[0]);
74     for (int i = 0; i < N; ++i)
75         for (int j = 0; j < N; ++j)
76             testN<std::deque<int> >(rng[i], rng[j]);
77     }
78 #if TEST_STD_VER >= 11
79     {
80     int rng[] = {0, 1, 2, 3, 1023, 1024, 1025, 2047, 2048, 2049};
81     const int N = sizeof(rng)/sizeof(rng[0]);
82     for (int i = 0; i < N; ++i)
83         for (int j = 0; j < N; ++j)
84             testN<std::deque<int, min_allocator<int>> >(rng[i], rng[j]);
85     }
86 #endif
87 
88   return 0;
89 }
90