blob: a4e922ecf9ab4ee6671dcb26ec09afe3fcff0cbd [file] [log] [blame]
Pete Cooperf3159f32015-07-29 22:19:09 +00001//===- RangeAdapterTest.cpp - Unit tests for range adapters --------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/ADT/iterator_range.h"
11#include "llvm/ADT/STLExtras.h"
12#include "gtest/gtest.h"
13
14#include <iterator>
15#include <list>
16#include <vector>
17
18using namespace llvm;
19
20namespace {
21
22// A wrapper around vector which exposes rbegin(), rend().
23class ReverseOnlyVector {
24 std::vector<int> Vec;
25
26public:
27 ReverseOnlyVector(std::initializer_list<int> list) : Vec(list) {}
28
29 typedef std::vector<int>::reverse_iterator reverse_iterator;
Pete Cooper00418882016-08-17 22:06:59 +000030 typedef std::vector<int>::const_reverse_iterator const_reverse_iterator;
Pete Cooperf3159f32015-07-29 22:19:09 +000031 reverse_iterator rbegin() { return Vec.rbegin(); }
32 reverse_iterator rend() { return Vec.rend(); }
Pete Cooper00418882016-08-17 22:06:59 +000033 const_reverse_iterator rbegin() const { return Vec.rbegin(); }
34 const_reverse_iterator rend() const { return Vec.rend(); }
Pete Cooperf3159f32015-07-29 22:19:09 +000035};
36
37// A wrapper around vector which exposes begin(), end(), rbegin() and rend().
38// begin() and end() don't have implementations as this ensures that we will
39// get a linker error if reverse() chooses begin()/end() over rbegin(), rend().
40class BidirectionalVector {
41 std::vector<int> Vec;
42
43public:
44 BidirectionalVector(std::initializer_list<int> list) : Vec(list) {}
45
46 typedef std::vector<int>::iterator iterator;
47 iterator begin();
48 iterator end();
49
50 typedef std::vector<int>::reverse_iterator reverse_iterator;
51 reverse_iterator rbegin() { return Vec.rbegin(); }
52 reverse_iterator rend() { return Vec.rend(); }
53};
54
Pete Cooper00418882016-08-17 22:06:59 +000055/// This is the same as BidirectionalVector but with the addition of const
56/// begin/rbegin methods to ensure that the type traits for has_rbegin works.
57class BidirectionalVectorConsts {
58 std::vector<int> Vec;
59
60public:
61 BidirectionalVectorConsts(std::initializer_list<int> list) : Vec(list) {}
62
63 typedef std::vector<int>::iterator iterator;
64 typedef std::vector<int>::const_iterator const_iterator;
65 iterator begin();
66 iterator end();
67 const_iterator begin() const;
68 const_iterator end() const;
69
70 typedef std::vector<int>::reverse_iterator reverse_iterator;
71 typedef std::vector<int>::const_reverse_iterator const_reverse_iterator;
72 reverse_iterator rbegin() { return Vec.rbegin(); }
73 reverse_iterator rend() { return Vec.rend(); }
74 const_reverse_iterator rbegin() const { return Vec.rbegin(); }
75 const_reverse_iterator rend() const { return Vec.rend(); }
76};
77
Pete Cooperf3159f32015-07-29 22:19:09 +000078template <typename R> void TestRev(const R &r) {
79 int counter = 3;
80 for (int i : r)
81 EXPECT_EQ(i, counter--);
82}
83
84// Test fixture
85template <typename T> class RangeAdapterLValueTest : public ::testing::Test {};
86
87typedef ::testing::Types<std::vector<int>, std::list<int>, int[4]>
88 RangeAdapterLValueTestTypes;
89TYPED_TEST_CASE(RangeAdapterLValueTest, RangeAdapterLValueTestTypes);
90
91TYPED_TEST(RangeAdapterLValueTest, TrivialOperation) {
92 TypeParam v = {0, 1, 2, 3};
93 TestRev(reverse(v));
94
95 const TypeParam c = {0, 1, 2, 3};
96 TestRev(reverse(c));
97}
98
99template <typename T> struct RangeAdapterRValueTest : testing::Test {};
100
101typedef ::testing::Types<std::vector<int>, std::list<int>, ReverseOnlyVector,
102 BidirectionalVector> RangeAdapterRValueTestTypes;
103TYPED_TEST_CASE(RangeAdapterRValueTest, RangeAdapterRValueTestTypes);
104
105TYPED_TEST(RangeAdapterRValueTest, TrivialOperation) {
106 TestRev(reverse(TypeParam({0, 1, 2, 3})));
107}
108
Pete Cooper00418882016-08-17 22:06:59 +0000109TYPED_TEST(RangeAdapterRValueTest, HasRbegin) {
110 EXPECT_TRUE(has_rbegin<TypeParam>::value);
111}
112
Pete Cooperf3159f32015-07-29 22:19:09 +0000113} // anonymous namespace