blob: ebb00f8027d459acc90ec656b59222b4859eebe2 [file] [log] [blame]
Peter Collingbournefd66a482015-06-08 02:32:01 +00001//===- ArchiveWriter.cpp - ar File Format implementation --------*- C++ -*-===//
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//
10// This file defines the writeArchive function.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/Object/ArchiveWriter.h"
15#include "llvm/ADT/ArrayRef.h"
16#include "llvm/ADT/StringRef.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000017#include "llvm/BinaryFormat/Magic.h"
Peter Collingbournefd66a482015-06-08 02:32:01 +000018#include "llvm/IR/LLVMContext.h"
19#include "llvm/Object/Archive.h"
20#include "llvm/Object/ObjectFile.h"
21#include "llvm/Object/SymbolicFile.h"
Benjamin Kramercd278b72015-06-17 16:02:56 +000022#include "llvm/Support/EndianStream.h"
Rafael Espindola74f29322015-06-13 17:23:04 +000023#include "llvm/Support/Errc.h"
Peter Collingbournefd66a482015-06-08 02:32:01 +000024#include "llvm/Support/ErrorHandling.h"
25#include "llvm/Support/Format.h"
26#include "llvm/Support/Path.h"
27#include "llvm/Support/ToolOutputFile.h"
28#include "llvm/Support/raw_ostream.h"
29
Peter Collingbourne7ab1a3b2015-06-08 02:43:32 +000030#if !defined(_MSC_VER) && !defined(__MINGW32__)
Peter Collingbournefd66a482015-06-08 02:32:01 +000031#include <unistd.h>
Peter Collingbourne7ab1a3b2015-06-08 02:43:32 +000032#else
33#include <io.h>
34#endif
Peter Collingbournefd66a482015-06-08 02:32:01 +000035
36using namespace llvm;
37
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000038NewArchiveMember::NewArchiveMember(MemoryBufferRef BufRef)
Reid Kleckner2f3f5032017-06-12 19:45:35 +000039 : Buf(MemoryBuffer::getMemBuffer(BufRef, false)),
40 MemberName(BufRef.getBufferIdentifier()) {}
Peter Collingbournefd66a482015-06-08 02:32:01 +000041
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000042Expected<NewArchiveMember>
43NewArchiveMember::getOldMember(const object::Archive::Child &OldMember,
44 bool Deterministic) {
Kevin Enderbyf4586032016-07-29 17:44:13 +000045 Expected<llvm::MemoryBufferRef> BufOrErr = OldMember.getMemoryBufferRef();
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000046 if (!BufOrErr)
Kevin Enderbyf4586032016-07-29 17:44:13 +000047 return BufOrErr.takeError();
Peter Collingbournefd66a482015-06-08 02:32:01 +000048
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000049 NewArchiveMember M;
David Callahan5cb34077e82016-11-30 22:32:58 +000050 assert(M.IsNew == false);
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000051 M.Buf = MemoryBuffer::getMemBuffer(*BufOrErr, false);
Reid Kleckner2f3f5032017-06-12 19:45:35 +000052 M.MemberName = M.Buf->getBufferIdentifier();
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000053 if (!Deterministic) {
Pavel Labathbff47b52016-10-24 13:38:27 +000054 auto ModTimeOrErr = OldMember.getLastModified();
Vedant Kumar4031d9f2016-08-03 19:02:50 +000055 if (!ModTimeOrErr)
56 return ModTimeOrErr.takeError();
57 M.ModTime = ModTimeOrErr.get();
58 Expected<unsigned> UIDOrErr = OldMember.getUID();
59 if (!UIDOrErr)
60 return UIDOrErr.takeError();
61 M.UID = UIDOrErr.get();
62 Expected<unsigned> GIDOrErr = OldMember.getGID();
63 if (!GIDOrErr)
64 return GIDOrErr.takeError();
65 M.GID = GIDOrErr.get();
66 Expected<sys::fs::perms> AccessModeOrErr = OldMember.getAccessMode();
67 if (!AccessModeOrErr)
68 return AccessModeOrErr.takeError();
69 M.Perms = AccessModeOrErr.get();
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000070 }
71 return std::move(M);
Peter Collingbournefd66a482015-06-08 02:32:01 +000072}
73
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000074Expected<NewArchiveMember> NewArchiveMember::getFile(StringRef FileName,
75 bool Deterministic) {
76 sys::fs::file_status Status;
77 int FD;
78 if (auto EC = sys::fs::openFileForRead(FileName, FD))
79 return errorCodeToError(EC);
80 assert(FD != -1);
Peter Collingbournefd66a482015-06-08 02:32:01 +000081
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000082 if (auto EC = sys::fs::status(FD, Status))
83 return errorCodeToError(EC);
Peter Collingbournefd66a482015-06-08 02:32:01 +000084
85 // Opening a directory doesn't make sense. Let it fail.
86 // Linux cannot open directories with open(2), although
87 // cygwin and *bsd can.
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000088 if (Status.type() == sys::fs::file_type::directory_file)
89 return errorCodeToError(make_error_code(errc::is_a_directory));
Peter Collingbournefd66a482015-06-08 02:32:01 +000090
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +000091 ErrorOr<std::unique_ptr<MemoryBuffer>> MemberBufferOrErr =
92 MemoryBuffer::getOpenFile(FD, FileName, Status.getSize(), false);
93 if (!MemberBufferOrErr)
94 return errorCodeToError(MemberBufferOrErr.getError());
95
96 if (close(FD) != 0)
97 return errorCodeToError(std::error_code(errno, std::generic_category()));
98
99 NewArchiveMember M;
David Callahan5cb34077e82016-11-30 22:32:58 +0000100 M.IsNew = true;
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +0000101 M.Buf = std::move(*MemberBufferOrErr);
Reid Kleckner2f3f5032017-06-12 19:45:35 +0000102 M.MemberName = M.Buf->getBufferIdentifier();
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +0000103 if (!Deterministic) {
Pavel Labathbff47b52016-10-24 13:38:27 +0000104 M.ModTime = std::chrono::time_point_cast<std::chrono::seconds>(
105 Status.getLastModificationTime());
Peter Collingbourne8ec68fa2016-06-29 22:27:42 +0000106 M.UID = Status.getUser();
107 M.GID = Status.getGroup();
108 M.Perms = Status.permissions();
109 }
110 return std::move(M);
Peter Collingbournefd66a482015-06-08 02:32:01 +0000111}
112
113template <typename T>
Rafael Espindolafa083972017-09-21 23:06:23 +0000114static void printWithSpacePadding(raw_ostream &OS, T Data, unsigned Size) {
Peter Collingbournefd66a482015-06-08 02:32:01 +0000115 uint64_t OldPos = OS.tell();
116 OS << Data;
117 unsigned SizeSoFar = OS.tell() - OldPos;
Rafael Espindola540a8c72017-09-21 23:00:55 +0000118 assert(SizeSoFar <= Size && "Data doesn't fit in Size");
119 OS.indent(Size - SizeSoFar);
Peter Collingbournefd66a482015-06-08 02:32:01 +0000120}
121
Rafael Espindola23a76be2017-02-21 20:40:54 +0000122static bool isBSDLike(object::Archive::Kind Kind) {
123 switch (Kind) {
124 case object::Archive::K_GNU:
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000125 case object::Archive::K_GNU64:
Rafael Espindola23a76be2017-02-21 20:40:54 +0000126 return false;
127 case object::Archive::K_BSD:
128 case object::Archive::K_DARWIN:
129 return true;
Rafael Espindolaf133ccb2017-02-22 19:42:14 +0000130 case object::Archive::K_DARWIN64:
131 case object::Archive::K_COFF:
132 break;
Rafael Espindola23a76be2017-02-21 20:40:54 +0000133 }
Rafael Espindolaf133ccb2017-02-22 19:42:14 +0000134 llvm_unreachable("not supported for writting");
Rafael Espindola23a76be2017-02-21 20:40:54 +0000135}
136
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000137template <class T>
138static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val) {
Peter Collingbournee3f65292018-05-18 19:46:24 +0000139 support::endian::write(Out, Val,
140 isBSDLike(Kind) ? support::little : support::big);
Peter Collingbournefd66a482015-06-08 02:32:01 +0000141}
142
Pavel Labathbff47b52016-10-24 13:38:27 +0000143static void printRestOfMemberHeader(
Rafael Espindolafa083972017-09-21 23:06:23 +0000144 raw_ostream &Out, const sys::TimePoint<std::chrono::seconds> &ModTime,
Pavel Labathbff47b52016-10-24 13:38:27 +0000145 unsigned UID, unsigned GID, unsigned Perms, unsigned Size) {
146 printWithSpacePadding(Out, sys::toTimeT(ModTime), 12);
Rafael Espindola540a8c72017-09-21 23:00:55 +0000147
148 // The format has only 6 chars for uid and gid. Truncate if the provided
149 // values don't fit.
150 printWithSpacePadding(Out, UID % 1000000, 6);
151 printWithSpacePadding(Out, GID % 1000000, 6);
152
Peter Collingbournefd66a482015-06-08 02:32:01 +0000153 printWithSpacePadding(Out, format("%o", Perms), 8);
154 printWithSpacePadding(Out, Size, 10);
155 Out << "`\n";
156}
157
Pavel Labathbff47b52016-10-24 13:38:27 +0000158static void
Rafael Espindolafa083972017-09-21 23:06:23 +0000159printGNUSmallMemberHeader(raw_ostream &Out, StringRef Name,
Pavel Labathbff47b52016-10-24 13:38:27 +0000160 const sys::TimePoint<std::chrono::seconds> &ModTime,
161 unsigned UID, unsigned GID, unsigned Perms,
162 unsigned Size) {
Peter Collingbournefd66a482015-06-08 02:32:01 +0000163 printWithSpacePadding(Out, Twine(Name) + "/", 16);
164 printRestOfMemberHeader(Out, ModTime, UID, GID, Perms, Size);
165}
166
Pavel Labathbff47b52016-10-24 13:38:27 +0000167static void
Rafael Espindola476a7f92017-10-03 20:59:43 +0000168printBSDMemberHeader(raw_ostream &Out, uint64_t Pos, StringRef Name,
Pavel Labathbff47b52016-10-24 13:38:27 +0000169 const sys::TimePoint<std::chrono::seconds> &ModTime,
170 unsigned UID, unsigned GID, unsigned Perms,
171 unsigned Size) {
Rafael Espindola476a7f92017-10-03 20:59:43 +0000172 uint64_t PosAfterHeader = Pos + 60 + Name.size();
Rafael Espindola8cde5c02015-07-09 14:54:12 +0000173 // Pad so that even 64 bit object files are aligned.
174 unsigned Pad = OffsetToAlignment(PosAfterHeader, 8);
175 unsigned NameWithPadding = Name.size() + Pad;
176 printWithSpacePadding(Out, Twine("#1/") + Twine(NameWithPadding), 16);
177 printRestOfMemberHeader(Out, ModTime, UID, GID, Perms,
178 NameWithPadding + Size);
179 Out << Name;
Rafael Espindola8cde5c02015-07-09 14:54:12 +0000180 while (Pad--)
181 Out.write(uint8_t(0));
182}
183
Rafael Espindolae6492582015-07-15 05:47:46 +0000184static bool useStringTable(bool Thin, StringRef Name) {
Reid Kleckner2f3f5032017-06-12 19:45:35 +0000185 return Thin || Name.size() >= 16 || Name.contains('/');
Rafael Espindolae6492582015-07-15 05:47:46 +0000186}
187
Rafael Espindola06d6d192015-07-16 00:14:49 +0000188// Compute the relative path from From to To.
189static std::string computeRelativePath(StringRef From, StringRef To) {
190 if (sys::path::is_absolute(From) || sys::path::is_absolute(To))
191 return To;
192
193 StringRef DirFrom = sys::path::parent_path(From);
194 auto FromI = sys::path::begin(DirFrom);
195 auto ToI = sys::path::begin(To);
196 while (*FromI == *ToI) {
197 ++FromI;
198 ++ToI;
199 }
200
201 SmallString<128> Relative;
202 for (auto FromE = sys::path::end(DirFrom); FromI != FromE; ++FromI)
203 sys::path::append(Relative, "..");
204
205 for (auto ToE = sys::path::end(To); ToI != ToE; ++ToI)
206 sys::path::append(Relative, *ToI);
207
Nico Weber712e8d22018-04-29 00:45:03 +0000208#ifdef _WIN32
Peter Collingbournebc9a5742016-11-15 21:36:35 +0000209 // Replace backslashes with slashes so that the path is portable between *nix
210 // and Windows.
211 std::replace(Relative.begin(), Relative.end(), '\\', '/');
212#endif
213
Rafael Espindola06d6d192015-07-16 00:14:49 +0000214 return Relative.str();
215}
216
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000217static bool is64BitKind(object::Archive::Kind Kind) {
218 switch (Kind) {
219 case object::Archive::K_GNU:
220 case object::Archive::K_BSD:
221 case object::Archive::K_DARWIN:
222 case object::Archive::K_COFF:
223 return false;
224 case object::Archive::K_DARWIN64:
225 case object::Archive::K_GNU64:
226 return true;
227 }
228 llvm_unreachable("not supported for writting");
229}
230
Rafael Espindola476a7f92017-10-03 20:59:43 +0000231static void addToStringTable(raw_ostream &Out, StringRef ArcName,
232 const NewArchiveMember &M, bool Thin) {
233 StringRef ID = M.Buf->getBufferIdentifier();
234 if (Thin) {
235 if (M.IsNew)
236 Out << computeRelativePath(ArcName, ID);
237 else
238 Out << ID;
239 } else
240 Out << M.MemberName;
241 Out << "/\n";
242}
Rafael Espindola06d6d192015-07-16 00:14:49 +0000243
Rafael Espindola476a7f92017-10-03 20:59:43 +0000244static void printMemberHeader(raw_ostream &Out, uint64_t Pos,
245 raw_ostream &StringTable,
246 object::Archive::Kind Kind, bool Thin,
247 StringRef ArcName, const NewArchiveMember &M,
248 unsigned Size) {
249 if (isBSDLike(Kind))
250 return printBSDMemberHeader(Out, Pos, M.MemberName, M.ModTime, M.UID, M.GID,
251 M.Perms, Size);
252 if (!useStringTable(Thin, M.MemberName))
253 return printGNUSmallMemberHeader(Out, M.MemberName, M.ModTime, M.UID, M.GID,
254 M.Perms, Size);
255 Out << '/';
256 uint64_t NamePos = StringTable.tell();
257 addToStringTable(StringTable, ArcName, M, Thin);
258 printWithSpacePadding(Out, NamePos, 15);
259 printRestOfMemberHeader(Out, M.ModTime, M.UID, M.GID, M.Perms, Size);
260}
Rafael Espindola06d6d192015-07-16 00:14:49 +0000261
Rafael Espindola476a7f92017-10-03 20:59:43 +0000262namespace {
263struct MemberData {
264 std::vector<unsigned> Symbols;
265 std::string Header;
266 StringRef Data;
267 StringRef Padding;
268};
269} // namespace
270
271static MemberData computeStringTable(StringRef Names) {
272 unsigned Size = Names.size();
273 unsigned Pad = OffsetToAlignment(Size, 2);
274 std::string Header;
275 raw_string_ostream Out(Header);
276 printWithSpacePadding(Out, "//", 48);
277 printWithSpacePadding(Out, Size + Pad, 10);
278 Out << "`\n";
279 Out.flush();
280 return {{}, std::move(Header), Names, Pad ? "\n" : ""};
Peter Collingbournefd66a482015-06-08 02:32:01 +0000281}
282
Pavel Labathbff47b52016-10-24 13:38:27 +0000283static sys::TimePoint<std::chrono::seconds> now(bool Deterministic) {
284 using namespace std::chrono;
285
Rafael Espindola6a8e86f2015-07-13 20:38:09 +0000286 if (!Deterministic)
Pavel Labathbff47b52016-10-24 13:38:27 +0000287 return time_point_cast<seconds>(system_clock::now());
288 return sys::TimePoint<seconds>();
Rafael Espindola6a8e86f2015-07-13 20:38:09 +0000289}
290
Rafael Espindolad901dee2017-09-22 18:40:14 +0000291static bool isArchiveSymbol(const object::BasicSymbolRef &S) {
292 uint32_t Symflags = S.getFlags();
293 if (Symflags & object::SymbolRef::SF_FormatSpecific)
294 return false;
295 if (!(Symflags & object::SymbolRef::SF_Global))
296 return false;
Martin Storsjoa6ffc9c2018-07-20 20:48:29 +0000297 if (Symflags & object::SymbolRef::SF_Undefined)
Rafael Espindolad901dee2017-09-22 18:40:14 +0000298 return false;
299 return true;
300}
301
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000302static void printNBits(raw_ostream &Out, object::Archive::Kind Kind,
303 uint64_t Val) {
304 if (is64BitKind(Kind))
305 print<uint64_t>(Out, Kind, Val);
306 else
307 print<uint32_t>(Out, Kind, Val);
308}
309
Rafael Espindola476a7f92017-10-03 20:59:43 +0000310static void writeSymbolTable(raw_ostream &Out, object::Archive::Kind Kind,
311 bool Deterministic, ArrayRef<MemberData> Members,
312 StringRef StringTable) {
313 if (StringTable.empty())
314 return;
Peter Collingbournefd66a482015-06-08 02:32:01 +0000315
Rafael Espindola476a7f92017-10-03 20:59:43 +0000316 unsigned NumSyms = 0;
317 for (const MemberData &M : Members)
318 NumSyms += M.Symbols.size();
Peter Collingbournefd66a482015-06-08 02:32:01 +0000319
Rafael Espindola476a7f92017-10-03 20:59:43 +0000320 unsigned Size = 0;
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000321 Size += is64BitKind(Kind) ? 8 : 4; // Number of entries
Rafael Espindola23a76be2017-02-21 20:40:54 +0000322 if (isBSDLike(Kind))
Rafael Espindola476a7f92017-10-03 20:59:43 +0000323 Size += NumSyms * 8; // Table
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000324 else if (is64BitKind(Kind))
325 Size += NumSyms * 8; // Table
Rafael Espindola476a7f92017-10-03 20:59:43 +0000326 else
327 Size += NumSyms * 4; // Table
Rafael Espindola23a76be2017-02-21 20:40:54 +0000328 if (isBSDLike(Kind))
Rafael Espindola476a7f92017-10-03 20:59:43 +0000329 Size += 4; // byte count
330 Size += StringTable.size();
Rafael Espindola0bd982b2017-09-22 18:36:00 +0000331 // ld64 expects the members to be 8-byte aligned for 64-bit content and at
332 // least 4-byte aligned for 32-bit content. Opt for the larger encoding
333 // uniformly.
334 // We do this for all bsd formats because it simplifies aligning members.
335 unsigned Alignment = isBSDLike(Kind) ? 8 : 2;
Rafael Espindola476a7f92017-10-03 20:59:43 +0000336 unsigned Pad = OffsetToAlignment(Size, Alignment);
337 Size += Pad;
Peter Collingbournefd66a482015-06-08 02:32:01 +0000338
Rafael Espindola476a7f92017-10-03 20:59:43 +0000339 if (isBSDLike(Kind))
340 printBSDMemberHeader(Out, Out.tell(), "__.SYMDEF", now(Deterministic), 0, 0,
341 0, Size);
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000342 else if (is64BitKind(Kind))
343 printGNUSmallMemberHeader(Out, "/SYM64", now(Deterministic), 0, 0, 0, Size);
Rafael Espindola476a7f92017-10-03 20:59:43 +0000344 else
345 printGNUSmallMemberHeader(Out, "", now(Deterministic), 0, 0, 0, Size);
Rafael Espindolac79bff62015-07-09 15:56:23 +0000346
Rafael Espindola476a7f92017-10-03 20:59:43 +0000347 uint64_t Pos = Out.tell() + Size;
348
Rafael Espindola23a76be2017-02-21 20:40:54 +0000349 if (isBSDLike(Kind))
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000350 print<uint32_t>(Out, Kind, NumSyms * 8);
Rafael Espindola23a76be2017-02-21 20:40:54 +0000351 else
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000352 printNBits(Out, Kind, NumSyms);
Rafael Espindolac79bff62015-07-09 15:56:23 +0000353
Rafael Espindola476a7f92017-10-03 20:59:43 +0000354 for (const MemberData &M : Members) {
355 for (unsigned StringOffset : M.Symbols) {
356 if (isBSDLike(Kind))
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000357 print<uint32_t>(Out, Kind, StringOffset);
358 printNBits(Out, Kind, Pos); // member offset
Rafael Espindola476a7f92017-10-03 20:59:43 +0000359 }
360 Pos += M.Header.size() + M.Data.size() + M.Padding.size();
361 }
362
363 if (isBSDLike(Kind))
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000364 // byte count of the string table
365 print<uint32_t>(Out, Kind, StringTable.size());
Rafael Espindola476a7f92017-10-03 20:59:43 +0000366 Out << StringTable;
367
368 while (Pad--)
369 Out.write(uint8_t(0));
370}
371
372static Expected<std::vector<unsigned>>
373getSymbols(MemoryBufferRef Buf, raw_ostream &SymNames, bool &HasObject) {
374 std::vector<unsigned> Ret;
Rafael Espindola476a7f92017-10-03 20:59:43 +0000375
Alexander Shaposhnikov72b27a62018-09-11 22:00:47 +0000376 // In the scenario when LLVMContext is populated SymbolicFile will contain a
377 // reference to it, thus SymbolicFile should be destroyed first.
378 LLVMContext Context;
379 std::unique_ptr<object::SymbolicFile> Obj;
380 if (identify_magic(Buf.getBuffer()) == file_magic::bitcode) {
381 auto ObjOrErr = object::SymbolicFile::createSymbolicFile(
382 Buf, file_magic::bitcode, &Context);
383 if (!ObjOrErr) {
384 // FIXME: check only for "not an object file" errors.
385 consumeError(ObjOrErr.takeError());
386 return Ret;
387 }
388 Obj = std::move(*ObjOrErr);
389 } else {
390 auto ObjOrErr = object::SymbolicFile::createSymbolicFile(Buf);
391 if (!ObjOrErr) {
392 // FIXME: check only for "not an object file" errors.
393 consumeError(ObjOrErr.takeError());
394 return Ret;
395 }
396 Obj = std::move(*ObjOrErr);
Rafael Espindola476a7f92017-10-03 20:59:43 +0000397 }
398
399 HasObject = true;
Alexander Shaposhnikov72b27a62018-09-11 22:00:47 +0000400 for (const object::BasicSymbolRef &S : Obj->symbols()) {
Rafael Espindola476a7f92017-10-03 20:59:43 +0000401 if (!isArchiveSymbol(S))
402 continue;
403 Ret.push_back(SymNames.tell());
404 if (auto EC = S.printName(SymNames))
405 return errorCodeToError(EC);
406 SymNames << '\0';
407 }
408 return Ret;
409}
410
411static Expected<std::vector<MemberData>>
412computeMemberData(raw_ostream &StringTable, raw_ostream &SymNames,
413 object::Archive::Kind Kind, bool Thin, StringRef ArcName,
414 ArrayRef<NewArchiveMember> NewMembers) {
415 static char PaddingData[8] = {'\n', '\n', '\n', '\n', '\n', '\n', '\n', '\n'};
416
417 // This ignores the symbol table, but we only need the value mod 8 and the
418 // symbol table is aligned to be a multiple of 8 bytes
419 uint64_t Pos = 0;
420
421 std::vector<MemberData> Ret;
422 bool HasObject = false;
423 for (const NewArchiveMember &M : NewMembers) {
424 std::string Header;
425 raw_string_ostream Out(Header);
426
427 MemoryBufferRef Buf = M.Buf->getMemBufferRef();
428 StringRef Data = Thin ? "" : Buf.getBuffer();
429
430 // ld64 expects the members to be 8-byte aligned for 64-bit content and at
431 // least 4-byte aligned for 32-bit content. Opt for the larger encoding
432 // uniformly. This matches the behaviour with cctools and ensures that ld64
433 // is happy with archives that we generate.
434 unsigned MemberPadding = Kind == object::Archive::K_DARWIN
435 ? OffsetToAlignment(Data.size(), 8)
436 : 0;
437 unsigned TailPadding = OffsetToAlignment(Data.size() + MemberPadding, 2);
438 StringRef Padding = StringRef(PaddingData, MemberPadding + TailPadding);
439
440 printMemberHeader(Out, Pos, StringTable, Kind, Thin, ArcName, M,
441 Buf.getBufferSize() + MemberPadding);
442 Out.flush();
443
444 Expected<std::vector<unsigned>> Symbols =
445 getSymbols(Buf, SymNames, HasObject);
446 if (auto E = Symbols.takeError())
447 return std::move(E);
448
449 Pos += Header.size() + Data.size() + Padding.size();
450 Ret.push_back({std::move(*Symbols), std::move(Header), Data, Padding});
451 }
452 // If there are no symbols, emit an empty symbol table, to satisfy Solaris
453 // tools, older versions of which expect a symbol table in a non-empty
454 // archive, regardless of whether there are any symbols in it.
455 if (HasObject && SymNames.tell() == 0)
456 SymNames << '\0' << '\0' << '\0';
457 return Ret;
Peter Collingbournefd66a482015-06-08 02:32:01 +0000458}
459
Rafael Espindola25cbdf22017-09-21 23:13:36 +0000460Error llvm::writeArchive(StringRef ArcName,
461 ArrayRef<NewArchiveMember> NewMembers,
462 bool WriteSymtab, object::Archive::Kind Kind,
463 bool Deterministic, bool Thin,
464 std::unique_ptr<MemoryBuffer> OldArchiveBuf) {
Rafael Espindola23a76be2017-02-21 20:40:54 +0000465 assert((!Thin || !isBSDLike(Kind)) && "Only the gnu format has a thin mode");
Rafael Espindola476a7f92017-10-03 20:59:43 +0000466
467 SmallString<0> SymNamesBuf;
468 raw_svector_ostream SymNames(SymNamesBuf);
469 SmallString<0> StringTableBuf;
470 raw_svector_ostream StringTable(StringTableBuf);
471
472 Expected<std::vector<MemberData>> DataOrErr =
473 computeMemberData(StringTable, SymNames, Kind, Thin, ArcName, NewMembers);
474 if (Error E = DataOrErr.takeError())
475 return E;
476 std::vector<MemberData> &Data = *DataOrErr;
477
478 if (!StringTableBuf.empty())
479 Data.insert(Data.begin(), computeStringTable(StringTableBuf));
480
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000481 // We would like to detect if we need to switch to a 64-bit symbol table.
482 if (WriteSymtab) {
483 uint64_t MaxOffset = 0;
484 uint64_t LastOffset = MaxOffset;
Alexander Shaposhnikov72b27a62018-09-11 22:00:47 +0000485 for (const auto &M : Data) {
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000486 // Record the start of the member's offset
487 LastOffset = MaxOffset;
488 // Account for the size of each part associated with the member.
489 MaxOffset += M.Header.size() + M.Data.size() + M.Padding.size();
490 // We assume 32-bit symbols to see if 32-bit symbols are possible or not.
491 MaxOffset += M.Symbols.size() * 4;
492 }
Peter Collingbourned579c312018-03-28 17:21:14 +0000493
494 // The SYM64 format is used when an archive's member offsets are larger than
495 // 32-bits can hold. The need for this shift in format is detected by
496 // writeArchive. To test this we need to generate a file with a member that
497 // has an offset larger than 32-bits but this demands a very slow test. To
498 // speed the test up we use this environment variable to pretend like the
499 // cutoff happens before 32-bits and instead happens at some much smaller
500 // value.
501 const char *Sym64Env = std::getenv("SYM64_THRESHOLD");
502 int Sym64Threshold = 32;
503 if (Sym64Env)
504 StringRef(Sym64Env).getAsInteger(10, Sym64Threshold);
505
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000506 // If LastOffset isn't going to fit in a 32-bit varible we need to switch
507 // to 64-bit. Note that the file can be larger than 4GB as long as the last
508 // member starts before the 4GB offset.
Jake Ehrlich1a468482017-12-01 00:54:28 +0000509 if (LastOffset >= (1ULL << Sym64Threshold))
Jake Ehrlichc3a89ee2017-11-03 19:15:06 +0000510 Kind = object::Archive::K_GNU64;
511 }
512
Rafael Espindolac02eacf2017-11-14 01:21:15 +0000513 Expected<sys::fs::TempFile> Temp =
514 sys::fs::TempFile::create(ArcName + ".temp-archive-%%%%%%%.a");
515 if (!Temp)
516 return Temp.takeError();
Peter Collingbournefd66a482015-06-08 02:32:01 +0000517
Rafael Espindolac02eacf2017-11-14 01:21:15 +0000518 raw_fd_ostream Out(Temp->FD, false);
Rafael Espindolae6492582015-07-15 05:47:46 +0000519 if (Thin)
520 Out << "!<thin>\n";
521 else
522 Out << "!<arch>\n";
Peter Collingbournefd66a482015-06-08 02:32:01 +0000523
Rafael Espindola476a7f92017-10-03 20:59:43 +0000524 if (WriteSymtab)
525 writeSymbolTable(Out, Kind, Deterministic, Data, SymNamesBuf);
Peter Collingbournefd66a482015-06-08 02:32:01 +0000526
Rafael Espindola476a7f92017-10-03 20:59:43 +0000527 for (const MemberData &M : Data)
528 Out << M.Header << M.Data << M.Padding;
Peter Collingbournefd66a482015-06-08 02:32:01 +0000529
Rafael Espindolac02eacf2017-11-14 01:21:15 +0000530 Out.flush();
Rafael Espindola484983f2016-05-09 13:31:11 +0000531
532 // At this point, we no longer need whatever backing memory
533 // was used to generate the NewMembers. On Windows, this buffer
534 // could be a mapped view of the file we want to replace (if
535 // we're updating an existing archive, say). In that case, the
536 // rename would still succeed, but it would leave behind a
537 // temporary file (actually the original file renamed) because
538 // a file cannot be deleted while there's a handle open on it,
539 // only renamed. So by freeing this buffer, this ensures that
540 // the last open handle on the destination file, if any, is
541 // closed before we attempt to rename.
542 OldArchiveBuf.reset();
543
Rafael Espindolac02eacf2017-11-14 01:21:15 +0000544 return Temp->keep(ArcName);
Peter Collingbournefd66a482015-06-08 02:32:01 +0000545}