blob: 64c256718e8726711815e50a2288e4edc70aac53 [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
Reid Spencer1fce0912004-12-11 00:14:15 +000097 std::string mbrPath = mbr.getPath().toString();
Reid Spencerd4543da2004-11-17 18:28:29 +000098 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;
Reid Spencer1fce0912004-12-11 00:14:15 +0000165 bool hasSlash = filePath.toString().find('/') != std::string::npos;
Reid Spencercf6afc62004-11-14 21:56:59 +0000166 if (hasSlash)
167 flags |= ArchiveMember::HasPathFlag;
Reid Spencer1fce0912004-12-11 00:14:15 +0000168 if (hasSlash || filePath.toString().length() > 15)
Reid Spencercf6afc62004-11-14 21:56:59 +0000169 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 Spencer1fce0912004-12-11 00:14:15 +0000215 std::string FullMemberName = archPath.toString() + "(" +
216 member.getPath().toString()
Reid Spencerd4543da2004-11-17 18:28:29 +0000217 + ")";
Reid Spencer766b7932004-11-15 01:20:11 +0000218 ModuleProvider* MP = GetBytecodeSymbols(
Reid Spencerd4543da2004-11-17 18:28:29 +0000219 (const unsigned char*)data,fSize,FullMemberName, symbols);
Reid Spencercf6afc62004-11-14 21:56:59 +0000220
Reid Spencer766b7932004-11-15 01:20:11 +0000221 // If the bytecode parsed successfully
222 if ( MP ) {
223 for (std::vector<std::string>::iterator SI = symbols.begin(),
224 SE = symbols.end(); SI != SE; ++SI) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000225
Reid Spencer766b7932004-11-15 01:20:11 +0000226 std::pair<SymTabType::iterator,bool> Res =
227 symTab.insert(std::make_pair(*SI,filepos));
228
229 if (Res.second) {
230 symTabSize += SI->length() +
231 numVbrBytes(SI->length()) +
232 numVbrBytes(filepos);
233 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000234 }
Reid Spencer766b7932004-11-15 01:20:11 +0000235 // We don't need this module any more.
236 delete MP;
237 } else {
238 throw std::string("Can't parse bytecode member: ") +
Reid Spencer1fce0912004-12-11 00:14:15 +0000239 member.getPath().toString();
Reid Spencer362cbf02004-11-06 08:51:45 +0000240 }
241 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000242
Reid Spencercf6afc62004-11-14 21:56:59 +0000243 // Determine if we actually should compress this member
244 bool willCompress =
245 (ShouldCompress &&
Reid Spencercf6afc62004-11-14 21:56:59 +0000246 !member.isCompressed() &&
Reid Spencer9a29db42004-11-20 07:29:40 +0000247 !member.isCompressedBytecode() &&
248 !member.isLLVMSymbolTable() &&
249 !member.isSVR4SymbolTable() &&
250 !member.isBSD4SymbolTable());
Reid Spencer362cbf02004-11-06 08:51:45 +0000251
Reid Spencercf6afc62004-11-14 21:56:59 +0000252 // Perform the compression. Note that if the file is uncompressed bytecode
253 // then we turn the file into compressed bytecode rather than treating it as
254 // compressed data. This is necessary since it allows us to determine that the
255 // file contains bytecode instead of looking like a regular compressed data
256 // member. A compressed bytecode file has its content compressed but has a
257 // magic number of "llvc". This acounts for the +/-4 arithmetic in the code
258 // below.
259 int hdrSize;
260 if (willCompress) {
261 char* output = 0;
262 if (member.isBytecode()) {
263 data +=4;
264 fSize -= 4;
265 }
Reid Spencer84472d62004-11-25 19:38:05 +0000266 fSize = Compressor::compressToNewBuffer(data,fSize,output);
Reid Spencercf6afc62004-11-14 21:56:59 +0000267 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 Spencer1fce0912004-12-11 00:14:15 +0000285 ARFile.write(member.getPath().toString().data(),
286 member.getPath().toString().length());
Reid Spencercf6afc62004-11-14 21:56:59 +0000287 }
288
289 // Make sure we write the compressed bytecode magic number if we should.
290 if (willCompress && member.isBytecode())
291 ARFile.write("llvc",4);
292
293 // Write the (possibly compressed) member's content to the file.
294 ARFile.write(data,fSize);
295
296 // Make sure the member is an even length
Reid Spencer6405c9e2004-11-19 17:08:00 +0000297 if (ARFile.tellp() & 1 == 1)
Reid Spencercf6afc62004-11-14 21:56:59 +0000298 ARFile << ARFILE_PAD;
299
300 // Free the compressed data, if necessary
301 if (willCompress) {
302 free((void*)data);
303 }
304
305 // Close the mapped file if it was opened
306 if (mFile != 0) {
307 mFile->unmap();
308 delete mFile;
309 }
Reid Spencer362cbf02004-11-06 08:51:45 +0000310}
311
Reid Spencer87f90722004-11-16 06:47:30 +0000312// Write out the LLVM symbol table as an archive member to the file.
Reid Spencer362cbf02004-11-06 08:51:45 +0000313void
Reid Spencer87f90722004-11-16 06:47:30 +0000314Archive::writeSymbolTable(std::ofstream& ARFile) {
Reid Spencercf6afc62004-11-14 21:56:59 +0000315
316 // Construct the symbol table's header
317 ArchiveMemberHeader Hdr;
318 Hdr.init();
319 memcpy(Hdr.name,ARFILE_LLVM_SYMTAB_NAME,16);
320 uint64_t secondsSinceEpoch = sys::TimeValue::now().toEpochTime();
321 char buffer[32];
322 sprintf(buffer,"%-12u", unsigned(secondsSinceEpoch));
323 memcpy(Hdr.date,buffer,12);
324 sprintf(buffer,"%-10u",symTabSize);
325 memcpy(Hdr.size,buffer,10);
326
327 // Write the header
328 ARFile.write((char*)&Hdr, sizeof(Hdr));
329
330 // Save the starting position of the symbol tables data content.
331 unsigned startpos = ARFile.tellp();
332
Reid Spencercf6afc62004-11-14 21:56:59 +0000333 // Write out the symbols sequentially
334 for ( Archive::SymTabType::iterator I = symTab.begin(), E = symTab.end();
335 I != E; ++I)
336 {
337 // Write out the file index
338 writeInteger(I->second, ARFile);
339 // Write out the length of the symbol
340 writeInteger(I->first.length(), ARFile);
341 // Write out the symbol
342 ARFile.write(I->first.data(), I->first.length());
Reid Spencer362cbf02004-11-06 08:51:45 +0000343 }
344
Reid Spencercf6afc62004-11-14 21:56:59 +0000345 // Now that we're done with the symbol table, get the ending file position
346 unsigned endpos = ARFile.tellp();
Reid Spencer362cbf02004-11-06 08:51:45 +0000347
Reid Spencercf6afc62004-11-14 21:56:59 +0000348 // Make sure that the amount we wrote is what we pre-computed. This is
349 // critical for file integrity purposes.
350 assert(endpos - startpos == symTabSize && "Invalid symTabSize computation");
Reid Spencer362cbf02004-11-06 08:51:45 +0000351
Reid Spencercf6afc62004-11-14 21:56:59 +0000352 // Make sure the symbol table is even sized
353 if (symTabSize % 2 != 0 )
354 ARFile << ARFILE_PAD;
Reid Spencer362cbf02004-11-06 08:51:45 +0000355}
356
Reid Spencer87f90722004-11-16 06:47:30 +0000357// Write the entire archive to the file specified when the archive was created.
358// This writes to a temporary file first. Options are for creating a symbol
359// table, flattening the file names (no directories, 15 chars max) and
360// compressing each archive member.
Reid Spencercf6afc62004-11-14 21:56:59 +0000361void
Reid Spencer87f90722004-11-16 06:47:30 +0000362Archive::writeToDisk(bool CreateSymbolTable, bool TruncateNames, bool Compress){
Reid Spencercf6afc62004-11-14 21:56:59 +0000363
364 // Make sure they haven't opened up the file, not loaded it,
365 // but are now trying to write it which would wipe out the file.
Reid Spencer87f90722004-11-16 06:47:30 +0000366 assert(!(members.empty() && mapfile->size() > 8) &&
367 "Can't write an archive not opened for writing");
Reid Spencercf6afc62004-11-14 21:56:59 +0000368
369 // Create a temporary file to store the archive in
370 sys::Path TmpArchive = archPath;
371 TmpArchive.createTemporaryFile();
372
373 // Make sure the temporary gets removed if we crash
374 sys::RemoveFileOnSignal(TmpArchive);
375
376 // Ensure we can remove the temporary even in the face of an exception
377 try {
378 // Create archive file for output.
379 std::ofstream ArchiveFile(TmpArchive.c_str());
380
381 // Check for errors opening or creating archive file.
382 if ( !ArchiveFile.is_open() || ArchiveFile.bad() ) {
Reid Spencer1fce0912004-12-11 00:14:15 +0000383 throw std::string("Error opening archive file: ") + archPath.toString();
Reid Spencercf6afc62004-11-14 21:56:59 +0000384 }
385
386 // If we're creating a symbol table, reset it now
387 if (CreateSymbolTable) {
388 symTabSize = 0;
389 symTab.clear();
390 }
391
392 // Write magic string to archive.
393 ArchiveFile << ARFILE_MAGIC;
394
395 // Loop over all member files, and write them out. Note that this also
396 // builds the symbol table, symTab.
397 for ( MembersList::iterator I = begin(), E = end(); I != E; ++I) {
398 writeMember(*I,ArchiveFile,CreateSymbolTable,TruncateNames,Compress);
399 }
400
401 // Close archive file.
402 ArchiveFile.close();
403
404 // Write the symbol table
405 if (CreateSymbolTable) {
406 // At this point we have written a file that is a legal archive but it
407 // doesn't have a symbol table in it. To aid in faster reading and to
408 // ensure compatibility with other archivers we need to put the symbol
409 // table first in the file. Unfortunately, this means mapping the file
410 // we just wrote back in and copying it to the destination file.
Reid Spencer87f90722004-11-16 06:47:30 +0000411
412 // Map in the archive we just wrote.
Reid Spencercf6afc62004-11-14 21:56:59 +0000413 sys::MappedFile arch(TmpArchive);
414 const char* base = (const char*) arch.map();
415
416 // Open the final file to write and check it.
417 std::ofstream FinalFile(archPath.c_str());
418 if ( !FinalFile.is_open() || FinalFile.bad() ) {
Reid Spencer1fce0912004-12-11 00:14:15 +0000419 throw std::string("Error opening archive file: ") + archPath.toString();
Reid Spencercf6afc62004-11-14 21:56:59 +0000420 }
421
422 // Write the file magic number
423 FinalFile << ARFILE_MAGIC;
424
Reid Spencer9a29db42004-11-20 07:29:40 +0000425 // If there is a foreign symbol table, put it into the file now. Most
426 // ar(1) implementations require the symbol table to be first but llvm-ar
427 // can deal with it being after a foreign symbol table. This ensures
428 // compatibility with other ar(1) implementations as well as allowing the
429 // archive to store both native .o and LLVM .bc files, both indexed.
Reid Spencer87f90722004-11-16 06:47:30 +0000430 if (foreignST) {
431 writeMember(*foreignST, FinalFile, false, false, false);
432 }
433
434 // Put out the LLVM symbol table now.
435 writeSymbolTable(FinalFile);
Reid Spencercf6afc62004-11-14 21:56:59 +0000436
437 // Copy the temporary file contents being sure to skip the file's magic
438 // number.
439 FinalFile.write(base + sizeof(ARFILE_MAGIC)-1,
440 arch.size()-sizeof(ARFILE_MAGIC)+1);
441
442 // Close up shop
443 FinalFile.close();
444 arch.unmap();
445 TmpArchive.destroyFile();
446
447 } else {
448 // We don't have to insert the symbol table, so just renaming the temp
449 // file to the correct name will suffice.
450 TmpArchive.renameFile(archPath);
451 }
452 } catch (...) {
453 // Make sure we clean up.
454 if (TmpArchive.exists())
455 TmpArchive.destroyFile();
456 throw;
457 }
458}