blob: c3c7d12676e0139e245bc317eba8a411303eacda [file] [log] [blame]
Reid Spencercf6afc62004-11-14 21:56:59 +00001//===-- ArchiveWriter.cpp - Write LLVM archive files ----------------------===//
Reid Spencer362cbf02004-11-06 08:51:45 +00002//
3// The LLVM Compiler Infrastructure
4//
Reid Spencercf6afc62004-11-14 21:56:59 +00005// This file was developed by Reid Spencer and is distributed under the
Reid Spencer362cbf02004-11-06 08:51:45 +00006// University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Reid Spencercf6afc62004-11-14 21:56:59 +000010// Builds up an LLVM archive file (.a) containing LLVM bytecode.
Reid Spencer362cbf02004-11-06 08:51:45 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "ArchiveInternals.h"
Reid Spencer362cbf02004-11-06 08:51:45 +000015#include "llvm/Bytecode/Reader.h"
16#include "llvm/Support/FileUtilities.h"
Reid Spencercf6afc62004-11-14 21:56:59 +000017#include "llvm/Support/Compressor.h"
18#include "llvm/System/Signals.h"
Reid Spencer362cbf02004-11-06 08:51:45 +000019#include <fstream>
20#include <iostream>
Reid Spencercf6afc62004-11-14 21:56:59 +000021#include <iomanip>
Reid Spencer362cbf02004-11-06 08:51:45 +000022
23using namespace llvm;
24
Reid Spencercf6afc62004-11-14 21:56:59 +000025// Write an integer using variable bit rate encoding. This saves a few bytes
26// per entry in the symbol table.
27inline void writeInteger(unsigned num, std::ofstream& ARFile) {
28 while (1) {
29 if (num < 0x80) { // done?
30 ARFile << (unsigned char)num;
31 return;
32 }
33
34 // Nope, we are bigger than a character, output the next 7 bits and set the
35 // high bit to say that there is more coming...
36 ARFile << (unsigned char)(0x80 | ((unsigned char)num & 0x7F));
37 num >>= 7; // Shift out 7 bits now...
38 }
39}
40
41// Compute how many bytes are taken by a given VBR encoded value. This is needed
42// to pre-compute the size of the symbol table.
43inline unsigned numVbrBytes(unsigned num) {
Reid Spencercf6afc62004-11-14 21:56:59 +000044
Reid Spencer87f90722004-11-16 06:47:30 +000045 // Note that the following nested ifs are somewhat equivalent to a binary
46 // search. We split it in half by comparing against 2^14 first. This allows
47 // most reasonable values to be done in 2 comparisons instead of 1 for
48 // small ones and four for large ones. We expect this to access file offsets
Reid Spencer30e40562004-11-16 07:05:16 +000049 // in the 2^10 to 2^24 range and symbol lengths in the 2^0 to 2^8 range,
Reid Spencer87f90722004-11-16 06:47:30 +000050 // so this approach is reasonable.
51 if (num < 1<<14)
52 if (num < 1<<7)
53 return 1;
54 else
55 return 2;
56 if (num < 1<<21)
57 return 3;
58
59 if (num < 1<<28)
60 return 4;
61 return 5; // anything >= 2^28 takes 5 bytes
Reid Spencercf6afc62004-11-14 21:56:59 +000062}
63
64// Create an empty archive.
Reid Spencer362cbf02004-11-06 08:51:45 +000065Archive*
Reid Spencercf6afc62004-11-14 21:56:59 +000066Archive::CreateEmpty(const sys::Path& FilePath ) {
67 Archive* result = new Archive(FilePath,false);
Reid Spencer362cbf02004-11-06 08:51:45 +000068 return result;
69}
70
Reid Spencer87f90722004-11-16 06:47:30 +000071// Fill the ArchiveMemberHeader with the information from a member. If
72// TruncateNames is true, names are flattened to 15 chars or less. The sz field
73// is provided here instead of coming from the mbr because the member might be
74// stored compressed and the compressed size is not the ArchiveMember's size.
75// Furthermore compressed files have negative size fields to identify them as
76// compressed.
Reid Spencercf6afc62004-11-14 21:56:59 +000077bool
78Archive::fillHeader(const ArchiveMember &mbr, ArchiveMemberHeader& hdr,
79 int sz, bool TruncateNames) const {
Reid Spencer362cbf02004-11-06 08:51:45 +000080
Reid Spencercf6afc62004-11-14 21:56:59 +000081 // Set the permissions mode, uid and gid
82 hdr.init();
83 char buffer[32];
84 sprintf(buffer, "%-8o", mbr.getMode());
85 memcpy(hdr.mode,buffer,8);
86 sprintf(buffer, "%-6u", mbr.getUser());
87 memcpy(hdr.uid,buffer,6);
88 sprintf(buffer, "%-6u", mbr.getGroup());
89 memcpy(hdr.gid,buffer,6);
90
Reid Spencercf6afc62004-11-14 21:56:59 +000091 // Set the last modification date
92 uint64_t secondsSinceEpoch = mbr.getModTime().toEpochTime();
93 sprintf(buffer,"%-12u", unsigned(secondsSinceEpoch));
94 memcpy(hdr.date,buffer,12);
95
Reid Spencerd4543da2004-11-17 18:28:29 +000096 // Get rid of trailing blanks in the name
97 std::string mbrPath = mbr.getPath().get();
98 size_t mbrLen = mbrPath.length();
99 while (mbrLen > 0 && mbrPath[mbrLen-1] == ' ') {
100 mbrPath.erase(mbrLen-1,1);
101 mbrLen--;
102 }
103
Reid Spencercf6afc62004-11-14 21:56:59 +0000104 // Set the name field in one of its various flavors.
105 bool writeLongName = false;
Reid Spencercf6afc62004-11-14 21:56:59 +0000106 if (mbr.isStringTable()) {
107 memcpy(hdr.name,ARFILE_STRTAB_NAME,16);
108 } else if (mbr.isForeignSymbolTable()) {
109 memcpy(hdr.name,ARFILE_SYMTAB_NAME,16);
110 } else if (mbr.isLLVMSymbolTable()) {
111 memcpy(hdr.name,ARFILE_LLVM_SYMTAB_NAME,16);
112 } else if (TruncateNames) {
113 const char* nm = mbrPath.c_str();
114 unsigned len = mbrPath.length();
115 size_t slashpos = mbrPath.rfind('/');
116 if (slashpos != std::string::npos) {
117 nm += slashpos + 1;
118 len -= slashpos +1;
119 }
Reid Spencer87f90722004-11-16 06:47:30 +0000120 if (len > 15)
Reid Spencercf6afc62004-11-14 21:56:59 +0000121 len = 15;
Reid Spencer87f90722004-11-16 06:47:30 +0000122 memcpy(hdr.name,nm,len);
Reid Spencercf6afc62004-11-14 21:56:59 +0000123 hdr.name[len] = '/';
124 } else if (mbrPath.length() < 16 && mbrPath.find('/') == std::string::npos) {
Reid Spencerd4543da2004-11-17 18:28:29 +0000125 memcpy(hdr.name,mbrPath.c_str(),mbrPath.length());
Reid Spencercf6afc62004-11-14 21:56:59 +0000126 hdr.name[mbrPath.length()] = '/';
127 } else {
128 std::string nm = "#1/";
129 nm += utostr(mbrPath.length());
Reid Spencerd4543da2004-11-17 18:28:29 +0000130 memcpy(hdr.name,nm.data(),nm.length());
Reid Spencer96ce3352004-11-17 16:14:21 +0000131 if (sz < 0)
132 sz -= mbrPath.length();
133 else
134 sz += mbrPath.length();
Reid Spencercf6afc62004-11-14 21:56:59 +0000135 writeLongName = true;
136 }
Reid Spencer96ce3352004-11-17 16:14:21 +0000137
138 // Set the size field
139 if (sz < 0) {
140 buffer[0] = '-';
141 sprintf(&buffer[1],"%-9u",(unsigned)-sz);
142 } else {
143 sprintf(buffer, "%-10u", (unsigned)sz);
144 }
145 memcpy(hdr.size,buffer,10);
146
Reid Spencercf6afc62004-11-14 21:56:59 +0000147 return writeLongName;
148}
149
Reid Spencer87f90722004-11-16 06:47:30 +0000150// Insert a file into the archive before some other member. This also takes care
151// of extracting the necessary flags and information from the file.
Reid Spencercf6afc62004-11-14 21:56:59 +0000152void
153Archive::addFileBefore(const sys::Path& filePath, iterator where) {
154 assert(filePath.exists() && "Can't add a non-existent file");
155
156 ArchiveMember* mbr = new ArchiveMember(this);
157
158 mbr->data = 0;
159 mbr->path = filePath;
160 mbr->path.getStatusInfo(mbr->info);
161
162 unsigned flags = 0;
163 bool hasSlash = filePath.get().find('/') != std::string::npos;
164 if (hasSlash)
165 flags |= ArchiveMember::HasPathFlag;
166 if (hasSlash || filePath.get().length() > 15)
167 flags |= ArchiveMember::HasLongFilenameFlag;
168 std::string magic;
169 mbr->path.getMagicNumber(magic,4);
170 switch (sys::IdentifyFileType(magic.c_str(),4)) {
171 case sys::BytecodeFileType:
172 flags |= ArchiveMember::BytecodeFlag;
173 break;
174 case sys::CompressedBytecodeFileType:
175 flags |= ArchiveMember::CompressedBytecodeFlag;
176 break;
177 default:
178 break;
179 }
180 mbr->flags = flags;
181 members.insert(where,mbr);
182}
183
Reid Spencer87f90722004-11-16 06:47:30 +0000184// Write one member out to the file.
Reid Spencercf6afc62004-11-14 21:56:59 +0000185void
186Archive::writeMember(
187 const ArchiveMember& member,
188 std::ofstream& ARFile,
189 bool CreateSymbolTable,
190 bool TruncateNames,
191 bool ShouldCompress
192) {
193
194 unsigned filepos = ARFile.tellp();
195 filepos -= 8;
196
197 // Get the data and its size either from the
198 // member's in-memory data or directly from the file.
199 size_t fSize = member.getSize();
200 const char* data = (const char*)member.getData();
201 sys::MappedFile* mFile = 0;
202 if (!data) {
203 mFile = new sys::MappedFile(member.getPath());
204 data = (const char*) mFile->map();
205 fSize = mFile->size();
206 }
207
208 // Now that we have the data in memory, update the
209 // symbol table if its a bytecode file.
210 if (CreateSymbolTable &&
211 (member.isBytecode() || member.isCompressedBytecode())) {
212 std::vector<std::string> symbols;
Reid Spencerd4543da2004-11-17 18:28:29 +0000213 std::string FullMemberName = archPath.get() + "(" + member.getPath().get()
214 + ")";
Reid Spencer766b7932004-11-15 01:20:11 +0000215 ModuleProvider* MP = GetBytecodeSymbols(
Reid Spencerd4543da2004-11-17 18:28:29 +0000216 (const unsigned char*)data,fSize,FullMemberName, symbols);
Reid Spencercf6afc62004-11-14 21:56:59 +0000217
Reid Spencer766b7932004-11-15 01:20:11 +0000218 // If the bytecode parsed successfully
219 if ( MP ) {
220 for (std::vector<std::string>::iterator SI = symbols.begin(),
221 SE = symbols.end(); SI != SE; ++SI) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000222
Reid Spencer766b7932004-11-15 01:20:11 +0000223 std::pair<SymTabType::iterator,bool> Res =
224 symTab.insert(std::make_pair(*SI,filepos));
225
226 if (Res.second) {
227 symTabSize += SI->length() +
228 numVbrBytes(SI->length()) +
229 numVbrBytes(filepos);
230 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000231 }
Reid Spencer766b7932004-11-15 01:20:11 +0000232 // We don't need this module any more.
233 delete MP;
234 } else {
235 throw std::string("Can't parse bytecode member: ") +
236 member.getPath().get();
Reid Spencer362cbf02004-11-06 08:51:45 +0000237 }
238 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000239
Reid Spencercf6afc62004-11-14 21:56:59 +0000240 // Determine if we actually should compress this member
241 bool willCompress =
242 (ShouldCompress &&
243 !member.isForeignSymbolTable() &&
244 !member.isLLVMSymbolTable() &&
245 !member.isCompressed() &&
246 !member.isCompressedBytecode());
Reid Spencer362cbf02004-11-06 08:51:45 +0000247
Reid Spencercf6afc62004-11-14 21:56:59 +0000248 // Perform the compression. Note that if the file is uncompressed bytecode
249 // then we turn the file into compressed bytecode rather than treating it as
250 // compressed data. This is necessary since it allows us to determine that the
251 // file contains bytecode instead of looking like a regular compressed data
252 // member. A compressed bytecode file has its content compressed but has a
253 // magic number of "llvc". This acounts for the +/-4 arithmetic in the code
254 // below.
255 int hdrSize;
256 if (willCompress) {
257 char* output = 0;
258 if (member.isBytecode()) {
259 data +=4;
260 fSize -= 4;
261 }
262 fSize = Compressor::compressToNewBuffer(
263 data,fSize,output,Compressor::COMP_TYPE_ZLIB);
264 data = output;
265 if (member.isBytecode())
266 hdrSize = -fSize-4;
267 else
268 hdrSize = -fSize;
269 } else {
270 hdrSize = fSize;
271 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000272
Reid Spencercf6afc62004-11-14 21:56:59 +0000273 // Compute the fields of the header
Reid Spencer362cbf02004-11-06 08:51:45 +0000274 ArchiveMemberHeader Hdr;
Reid Spencercf6afc62004-11-14 21:56:59 +0000275 bool writeLongName = fillHeader(member,Hdr,hdrSize,TruncateNames);
Reid Spencer362cbf02004-11-06 08:51:45 +0000276
277 // Write header to archive file
278 ARFile.write((char*)&Hdr, sizeof(Hdr));
Reid Spencer362cbf02004-11-06 08:51:45 +0000279
Reid Spencercf6afc62004-11-14 21:56:59 +0000280 // Write the long filename if its long
281 if (writeLongName) {
Reid Spencerd4543da2004-11-17 18:28:29 +0000282 ARFile.write(member.getPath().get().data(),member.getPath().get().length());
Reid Spencercf6afc62004-11-14 21:56:59 +0000283 }
284
285 // Make sure we write the compressed bytecode magic number if we should.
286 if (willCompress && member.isBytecode())
287 ARFile.write("llvc",4);
288
289 // Write the (possibly compressed) member's content to the file.
290 ARFile.write(data,fSize);
291
292 // Make sure the member is an even length
Reid Spencer6405c9e2004-11-19 17:08:00 +0000293 if (ARFile.tellp() & 1 == 1)
Reid Spencercf6afc62004-11-14 21:56:59 +0000294 ARFile << ARFILE_PAD;
295
296 // Free the compressed data, if necessary
297 if (willCompress) {
298 free((void*)data);
299 }
300
301 // Close the mapped file if it was opened
302 if (mFile != 0) {
303 mFile->unmap();
304 delete mFile;
305 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000306}
307
Reid Spencer87f90722004-11-16 06:47:30 +0000308// Write out the LLVM symbol table as an archive member to the file.
Reid Spencer362cbf02004-11-06 08:51:45 +0000309void
Reid Spencer87f90722004-11-16 06:47:30 +0000310Archive::writeSymbolTable(std::ofstream& ARFile) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000311
312 // Construct the symbol table's header
313 ArchiveMemberHeader Hdr;
314 Hdr.init();
315 memcpy(Hdr.name,ARFILE_LLVM_SYMTAB_NAME,16);
316 uint64_t secondsSinceEpoch = sys::TimeValue::now().toEpochTime();
317 char buffer[32];
318 sprintf(buffer,"%-12u", unsigned(secondsSinceEpoch));
319 memcpy(Hdr.date,buffer,12);
320 sprintf(buffer,"%-10u",symTabSize);
321 memcpy(Hdr.size,buffer,10);
322
323 // Write the header
324 ARFile.write((char*)&Hdr, sizeof(Hdr));
325
326 // Save the starting position of the symbol tables data content.
327 unsigned startpos = ARFile.tellp();
328
Reid Spencercf6afc62004-11-14 21:56:59 +0000329 // Write out the symbols sequentially
330 for ( Archive::SymTabType::iterator I = symTab.begin(), E = symTab.end();
331 I != E; ++I)
332 {
333 // Write out the file index
334 writeInteger(I->second, ARFile);
335 // Write out the length of the symbol
336 writeInteger(I->first.length(), ARFile);
337 // Write out the symbol
338 ARFile.write(I->first.data(), I->first.length());
Reid Spencer362cbf02004-11-06 08:51:45 +0000339 }
340
Reid Spencercf6afc62004-11-14 21:56:59 +0000341 // Now that we're done with the symbol table, get the ending file position
342 unsigned endpos = ARFile.tellp();
Reid Spencer362cbf02004-11-06 08:51:45 +0000343
Reid Spencercf6afc62004-11-14 21:56:59 +0000344 // Make sure that the amount we wrote is what we pre-computed. This is
345 // critical for file integrity purposes.
346 assert(endpos - startpos == symTabSize && "Invalid symTabSize computation");
Reid Spencer362cbf02004-11-06 08:51:45 +0000347
Reid Spencercf6afc62004-11-14 21:56:59 +0000348 // Make sure the symbol table is even sized
349 if (symTabSize % 2 != 0 )
350 ARFile << ARFILE_PAD;
Reid Spencer362cbf02004-11-06 08:51:45 +0000351}
352
Reid Spencer87f90722004-11-16 06:47:30 +0000353// Write the entire archive to the file specified when the archive was created.
354// This writes to a temporary file first. Options are for creating a symbol
355// table, flattening the file names (no directories, 15 chars max) and
356// compressing each archive member.
Reid Spencercf6afc62004-11-14 21:56:59 +0000357void
Reid Spencer87f90722004-11-16 06:47:30 +0000358Archive::writeToDisk(bool CreateSymbolTable, bool TruncateNames, bool Compress){
Reid Spencercf6afc62004-11-14 21:56:59 +0000359
360 // Make sure they haven't opened up the file, not loaded it,
361 // but are now trying to write it which would wipe out the file.
Reid Spencer87f90722004-11-16 06:47:30 +0000362 assert(!(members.empty() && mapfile->size() > 8) &&
363 "Can't write an archive not opened for writing");
Reid Spencercf6afc62004-11-14 21:56:59 +0000364
365 // Create a temporary file to store the archive in
366 sys::Path TmpArchive = archPath;
367 TmpArchive.createTemporaryFile();
368
369 // Make sure the temporary gets removed if we crash
370 sys::RemoveFileOnSignal(TmpArchive);
371
372 // Ensure we can remove the temporary even in the face of an exception
373 try {
374 // Create archive file for output.
375 std::ofstream ArchiveFile(TmpArchive.c_str());
376
377 // Check for errors opening or creating archive file.
378 if ( !ArchiveFile.is_open() || ArchiveFile.bad() ) {
379 throw std::string("Error opening archive file: ") + archPath.get();
380 }
381
382 // If we're creating a symbol table, reset it now
383 if (CreateSymbolTable) {
384 symTabSize = 0;
385 symTab.clear();
386 }
387
388 // Write magic string to archive.
389 ArchiveFile << ARFILE_MAGIC;
390
391 // Loop over all member files, and write them out. Note that this also
392 // builds the symbol table, symTab.
393 for ( MembersList::iterator I = begin(), E = end(); I != E; ++I) {
394 writeMember(*I,ArchiveFile,CreateSymbolTable,TruncateNames,Compress);
395 }
396
397 // Close archive file.
398 ArchiveFile.close();
399
400 // Write the symbol table
401 if (CreateSymbolTable) {
402 // At this point we have written a file that is a legal archive but it
403 // doesn't have a symbol table in it. To aid in faster reading and to
404 // ensure compatibility with other archivers we need to put the symbol
405 // table first in the file. Unfortunately, this means mapping the file
406 // we just wrote back in and copying it to the destination file.
Reid Spencer87f90722004-11-16 06:47:30 +0000407
408 // Map in the archive we just wrote.
Reid Spencercf6afc62004-11-14 21:56:59 +0000409 sys::MappedFile arch(TmpArchive);
410 const char* base = (const char*) arch.map();
411
412 // Open the final file to write and check it.
413 std::ofstream FinalFile(archPath.c_str());
414 if ( !FinalFile.is_open() || FinalFile.bad() ) {
415 throw std::string("Error opening archive file: ") + archPath.get();
416 }
417
418 // Write the file magic number
419 FinalFile << ARFILE_MAGIC;
420
Reid Spencer87f90722004-11-16 06:47:30 +0000421 // If there is a foreign symbol table, put it into the file now.
422 if (foreignST) {
423 writeMember(*foreignST, FinalFile, false, false, false);
424 }
425
426 // Put out the LLVM symbol table now.
427 writeSymbolTable(FinalFile);
Reid Spencercf6afc62004-11-14 21:56:59 +0000428
429 // Copy the temporary file contents being sure to skip the file's magic
430 // number.
431 FinalFile.write(base + sizeof(ARFILE_MAGIC)-1,
432 arch.size()-sizeof(ARFILE_MAGIC)+1);
433
434 // Close up shop
435 FinalFile.close();
436 arch.unmap();
437 TmpArchive.destroyFile();
438
439 } else {
440 // We don't have to insert the symbol table, so just renaming the temp
441 // file to the correct name will suffice.
442 TmpArchive.renameFile(archPath);
443 }
444 } catch (...) {
445 // Make sure we clean up.
446 if (TmpArchive.exists())
447 TmpArchive.destroyFile();
448 throw;
449 }
450}