unittests/ADT/IListIteratorTest.cpp

   1 //===- unittests/ADT/IListIteratorTest.cpp - ilist_iterator unit tests ----===//
   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/simple_ilist.h"
  11 #include "gtest/gtest.h"
  12
  13 using namespace llvm;
  14
  15 namespace {
  16
  17 struct Node : ilist_node<Node> {};
  18
  19 TEST(IListIteratorTest, DefaultConstructor) {
  20   simple_ilist<Node>::iterator I;
  21   simple_ilist<Node>::reverse_iterator RI;
  22   simple_ilist<Node>::const_iterator CI;
  23   simple_ilist<Node>::const_reverse_iterator CRI;
  24   EXPECT_EQ(nullptr, I.getNodePtr());
  25   EXPECT_EQ(nullptr, CI.getNodePtr());
  26   EXPECT_EQ(nullptr, RI.getNodePtr());
  27   EXPECT_EQ(nullptr, CRI.getNodePtr());
  28   EXPECT_EQ(I, I);
  29   EXPECT_EQ(I, CI);
  30   EXPECT_EQ(CI, I);
  31   EXPECT_EQ(CI, CI);
  32   EXPECT_EQ(RI, RI);
  33   EXPECT_EQ(RI, CRI);
  34   EXPECT_EQ(CRI, RI);
  35   EXPECT_EQ(CRI, CRI);
  36   EXPECT_EQ(I, RI.getReverse());
  37   EXPECT_EQ(RI, I.getReverse());
  38 }
  39
  40 TEST(IListIteratorTest, Empty) {
  41   simple_ilist<Node> L;
  42
  43   // Check iterators of L.
  44   EXPECT_EQ(L.begin(), L.end());
  45   EXPECT_EQ(L.rbegin(), L.rend());
  46
  47   // Reverse of end should be rend (since the sentinel sits on both sides).
  48   EXPECT_EQ(L.end(), L.rend().getReverse());
  49   EXPECT_EQ(L.rend(), L.end().getReverse());
  50
  51   // Iterators shouldn't match default constructors.
  52   simple_ilist<Node>::iterator I;
  53   simple_ilist<Node>::reverse_iterator RI;
  54   EXPECT_NE(I, L.begin());
  55   EXPECT_NE(I, L.end());
  56   EXPECT_NE(RI, L.rbegin());
  57   EXPECT_NE(RI, L.rend());
  58 }
  59
  60 TEST(IListIteratorTest, OneNodeList) {
  61   simple_ilist<Node> L;
  62   Node A;
  63   L.insert(L.end(), A);
  64
  65   // Check address of reference.
  66   EXPECT_EQ(&A, &*L.begin());
  67   EXPECT_EQ(&A, &*L.rbegin());
  68
  69   // Check that the handle matches.
  70   EXPECT_EQ(L.rbegin().getNodePtr(), L.begin().getNodePtr());
  71
  72   // Check iteration.
  73   EXPECT_EQ(L.end(), ++L.begin());
  74   EXPECT_EQ(L.begin(), --L.end());
  75   EXPECT_EQ(L.rend(), ++L.rbegin());
  76   EXPECT_EQ(L.rbegin(), --L.rend());
  77
  78   // Check conversions.
  79   EXPECT_EQ(L.rbegin(), L.begin().getReverse());
  80   EXPECT_EQ(L.begin(), L.rbegin().getReverse());
  81 }
  82
  83 TEST(IListIteratorTest, TwoNodeList) {
  84   simple_ilist<Node> L;
  85   Node A, B;
  86   L.insert(L.end(), A);
  87   L.insert(L.end(), B);
  88
  89   // Check order.
  90   EXPECT_EQ(&A, &*L.begin());
  91   EXPECT_EQ(&B, &*++L.begin());
  92   EXPECT_EQ(L.end(), ++++L.begin());
  93   EXPECT_EQ(&B, &*L.rbegin());
  94   EXPECT_EQ(&A, &*++L.rbegin());
  95   EXPECT_EQ(L.rend(), ++++L.rbegin());
  96
  97   // Check conversions.
  98   EXPECT_EQ(++L.rbegin(), L.begin().getReverse());
  99   EXPECT_EQ(L.rbegin(), (++L.begin()).getReverse());
 100   EXPECT_EQ(++L.begin(), L.rbegin().getReverse());
 101   EXPECT_EQ(L.begin(), (++L.rbegin()).getReverse());
 102 }
 103
 104 TEST(IListIteratorTest, CheckEraseForward) {
 105   simple_ilist<Node> L;
 106   Node A, B;
 107   L.insert(L.end(), A);
 108   L.insert(L.end(), B);
 109
 110   // Erase nodes.
 111   auto I = L.begin();
 112   EXPECT_EQ(&A, &*I);
 113   L.remove(*I++);
 114   EXPECT_EQ(&B, &*I);
 115   L.remove(*I++);
 116   EXPECT_EQ(L.end(), I);
 117 }
 118
 119 TEST(IListIteratorTest, CheckEraseReverse) {
 120   simple_ilist<Node> L;
 121   Node A, B;
 122   L.insert(L.end(), A);
 123   L.insert(L.end(), B);
 124
 125   // Erase nodes.
 126   auto RI = L.rbegin();
 127   EXPECT_EQ(&B, &*RI);
 128   L.remove(*RI++);
 129   EXPECT_EQ(&A, &*RI);
 130   L.remove(*RI++);
 131   EXPECT_EQ(L.rend(), RI);
 132 }
 133
 134 TEST(IListIteratorTest, ReverseConstructor) {
 135   simple_ilist<Node> L;
 136   const simple_ilist<Node> &CL = L;
 137   Node A, B;
 138   L.insert(L.end(), A);
 139   L.insert(L.end(), B);
 140
 141   // Save typing.
 142   typedef simple_ilist<Node>::iterator iterator;
 143   typedef simple_ilist<Node>::reverse_iterator reverse_iterator;
 144   typedef simple_ilist<Node>::const_iterator const_iterator;
 145   typedef simple_ilist<Node>::const_reverse_iterator const_reverse_iterator;
 146
 147   // Check conversion values.
 148   EXPECT_EQ(L.begin(), iterator(L.rend()));
 149   EXPECT_EQ(++L.begin(), iterator(++L.rbegin()));
 150   EXPECT_EQ(L.end(), iterator(L.rbegin()));
 151   EXPECT_EQ(L.rbegin(), reverse_iterator(L.end()));
 152   EXPECT_EQ(++L.rbegin(), reverse_iterator(++L.begin()));
 153   EXPECT_EQ(L.rend(), reverse_iterator(L.begin()));
 154
 155   // Check const iterator constructors.
 156   EXPECT_EQ(CL.begin(), const_iterator(L.rend()));
 157   EXPECT_EQ(CL.begin(), const_iterator(CL.rend()));
 158   EXPECT_EQ(CL.rbegin(), const_reverse_iterator(L.end()));
 159   EXPECT_EQ(CL.rbegin(), const_reverse_iterator(CL.end()));
 160
 161   // Confirm lack of implicit conversions.
 162   static_assert(!std::is_convertible<iterator, reverse_iterator>::value,
 163                 "unexpected implicit conversion");
 164   static_assert(!std::is_convertible<reverse_iterator, iterator>::value,
 165                 "unexpected implicit conversion");
 166   static_assert(
 167       !std::is_convertible<const_iterator, const_reverse_iterator>::value,
 168       "unexpected implicit conversion");
 169   static_assert(
 170       !std::is_convertible<const_reverse_iterator, const_iterator>::value,
 171       "unexpected implicit conversion");
 172 }
 173
 174 } // end namespace