blob: 1d8530fc785838e023fdb5a5f1831b886d35820f [file] [log] [blame]
Chris Lattner23219d12003-09-22 23:42:00 +00001//===- ArchiveReader.cpp - Code to read LLVM bytecode from .a files -------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattner968cfd02003-04-19 21:45:34 +00009//
10// This file implements the ReadArchiveFile interface, which allows a linker to
11// read all of the LLVM bytecode files contained in a .a file. This file
12// understands the standard system .a file format. This can only handle the .a
Misha Brukman09ff1502003-04-23 02:59:05 +000013// variant prevalent on Linux systems so far, but may be extended. See
Chris Lattner968cfd02003-04-19 21:45:34 +000014// information in this source file for more information:
15// http://sources.redhat.com/cgi-bin/cvsweb.cgi/src/bfd/archive.c?cvsroot=src
16//
17//===----------------------------------------------------------------------===//
18
19#include "llvm/Bytecode/Reader.h"
20#include "llvm/Module.h"
Chris Lattnerb70abe12003-12-30 07:40:35 +000021#include "Support/FileUtilities.h"
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000022#include <cstdlib>
Reid Spencer77cf2962004-07-04 11:01:27 +000023#include <iostream>
Chris Lattner3446ae82004-01-10 19:00:15 +000024using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000025
Chris Lattner968cfd02003-04-19 21:45:34 +000026namespace {
27 struct ar_hdr {
28 char name[16];
29 char date[12];
30 char uid[6];
31 char gid[6];
32 char mode[8];
33 char size[10];
34 char fmag[2]; // Always equal to '`\n'
35 };
36
37 enum ObjectType {
38 UserObject, // A user .o/.bc file
39 Unknown, // Unknown file, just ignore it
40 SVR4LongFilename, // a "//" section used for long file names
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000041 ArchiveSymbolTable, // Symbol table produced by ranlib.
Chris Lattner968cfd02003-04-19 21:45:34 +000042 };
43}
44
Brian Gaeke3c096362003-12-11 00:38:04 +000045/// getObjectType - Determine the type of object that this header represents.
46/// This is capable of parsing the variety of special sections used for various
47/// purposes.
48///
Brian Gaeke60d6e542004-03-31 19:51:00 +000049static enum ObjectType getObjectType(ar_hdr *H, std::string MemberName,
50 unsigned char *MemberData, unsigned Size) {
Chris Lattner968cfd02003-04-19 21:45:34 +000051 // Check for sections with special names...
Brian Gaeke60d6e542004-03-31 19:51:00 +000052 if (MemberName == "__.SYMDEF " || MemberName == "__.SYMDEF SORTED")
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000053 return ArchiveSymbolTable;
Brian Gaeke60d6e542004-03-31 19:51:00 +000054 else if (MemberName == "// ")
Chris Lattner968cfd02003-04-19 21:45:34 +000055 return SVR4LongFilename;
56
57 // Check to see if it looks like an llvm object file...
Brian Gaeke3c096362003-12-11 00:38:04 +000058 if (Size >= 4 && !memcmp(MemberData, "llvm", 4))
Chris Lattner968cfd02003-04-19 21:45:34 +000059 return UserObject;
60
61 return Unknown;
62}
63
Chris Lattner968cfd02003-04-19 21:45:34 +000064static inline bool Error(std::string *ErrorStr, const char *Message) {
65 if (ErrorStr) *ErrorStr = Message;
66 return true;
67}
68
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000069static bool ParseSymbolTableSection(unsigned char *Buffer, unsigned Size,
70 std::string *S) {
71 // Currently not supported (succeeds without doing anything)
72 return false;
73}
Chris Lattner968cfd02003-04-19 21:45:34 +000074
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000075static bool ReadArchiveBuffer(const std::string &ArchiveName,
Chris Lattner75f20532003-04-22 18:02:52 +000076 unsigned char *Buffer, unsigned Length,
Chris Lattner968cfd02003-04-19 21:45:34 +000077 std::vector<Module*> &Objects,
78 std::string *ErrorStr) {
79 if (Length < 8 || memcmp(Buffer, "!<arch>\n", 8))
80 return Error(ErrorStr, "signature incorrect for an archive file!");
81 Buffer += 8; Length -= 8; // Skip the magic string.
82
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000083 std::vector<char> LongFilenames;
Chris Lattner968cfd02003-04-19 21:45:34 +000084
85 while (Length >= sizeof(ar_hdr)) {
86 ar_hdr *Hdr = (ar_hdr*)Buffer;
Brian Gaeke3c096362003-12-11 00:38:04 +000087 unsigned SizeFromHeader = atoi(Hdr->size);
88 if (SizeFromHeader + sizeof(ar_hdr) > Length)
Chris Lattner968cfd02003-04-19 21:45:34 +000089 return Error(ErrorStr, "invalid record length in archive file!");
90
Brian Gaeke3c096362003-12-11 00:38:04 +000091 unsigned char *MemberData = Buffer + sizeof(ar_hdr);
92 unsigned MemberSize = SizeFromHeader;
Brian Gaeke2c61d7b2003-11-16 23:08:48 +000093 // Get name of archive member.
94 char *startp = Hdr->name;
Brian Gaeke3c096362003-12-11 00:38:04 +000095 char *endp = (char *) memchr (startp, '/', sizeof(ar_hdr));
96 if (memcmp (Hdr->name, "#1/", 3) == 0) {
97 // 4.4BSD/MacOSX long filenames are abbreviated as "#1/L", where L is an
98 // ASCII-coded decimal number representing the length of the name buffer,
99 // which is prepended to the archive member's contents.
100 unsigned NameLength = atoi (&Hdr->name[3]);
101 startp = (char *) MemberData;
102 endp = startp + NameLength;
103 MemberData += NameLength;
104 MemberSize -= NameLength;
105 } else if (startp == endp && isdigit (Hdr->name[1])) {
106 // SVR4 long filenames are abbreviated as "/I", where I is
107 // an ASCII-coded decimal index into the LongFilenames vector.
108 unsigned NameIndex = atoi (&Hdr->name[1]);
109 assert (LongFilenames.size () > NameIndex
110 && "SVR4-style long filename for archive member not found");
111 startp = &LongFilenames[NameIndex];
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000112 endp = strchr (startp, '/');
Brian Gaeke60d6e542004-03-31 19:51:00 +0000113 } else if (startp == endp && Hdr->name[1] == '/') {
114 // This is for the SVR4 long filename table (there might be other
115 // names starting with // but I don't know about them). Make sure that
116 // getObjectType sees it.
117 endp = &Hdr->name[sizeof (Hdr->name)];
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000118 }
Brian Gaeke3c096362003-12-11 00:38:04 +0000119 if (!endp) {
120 // 4.4BSD/MacOSX *short* filenames are not guaranteed to have a
121 // terminator. Start at the end of the field and backtrack over spaces.
122 endp = startp + sizeof(Hdr->name);
123 while (endp[-1] == ' ')
124 --endp;
125 }
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000126 std::string MemberName (startp, endp);
John Criswell90591582003-12-22 16:22:49 +0000127 std::string FullMemberName = ArchiveName + "(" + MemberName + ")";
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000128
Brian Gaeke60d6e542004-03-31 19:51:00 +0000129 switch (getObjectType(Hdr, MemberName, MemberData, MemberSize)) {
Chris Lattner968cfd02003-04-19 21:45:34 +0000130 case SVR4LongFilename:
131 // If this is a long filename section, read all of the file names into the
132 // LongFilenames vector.
Brian Gaeke3c096362003-12-11 00:38:04 +0000133 LongFilenames.assign (MemberData, MemberData + MemberSize);
Chris Lattner968cfd02003-04-19 21:45:34 +0000134 break;
135 case UserObject: {
Brian Gaeke3c096362003-12-11 00:38:04 +0000136 Module *M = ParseBytecodeBuffer(MemberData, MemberSize,
John Criswell90591582003-12-22 16:22:49 +0000137 FullMemberName, ErrorStr);
Chris Lattner968cfd02003-04-19 21:45:34 +0000138 if (!M) return true;
139 Objects.push_back(M);
140 break;
141 }
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000142 case ArchiveSymbolTable:
Brian Gaeke3c096362003-12-11 00:38:04 +0000143 if (ParseSymbolTableSection(MemberData, MemberSize, ErrorStr))
Brian Gaeke2c61d7b2003-11-16 23:08:48 +0000144 return true;
145 break;
146 default:
147 std::cerr << "ReadArchiveBuffer: WARNING: Skipping unknown file: "
John Criswell90591582003-12-22 16:22:49 +0000148 << FullMemberName << "\n";
Chris Lattner968cfd02003-04-19 21:45:34 +0000149 break; // Just ignore unknown files.
150 }
151
Brian Gaeke3c096362003-12-11 00:38:04 +0000152 // Round SizeFromHeader up to an even number...
153 SizeFromHeader = (SizeFromHeader+1)/2*2;
154 Buffer += sizeof(ar_hdr)+SizeFromHeader; // Move to the next entry
155 Length -= sizeof(ar_hdr)+SizeFromHeader;
Chris Lattner968cfd02003-04-19 21:45:34 +0000156 }
157
158 return Length != 0;
159}
160
161
Misha Brukman37f92e22003-09-11 22:34:13 +0000162// ReadArchiveFile - Read bytecode files from the specified .a file, returning
Chris Lattner968cfd02003-04-19 21:45:34 +0000163// true on error, or false on success. This does not support reading files from
164// standard input.
165//
Chris Lattner3446ae82004-01-10 19:00:15 +0000166bool llvm::ReadArchiveFile(const std::string &Filename,
167 std::vector<Module*> &Objects,std::string *ErrorStr){
Chris Lattnerfb777c22004-05-28 00:24:41 +0000168 unsigned Length;
Chris Lattnerb70abe12003-12-30 07:40:35 +0000169
Chris Lattner968cfd02003-04-19 21:45:34 +0000170 // mmap in the file all at once...
Chris Lattnerfb777c22004-05-28 00:24:41 +0000171 unsigned char *Buffer =
172 (unsigned char*)ReadFileIntoAddressSpace(Filename, Length);
173 if (Buffer == 0) {
174 if (ErrorStr) *ErrorStr = "Error reading file '" + Filename + "'!";
175 return true;
176 }
Chris Lattner968cfd02003-04-19 21:45:34 +0000177
178 // Parse the archive files we mmap'ped in
Chris Lattner75f20532003-04-22 18:02:52 +0000179 bool Result = ReadArchiveBuffer(Filename, Buffer, Length, Objects, ErrorStr);
Chris Lattner968cfd02003-04-19 21:45:34 +0000180
181 // Unmmap the archive...
Chris Lattnerfb777c22004-05-28 00:24:41 +0000182 UnmapFileFromAddressSpace(Buffer, Length);
Chris Lattner968cfd02003-04-19 21:45:34 +0000183
184 if (Result) // Free any loaded objects
185 while (!Objects.empty()) {
186 delete Objects.back();
187 Objects.pop_back();
188 }
189
190 return Result;
191}