blob: 985fdba0247fea5175d49bb0a45d316a8c1cc9b2 [file] [log] [blame]
Jordan Rosebc3b2422014-03-07 19:19:56 +00001//===- llvm/unittest/ADT/PointerIntPairTest.cpp - 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
Jordan Rosebc3b2422014-03-07 19:19:56 +000010#include "llvm/ADT/PointerIntPair.h"
Chandler Carruth3c0d6072017-06-06 11:06:56 +000011#include "gtest/gtest.h"
Jordan Rosebc3b2422014-03-07 19:19:56 +000012#include <limits>
13using namespace llvm;
14
15namespace {
16
Chandler Carruthd0dc7942015-12-28 20:03:16 +000017TEST(PointerIntPairTest, GetSet) {
18 struct S {
Chandler Carruth10939242015-12-29 00:03:24 +000019 int i;
Chandler Carruthd0dc7942015-12-28 20:03:16 +000020 };
21 S s;
Jordan Rosebc3b2422014-03-07 19:19:56 +000022
Chandler Carruthd0dc7942015-12-28 20:03:16 +000023 PointerIntPair<S *, 2> Pair(&s, 1U);
24 EXPECT_EQ(&s, Pair.getPointer());
Jordan Rosebc3b2422014-03-07 19:19:56 +000025 EXPECT_EQ(1U, Pair.getInt());
26
27 Pair.setInt(2);
Chandler Carruthd0dc7942015-12-28 20:03:16 +000028 EXPECT_EQ(&s, Pair.getPointer());
Jordan Rosebc3b2422014-03-07 19:19:56 +000029 EXPECT_EQ(2U, Pair.getInt());
30
31 Pair.setPointer(nullptr);
32 EXPECT_EQ(nullptr, Pair.getPointer());
33 EXPECT_EQ(2U, Pair.getInt());
34
Chandler Carruthd0dc7942015-12-28 20:03:16 +000035 Pair.setPointerAndInt(&s, 3U);
36 EXPECT_EQ(&s, Pair.getPointer());
Jordan Rosebc3b2422014-03-07 19:19:56 +000037 EXPECT_EQ(3U, Pair.getInt());
Michael Gottesman2fbc59f2016-01-13 05:59:13 +000038
39 // Make sure that we can perform all of our operations on enum classes.
40 //
41 // The concern is that enum classes are only explicitly convertible to
42 // integers. This means that if we assume in PointerIntPair this, a
43 // compilation error will result. This group of tests exercises the enum class
44 // code to make sure that we do not run into such issues in the future.
45 enum class E : unsigned {
46 Case1,
47 Case2,
48 Case3,
49 };
50 PointerIntPair<S *, 2, E> Pair2(&s, E::Case1);
51 EXPECT_EQ(&s, Pair2.getPointer());
52 EXPECT_EQ(E::Case1, Pair2.getInt());
53
54 Pair2.setInt(E::Case2);
55 EXPECT_EQ(&s, Pair2.getPointer());
56 EXPECT_EQ(E::Case2, Pair2.getInt());
57
58 Pair2.setPointer(nullptr);
59 EXPECT_EQ(nullptr, Pair2.getPointer());
60 EXPECT_EQ(E::Case2, Pair2.getInt());
61
62 Pair2.setPointerAndInt(&s, E::Case3);
63 EXPECT_EQ(&s, Pair2.getPointer());
64 EXPECT_EQ(E::Case3, Pair2.getInt());
Jordan Rosebc3b2422014-03-07 19:19:56 +000065}
66
Chandler Carruthd0dc7942015-12-28 20:03:16 +000067TEST(PointerIntPairTest, DefaultInitialize) {
68 PointerIntPair<float *, 2> Pair;
Jordan Rosebc3b2422014-03-07 19:19:56 +000069 EXPECT_EQ(nullptr, Pair.getPointer());
70 EXPECT_EQ(0U, Pair.getInt());
71}
72
Chandler Carruthd0dc7942015-12-28 20:03:16 +000073TEST(PointerIntPairTest, ManyUnusedBits) {
Jordan Rosebc3b2422014-03-07 19:19:56 +000074 // In real code this would be a word-sized integer limited to 31 bits.
75 struct Fixnum31 {
76 uintptr_t Value;
77 };
78 class FixnumPointerTraits {
79 public:
80 static inline void *getAsVoidPointer(Fixnum31 Num) {
81 return reinterpret_cast<void *>(Num.Value << NumLowBitsAvailable);
82 }
83 static inline Fixnum31 getFromVoidPointer(void *P) {
84 // In real code this would assert that the value is in range.
85 return { reinterpret_cast<uintptr_t>(P) >> NumLowBitsAvailable };
86 }
87 enum { NumLowBitsAvailable = std::numeric_limits<uintptr_t>::digits - 31 };
88 };
89
90 PointerIntPair<Fixnum31, 1, bool, FixnumPointerTraits> pair;
91 EXPECT_EQ((uintptr_t)0, pair.getPointer().Value);
Eli Bendersky2195ed62014-03-07 21:04:24 +000092 EXPECT_FALSE(pair.getInt());
Jordan Rosebc3b2422014-03-07 19:19:56 +000093
94 pair.setPointerAndInt({ 0x7FFFFFFF }, true );
95 EXPECT_EQ((uintptr_t)0x7FFFFFFF, pair.getPointer().Value);
Eli Bendersky2195ed62014-03-07 21:04:24 +000096 EXPECT_TRUE(pair.getInt());
Jordan Rosebc3b2422014-03-07 19:19:56 +000097
98 EXPECT_EQ(FixnumPointerTraits::NumLowBitsAvailable - 1,
99 PointerLikeTypeTraits<decltype(pair)>::NumLowBitsAvailable);
100}
Jordan Rosebc3b2422014-03-07 19:19:56 +0000101
102} // end anonymous namespace