1 //===----------- ImmutableMapTest.cpp - ImmutableMap unit tests ------------===//
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 #include "llvm/ADT/ImmutableMap.h"
10 #include "gtest/gtest.h"
11 
12 using namespace llvm;
13 
14 namespace {
15 
16 TEST(ImmutableMapTest, EmptyIntMapTest) {
17   ImmutableMap<int, int>::Factory f;
18 
19   EXPECT_TRUE(f.getEmptyMap() == f.getEmptyMap());
20   EXPECT_FALSE(f.getEmptyMap() != f.getEmptyMap());
21   EXPECT_TRUE(f.getEmptyMap().isEmpty());
22 
23   ImmutableMap<int, int> S = f.getEmptyMap();
24   EXPECT_EQ(0u, S.getHeight());
25   EXPECT_TRUE(S.begin() == S.end());
26   EXPECT_FALSE(S.begin() != S.end());
27 }
28 
29 TEST(ImmutableMapTest, MultiElemIntMapTest) {
30   ImmutableMap<int, int>::Factory f;
31   ImmutableMap<int, int> S = f.getEmptyMap();
32 
33   ImmutableMap<int, int> S2 = f.add(f.add(f.add(S, 3, 10), 4, 11), 5, 12);
34 
35   EXPECT_TRUE(S.isEmpty());
36   EXPECT_FALSE(S2.isEmpty());
37 
38   EXPECT_EQ(nullptr, S.lookup(3));
39   EXPECT_EQ(nullptr, S.lookup(9));
40 
41   EXPECT_EQ(10, *S2.lookup(3));
42   EXPECT_EQ(11, *S2.lookup(4));
43   EXPECT_EQ(12, *S2.lookup(5));
44 
45   EXPECT_EQ(5, S2.getMaxElement()->first);
46   EXPECT_EQ(3U, S2.getHeight());
47 }
48 
49 TEST(ImmutableMapTest, EmptyIntMapRefTest) {
50   using int_int_map = ImmutableMapRef<int, int>;
51   ImmutableMapRef<int, int>::FactoryTy f;
52 
53   EXPECT_TRUE(int_int_map::getEmptyMap(&f) == int_int_map::getEmptyMap(&f));
54   EXPECT_FALSE(int_int_map::getEmptyMap(&f) != int_int_map::getEmptyMap(&f));
55   EXPECT_TRUE(int_int_map::getEmptyMap(&f).isEmpty());
56 
57   int_int_map S = int_int_map::getEmptyMap(&f);
58   EXPECT_EQ(0u, S.getHeight());
59   EXPECT_TRUE(S.begin() == S.end());
60   EXPECT_FALSE(S.begin() != S.end());
61 }
62 
63 TEST(ImmutableMapTest, MultiElemIntMapRefTest) {
64   ImmutableMapRef<int, int>::FactoryTy f;
65 
66   ImmutableMapRef<int, int> S = ImmutableMapRef<int, int>::getEmptyMap(&f);
67 
68   ImmutableMapRef<int, int> S2 = S.add(3, 10).add(4, 11).add(5, 12);
69 
70   EXPECT_TRUE(S.isEmpty());
71   EXPECT_FALSE(S2.isEmpty());
72 
73   EXPECT_EQ(nullptr, S.lookup(3));
74   EXPECT_EQ(nullptr, S.lookup(9));
75 
76   EXPECT_EQ(10, *S2.lookup(3));
77   EXPECT_EQ(11, *S2.lookup(4));
78   EXPECT_EQ(12, *S2.lookup(5));
79 
80   EXPECT_EQ(5, S2.getMaxElement()->first);
81   EXPECT_EQ(3U, S2.getHeight());
82 }
83 
84   TEST(ImmutableMapTest, MapOfMapRefsTest) {
85   ImmutableMap<int, ImmutableMapRef<int, int>>::Factory f;
86 
87   EXPECT_TRUE(f.getEmptyMap() == f.getEmptyMap());
88   }
89 
90 }
91