1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <algorithm> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12eb564e76cc3904d811c981a50ecce0659f444cc9Howard Hinnant// template<ForwardIterator InIter, OutputIterator<auto, InIter::reference> OutIter> 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// OutIter 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// rotate_copy(InIter first, InIter middle, InIter last, OutIter result); 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <algorithm> 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 1983e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h" 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class InIter, class OutIter> 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int ia[] = {0, 1, 2, 3}; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant const unsigned sa = sizeof(ia)/sizeof(ia[0]); 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int ib[sa] = {0}; 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant OutIter r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia), OutIter(ib)); 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib); 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia+1), OutIter(ib)); 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+1); 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+1), InIter(ia+1), OutIter(ib)); 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+1); 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia+2), OutIter(ib)); 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+2); 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+1), InIter(ia+2), OutIter(ib)); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+2); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 1); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 0); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+2), InIter(ia+2), OutIter(ib)); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+2); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia+3), OutIter(ib)); 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+3); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 2); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+1), InIter(ia+3), OutIter(ib)); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+3); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 1); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 2); 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 0); 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+2), InIter(ia+3), OutIter(ib)); 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+3); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 2); 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 0); 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 1); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+3), InIter(ia+3), OutIter(ib)); 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+3); 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 2); 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia+4), OutIter(ib)); 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+4); 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 2); 84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[3] == 3); 85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+1), InIter(ia+4), OutIter(ib)); 87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+4); 88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 1); 89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 2); 90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 3); 91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[3] == 0); 92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+2), InIter(ia+4), OutIter(ib)); 94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+4); 95bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 2); 96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 3); 97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 0); 98bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[3] == 1); 99bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+3), InIter(ia+4), OutIter(ib)); 101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+4); 102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 3); 103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 0); 104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 1); 105bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[3] == 2); 106bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 107bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant r = std::rotate_copy(InIter(ia), InIter(ia+4), InIter(ia+4), OutIter(ib)); 108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(base(r) == ib+4); 109bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[0] == 0); 110bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[1] == 1); 111bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[2] == 2); 112bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(ib[3] == 3); 113bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 114bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 115bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 116bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 117bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, output_iterator<int*> >(); 118bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, forward_iterator<int*> >(); 119bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >(); 120bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, random_access_iterator<int*> >(); 121bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, int*>(); 122bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 123bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, output_iterator<int*> >(); 124bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, forward_iterator<int*> >(); 125bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, bidirectional_iterator<int*> >(); 126bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, random_access_iterator<int*> >(); 127bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, int*>(); 128bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 129bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, output_iterator<int*> >(); 130bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, forward_iterator<int*> >(); 131bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, bidirectional_iterator<int*> >(); 132bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, random_access_iterator<int*> >(); 133bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, int*>(); 134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 135