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// <numeric> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 120e20cae1a5be18fba591cd884aa2a389b66a3f49Howard Hinnant// template <InputIterator Iter1, InputIterator Iter2, MoveConstructible T> 130e20cae1a5be18fba591cd884aa2a389b66a3f49Howard Hinnant// requires HasMultiply<Iter1::reference, Iter2::reference> 140e20cae1a5be18fba591cd884aa2a389b66a3f49Howard Hinnant// && HasPlus<T, HasMultiply<Iter1::reference, Iter2::reference>::result_type> 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// && HasAssign<T, 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// HasPlus<T, 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// HasMultiply<Iter1::reference, 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Iter2::reference>::result_type>::result_type> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// T 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// inner_product(Iter1 first1, Iter1 last1, Iter2 first2, T init); 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <numeric> 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 2583e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h" 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter1, class Iter2, class T> 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(Iter1 first1, Iter1 last1, Iter2 first2, T init, T x) 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::inner_product(first1, last1, first2, init) == x); 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter1, class Iter2> 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int a[] = {1, 2, 3, 4, 5, 6}; 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int b[] = {6, 5, 4, 3, 2, 1}; 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant unsigned sa = sizeof(a) / sizeof(a[0]); 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a), Iter2(b), 0, 0); 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a), Iter2(b), 10, 10); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+1), Iter2(b), 0, 6); 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+1), Iter2(b), 10, 16); 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+2), Iter2(b), 0, 16); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+2), Iter2(b), 10, 26); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+sa), Iter2(b), 0, 56); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter1(a), Iter1(a+sa), Iter2(b), 10, 66); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<input_iterator<const int*>, input_iterator<const int*> >(); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<input_iterator<const int*>, forward_iterator<const int*> >(); 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<input_iterator<const int*>, bidirectional_iterator<const int*> >(); 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<input_iterator<const int*>, random_access_iterator<const int*> >(); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<input_iterator<const int*>, const int*>(); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*>, input_iterator<const int*> >(); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*>, forward_iterator<const int*> >(); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*>, bidirectional_iterator<const int*> >(); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*>, random_access_iterator<const int*> >(); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*>, const int*>(); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, input_iterator<const int*> >(); 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, forward_iterator<const int*> >(); 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, bidirectional_iterator<const int*> >(); 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, random_access_iterator<const int*> >(); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*>, const int*>(); 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, input_iterator<const int*> >(); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, forward_iterator<const int*> >(); 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, bidirectional_iterator<const int*> >(); 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, random_access_iterator<const int*> >(); 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*>, const int*>(); 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, input_iterator<const int*> >(); 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, forward_iterator<const int*> >(); 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, bidirectional_iterator<const int*> >(); 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, random_access_iterator<const int*> >(); 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*, const int*>(); 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 83