Mercurial > hg > CbC > CbC_llvm

annotate unittests/Support/TrailingObjectsTest.cpp @ 148:63bd29f05246

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Aug 2019 19:46:37 +0900
parents c2174574ed3a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 //=== - llvm/unittest/Support/TrailingObjectsTest.cpp ---------------------===//
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 //
147
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 121
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 121
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
c2174574ed3a LLVM 10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 121
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 //
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 #include "llvm/Support/TrailingObjects.h"
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 #include "gtest/gtest.h"
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 using namespace llvm;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 namespace {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // This class, beyond being used by the test case, a nice
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // demonstration of the intended usage of TrailingObjects, with a
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 // single trailing array.
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 class Class1 final : protected TrailingObjects<Class1, short> {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 friend TrailingObjects;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 unsigned NumShorts;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 protected:
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 size_t numTrailingObjects(OverloadToken<short>) const { return NumShorts; }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 Class1(int *ShortArray, unsigned NumShorts) : NumShorts(NumShorts) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 std::uninitialized_copy(ShortArray, ShortArray + NumShorts,
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 getTrailingObjects<short>());
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 public:
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 static Class1 *create(int *ShortArray, unsigned NumShorts) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 void *Mem = ::operator new(totalSizeToAlloc<short>(NumShorts));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 return new (Mem) Class1(ShortArray, NumShorts);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 }
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
36 void operator delete(void *p) { ::operator delete(p); }
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 short get(unsigned Num) const { return getTrailingObjects<short>()[Num]; }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 unsigned numShorts() const { return NumShorts; }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 // Pull some protected members in as public, for testability.
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
43 template <typename... Ty>
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
44 using FixedSizeStorage = TrailingObjects::FixedSizeStorage<Ty...>;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
45
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 using TrailingObjects::totalSizeToAlloc;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 using TrailingObjects::additionalSizeToAlloc;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 using TrailingObjects::getTrailingObjects;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 };
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
51 // Here, there are two singular optional object types appended. Note
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
52 // that the alignment of Class2 is automatically increased to account
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
53 // for the alignment requirements of the trailing objects.
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
54 class Class2 final : protected TrailingObjects<Class2, double, short> {
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 friend TrailingObjects;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 bool HasShort, HasDouble;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 protected:
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 size_t numTrailingObjects(OverloadToken<short>) const {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 return HasShort ? 1 : 0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 size_t numTrailingObjects(OverloadToken<double>) const {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 return HasDouble ? 1 : 0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 Class2(bool HasShort, bool HasDouble)
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 : HasShort(HasShort), HasDouble(HasDouble) {}
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 public:
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 static Class2 *create(short S = 0, double D = 0.0) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 bool HasShort = S != 0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 bool HasDouble = D != 0.0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 void *Mem =
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 ::operator new(totalSizeToAlloc<double, short>(HasDouble, HasShort));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 Class2 *C = new (Mem) Class2(HasShort, HasDouble);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 if (HasShort)
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 *C->getTrailingObjects<short>() = S;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 if (HasDouble)
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 *C->getTrailingObjects<double>() = D;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 return C;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 }
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
84 void operator delete(void *p) { ::operator delete(p); }
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 short getShort() const {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 if (!HasShort)
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 return 0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 return *getTrailingObjects<short>();
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 double getDouble() const {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 if (!HasDouble)
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 return 0.0;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 return *getTrailingObjects<double>();
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 // Pull some protected members in as public, for testability.
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
99 template <typename... Ty>
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
100 using FixedSizeStorage = TrailingObjects::FixedSizeStorage<Ty...>;
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
101
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 using TrailingObjects::totalSizeToAlloc;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 using TrailingObjects::additionalSizeToAlloc;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 using TrailingObjects::getTrailingObjects;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 };
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 TEST(TrailingObjects, OneArg) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 int arr[] = {1, 2, 3};
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 Class1 *C = Class1::create(arr, 3);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 EXPECT_EQ(sizeof(Class1), sizeof(unsigned));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 EXPECT_EQ(Class1::additionalSizeToAlloc<short>(1), sizeof(short));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 EXPECT_EQ(Class1::additionalSizeToAlloc<short>(3), sizeof(short) * 3);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
114 EXPECT_EQ(alignof(Class1),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
115 alignof(Class1::FixedSizeStorage<short>::with_counts<1>::type));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
116 EXPECT_EQ(sizeof(Class1::FixedSizeStorage<short>::with_counts<1>::type),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
117 llvm::alignTo(Class1::totalSizeToAlloc<short>(1), alignof(Class1)));
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 EXPECT_EQ(Class1::totalSizeToAlloc<short>(1), sizeof(Class1) + sizeof(short));
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
119
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
120 EXPECT_EQ(alignof(Class1),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
121 alignof(Class1::FixedSizeStorage<short>::with_counts<3>::type));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
122 EXPECT_EQ(sizeof(Class1::FixedSizeStorage<short>::with_counts<3>::type),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
123 llvm::alignTo(Class1::totalSizeToAlloc<short>(3), alignof(Class1)));
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 EXPECT_EQ(Class1::totalSizeToAlloc<short>(3),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 sizeof(Class1) + sizeof(short) * 3);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 EXPECT_EQ(C->getTrailingObjects<short>(), reinterpret_cast<short *>(C + 1));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 EXPECT_EQ(C->get(0), 1);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 EXPECT_EQ(C->get(2), 3);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 delete C;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
132
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 TEST(TrailingObjects, TwoArg) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 Class2 *C1 = Class2::create(4);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 Class2 *C2 = Class2::create(0, 4.2);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
137 EXPECT_EQ(sizeof(Class2), llvm::alignTo(sizeof(bool) * 2, alignof(double)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
138 EXPECT_EQ(alignof(Class2), alignof(double));
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 EXPECT_EQ((Class2::additionalSizeToAlloc<double, short>(1, 0)),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 sizeof(double));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 EXPECT_EQ((Class2::additionalSizeToAlloc<double, short>(0, 1)),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 sizeof(short));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 EXPECT_EQ((Class2::additionalSizeToAlloc<double, short>(3, 1)),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 sizeof(double) * 3 + sizeof(short));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
147 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
148 alignof(Class2),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
149 (alignof(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
150 Class2::FixedSizeStorage<double, short>::with_counts<1, 1>::type)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
151 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
152 sizeof(Class2::FixedSizeStorage<double, short>::with_counts<1, 1>::type),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
153 llvm::alignTo(Class2::totalSizeToAlloc<double, short>(1, 1),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
154 alignof(Class2)));
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 EXPECT_EQ((Class2::totalSizeToAlloc<double, short>(1, 1)),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 sizeof(Class2) + sizeof(double) + sizeof(short));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158 EXPECT_EQ(C1->getDouble(), 0);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 EXPECT_EQ(C1->getShort(), 4);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160 EXPECT_EQ(C1->getTrailingObjects<double>(),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 reinterpret_cast<double *>(C1 + 1));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 EXPECT_EQ(C1->getTrailingObjects<short>(), reinterpret_cast<short *>(C1 + 1));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 EXPECT_EQ(C2->getDouble(), 4.2);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 EXPECT_EQ(C2->getShort(), 0);
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 EXPECT_EQ(C2->getTrailingObjects<double>(),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 reinterpret_cast<double *>(C2 + 1));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 EXPECT_EQ(C2->getTrailingObjects<short>(),
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 reinterpret_cast<short *>(reinterpret_cast<double *>(C2 + 1) + 1));
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 delete C1;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 delete C2;
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 }
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
173
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
174 // This test class is not trying to be a usage demo, just asserting
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
175 // that three args does actually work too (it's the same code as
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
176 // handles the second arg, so it's basically covered by the above, but
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
177 // just in case..)
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
178 class Class3 final : public TrailingObjects<Class3, double, short, bool> {
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
179 friend TrailingObjects;
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
180
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
181 size_t numTrailingObjects(OverloadToken<double>) const { return 1; }
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
182 size_t numTrailingObjects(OverloadToken<short>) const { return 1; }
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
183 };
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
184
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
185 TEST(TrailingObjects, ThreeArg) {
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
186 EXPECT_EQ((Class3::additionalSizeToAlloc<double, short, bool>(1, 1, 3)),
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
187 sizeof(double) + sizeof(short) + 3 * sizeof(bool));
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
188 EXPECT_EQ(sizeof(Class3), llvm::alignTo(1, alignof(double)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
189
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
190 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
191 alignof(Class3),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
192 (alignof(Class3::FixedSizeStorage<double, short,
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
193 bool>::with_counts<1, 1, 3>::type)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
194 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
195 sizeof(Class3::FixedSizeStorage<double, short,
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
196 bool>::with_counts<1, 1, 3>::type),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
197 llvm::alignTo(Class3::totalSizeToAlloc<double, short, bool>(1, 1, 3),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
198 alignof(Class3)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
199
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
200 std::unique_ptr<char[]> P(new char[1000]);
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
201 Class3 *C = reinterpret_cast<Class3 *>(P.get());
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
202 EXPECT_EQ(C->getTrailingObjects<double>(), reinterpret_cast<double *>(C + 1));
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
203 EXPECT_EQ(C->getTrailingObjects<short>(),
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
204 reinterpret_cast<short *>(reinterpret_cast<double *>(C + 1) + 1));
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
205 EXPECT_EQ(
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
206 C->getTrailingObjects<bool>(),
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
207 reinterpret_cast<bool *>(
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
208 reinterpret_cast<short *>(reinterpret_cast<double *>(C + 1) + 1) +
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
209 1));
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 }
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
211
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
212 class Class4 final : public TrailingObjects<Class4, char, long> {
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
213 friend TrailingObjects;
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
214 size_t numTrailingObjects(OverloadToken<char>) const { return 1; }
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
215 };
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
216
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
217 TEST(TrailingObjects, Realignment) {
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
218 EXPECT_EQ((Class4::additionalSizeToAlloc<char, long>(1, 1)),
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
219 llvm::alignTo(sizeof(long) + 1, alignof(long)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
220 EXPECT_EQ(sizeof(Class4), llvm::alignTo(1, alignof(long)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
221
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
222 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
223 alignof(Class4),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
224 (alignof(Class4::FixedSizeStorage<char, long>::with_counts<1, 1>::type)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
225 EXPECT_EQ(
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
226 sizeof(Class4::FixedSizeStorage<char, long>::with_counts<1, 1>::type),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
227 llvm::alignTo(Class4::totalSizeToAlloc<char, long>(1, 1),
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
228 alignof(Class4)));
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
229
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
230 std::unique_ptr<char[]> P(new char[1000]);
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
231 Class4 *C = reinterpret_cast<Class4 *>(P.get());
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
232 EXPECT_EQ(C->getTrailingObjects<char>(), reinterpret_cast<char *>(C + 1));
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
233 EXPECT_EQ(C->getTrailingObjects<long>(),
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
234 reinterpret_cast<long *>(llvm::alignAddr(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
235 reinterpret_cast<char *>(C + 1) + 1, alignof(long))));
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
236 }
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 95
diff changeset
237 }
121
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
238
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
239 // Test the use of TrailingObjects with a template class. This
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
240 // previously failed to compile due to a bug in MSVC's member access
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
241 // control/lookup handling for OverloadToken.
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
242 template <typename Derived>
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
243 class Class5Tmpl : private llvm::TrailingObjects<Derived, float, int> {
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
244 using TrailingObjects = typename llvm::TrailingObjects<Derived, float>;
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
245 friend TrailingObjects;
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
246
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
247 size_t numTrailingObjects(
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
248 typename TrailingObjects::template OverloadToken<float>) const {
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
249 return 1;
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
250 }
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
251
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
252 size_t numTrailingObjects(
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
253 typename TrailingObjects::template OverloadToken<int>) const {
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
254 return 2;
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
255 }
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
256 };
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
257
803732b1fca8 LLVM 5.0
kono
parents: 120
diff changeset
258 class Class5 : public Class5Tmpl<Class5> {};