1 //===- StringTableBuilder.cpp - String table building utility -------------===//
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
7 //===----------------------------------------------------------------------===//
9 #include "llvm/MC/StringTableBuilder.h"
10 #include "llvm/ADT/ArrayRef.h"
11 #include "llvm/ADT/CachedHashString.h"
12 #include "llvm/ADT/SmallString.h"
13 #include "llvm/ADT/StringRef.h"
14 #include "llvm/BinaryFormat/COFF.h"
15 #include "llvm/Support/Endian.h"
16 #include "llvm/Support/MathExtras.h"
17 #include "llvm/Support/raw_ostream.h"
27 StringTableBuilder::~StringTableBuilder() = default;
29 void StringTableBuilder::initSize() {
30 // Account for leading bytes in table so that offsets returned from add are
44 // Start the table with a NUL byte.
49 // Make room to write the table size later.
55 StringTableBuilder::StringTableBuilder(Kind K
, unsigned Alignment
)
56 : K(K
), Alignment(Alignment
) {
60 void StringTableBuilder::write(raw_ostream
&OS
) const {
61 assert(isFinalized());
63 Data
.resize(getSize());
64 write((uint8_t *)Data
.data());
68 using StringPair
= std::pair
<CachedHashStringRef
, size_t>;
70 void StringTableBuilder::write(uint8_t *Buf
) const {
71 assert(isFinalized());
72 for (const StringPair
&P
: StringIndexMap
) {
73 StringRef Data
= P
.first
.val();
75 memcpy(Buf
+ P
.second
, Data
.data(), Data
.size());
77 // The COFF formats store the size of the string table in the first 4 bytes.
78 // For Windows, the format is little-endian; for AIX, it is big-endian.
80 support::endian::write32le(Buf
, Size
);
82 support::endian::write32be(Buf
, Size
);
85 // Returns the character at Pos from end of a string.
86 static int charTailAt(StringPair
*P
, size_t Pos
) {
87 StringRef S
= P
->first
.val();
90 return (unsigned char)S
[S
.size() - Pos
- 1];
93 // Three-way radix quicksort. This is much faster than std::sort with strcmp
94 // because it does not compare characters that we already know the same.
95 static void multikeySort(MutableArrayRef
<StringPair
*> Vec
, int Pos
) {
100 // Partition items so that items in [0, I) are greater than the pivot,
101 // [I, J) are the same as the pivot, and [J, Vec.size()) are less than
103 int Pivot
= charTailAt(Vec
[0], Pos
);
105 size_t J
= Vec
.size();
106 for (size_t K
= 1; K
< J
;) {
107 int C
= charTailAt(Vec
[K
], Pos
);
109 std::swap(Vec
[I
++], Vec
[K
++]);
111 std::swap(Vec
[--J
], Vec
[K
]);
116 multikeySort(Vec
.slice(0, I
), Pos
);
117 multikeySort(Vec
.slice(J
), Pos
);
119 // multikeySort(Vec.slice(I, J - I), Pos + 1), but with
120 // tail call optimization.
122 Vec
= Vec
.slice(I
, J
- I
);
128 void StringTableBuilder::finalize() {
130 finalizeStringTable(/*Optimize=*/true);
133 void StringTableBuilder::finalizeInOrder() {
134 finalizeStringTable(/*Optimize=*/false);
137 void StringTableBuilder::finalizeStringTable(bool Optimize
) {
141 std::vector
<StringPair
*> Strings
;
142 Strings
.reserve(StringIndexMap
.size());
143 for (StringPair
&P
: StringIndexMap
)
144 Strings
.push_back(&P
);
146 multikeySort(Strings
, 0);
150 for (StringPair
*P
: Strings
) {
151 StringRef S
= P
->first
.val();
152 if (Previous
.endswith(S
)) {
153 size_t Pos
= Size
- S
.size() - (K
!= RAW
);
154 if (!(Pos
& (Alignment
- 1))) {
160 Size
= alignTo(Size
, Alignment
);
170 if (K
== MachO
|| K
== MachOLinked
)
171 Size
= alignTo(Size
, 4); // Pad to multiple of 4.
172 if (K
== MachO64
|| K
== MachO64Linked
)
173 Size
= alignTo(Size
, 8); // Pad to multiple of 8.
175 // According to ld64 the string table of a final linked Mach-O binary starts
176 // with " ", i.e. the first byte is ' ' and the second byte is zero. In
177 // 'initSize()' we reserved the first two bytes for holding this string.
178 if (K
== MachOLinked
|| K
== MachO64Linked
)
179 StringIndexMap
[CachedHashStringRef(" ")] = 0;
181 // The first byte in an ELF string table must be null, according to the ELF
182 // specification. In 'initSize()' we reserved the first byte to hold null for
183 // this purpose and here we actually add the string to allow 'getOffset()' to
184 // be called on an empty string.
186 StringIndexMap
[CachedHashStringRef("")] = 0;
189 void StringTableBuilder::clear() {
191 StringIndexMap
.clear();
194 size_t StringTableBuilder::getOffset(CachedHashStringRef S
) const {
195 assert(isFinalized());
196 auto I
= StringIndexMap
.find(S
);
197 assert(I
!= StringIndexMap
.end() && "String is not in table!");
201 size_t StringTableBuilder::add(CachedHashStringRef S
) {
203 assert(S
.size() > COFF::NameSize
&& "Short string in COFF string table!");
205 assert(!isFinalized());
206 auto P
= StringIndexMap
.insert(std::make_pair(S
, 0));
208 size_t Start
= alignTo(Size
, Alignment
);
209 P
.first
->second
= Start
;
210 Size
= Start
+ S
.size() + (K
!= RAW
);
212 return P
.first
->second
;