Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 1 | //===- 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 Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame^] | 17 | #include "llvm/BinaryFormat/Magic.h" |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 18 | #include "llvm/IR/LLVMContext.h" |
| 19 | #include "llvm/Object/Archive.h" |
| 20 | #include "llvm/Object/ObjectFile.h" |
| 21 | #include "llvm/Object/SymbolicFile.h" |
Benjamin Kramer | cd278b7 | 2015-06-17 16:02:56 +0000 | [diff] [blame] | 22 | #include "llvm/Support/EndianStream.h" |
Rafael Espindola | 74f2932 | 2015-06-13 17:23:04 +0000 | [diff] [blame] | 23 | #include "llvm/Support/Errc.h" |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 24 | #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 Collingbourne | 7ab1a3b | 2015-06-08 02:43:32 +0000 | [diff] [blame] | 30 | #if !defined(_MSC_VER) && !defined(__MINGW32__) |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 31 | #include <unistd.h> |
Peter Collingbourne | 7ab1a3b | 2015-06-08 02:43:32 +0000 | [diff] [blame] | 32 | #else |
| 33 | #include <io.h> |
| 34 | #endif |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 35 | |
| 36 | using namespace llvm; |
| 37 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 38 | NewArchiveMember::NewArchiveMember(MemoryBufferRef BufRef) |
| 39 | : Buf(MemoryBuffer::getMemBuffer(BufRef, false)) {} |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 40 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 41 | Expected<NewArchiveMember> |
| 42 | NewArchiveMember::getOldMember(const object::Archive::Child &OldMember, |
| 43 | bool Deterministic) { |
Kevin Enderby | f458603 | 2016-07-29 17:44:13 +0000 | [diff] [blame] | 44 | Expected<llvm::MemoryBufferRef> BufOrErr = OldMember.getMemoryBufferRef(); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 45 | if (!BufOrErr) |
Kevin Enderby | f458603 | 2016-07-29 17:44:13 +0000 | [diff] [blame] | 46 | return BufOrErr.takeError(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 47 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 48 | NewArchiveMember M; |
David Callahan | 5cb34077e8 | 2016-11-30 22:32:58 +0000 | [diff] [blame] | 49 | assert(M.IsNew == false); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 50 | M.Buf = MemoryBuffer::getMemBuffer(*BufOrErr, false); |
| 51 | if (!Deterministic) { |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 52 | auto ModTimeOrErr = OldMember.getLastModified(); |
Vedant Kumar | 4031d9f | 2016-08-03 19:02:50 +0000 | [diff] [blame] | 53 | if (!ModTimeOrErr) |
| 54 | return ModTimeOrErr.takeError(); |
| 55 | M.ModTime = ModTimeOrErr.get(); |
| 56 | Expected<unsigned> UIDOrErr = OldMember.getUID(); |
| 57 | if (!UIDOrErr) |
| 58 | return UIDOrErr.takeError(); |
| 59 | M.UID = UIDOrErr.get(); |
| 60 | Expected<unsigned> GIDOrErr = OldMember.getGID(); |
| 61 | if (!GIDOrErr) |
| 62 | return GIDOrErr.takeError(); |
| 63 | M.GID = GIDOrErr.get(); |
| 64 | Expected<sys::fs::perms> AccessModeOrErr = OldMember.getAccessMode(); |
| 65 | if (!AccessModeOrErr) |
| 66 | return AccessModeOrErr.takeError(); |
| 67 | M.Perms = AccessModeOrErr.get(); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 68 | } |
| 69 | return std::move(M); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 70 | } |
| 71 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 72 | Expected<NewArchiveMember> NewArchiveMember::getFile(StringRef FileName, |
| 73 | bool Deterministic) { |
| 74 | sys::fs::file_status Status; |
| 75 | int FD; |
| 76 | if (auto EC = sys::fs::openFileForRead(FileName, FD)) |
| 77 | return errorCodeToError(EC); |
| 78 | assert(FD != -1); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 79 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 80 | if (auto EC = sys::fs::status(FD, Status)) |
| 81 | return errorCodeToError(EC); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 82 | |
| 83 | // Opening a directory doesn't make sense. Let it fail. |
| 84 | // Linux cannot open directories with open(2), although |
| 85 | // cygwin and *bsd can. |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 86 | if (Status.type() == sys::fs::file_type::directory_file) |
| 87 | return errorCodeToError(make_error_code(errc::is_a_directory)); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 88 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 89 | ErrorOr<std::unique_ptr<MemoryBuffer>> MemberBufferOrErr = |
| 90 | MemoryBuffer::getOpenFile(FD, FileName, Status.getSize(), false); |
| 91 | if (!MemberBufferOrErr) |
| 92 | return errorCodeToError(MemberBufferOrErr.getError()); |
| 93 | |
| 94 | if (close(FD) != 0) |
| 95 | return errorCodeToError(std::error_code(errno, std::generic_category())); |
| 96 | |
| 97 | NewArchiveMember M; |
David Callahan | 5cb34077e8 | 2016-11-30 22:32:58 +0000 | [diff] [blame] | 98 | M.IsNew = true; |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 99 | M.Buf = std::move(*MemberBufferOrErr); |
| 100 | if (!Deterministic) { |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 101 | M.ModTime = std::chrono::time_point_cast<std::chrono::seconds>( |
| 102 | Status.getLastModificationTime()); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 103 | M.UID = Status.getUser(); |
| 104 | M.GID = Status.getGroup(); |
| 105 | M.Perms = Status.permissions(); |
| 106 | } |
| 107 | return std::move(M); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 108 | } |
| 109 | |
| 110 | template <typename T> |
| 111 | static void printWithSpacePadding(raw_fd_ostream &OS, T Data, unsigned Size, |
NAKAMURA Takumi | 0a7d0ad | 2015-09-22 11:15:07 +0000 | [diff] [blame] | 112 | bool MayTruncate = false) { |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 113 | uint64_t OldPos = OS.tell(); |
| 114 | OS << Data; |
| 115 | unsigned SizeSoFar = OS.tell() - OldPos; |
| 116 | if (Size > SizeSoFar) { |
Benjamin Kramer | cd278b7 | 2015-06-17 16:02:56 +0000 | [diff] [blame] | 117 | OS.indent(Size - SizeSoFar); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 118 | } else if (Size < SizeSoFar) { |
| 119 | assert(MayTruncate && "Data doesn't fit in Size"); |
| 120 | // Some of the data this is used for (like UID) can be larger than the |
| 121 | // space available in the archive format. Truncate in that case. |
| 122 | OS.seek(OldPos + Size); |
| 123 | } |
| 124 | } |
| 125 | |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 126 | static bool isBSDLike(object::Archive::Kind Kind) { |
| 127 | switch (Kind) { |
| 128 | case object::Archive::K_GNU: |
| 129 | return false; |
| 130 | case object::Archive::K_BSD: |
| 131 | case object::Archive::K_DARWIN: |
| 132 | return true; |
Rafael Espindola | f133ccb | 2017-02-22 19:42:14 +0000 | [diff] [blame] | 133 | case object::Archive::K_MIPS64: |
| 134 | case object::Archive::K_DARWIN64: |
| 135 | case object::Archive::K_COFF: |
| 136 | break; |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 137 | } |
Rafael Espindola | f133ccb | 2017-02-22 19:42:14 +0000 | [diff] [blame] | 138 | llvm_unreachable("not supported for writting"); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 139 | } |
| 140 | |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 141 | static void print32(raw_ostream &Out, object::Archive::Kind Kind, |
| 142 | uint32_t Val) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 143 | if (isBSDLike(Kind)) |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 144 | support::endian::Writer<support::little>(Out).write(Val); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 145 | else |
| 146 | support::endian::Writer<support::big>(Out).write(Val); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 149 | static void printRestOfMemberHeader( |
| 150 | raw_fd_ostream &Out, const sys::TimePoint<std::chrono::seconds> &ModTime, |
| 151 | unsigned UID, unsigned GID, unsigned Perms, unsigned Size) { |
| 152 | printWithSpacePadding(Out, sys::toTimeT(ModTime), 12); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 153 | printWithSpacePadding(Out, UID, 6, true); |
| 154 | printWithSpacePadding(Out, GID, 6, true); |
| 155 | printWithSpacePadding(Out, format("%o", Perms), 8); |
| 156 | printWithSpacePadding(Out, Size, 10); |
| 157 | Out << "`\n"; |
| 158 | } |
| 159 | |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 160 | static void |
| 161 | printGNUSmallMemberHeader(raw_fd_ostream &Out, StringRef Name, |
| 162 | const sys::TimePoint<std::chrono::seconds> &ModTime, |
| 163 | unsigned UID, unsigned GID, unsigned Perms, |
| 164 | unsigned Size) { |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 165 | printWithSpacePadding(Out, Twine(Name) + "/", 16); |
| 166 | printRestOfMemberHeader(Out, ModTime, UID, GID, Perms, Size); |
| 167 | } |
| 168 | |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 169 | static void |
| 170 | printBSDMemberHeader(raw_fd_ostream &Out, StringRef Name, |
| 171 | const sys::TimePoint<std::chrono::seconds> &ModTime, |
| 172 | unsigned UID, unsigned GID, unsigned Perms, |
| 173 | unsigned Size) { |
Rafael Espindola | 8cde5c0 | 2015-07-09 14:54:12 +0000 | [diff] [blame] | 174 | uint64_t PosAfterHeader = Out.tell() + 60 + Name.size(); |
| 175 | // Pad so that even 64 bit object files are aligned. |
| 176 | unsigned Pad = OffsetToAlignment(PosAfterHeader, 8); |
| 177 | unsigned NameWithPadding = Name.size() + Pad; |
| 178 | printWithSpacePadding(Out, Twine("#1/") + Twine(NameWithPadding), 16); |
| 179 | printRestOfMemberHeader(Out, ModTime, UID, GID, Perms, |
| 180 | NameWithPadding + Size); |
| 181 | Out << Name; |
| 182 | assert(PosAfterHeader == Out.tell()); |
| 183 | while (Pad--) |
| 184 | Out.write(uint8_t(0)); |
| 185 | } |
| 186 | |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 187 | static bool useStringTable(bool Thin, StringRef Name) { |
| 188 | return Thin || Name.size() >= 16; |
| 189 | } |
| 190 | |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 191 | static void |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 192 | printMemberHeader(raw_fd_ostream &Out, object::Archive::Kind Kind, bool Thin, |
Rafael Espindola | a2ed0b0 | 2015-07-08 20:47:32 +0000 | [diff] [blame] | 193 | StringRef Name, |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 194 | std::vector<unsigned>::iterator &StringMapIndexIter, |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 195 | const sys::TimePoint<std::chrono::seconds> &ModTime, |
| 196 | unsigned UID, unsigned GID, unsigned Perms, unsigned Size) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 197 | if (isBSDLike(Kind)) |
Rafael Espindola | 8cde5c0 | 2015-07-09 14:54:12 +0000 | [diff] [blame] | 198 | return printBSDMemberHeader(Out, Name, ModTime, UID, GID, Perms, Size); |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 199 | if (!useStringTable(Thin, Name)) |
Rafael Espindola | 8cde5c0 | 2015-07-09 14:54:12 +0000 | [diff] [blame] | 200 | return printGNUSmallMemberHeader(Out, Name, ModTime, UID, GID, Perms, Size); |
Rafael Espindola | 65a9953 | 2015-07-08 17:26:24 +0000 | [diff] [blame] | 201 | Out << '/'; |
| 202 | printWithSpacePadding(Out, *StringMapIndexIter++, 15); |
| 203 | printRestOfMemberHeader(Out, ModTime, UID, GID, Perms, Size); |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 204 | } |
| 205 | |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 206 | // Compute the relative path from From to To. |
| 207 | static std::string computeRelativePath(StringRef From, StringRef To) { |
| 208 | if (sys::path::is_absolute(From) || sys::path::is_absolute(To)) |
| 209 | return To; |
| 210 | |
| 211 | StringRef DirFrom = sys::path::parent_path(From); |
| 212 | auto FromI = sys::path::begin(DirFrom); |
| 213 | auto ToI = sys::path::begin(To); |
| 214 | while (*FromI == *ToI) { |
| 215 | ++FromI; |
| 216 | ++ToI; |
| 217 | } |
| 218 | |
| 219 | SmallString<128> Relative; |
| 220 | for (auto FromE = sys::path::end(DirFrom); FromI != FromE; ++FromI) |
| 221 | sys::path::append(Relative, ".."); |
| 222 | |
| 223 | for (auto ToE = sys::path::end(To); ToI != ToE; ++ToI) |
| 224 | sys::path::append(Relative, *ToI); |
| 225 | |
Peter Collingbourne | bc9a574 | 2016-11-15 21:36:35 +0000 | [diff] [blame] | 226 | #ifdef LLVM_ON_WIN32 |
| 227 | // Replace backslashes with slashes so that the path is portable between *nix |
| 228 | // and Windows. |
| 229 | std::replace(Relative.begin(), Relative.end(), '\\', '/'); |
| 230 | #endif |
| 231 | |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 232 | return Relative.str(); |
| 233 | } |
| 234 | |
| 235 | static void writeStringTable(raw_fd_ostream &Out, StringRef ArcName, |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 236 | ArrayRef<NewArchiveMember> Members, |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 237 | std::vector<unsigned> &StringMapIndexes, |
| 238 | bool Thin) { |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 239 | unsigned StartOffset = 0; |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 240 | for (const NewArchiveMember &M : Members) { |
| 241 | StringRef Path = M.Buf->getBufferIdentifier(); |
| 242 | StringRef Name = sys::path::filename(Path); |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 243 | if (!useStringTable(Thin, Name)) |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 244 | continue; |
| 245 | if (StartOffset == 0) { |
| 246 | printWithSpacePadding(Out, "//", 58); |
| 247 | Out << "`\n"; |
| 248 | StartOffset = Out.tell(); |
| 249 | } |
| 250 | StringMapIndexes.push_back(Out.tell() - StartOffset); |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 251 | |
David Callahan | 5cb34077e8 | 2016-11-30 22:32:58 +0000 | [diff] [blame] | 252 | if (Thin) { |
| 253 | if (M.IsNew) |
| 254 | Out << computeRelativePath(ArcName, Path); |
| 255 | else |
| 256 | Out << M.Buf->getBufferIdentifier(); |
| 257 | } else |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 258 | Out << Name; |
| 259 | |
| 260 | Out << "/\n"; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 261 | } |
| 262 | if (StartOffset == 0) |
| 263 | return; |
| 264 | if (Out.tell() % 2) |
| 265 | Out << '\n'; |
| 266 | int Pos = Out.tell(); |
| 267 | Out.seek(StartOffset - 12); |
| 268 | printWithSpacePadding(Out, Pos - StartOffset, 10); |
| 269 | Out.seek(Pos); |
| 270 | } |
| 271 | |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 272 | static sys::TimePoint<std::chrono::seconds> now(bool Deterministic) { |
| 273 | using namespace std::chrono; |
| 274 | |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 275 | if (!Deterministic) |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 276 | return time_point_cast<seconds>(system_clock::now()); |
| 277 | return sys::TimePoint<seconds>(); |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 278 | } |
| 279 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 280 | // Returns the offset of the first reference to a member offset. |
| 281 | static ErrorOr<unsigned> |
Rafael Espindola | a2ed0b0 | 2015-07-08 20:47:32 +0000 | [diff] [blame] | 282 | writeSymbolTable(raw_fd_ostream &Out, object::Archive::Kind Kind, |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 283 | ArrayRef<NewArchiveMember> Members, |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 284 | std::vector<unsigned> &MemberOffsetRefs, bool Deterministic) { |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 285 | unsigned HeaderStartOffset = 0; |
| 286 | unsigned BodyStartOffset = 0; |
Rafael Espindola | 80c662d | 2015-07-08 21:07:18 +0000 | [diff] [blame] | 287 | SmallString<128> NameBuf; |
| 288 | raw_svector_ostream NameOS(NameBuf); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 289 | LLVMContext Context; |
Rafael Espindola | 80c662d | 2015-07-08 21:07:18 +0000 | [diff] [blame] | 290 | for (unsigned MemberNum = 0, N = Members.size(); MemberNum < N; ++MemberNum) { |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 291 | MemoryBufferRef MemberBuffer = Members[MemberNum].Buf->getMemBufferRef(); |
Kevin Enderby | 3fcdf6a | 2016-04-06 22:14:09 +0000 | [diff] [blame] | 292 | Expected<std::unique_ptr<object::SymbolicFile>> ObjOrErr = |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 293 | object::SymbolicFile::createSymbolicFile( |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame^] | 294 | MemberBuffer, llvm::file_magic::unknown, &Context); |
Kevin Enderby | 3fcdf6a | 2016-04-06 22:14:09 +0000 | [diff] [blame] | 295 | if (!ObjOrErr) { |
| 296 | // FIXME: check only for "not an object file" errors. |
| 297 | consumeError(ObjOrErr.takeError()); |
| 298 | continue; |
| 299 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 300 | object::SymbolicFile &Obj = *ObjOrErr.get(); |
| 301 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 302 | if (!HeaderStartOffset) { |
| 303 | HeaderStartOffset = Out.tell(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 304 | if (isBSDLike(Kind)) |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 305 | printBSDMemberHeader(Out, "__.SYMDEF", now(Deterministic), 0, 0, 0, 0); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 306 | else |
| 307 | printGNUSmallMemberHeader(Out, "", now(Deterministic), 0, 0, 0, 0); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 308 | BodyStartOffset = Out.tell(); |
| 309 | print32(Out, Kind, 0); // number of entries or bytes |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | for (const object::BasicSymbolRef &S : Obj.symbols()) { |
| 313 | uint32_t Symflags = S.getFlags(); |
| 314 | if (Symflags & object::SymbolRef::SF_FormatSpecific) |
| 315 | continue; |
| 316 | if (!(Symflags & object::SymbolRef::SF_Global)) |
| 317 | continue; |
| 318 | if (Symflags & object::SymbolRef::SF_Undefined) |
| 319 | continue; |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 320 | |
| 321 | unsigned NameOffset = NameOS.tell(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 322 | if (auto EC = S.printName(NameOS)) |
| 323 | return EC; |
| 324 | NameOS << '\0'; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 325 | MemberOffsetRefs.push_back(MemberNum); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 326 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 327 | print32(Out, Kind, NameOffset); |
| 328 | print32(Out, Kind, 0); // member offset |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 329 | } |
| 330 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 331 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 332 | if (HeaderStartOffset == 0) |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 333 | return 0; |
| 334 | |
Saleem Abdulrasool | d3faeaf | 2017-02-09 15:47:58 +0000 | [diff] [blame] | 335 | // ld64 prefers the cctools type archive which pads its string table to a |
| 336 | // boundary of sizeof(int32_t). |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 337 | if (isBSDLike(Kind)) |
Saleem Abdulrasool | b4a162b | 2017-02-09 04:26:21 +0000 | [diff] [blame] | 338 | for (unsigned P = OffsetToAlignment(NameOS.tell(), sizeof(int32_t)); P--;) |
| 339 | NameOS << '\0'; |
| 340 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 341 | StringRef StringTable = NameOS.str(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 342 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 343 | print32(Out, Kind, StringTable.size()); // byte count of the string table |
| 344 | Out << StringTable; |
Rafael Espindola | 8f2dd7c | 2017-03-14 19:57:13 +0000 | [diff] [blame] | 345 | // If there are no symbols, emit an empty symbol table, to satisfy Solaris |
| 346 | // tools, older versions of which expect a symbol table in a non-empty |
| 347 | // archive, regardless of whether there are any symbols in it. |
| 348 | if (StringTable.size() == 0) |
| 349 | print32(Out, Kind, 0); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 350 | |
Rafael Espindola | 594e676 | 2015-07-09 19:48:06 +0000 | [diff] [blame] | 351 | // ld64 requires the next member header to start at an offset that is |
| 352 | // 4 bytes aligned. |
| 353 | unsigned Pad = OffsetToAlignment(Out.tell(), 4); |
| 354 | while (Pad--) |
| 355 | Out.write(uint8_t(0)); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 356 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 357 | // Patch up the size of the symbol table now that we know how big it is. |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 358 | unsigned Pos = Out.tell(); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 359 | const unsigned MemberHeaderSize = 60; |
| 360 | Out.seek(HeaderStartOffset + 48); // offset of the size field. |
| 361 | printWithSpacePadding(Out, Pos - MemberHeaderSize - HeaderStartOffset, 10); |
| 362 | |
| 363 | // Patch up the number of symbols. |
| 364 | Out.seek(BodyStartOffset); |
Rafael Espindola | 2ba806c | 2015-07-09 15:24:39 +0000 | [diff] [blame] | 365 | unsigned NumSyms = MemberOffsetRefs.size(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 366 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 367 | print32(Out, Kind, NumSyms * 8); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 368 | else |
| 369 | print32(Out, Kind, NumSyms); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 370 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 371 | Out.seek(Pos); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 372 | return BodyStartOffset + 4; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 373 | } |
| 374 | |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 375 | std::pair<StringRef, std::error_code> |
| 376 | llvm::writeArchive(StringRef ArcName, |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 377 | std::vector<NewArchiveMember> &NewMembers, |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 378 | bool WriteSymtab, object::Archive::Kind Kind, |
Rafael Espindola | 484983f | 2016-05-09 13:31:11 +0000 | [diff] [blame] | 379 | bool Deterministic, bool Thin, |
| 380 | std::unique_ptr<MemoryBuffer> OldArchiveBuf) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 381 | assert((!Thin || !isBSDLike(Kind)) && "Only the gnu format has a thin mode"); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 382 | SmallString<128> TmpArchive; |
| 383 | int TmpArchiveFD; |
| 384 | if (auto EC = sys::fs::createUniqueFile(ArcName + ".temp-archive-%%%%%%%.a", |
| 385 | TmpArchiveFD, TmpArchive)) |
| 386 | return std::make_pair(ArcName, EC); |
| 387 | |
| 388 | tool_output_file Output(TmpArchive, TmpArchiveFD); |
| 389 | raw_fd_ostream &Out = Output.os(); |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 390 | if (Thin) |
| 391 | Out << "!<thin>\n"; |
| 392 | else |
| 393 | Out << "!<arch>\n"; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 394 | |
| 395 | std::vector<unsigned> MemberOffsetRefs; |
| 396 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 397 | unsigned MemberReferenceOffset = 0; |
| 398 | if (WriteSymtab) { |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 399 | ErrorOr<unsigned> MemberReferenceOffsetOrErr = writeSymbolTable( |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 400 | Out, Kind, NewMembers, MemberOffsetRefs, Deterministic); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 401 | if (auto EC = MemberReferenceOffsetOrErr.getError()) |
| 402 | return std::make_pair(ArcName, EC); |
| 403 | MemberReferenceOffset = MemberReferenceOffsetOrErr.get(); |
| 404 | } |
| 405 | |
| 406 | std::vector<unsigned> StringMapIndexes; |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 407 | if (!isBSDLike(Kind)) |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 408 | writeStringTable(Out, ArcName, NewMembers, StringMapIndexes, Thin); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 409 | |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 410 | std::vector<unsigned>::iterator StringMapIndexIter = StringMapIndexes.begin(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 411 | std::vector<unsigned> MemberOffset; |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 412 | for (const NewArchiveMember &M : NewMembers) { |
| 413 | MemoryBufferRef File = M.Buf->getMemBufferRef(); |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 414 | unsigned Padding = 0; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 415 | |
| 416 | unsigned Pos = Out.tell(); |
| 417 | MemberOffset.push_back(Pos); |
| 418 | |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 419 | // ld64 expects the members to be 8-byte aligned for 64-bit content and at |
| 420 | // least 4-byte aligned for 32-bit content. Opt for the larger encoding |
| 421 | // uniformly. This matches the behaviour with cctools and ensures that ld64 |
| 422 | // is happy with archives that we generate. |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 423 | if (Kind == object::Archive::K_DARWIN) |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 424 | Padding = OffsetToAlignment(M.Buf->getBufferSize(), 8); |
| 425 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 426 | printMemberHeader(Out, Kind, Thin, |
| 427 | sys::path::filename(M.Buf->getBufferIdentifier()), |
| 428 | StringMapIndexIter, M.ModTime, M.UID, M.GID, M.Perms, |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 429 | M.Buf->getBufferSize() + Padding); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 430 | |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 431 | if (!Thin) |
| 432 | Out << File.getBuffer(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 433 | |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 434 | while (Padding--) |
| 435 | Out << '\n'; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 436 | if (Out.tell() % 2) |
| 437 | Out << '\n'; |
| 438 | } |
| 439 | |
| 440 | if (MemberReferenceOffset) { |
| 441 | Out.seek(MemberReferenceOffset); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 442 | for (unsigned MemberNum : MemberOffsetRefs) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 443 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 444 | Out.seek(Out.tell() + 4); // skip over the string offset |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 445 | print32(Out, Kind, MemberOffset[MemberNum]); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 446 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 447 | } |
| 448 | |
| 449 | Output.keep(); |
| 450 | Out.close(); |
Rafael Espindola | 484983f | 2016-05-09 13:31:11 +0000 | [diff] [blame] | 451 | |
| 452 | // At this point, we no longer need whatever backing memory |
| 453 | // was used to generate the NewMembers. On Windows, this buffer |
| 454 | // could be a mapped view of the file we want to replace (if |
| 455 | // we're updating an existing archive, say). In that case, the |
| 456 | // rename would still succeed, but it would leave behind a |
| 457 | // temporary file (actually the original file renamed) because |
| 458 | // a file cannot be deleted while there's a handle open on it, |
| 459 | // only renamed. So by freeing this buffer, this ensures that |
| 460 | // the last open handle on the destination file, if any, is |
| 461 | // closed before we attempt to rename. |
| 462 | OldArchiveBuf.reset(); |
| 463 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 464 | sys::fs::rename(TmpArchive, ArcName); |
| 465 | return std::make_pair("", std::error_code()); |
| 466 | } |