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) |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 39 | : Buf(MemoryBuffer::getMemBuffer(BufRef, false)), |
| 40 | MemberName(BufRef.getBufferIdentifier()) {} |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 41 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 42 | Expected<NewArchiveMember> |
| 43 | NewArchiveMember::getOldMember(const object::Archive::Child &OldMember, |
| 44 | bool Deterministic) { |
Kevin Enderby | f458603 | 2016-07-29 17:44:13 +0000 | [diff] [blame] | 45 | Expected<llvm::MemoryBufferRef> BufOrErr = OldMember.getMemoryBufferRef(); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 46 | if (!BufOrErr) |
Kevin Enderby | f458603 | 2016-07-29 17:44:13 +0000 | [diff] [blame] | 47 | return BufOrErr.takeError(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 48 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 49 | NewArchiveMember M; |
David Callahan | 5cb34077e8 | 2016-11-30 22:32:58 +0000 | [diff] [blame] | 50 | assert(M.IsNew == false); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 51 | M.Buf = MemoryBuffer::getMemBuffer(*BufOrErr, false); |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 52 | M.MemberName = M.Buf->getBufferIdentifier(); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 53 | if (!Deterministic) { |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 54 | auto ModTimeOrErr = OldMember.getLastModified(); |
Vedant Kumar | 4031d9f | 2016-08-03 19:02:50 +0000 | [diff] [blame] | 55 | 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 Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 70 | } |
| 71 | return std::move(M); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 72 | } |
| 73 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 74 | Expected<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 Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 81 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 82 | if (auto EC = sys::fs::status(FD, Status)) |
| 83 | return errorCodeToError(EC); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 84 | |
| 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 Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 88 | if (Status.type() == sys::fs::file_type::directory_file) |
| 89 | return errorCodeToError(make_error_code(errc::is_a_directory)); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 90 | |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 91 | 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 Callahan | 5cb34077e8 | 2016-11-30 22:32:58 +0000 | [diff] [blame] | 100 | M.IsNew = true; |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 101 | M.Buf = std::move(*MemberBufferOrErr); |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 102 | M.MemberName = M.Buf->getBufferIdentifier(); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 103 | if (!Deterministic) { |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 104 | M.ModTime = std::chrono::time_point_cast<std::chrono::seconds>( |
| 105 | Status.getLastModificationTime()); |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 106 | M.UID = Status.getUser(); |
| 107 | M.GID = Status.getGroup(); |
| 108 | M.Perms = Status.permissions(); |
| 109 | } |
| 110 | return std::move(M); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | template <typename T> |
Rafael Espindola | fa08397 | 2017-09-21 23:06:23 +0000 | [diff] [blame] | 114 | static void printWithSpacePadding(raw_ostream &OS, T Data, unsigned Size) { |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 115 | uint64_t OldPos = OS.tell(); |
| 116 | OS << Data; |
| 117 | unsigned SizeSoFar = OS.tell() - OldPos; |
Rafael Espindola | 540a8c7 | 2017-09-21 23:00:55 +0000 | [diff] [blame] | 118 | assert(SizeSoFar <= Size && "Data doesn't fit in Size"); |
| 119 | OS.indent(Size - SizeSoFar); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 122 | static bool isBSDLike(object::Archive::Kind Kind) { |
| 123 | switch (Kind) { |
| 124 | case object::Archive::K_GNU: |
| 125 | return false; |
| 126 | case object::Archive::K_BSD: |
| 127 | case object::Archive::K_DARWIN: |
| 128 | return true; |
Jake Ehrlich | 1b30d63 | 2017-09-20 18:23:01 +0000 | [diff] [blame] | 129 | case object::Archive::K_GNU64: |
Rafael Espindola | f133ccb | 2017-02-22 19:42:14 +0000 | [diff] [blame] | 130 | case object::Archive::K_DARWIN64: |
| 131 | case object::Archive::K_COFF: |
| 132 | break; |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 133 | } |
Rafael Espindola | f133ccb | 2017-02-22 19:42:14 +0000 | [diff] [blame] | 134 | llvm_unreachable("not supported for writting"); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 137 | static void print32(raw_ostream &Out, object::Archive::Kind Kind, |
| 138 | uint32_t Val) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 139 | if (isBSDLike(Kind)) |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 140 | support::endian::Writer<support::little>(Out).write(Val); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 141 | else |
| 142 | support::endian::Writer<support::big>(Out).write(Val); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 143 | } |
| 144 | |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 145 | static void printRestOfMemberHeader( |
Rafael Espindola | fa08397 | 2017-09-21 23:06:23 +0000 | [diff] [blame] | 146 | raw_ostream &Out, const sys::TimePoint<std::chrono::seconds> &ModTime, |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 147 | unsigned UID, unsigned GID, unsigned Perms, unsigned Size) { |
| 148 | printWithSpacePadding(Out, sys::toTimeT(ModTime), 12); |
Rafael Espindola | 540a8c7 | 2017-09-21 23:00:55 +0000 | [diff] [blame] | 149 | |
| 150 | // The format has only 6 chars for uid and gid. Truncate if the provided |
| 151 | // values don't fit. |
| 152 | printWithSpacePadding(Out, UID % 1000000, 6); |
| 153 | printWithSpacePadding(Out, GID % 1000000, 6); |
| 154 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 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 |
Rafael Espindola | fa08397 | 2017-09-21 23:06:23 +0000 | [diff] [blame] | 161 | printGNUSmallMemberHeader(raw_ostream &Out, StringRef Name, |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 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 |
Rafael Espindola | fa08397 | 2017-09-21 23:06:23 +0000 | [diff] [blame] | 170 | printBSDMemberHeader(raw_ostream &Out, StringRef Name, |
Pavel Labath | bff47b5 | 2016-10-24 13:38:27 +0000 | [diff] [blame] | 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) { |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 188 | return Thin || Name.size() >= 16 || Name.contains('/'); |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 189 | } |
| 190 | |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 191 | static void |
Rafael Espindola | fa08397 | 2017-09-21 23:06:23 +0000 | [diff] [blame] | 192 | printMemberHeader(raw_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(); |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 242 | StringRef Name = M.MemberName; |
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 | |
Rafael Espindola | d901dee | 2017-09-22 18:40:14 +0000 | [diff] [blame^] | 280 | static bool isArchiveSymbol(const object::BasicSymbolRef &S) { |
| 281 | uint32_t Symflags = S.getFlags(); |
| 282 | if (Symflags & object::SymbolRef::SF_FormatSpecific) |
| 283 | return false; |
| 284 | if (!(Symflags & object::SymbolRef::SF_Global)) |
| 285 | return false; |
| 286 | if (Symflags & object::SymbolRef::SF_Undefined && |
| 287 | !(Symflags & object::SymbolRef::SF_Indirect)) |
| 288 | return false; |
| 289 | return true; |
| 290 | } |
| 291 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 292 | // Returns the offset of the first reference to a member offset. |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 293 | static Expected<unsigned> |
Rafael Espindola | a2ed0b0 | 2015-07-08 20:47:32 +0000 | [diff] [blame] | 294 | writeSymbolTable(raw_fd_ostream &Out, object::Archive::Kind Kind, |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 295 | ArrayRef<NewArchiveMember> Members, |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 296 | std::vector<unsigned> &MemberOffsetRefs, bool Deterministic) { |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 297 | unsigned HeaderStartOffset = 0; |
| 298 | unsigned BodyStartOffset = 0; |
Rafael Espindola | 80c662d | 2015-07-08 21:07:18 +0000 | [diff] [blame] | 299 | SmallString<128> NameBuf; |
| 300 | raw_svector_ostream NameOS(NameBuf); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 301 | LLVMContext Context; |
Rafael Espindola | 80c662d | 2015-07-08 21:07:18 +0000 | [diff] [blame] | 302 | for (unsigned MemberNum = 0, N = Members.size(); MemberNum < N; ++MemberNum) { |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 303 | MemoryBufferRef MemberBuffer = Members[MemberNum].Buf->getMemBufferRef(); |
Kevin Enderby | 3fcdf6a | 2016-04-06 22:14:09 +0000 | [diff] [blame] | 304 | Expected<std::unique_ptr<object::SymbolicFile>> ObjOrErr = |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 305 | object::SymbolicFile::createSymbolicFile( |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 306 | MemberBuffer, llvm::file_magic::unknown, &Context); |
Kevin Enderby | 3fcdf6a | 2016-04-06 22:14:09 +0000 | [diff] [blame] | 307 | if (!ObjOrErr) { |
| 308 | // FIXME: check only for "not an object file" errors. |
| 309 | consumeError(ObjOrErr.takeError()); |
| 310 | continue; |
| 311 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 312 | object::SymbolicFile &Obj = *ObjOrErr.get(); |
| 313 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 314 | if (!HeaderStartOffset) { |
| 315 | HeaderStartOffset = Out.tell(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 316 | if (isBSDLike(Kind)) |
Rafael Espindola | 6a8e86f | 2015-07-13 20:38:09 +0000 | [diff] [blame] | 317 | printBSDMemberHeader(Out, "__.SYMDEF", now(Deterministic), 0, 0, 0, 0); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 318 | else |
| 319 | printGNUSmallMemberHeader(Out, "", now(Deterministic), 0, 0, 0, 0); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 320 | BodyStartOffset = Out.tell(); |
| 321 | print32(Out, Kind, 0); // number of entries or bytes |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 322 | } |
| 323 | |
| 324 | for (const object::BasicSymbolRef &S : Obj.symbols()) { |
Rafael Espindola | d901dee | 2017-09-22 18:40:14 +0000 | [diff] [blame^] | 325 | if (!isArchiveSymbol(S)) |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 326 | continue; |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 327 | |
| 328 | unsigned NameOffset = NameOS.tell(); |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 329 | if (std::error_code EC = S.printName(NameOS)) |
| 330 | return errorCodeToError(EC); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 331 | NameOS << '\0'; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 332 | MemberOffsetRefs.push_back(MemberNum); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 333 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 334 | print32(Out, Kind, NameOffset); |
| 335 | print32(Out, Kind, 0); // member offset |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 336 | } |
| 337 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 338 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 339 | if (HeaderStartOffset == 0) |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 340 | return 0; |
| 341 | |
Saleem Abdulrasool | d3faeaf | 2017-02-09 15:47:58 +0000 | [diff] [blame] | 342 | // ld64 prefers the cctools type archive which pads its string table to a |
| 343 | // boundary of sizeof(int32_t). |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 344 | if (isBSDLike(Kind)) |
Saleem Abdulrasool | b4a162b | 2017-02-09 04:26:21 +0000 | [diff] [blame] | 345 | for (unsigned P = OffsetToAlignment(NameOS.tell(), sizeof(int32_t)); P--;) |
| 346 | NameOS << '\0'; |
| 347 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 348 | StringRef StringTable = NameOS.str(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 349 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 350 | print32(Out, Kind, StringTable.size()); // byte count of the string table |
| 351 | Out << StringTable; |
Rafael Espindola | 8f2dd7c | 2017-03-14 19:57:13 +0000 | [diff] [blame] | 352 | // If there are no symbols, emit an empty symbol table, to satisfy Solaris |
| 353 | // tools, older versions of which expect a symbol table in a non-empty |
| 354 | // archive, regardless of whether there are any symbols in it. |
| 355 | if (StringTable.size() == 0) |
| 356 | print32(Out, Kind, 0); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 357 | |
Rafael Espindola | 0bd982b | 2017-09-22 18:36:00 +0000 | [diff] [blame] | 358 | // ld64 expects the members to be 8-byte aligned for 64-bit content and at |
| 359 | // least 4-byte aligned for 32-bit content. Opt for the larger encoding |
| 360 | // uniformly. |
| 361 | // We do this for all bsd formats because it simplifies aligning members. |
| 362 | unsigned Alignment = isBSDLike(Kind) ? 8 : 2; |
Rafael Espindola | d5d7737 | 2017-09-22 18:16:13 +0000 | [diff] [blame] | 363 | unsigned Pad = OffsetToAlignment(Out.tell(), Alignment); |
Rafael Espindola | 594e676 | 2015-07-09 19:48:06 +0000 | [diff] [blame] | 364 | while (Pad--) |
| 365 | Out.write(uint8_t(0)); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 366 | |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 367 | // 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] | 368 | unsigned Pos = Out.tell(); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 369 | const unsigned MemberHeaderSize = 60; |
| 370 | Out.seek(HeaderStartOffset + 48); // offset of the size field. |
| 371 | printWithSpacePadding(Out, Pos - MemberHeaderSize - HeaderStartOffset, 10); |
| 372 | |
| 373 | // Patch up the number of symbols. |
| 374 | Out.seek(BodyStartOffset); |
Rafael Espindola | 2ba806c | 2015-07-09 15:24:39 +0000 | [diff] [blame] | 375 | unsigned NumSyms = MemberOffsetRefs.size(); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 376 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 377 | print32(Out, Kind, NumSyms * 8); |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 378 | else |
| 379 | print32(Out, Kind, NumSyms); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 380 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 381 | Out.seek(Pos); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 382 | return BodyStartOffset + 4; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 383 | } |
| 384 | |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 385 | Error llvm::writeArchive(StringRef ArcName, |
| 386 | ArrayRef<NewArchiveMember> NewMembers, |
| 387 | bool WriteSymtab, object::Archive::Kind Kind, |
| 388 | bool Deterministic, bool Thin, |
| 389 | std::unique_ptr<MemoryBuffer> OldArchiveBuf) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 390 | assert((!Thin || !isBSDLike(Kind)) && "Only the gnu format has a thin mode"); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 391 | SmallString<128> TmpArchive; |
| 392 | int TmpArchiveFD; |
| 393 | if (auto EC = sys::fs::createUniqueFile(ArcName + ".temp-archive-%%%%%%%.a", |
| 394 | TmpArchiveFD, TmpArchive)) |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 395 | return errorCodeToError(EC); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 396 | |
| 397 | tool_output_file Output(TmpArchive, TmpArchiveFD); |
| 398 | raw_fd_ostream &Out = Output.os(); |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 399 | if (Thin) |
| 400 | Out << "!<thin>\n"; |
| 401 | else |
| 402 | Out << "!<arch>\n"; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 403 | |
| 404 | std::vector<unsigned> MemberOffsetRefs; |
| 405 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 406 | unsigned MemberReferenceOffset = 0; |
| 407 | if (WriteSymtab) { |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 408 | Expected<unsigned> MemberReferenceOffsetOrErr = writeSymbolTable( |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 409 | Out, Kind, NewMembers, MemberOffsetRefs, Deterministic); |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 410 | if (auto E = MemberReferenceOffsetOrErr.takeError()) |
| 411 | return E; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 412 | MemberReferenceOffset = MemberReferenceOffsetOrErr.get(); |
| 413 | } |
| 414 | |
| 415 | std::vector<unsigned> StringMapIndexes; |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 416 | if (!isBSDLike(Kind)) |
Rafael Espindola | 06d6d19 | 2015-07-16 00:14:49 +0000 | [diff] [blame] | 417 | writeStringTable(Out, ArcName, NewMembers, StringMapIndexes, Thin); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 418 | |
Rafael Espindola | c291a4b2 | 2015-07-08 17:08:26 +0000 | [diff] [blame] | 419 | std::vector<unsigned>::iterator StringMapIndexIter = StringMapIndexes.begin(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 420 | std::vector<unsigned> MemberOffset; |
Peter Collingbourne | 8ec68fa | 2016-06-29 22:27:42 +0000 | [diff] [blame] | 421 | for (const NewArchiveMember &M : NewMembers) { |
| 422 | MemoryBufferRef File = M.Buf->getMemBufferRef(); |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 423 | unsigned Padding = 0; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 424 | |
| 425 | unsigned Pos = Out.tell(); |
| 426 | MemberOffset.push_back(Pos); |
| 427 | |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 428 | // ld64 expects the members to be 8-byte aligned for 64-bit content and at |
| 429 | // least 4-byte aligned for 32-bit content. Opt for the larger encoding |
| 430 | // uniformly. This matches the behaviour with cctools and ensures that ld64 |
| 431 | // is happy with archives that we generate. |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 432 | if (Kind == object::Archive::K_DARWIN) |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 433 | Padding = OffsetToAlignment(M.Buf->getBufferSize(), 8); |
| 434 | |
Reid Kleckner | 2f3f503 | 2017-06-12 19:45:35 +0000 | [diff] [blame] | 435 | printMemberHeader(Out, Kind, Thin, M.MemberName, StringMapIndexIter, |
| 436 | M.ModTime, M.UID, M.GID, M.Perms, |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 437 | M.Buf->getBufferSize() + Padding); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 438 | |
Rafael Espindola | e649258 | 2015-07-15 05:47:46 +0000 | [diff] [blame] | 439 | if (!Thin) |
| 440 | Out << File.getBuffer(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 441 | |
Saleem Abdulrasool | 111cd66 | 2017-02-09 19:29:35 +0000 | [diff] [blame] | 442 | while (Padding--) |
| 443 | Out << '\n'; |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 444 | if (Out.tell() % 2) |
| 445 | Out << '\n'; |
| 446 | } |
| 447 | |
| 448 | if (MemberReferenceOffset) { |
| 449 | Out.seek(MemberReferenceOffset); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 450 | for (unsigned MemberNum : MemberOffsetRefs) { |
Rafael Espindola | 23a76be | 2017-02-21 20:40:54 +0000 | [diff] [blame] | 451 | if (isBSDLike(Kind)) |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 452 | Out.seek(Out.tell() + 4); // skip over the string offset |
Rafael Espindola | b870e9c | 2015-07-09 15:13:41 +0000 | [diff] [blame] | 453 | print32(Out, Kind, MemberOffset[MemberNum]); |
Rafael Espindola | c79bff6 | 2015-07-09 15:56:23 +0000 | [diff] [blame] | 454 | } |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 455 | } |
| 456 | |
| 457 | Output.keep(); |
| 458 | Out.close(); |
Rafael Espindola | 484983f | 2016-05-09 13:31:11 +0000 | [diff] [blame] | 459 | |
| 460 | // At this point, we no longer need whatever backing memory |
| 461 | // was used to generate the NewMembers. On Windows, this buffer |
| 462 | // could be a mapped view of the file we want to replace (if |
| 463 | // we're updating an existing archive, say). In that case, the |
| 464 | // rename would still succeed, but it would leave behind a |
| 465 | // temporary file (actually the original file renamed) because |
| 466 | // a file cannot be deleted while there's a handle open on it, |
| 467 | // only renamed. So by freeing this buffer, this ensures that |
| 468 | // the last open handle on the destination file, if any, is |
| 469 | // closed before we attempt to rename. |
| 470 | OldArchiveBuf.reset(); |
| 471 | |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 472 | sys::fs::rename(TmpArchive, ArcName); |
Rafael Espindola | 25cbdf2 | 2017-09-21 23:13:36 +0000 | [diff] [blame] | 473 | return Error::success(); |
Peter Collingbourne | fd66a48 | 2015-06-08 02:32:01 +0000 | [diff] [blame] | 474 | } |