David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 1 | //===- llvm/unittest/ADT/PointerUnionTest.cpp - Optional unit tests -------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 9 | #include "llvm/ADT/PointerUnion.h" |
Chandler Carruth | 9a67b07 | 2017-06-06 11:06:56 +0000 | [diff] [blame] | 10 | #include "gtest/gtest.h" |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 11 | using namespace llvm; |
| 12 | |
| 13 | namespace { |
| 14 | |
Chandler Carruth | 1284df1 | 2014-04-28 23:37:53 +0000 | [diff] [blame] | 15 | typedef PointerUnion<int *, float *> PU; |
Dmitri Gribenko | 2948ec5c | 2020-01-14 15:46:13 +0100 | [diff] [blame] | 16 | typedef PointerUnion<int *, float *, long long *> PU3; |
| 17 | typedef PointerUnion<int *, float *, long long *, double *> PU4; |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 18 | |
Chandler Carruth | 275c5fc | 2014-04-28 23:42:22 +0000 | [diff] [blame] | 19 | struct PointerUnionTest : public testing::Test { |
| 20 | float f; |
| 21 | int i; |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 22 | double d; |
| 23 | long long l; |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 24 | |
Chandler Carruth | a468b8e | 2014-04-28 23:44:14 +0000 | [diff] [blame] | 25 | PU a, b, c, n; |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 26 | PU3 i3, f3, l3; |
| 27 | PU4 i4, f4, l4, d4; |
| 28 | PU4 i4null, f4null, l4null, d4null; |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 29 | |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 30 | PointerUnionTest() |
| 31 | : f(3.14f), i(42), d(3.14), l(42), a(&f), b(&i), c(&i), n(), i3(&i), |
| 32 | f3(&f), l3(&l), i4(&i), f4(&f), l4(&l), d4(&d), i4null((int *)nullptr), |
| 33 | f4null((float *)nullptr), l4null((long long *)nullptr), |
| 34 | d4null((double *)nullptr) {} |
Chandler Carruth | 275c5fc | 2014-04-28 23:42:22 +0000 | [diff] [blame] | 35 | }; |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 36 | |
| 37 | TEST_F(PointerUnionTest, Comparison) { |
Chandler Carruth | a468b8e | 2014-04-28 23:44:14 +0000 | [diff] [blame] | 38 | EXPECT_TRUE(a == a); |
| 39 | EXPECT_FALSE(a != a); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 40 | EXPECT_TRUE(a != b); |
| 41 | EXPECT_FALSE(a == b); |
Chandler Carruth | a468b8e | 2014-04-28 23:44:14 +0000 | [diff] [blame] | 42 | EXPECT_TRUE(b == c); |
| 43 | EXPECT_FALSE(b != c); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 44 | EXPECT_TRUE(b != n); |
| 45 | EXPECT_FALSE(b == n); |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 46 | EXPECT_TRUE(i3 == i3); |
| 47 | EXPECT_FALSE(i3 != i3); |
| 48 | EXPECT_TRUE(i3 != f3); |
| 49 | EXPECT_TRUE(f3 != l3); |
| 50 | EXPECT_TRUE(i4 == i4); |
| 51 | EXPECT_FALSE(i4 != i4); |
| 52 | EXPECT_TRUE(i4 != f4); |
| 53 | EXPECT_TRUE(i4 != l4); |
| 54 | EXPECT_TRUE(f4 != l4); |
| 55 | EXPECT_TRUE(l4 != d4); |
| 56 | EXPECT_TRUE(i4null != f4null); |
| 57 | EXPECT_TRUE(i4null != l4null); |
| 58 | EXPECT_TRUE(i4null != d4null); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | TEST_F(PointerUnionTest, Null) { |
| 62 | EXPECT_FALSE(a.isNull()); |
| 63 | EXPECT_FALSE(b.isNull()); |
| 64 | EXPECT_TRUE(n.isNull()); |
| 65 | EXPECT_FALSE(!a); |
| 66 | EXPECT_FALSE(!b); |
| 67 | EXPECT_TRUE(!n); |
| 68 | // workaround an issue with EXPECT macros and explicit bool |
| 69 | EXPECT_TRUE((bool)a); |
| 70 | EXPECT_TRUE((bool)b); |
| 71 | EXPECT_FALSE(n); |
Chandler Carruth | d24465f | 2014-04-29 00:14:27 +0000 | [diff] [blame] | 72 | |
| 73 | EXPECT_NE(n, b); |
| 74 | EXPECT_EQ(b, c); |
| 75 | b = nullptr; |
| 76 | EXPECT_EQ(n, b); |
| 77 | EXPECT_NE(b, c); |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 78 | EXPECT_FALSE(i3.isNull()); |
| 79 | EXPECT_FALSE(f3.isNull()); |
| 80 | EXPECT_FALSE(l3.isNull()); |
| 81 | EXPECT_FALSE(i4.isNull()); |
| 82 | EXPECT_FALSE(f4.isNull()); |
| 83 | EXPECT_FALSE(l4.isNull()); |
| 84 | EXPECT_FALSE(d4.isNull()); |
| 85 | EXPECT_TRUE(i4null.isNull()); |
| 86 | EXPECT_TRUE(f4null.isNull()); |
| 87 | EXPECT_TRUE(l4null.isNull()); |
| 88 | EXPECT_TRUE(d4null.isNull()); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | TEST_F(PointerUnionTest, Is) { |
Chandler Carruth | 1284df1 | 2014-04-28 23:37:53 +0000 | [diff] [blame] | 92 | EXPECT_FALSE(a.is<int *>()); |
| 93 | EXPECT_TRUE(a.is<float *>()); |
| 94 | EXPECT_TRUE(b.is<int *>()); |
| 95 | EXPECT_FALSE(b.is<float *>()); |
| 96 | EXPECT_TRUE(n.is<int *>()); |
| 97 | EXPECT_FALSE(n.is<float *>()); |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 98 | EXPECT_TRUE(i3.is<int *>()); |
| 99 | EXPECT_TRUE(f3.is<float *>()); |
| 100 | EXPECT_TRUE(l3.is<long long *>()); |
| 101 | EXPECT_TRUE(i4.is<int *>()); |
| 102 | EXPECT_TRUE(f4.is<float *>()); |
| 103 | EXPECT_TRUE(l4.is<long long *>()); |
| 104 | EXPECT_TRUE(d4.is<double *>()); |
| 105 | EXPECT_TRUE(i4null.is<int *>()); |
| 106 | EXPECT_TRUE(f4null.is<float *>()); |
| 107 | EXPECT_TRUE(l4null.is<long long *>()); |
| 108 | EXPECT_TRUE(d4null.is<double *>()); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 109 | } |
| 110 | |
| 111 | TEST_F(PointerUnionTest, Get) { |
Chandler Carruth | 1284df1 | 2014-04-28 23:37:53 +0000 | [diff] [blame] | 112 | EXPECT_EQ(a.get<float *>(), &f); |
| 113 | EXPECT_EQ(b.get<int *>(), &i); |
Craig Topper | 66f09ad | 2014-06-08 22:29:17 +0000 | [diff] [blame] | 114 | EXPECT_EQ(n.get<int *>(), (int *)nullptr); |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Richard Smith | 9b92875 | 2019-05-17 00:39:38 +0000 | [diff] [blame] | 117 | template<int I> struct alignas(8) Aligned {}; |
| 118 | |
| 119 | typedef PointerUnion<Aligned<0> *, Aligned<1> *, Aligned<2> *, Aligned<3> *, |
| 120 | Aligned<4> *, Aligned<5> *, Aligned<6> *, Aligned<7> *> |
| 121 | PU8; |
| 122 | |
| 123 | TEST_F(PointerUnionTest, ManyElements) { |
| 124 | Aligned<0> a0; |
| 125 | Aligned<7> a7; |
| 126 | |
| 127 | PU8 a = &a0; |
| 128 | EXPECT_TRUE(a.is<Aligned<0>*>()); |
| 129 | EXPECT_FALSE(a.is<Aligned<1>*>()); |
| 130 | EXPECT_FALSE(a.is<Aligned<2>*>()); |
| 131 | EXPECT_FALSE(a.is<Aligned<3>*>()); |
| 132 | EXPECT_FALSE(a.is<Aligned<4>*>()); |
| 133 | EXPECT_FALSE(a.is<Aligned<5>*>()); |
| 134 | EXPECT_FALSE(a.is<Aligned<6>*>()); |
| 135 | EXPECT_FALSE(a.is<Aligned<7>*>()); |
Richard Trieu | a9a9265 | 2019-05-17 01:17:32 +0000 | [diff] [blame] | 136 | EXPECT_EQ(a.dyn_cast<Aligned<0>*>(), &a0); |
| 137 | EXPECT_EQ(*a.getAddrOfPtr1(), &a0); |
Richard Smith | 9b92875 | 2019-05-17 00:39:38 +0000 | [diff] [blame] | 138 | |
| 139 | a = &a7; |
| 140 | EXPECT_FALSE(a.is<Aligned<0>*>()); |
| 141 | EXPECT_FALSE(a.is<Aligned<1>*>()); |
| 142 | EXPECT_FALSE(a.is<Aligned<2>*>()); |
| 143 | EXPECT_FALSE(a.is<Aligned<3>*>()); |
| 144 | EXPECT_FALSE(a.is<Aligned<4>*>()); |
| 145 | EXPECT_FALSE(a.is<Aligned<5>*>()); |
| 146 | EXPECT_FALSE(a.is<Aligned<6>*>()); |
| 147 | EXPECT_TRUE(a.is<Aligned<7>*>()); |
Richard Trieu | a9a9265 | 2019-05-17 01:17:32 +0000 | [diff] [blame] | 148 | EXPECT_EQ(a.dyn_cast<Aligned<7>*>(), &a7); |
Richard Smith | 9b92875 | 2019-05-17 00:39:38 +0000 | [diff] [blame] | 149 | |
| 150 | EXPECT_TRUE(a == PU8(&a7)); |
| 151 | EXPECT_TRUE(a != PU8(&a0)); |
| 152 | } |
| 153 | |
Andrew Trick | 861b371 | 2019-08-20 23:29:28 +0000 | [diff] [blame] | 154 | TEST_F(PointerUnionTest, GetAddrOfPtr1) { |
| 155 | EXPECT_TRUE((void *)b.getAddrOfPtr1() == (void *)&b); |
| 156 | EXPECT_TRUE((void *)n.getAddrOfPtr1() == (void *)&n); |
| 157 | } |
| 158 | |
David Blaikie | e2760b7 | 2013-08-21 21:30:23 +0000 | [diff] [blame] | 159 | } // end anonymous namespace |