blob: 8651e95391f47e4a42e16bfacb22e2f29f2c66e4 [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);
Reid Spencer9a29db42004-11-20 07:29:40 +0000108 } else if (mbr.isSVR4SymbolTable()) {
109 memcpy(hdr.name,ARFILE_SVR4_SYMTAB_NAME,16);
110 } else if (mbr.isBSD4SymbolTable()) {
111 memcpy(hdr.name,ARFILE_BSD4_SYMTAB_NAME,16);
Reid Spencercf6afc62004-11-14 21:56:59 +0000112 } else if (mbr.isLLVMSymbolTable()) {
113 memcpy(hdr.name,ARFILE_LLVM_SYMTAB_NAME,16);
114 } else if (TruncateNames) {
115 const char* nm = mbrPath.c_str();
116 unsigned len = mbrPath.length();
117 size_t slashpos = mbrPath.rfind('/');
118 if (slashpos != std::string::npos) {
119 nm += slashpos + 1;
120 len -= slashpos +1;
121 }
Reid Spencer87f90722004-11-16 06:47:30 +0000122 if (len > 15)
Reid Spencercf6afc62004-11-14 21:56:59 +0000123 len = 15;
Reid Spencer87f90722004-11-16 06:47:30 +0000124 memcpy(hdr.name,nm,len);
Reid Spencercf6afc62004-11-14 21:56:59 +0000125 hdr.name[len] = '/';
126 } else if (mbrPath.length() < 16 && mbrPath.find('/') == std::string::npos) {
Reid Spencerd4543da2004-11-17 18:28:29 +0000127 memcpy(hdr.name,mbrPath.c_str(),mbrPath.length());
Reid Spencercf6afc62004-11-14 21:56:59 +0000128 hdr.name[mbrPath.length()] = '/';
129 } else {
130 std::string nm = "#1/";
131 nm += utostr(mbrPath.length());
Reid Spencerd4543da2004-11-17 18:28:29 +0000132 memcpy(hdr.name,nm.data(),nm.length());
Reid Spencer96ce3352004-11-17 16:14:21 +0000133 if (sz < 0)
134 sz -= mbrPath.length();
135 else
136 sz += mbrPath.length();
Reid Spencercf6afc62004-11-14 21:56:59 +0000137 writeLongName = true;
138 }
Reid Spencer96ce3352004-11-17 16:14:21 +0000139
140 // Set the size field
141 if (sz < 0) {
142 buffer[0] = '-';
143 sprintf(&buffer[1],"%-9u",(unsigned)-sz);
144 } else {
145 sprintf(buffer, "%-10u", (unsigned)sz);
146 }
147 memcpy(hdr.size,buffer,10);
148
Reid Spencercf6afc62004-11-14 21:56:59 +0000149 return writeLongName;
150}
151
Reid Spencer87f90722004-11-16 06:47:30 +0000152// Insert a file into the archive before some other member. This also takes care
153// of extracting the necessary flags and information from the file.
Reid Spencercf6afc62004-11-14 21:56:59 +0000154void
155Archive::addFileBefore(const sys::Path& filePath, iterator where) {
156 assert(filePath.exists() && "Can't add a non-existent file");
157
158 ArchiveMember* mbr = new ArchiveMember(this);
159
160 mbr->data = 0;
161 mbr->path = filePath;
162 mbr->path.getStatusInfo(mbr->info);
163
164 unsigned flags = 0;
165 bool hasSlash = filePath.get().find('/') != std::string::npos;
166 if (hasSlash)
167 flags |= ArchiveMember::HasPathFlag;
168 if (hasSlash || filePath.get().length() > 15)
169 flags |= ArchiveMember::HasLongFilenameFlag;
170 std::string magic;
171 mbr->path.getMagicNumber(magic,4);
172 switch (sys::IdentifyFileType(magic.c_str(),4)) {
173 case sys::BytecodeFileType:
174 flags |= ArchiveMember::BytecodeFlag;
175 break;
176 case sys::CompressedBytecodeFileType:
177 flags |= ArchiveMember::CompressedBytecodeFlag;
178 break;
179 default:
180 break;
181 }
182 mbr->flags = flags;
183 members.insert(where,mbr);
184}
185
Reid Spencer87f90722004-11-16 06:47:30 +0000186// Write one member out to the file.
Reid Spencercf6afc62004-11-14 21:56:59 +0000187void
188Archive::writeMember(
189 const ArchiveMember& member,
190 std::ofstream& ARFile,
191 bool CreateSymbolTable,
192 bool TruncateNames,
193 bool ShouldCompress
194) {
195
196 unsigned filepos = ARFile.tellp();
197 filepos -= 8;
198
199 // Get the data and its size either from the
200 // member's in-memory data or directly from the file.
201 size_t fSize = member.getSize();
202 const char* data = (const char*)member.getData();
203 sys::MappedFile* mFile = 0;
204 if (!data) {
205 mFile = new sys::MappedFile(member.getPath());
206 data = (const char*) mFile->map();
207 fSize = mFile->size();
208 }
209
210 // Now that we have the data in memory, update the
211 // symbol table if its a bytecode file.
212 if (CreateSymbolTable &&
213 (member.isBytecode() || member.isCompressedBytecode())) {
214 std::vector<std::string> symbols;
Reid Spencerd4543da2004-11-17 18:28:29 +0000215 std::string FullMemberName = archPath.get() + "(" + member.getPath().get()
216 + ")";
Reid Spencer766b7932004-11-15 01:20:11 +0000217 ModuleProvider* MP = GetBytecodeSymbols(
Reid Spencerd4543da2004-11-17 18:28:29 +0000218 (const unsigned char*)data,fSize,FullMemberName, symbols);
Reid Spencercf6afc62004-11-14 21:56:59 +0000219
Reid Spencer766b7932004-11-15 01:20:11 +0000220 // If the bytecode parsed successfully
221 if ( MP ) {
222 for (std::vector<std::string>::iterator SI = symbols.begin(),
223 SE = symbols.end(); SI != SE; ++SI) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000224
Reid Spencer766b7932004-11-15 01:20:11 +0000225 std::pair<SymTabType::iterator,bool> Res =
226 symTab.insert(std::make_pair(*SI,filepos));
227
228 if (Res.second) {
229 symTabSize += SI->length() +
230 numVbrBytes(SI->length()) +
231 numVbrBytes(filepos);
232 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000233 }
Reid Spencer766b7932004-11-15 01:20:11 +0000234 // We don't need this module any more.
235 delete MP;
236 } else {
237 throw std::string("Can't parse bytecode member: ") +
238 member.getPath().get();
Reid Spencer362cbf02004-11-06 08:51:45 +0000239 }
240 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000241
Reid Spencercf6afc62004-11-14 21:56:59 +0000242 // Determine if we actually should compress this member
243 bool willCompress =
244 (ShouldCompress &&
Reid Spencercf6afc62004-11-14 21:56:59 +0000245 !member.isCompressed() &&
Reid Spencer9a29db42004-11-20 07:29:40 +0000246 !member.isCompressedBytecode() &&
247 !member.isLLVMSymbolTable() &&
248 !member.isSVR4SymbolTable() &&
249 !member.isBSD4SymbolTable());
Reid Spencer362cbf02004-11-06 08:51:45 +0000250
Reid Spencercf6afc62004-11-14 21:56:59 +0000251 // Perform the compression. Note that if the file is uncompressed bytecode
252 // then we turn the file into compressed bytecode rather than treating it as
253 // compressed data. This is necessary since it allows us to determine that the
254 // file contains bytecode instead of looking like a regular compressed data
255 // member. A compressed bytecode file has its content compressed but has a
256 // magic number of "llvc". This acounts for the +/-4 arithmetic in the code
257 // below.
258 int hdrSize;
259 if (willCompress) {
260 char* output = 0;
261 if (member.isBytecode()) {
262 data +=4;
263 fSize -= 4;
264 }
265 fSize = Compressor::compressToNewBuffer(
266 data,fSize,output,Compressor::COMP_TYPE_ZLIB);
267 data = output;
268 if (member.isBytecode())
269 hdrSize = -fSize-4;
270 else
271 hdrSize = -fSize;
272 } else {
273 hdrSize = fSize;
274 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000275
Reid Spencercf6afc62004-11-14 21:56:59 +0000276 // Compute the fields of the header
Reid Spencer362cbf02004-11-06 08:51:45 +0000277 ArchiveMemberHeader Hdr;
Reid Spencercf6afc62004-11-14 21:56:59 +0000278 bool writeLongName = fillHeader(member,Hdr,hdrSize,TruncateNames);
Reid Spencer362cbf02004-11-06 08:51:45 +0000279
280 // Write header to archive file
281 ARFile.write((char*)&Hdr, sizeof(Hdr));
Reid Spencer362cbf02004-11-06 08:51:45 +0000282
Reid Spencercf6afc62004-11-14 21:56:59 +0000283 // Write the long filename if its long
284 if (writeLongName) {
Reid Spencerd4543da2004-11-17 18:28:29 +0000285 ARFile.write(member.getPath().get().data(),member.getPath().get().length());
Reid Spencercf6afc62004-11-14 21:56:59 +0000286 }
287
288 // Make sure we write the compressed bytecode magic number if we should.
289 if (willCompress && member.isBytecode())
290 ARFile.write("llvc",4);
291
292 // Write the (possibly compressed) member's content to the file.
293 ARFile.write(data,fSize);
294
295 // Make sure the member is an even length
Reid Spencer6405c9e2004-11-19 17:08:00 +0000296 if (ARFile.tellp() & 1 == 1)
Reid Spencercf6afc62004-11-14 21:56:59 +0000297 ARFile << ARFILE_PAD;
298
299 // Free the compressed data, if necessary
300 if (willCompress) {
301 free((void*)data);
302 }
303
304 // Close the mapped file if it was opened
305 if (mFile != 0) {
306 mFile->unmap();
307 delete mFile;
308 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000309}
310
Reid Spencer87f90722004-11-16 06:47:30 +0000311// Write out the LLVM symbol table as an archive member to the file.
Reid Spencer362cbf02004-11-06 08:51:45 +0000312void
Reid Spencer87f90722004-11-16 06:47:30 +0000313Archive::writeSymbolTable(std::ofstream& ARFile) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000314
315 // Construct the symbol table's header
316 ArchiveMemberHeader Hdr;
317 Hdr.init();
318 memcpy(Hdr.name,ARFILE_LLVM_SYMTAB_NAME,16);
319 uint64_t secondsSinceEpoch = sys::TimeValue::now().toEpochTime();
320 char buffer[32];
321 sprintf(buffer,"%-12u", unsigned(secondsSinceEpoch));
322 memcpy(Hdr.date,buffer,12);
323 sprintf(buffer,"%-10u",symTabSize);
324 memcpy(Hdr.size,buffer,10);
325
326 // Write the header
327 ARFile.write((char*)&Hdr, sizeof(Hdr));
328
329 // Save the starting position of the symbol tables data content.
330 unsigned startpos = ARFile.tellp();
331
Reid Spencercf6afc62004-11-14 21:56:59 +0000332 // Write out the symbols sequentially
333 for ( Archive::SymTabType::iterator I = symTab.begin(), E = symTab.end();
334 I != E; ++I)
335 {
336 // Write out the file index
337 writeInteger(I->second, ARFile);
338 // Write out the length of the symbol
339 writeInteger(I->first.length(), ARFile);
340 // Write out the symbol
341 ARFile.write(I->first.data(), I->first.length());
Reid Spencer362cbf02004-11-06 08:51:45 +0000342 }
343
Reid Spencercf6afc62004-11-14 21:56:59 +0000344 // Now that we're done with the symbol table, get the ending file position
345 unsigned endpos = ARFile.tellp();
Reid Spencer362cbf02004-11-06 08:51:45 +0000346
Reid Spencercf6afc62004-11-14 21:56:59 +0000347 // Make sure that the amount we wrote is what we pre-computed. This is
348 // critical for file integrity purposes.
349 assert(endpos - startpos == symTabSize && "Invalid symTabSize computation");
Reid Spencer362cbf02004-11-06 08:51:45 +0000350
Reid Spencercf6afc62004-11-14 21:56:59 +0000351 // Make sure the symbol table is even sized
352 if (symTabSize % 2 != 0 )
353 ARFile << ARFILE_PAD;
Reid Spencer362cbf02004-11-06 08:51:45 +0000354}
355
Reid Spencer87f90722004-11-16 06:47:30 +0000356// Write the entire archive to the file specified when the archive was created.
357// This writes to a temporary file first. Options are for creating a symbol
358// table, flattening the file names (no directories, 15 chars max) and
359// compressing each archive member.
Reid Spencercf6afc62004-11-14 21:56:59 +0000360void
Reid Spencer87f90722004-11-16 06:47:30 +0000361Archive::writeToDisk(bool CreateSymbolTable, bool TruncateNames, bool Compress){
Reid Spencercf6afc62004-11-14 21:56:59 +0000362
363 // Make sure they haven't opened up the file, not loaded it,
364 // but are now trying to write it which would wipe out the file.
Reid Spencer87f90722004-11-16 06:47:30 +0000365 assert(!(members.empty() && mapfile->size() > 8) &&
366 "Can't write an archive not opened for writing");
Reid Spencercf6afc62004-11-14 21:56:59 +0000367
368 // Create a temporary file to store the archive in
369 sys::Path TmpArchive = archPath;
370 TmpArchive.createTemporaryFile();
371
372 // Make sure the temporary gets removed if we crash
373 sys::RemoveFileOnSignal(TmpArchive);
374
375 // Ensure we can remove the temporary even in the face of an exception
376 try {
377 // Create archive file for output.
378 std::ofstream ArchiveFile(TmpArchive.c_str());
379
380 // Check for errors opening or creating archive file.
381 if ( !ArchiveFile.is_open() || ArchiveFile.bad() ) {
382 throw std::string("Error opening archive file: ") + archPath.get();
383 }
384
385 // If we're creating a symbol table, reset it now
386 if (CreateSymbolTable) {
387 symTabSize = 0;
388 symTab.clear();
389 }
390
391 // Write magic string to archive.
392 ArchiveFile << ARFILE_MAGIC;
393
394 // Loop over all member files, and write them out. Note that this also
395 // builds the symbol table, symTab.
396 for ( MembersList::iterator I = begin(), E = end(); I != E; ++I) {
397 writeMember(*I,ArchiveFile,CreateSymbolTable,TruncateNames,Compress);
398 }
399
400 // Close archive file.
401 ArchiveFile.close();
402
403 // Write the symbol table
404 if (CreateSymbolTable) {
405 // At this point we have written a file that is a legal archive but it
406 // doesn't have a symbol table in it. To aid in faster reading and to
407 // ensure compatibility with other archivers we need to put the symbol
408 // table first in the file. Unfortunately, this means mapping the file
409 // we just wrote back in and copying it to the destination file.
Reid Spencer87f90722004-11-16 06:47:30 +0000410
411 // Map in the archive we just wrote.
Reid Spencercf6afc62004-11-14 21:56:59 +0000412 sys::MappedFile arch(TmpArchive);
413 const char* base = (const char*) arch.map();
414
415 // Open the final file to write and check it.
416 std::ofstream FinalFile(archPath.c_str());
417 if ( !FinalFile.is_open() || FinalFile.bad() ) {
418 throw std::string("Error opening archive file: ") + archPath.get();
419 }
420
421 // Write the file magic number
422 FinalFile << ARFILE_MAGIC;
423
Reid Spencer9a29db42004-11-20 07:29:40 +0000424 // If there is a foreign symbol table, put it into the file now. Most
425 // ar(1) implementations require the symbol table to be first but llvm-ar
426 // can deal with it being after a foreign symbol table. This ensures
427 // compatibility with other ar(1) implementations as well as allowing the
428 // archive to store both native .o and LLVM .bc files, both indexed.
Reid Spencer87f90722004-11-16 06:47:30 +0000429 if (foreignST) {
430 writeMember(*foreignST, FinalFile, false, false, false);
431 }
432
433 // Put out the LLVM symbol table now.
434 writeSymbolTable(FinalFile);
Reid Spencercf6afc62004-11-14 21:56:59 +0000435
436 // Copy the temporary file contents being sure to skip the file's magic
437 // number.
438 FinalFile.write(base + sizeof(ARFILE_MAGIC)-1,
439 arch.size()-sizeof(ARFILE_MAGIC)+1);
440
441 // Close up shop
442 FinalFile.close();
443 arch.unmap();
444 TmpArchive.destroyFile();
445
446 } else {
447 // We don't have to insert the symbol table, so just renaming the temp
448 // file to the correct name will suffice.
449 TmpArchive.renameFile(archPath);
450 }
451 } catch (...) {
452 // Make sure we clean up.
453 if (TmpArchive.exists())
454 TmpArchive.destroyFile();
455 throw;
456 }
457}