Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 1 | //===- 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 Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 10 | #include "llvm/ADT/PointerIntPair.h" |
Chandler Carruth | 3c0d607 | 2017-06-06 11:06:56 +0000 | [diff] [blame] | 11 | #include "gtest/gtest.h" |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 12 | #include <limits> |
| 13 | using namespace llvm; |
| 14 | |
| 15 | namespace { |
| 16 | |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 17 | TEST(PointerIntPairTest, GetSet) { |
| 18 | struct S { |
Chandler Carruth | 1093924 | 2015-12-29 00:03:24 +0000 | [diff] [blame] | 19 | int i; |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 20 | }; |
| 21 | S s; |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 22 | |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 23 | PointerIntPair<S *, 2> Pair(&s, 1U); |
| 24 | EXPECT_EQ(&s, Pair.getPointer()); |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 25 | EXPECT_EQ(1U, Pair.getInt()); |
| 26 | |
| 27 | Pair.setInt(2); |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 28 | EXPECT_EQ(&s, Pair.getPointer()); |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 29 | EXPECT_EQ(2U, Pair.getInt()); |
| 30 | |
| 31 | Pair.setPointer(nullptr); |
| 32 | EXPECT_EQ(nullptr, Pair.getPointer()); |
| 33 | EXPECT_EQ(2U, Pair.getInt()); |
| 34 | |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 35 | Pair.setPointerAndInt(&s, 3U); |
| 36 | EXPECT_EQ(&s, Pair.getPointer()); |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 37 | EXPECT_EQ(3U, Pair.getInt()); |
Michael Gottesman | 2fbc59f | 2016-01-13 05:59:13 +0000 | [diff] [blame] | 38 | |
| 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 Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 65 | } |
| 66 | |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 67 | TEST(PointerIntPairTest, DefaultInitialize) { |
| 68 | PointerIntPair<float *, 2> Pair; |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 69 | EXPECT_EQ(nullptr, Pair.getPointer()); |
| 70 | EXPECT_EQ(0U, Pair.getInt()); |
| 71 | } |
| 72 | |
Chandler Carruth | d0dc794 | 2015-12-28 20:03:16 +0000 | [diff] [blame] | 73 | TEST(PointerIntPairTest, ManyUnusedBits) { |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 74 | // 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 Bendersky | 2195ed6 | 2014-03-07 21:04:24 +0000 | [diff] [blame] | 92 | EXPECT_FALSE(pair.getInt()); |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 93 | |
| 94 | pair.setPointerAndInt({ 0x7FFFFFFF }, true ); |
| 95 | EXPECT_EQ((uintptr_t)0x7FFFFFFF, pair.getPointer().Value); |
Eli Bendersky | 2195ed6 | 2014-03-07 21:04:24 +0000 | [diff] [blame] | 96 | EXPECT_TRUE(pair.getInt()); |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 97 | |
| 98 | EXPECT_EQ(FixnumPointerTraits::NumLowBitsAvailable - 1, |
| 99 | PointerLikeTypeTraits<decltype(pair)>::NumLowBitsAvailable); |
| 100 | } |
Jordan Rose | bc3b242 | 2014-03-07 19:19:56 +0000 | [diff] [blame] | 101 | |
| 102 | } // end anonymous namespace |