1 //===-- llvm-ar.cpp - LLVM archive librarian utility ----------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Builds up (relatively) standard unix archive files (.a) containing LLVM
11 // bitcode or other files.
13 //===----------------------------------------------------------------------===//
16 #include "llvm/IR/LLVMContext.h"
17 #include "llvm/IR/Module.h"
18 #include "llvm/Support/CommandLine.h"
19 #include "llvm/Support/FileSystem.h"
20 #include "llvm/Support/Format.h"
21 #include "llvm/Support/ManagedStatic.h"
22 #include "llvm/Support/PathV1.h"
23 #include "llvm/Support/PrettyStackTrace.h"
24 #include "llvm/Support/Signals.h"
25 #include "llvm/Support/raw_ostream.h"
32 // Option for compatibility with AIX, not used but must allow it to be present.
34 X32Option ("X32_64", cl::Hidden,
35 cl::desc("Ignored option for compatibility with AIX"));
37 // llvm-ar operation code and modifier flags. This must come first.
38 static cl::opt<std::string>
39 Options(cl::Positional, cl::Required, cl::desc("{operation}[modifiers]..."));
41 // llvm-ar remaining positional arguments.
42 static cl::list<std::string>
43 RestOfArgs(cl::Positional, cl::OneOrMore,
44 cl::desc("[relpos] [count] <archive-file> [members]..."));
46 // MoreHelp - Provide additional help output explaining the operations and
47 // modifiers of llvm-ar. This object instructs the CommandLine library
48 // to print the text of the constructor when the --help option is given.
49 static cl::extrahelp MoreHelp(
51 " d[NsS] - delete file(s) from the archive\n"
52 " m[abiSs] - move file(s) in the archive\n"
53 " p[kN] - print file(s) found in the archive\n"
54 " q[ufsS] - quick append file(s) to the archive\n"
55 " r[abfiuRsS] - replace or insert file(s) into the archive\n"
56 " t - display contents of archive\n"
57 " x[No] - extract file(s) from the archive\n"
58 "\nMODIFIERS (operation specific):\n"
59 " [a] - put file(s) after [relpos]\n"
60 " [b] - put file(s) before [relpos] (same as [i])\n"
61 " [f] - truncate inserted file names\n"
62 " [i] - put file(s) before [relpos] (same as [b])\n"
63 " [k] - always print bitcode files (default is to skip them)\n"
64 " [N] - use instance [count] of name\n"
65 " [o] - preserve original dates\n"
66 " [P] - use full path names when matching\n"
67 " [R] - recurse through directories when inserting\n"
68 " [s] - create an archive index (cf. ranlib)\n"
69 " [S] - do not build a symbol table\n"
70 " [u] - update only files newer than archive contents\n"
71 "\nMODIFIERS (generic):\n"
72 " [c] - do not warn if the library had to be created\n"
73 " [v] - be verbose about actions taken\n"
74 " [V] - be *really* verbose about actions taken\n"
77 // This enumeration delineates the kinds of operations on an archive
78 // that are permitted.
79 enum ArchiveOperation {
80 NoOperation, ///< An operation hasn't been specified
81 Print, ///< Print the contents of the archive
82 Delete, ///< Delete the specified members
83 Move, ///< Move members to end or as given by {a,b,i} modifiers
84 QuickAppend, ///< Quickly append to end of archive
85 ReplaceOrInsert, ///< Replace or Insert members
86 DisplayTable, ///< Display the table of contents
87 Extract ///< Extract files back to file system
90 // Modifiers to follow operation to vary behavior
91 bool AddAfter = false; ///< 'a' modifier
92 bool AddBefore = false; ///< 'b' modifier
93 bool Create = false; ///< 'c' modifier
94 bool TruncateNames = false; ///< 'f' modifier
95 bool InsertBefore = false; ///< 'i' modifier
96 bool DontSkipBitcode = false; ///< 'k' modifier
97 bool UseCount = false; ///< 'N' modifier
98 bool OriginalDates = false; ///< 'o' modifier
99 bool FullPath = false; ///< 'P' modifier
100 bool SymTable = true; ///< 's' & 'S' modifiers
101 bool OnlyUpdate = false; ///< 'u' modifier
102 bool Verbose = false; ///< 'v' modifier
103 bool ReallyVerbose = false; ///< 'V' modifier
105 // Relative Positional Argument (for insert/move). This variable holds
106 // the name of the archive member to which the 'a', 'b' or 'i' modifier
107 // refers. Only one of 'a', 'b' or 'i' can be specified so we only need
111 // Select which of multiple entries in the archive with the same name should be
112 // used (specified with -N) for the delete and extract operations.
115 // This variable holds the name of the archive file as given on the
117 std::string ArchiveName;
119 // This variable holds the list of member files to proecess, as given
120 // on the command line.
121 std::vector<std::string> Members;
123 // This variable holds the (possibly expanded) list of path objects that
124 // correspond to files we will
125 std::set<std::string> Paths;
127 // The Archive object to which all the editing operations will be sent.
128 Archive* TheArchive = 0;
130 // The name this program was invoked as.
131 static const char *program_name;
133 // show_help - Show the error message, the help message and exit.
134 LLVM_ATTRIBUTE_NORETURN static void
135 show_help(const std::string &msg) {
136 errs() << program_name << ": " << msg << "\n\n";
137 cl::PrintHelpMessage();
143 // fail - Show the error message and exit.
144 LLVM_ATTRIBUTE_NORETURN static void
145 fail(const std::string &msg) {
146 errs() << program_name << ": " << msg << "\n\n";
152 // getRelPos - Extract the member filename from the command line for
153 // the [relpos] argument associated with a, b, and i modifiers
155 if(RestOfArgs.size() == 0)
156 show_help("Expected [relpos] for a, b, or i modifier");
157 RelPos = RestOfArgs[0];
158 RestOfArgs.erase(RestOfArgs.begin());
161 // getCount - Extract the [count] argument associated with the N modifier
162 // from the command line and check its value.
164 if(RestOfArgs.size() == 0)
165 show_help("Expected [count] value with N modifier");
167 Count = atoi(RestOfArgs[0].c_str());
168 RestOfArgs.erase(RestOfArgs.begin());
170 // Non-positive counts are not allowed
172 show_help("Invalid [count] value (not a positive integer)");
175 // getArchive - Get the archive file name from the command line
177 if(RestOfArgs.size() == 0)
178 show_help("An archive name must be specified");
179 ArchiveName = RestOfArgs[0];
180 RestOfArgs.erase(RestOfArgs.begin());
183 // getMembers - Copy over remaining items in RestOfArgs to our Members vector
184 // This is just for clarity.
186 if(RestOfArgs.size() > 0)
187 Members = std::vector<std::string>(RestOfArgs);
190 // parseCommandLine - Parse the command line options as presented and return the
191 // operation specified. Process all modifiers and check to make sure that
192 // constraints on modifier/operation pairs have not been violated.
193 ArchiveOperation parseCommandLine() {
195 // Keep track of number of operations. We can only specify one
197 unsigned NumOperations = 0;
199 // Keep track of the number of positional modifiers (a,b,i). Only
200 // one can be specified.
201 unsigned NumPositional = 0;
203 // Keep track of which operation was requested
204 ArchiveOperation Operation = NoOperation;
206 for(unsigned i=0; i<Options.size(); ++i) {
208 case 'd': ++NumOperations; Operation = Delete; break;
209 case 'm': ++NumOperations; Operation = Move ; break;
210 case 'p': ++NumOperations; Operation = Print; break;
211 case 'q': ++NumOperations; Operation = QuickAppend; break;
212 case 'r': ++NumOperations; Operation = ReplaceOrInsert; break;
213 case 't': ++NumOperations; Operation = DisplayTable; break;
214 case 'x': ++NumOperations; Operation = Extract; break;
215 case 'c': Create = true; break;
216 case 'f': TruncateNames = true; break;
217 case 'k': DontSkipBitcode = true; break;
218 case 'l': /* accepted but unused */ break;
219 case 'o': OriginalDates = true; break;
220 case 'P': FullPath = true; break;
221 case 's': SymTable = true; break;
222 case 'S': SymTable = false; break;
223 case 'u': OnlyUpdate = true; break;
224 case 'v': Verbose = true; break;
225 case 'V': Verbose = ReallyVerbose = true; break;
246 cl::PrintHelpMessage();
250 // At this point, the next thing on the command line must be
254 // Everything on the command line at this point is a member.
257 // Perform various checks on the operation/modifier specification
258 // to make sure we are dealing with a legal request.
259 if (NumOperations == 0)
260 show_help("You must specify at least one of the operations");
261 if (NumOperations > 1)
262 show_help("Only one operation may be specified");
263 if (NumPositional > 1)
264 show_help("You may only specify one of a, b, and i modifiers");
265 if (AddAfter || AddBefore || InsertBefore) {
266 if (Operation != Move && Operation != ReplaceOrInsert)
267 show_help("The 'a', 'b' and 'i' modifiers can only be specified with "
268 "the 'm' or 'r' operations");
270 if (OriginalDates && Operation != Extract)
271 show_help("The 'o' modifier is only applicable to the 'x' operation");
272 if (TruncateNames && Operation!=QuickAppend && Operation!=ReplaceOrInsert)
273 show_help("The 'f' modifier is only applicable to the 'q' and 'r' "
275 if (OnlyUpdate && Operation != ReplaceOrInsert)
276 show_help("The 'u' modifier is only applicable to the 'r' operation");
277 if (Count > 1 && Members.size() > 1)
278 show_help("Only one member name may be specified with the 'N' modifier");
280 // Return the parsed operation to the caller
284 // buildPaths - Convert the strings in the Members vector to sys::Path objects
285 // and make sure they are valid and exist exist. This check is only needed for
286 // the operations that add/replace files to the archive ('q' and 'r')
287 bool buildPaths(bool checkExistence, std::string* ErrMsg) {
288 for (unsigned i = 0; i < Members.size(); i++) {
289 std::string aPath = Members[i];
290 if (checkExistence) {
292 error_code EC = sys::fs::is_directory(aPath, IsDirectory);
294 fail(aPath + ": " + EC.message());
296 fail(aPath + " Is a directory");
306 // printSymbolTable - print out the archive's symbol table.
307 void printSymbolTable() {
308 outs() << "\nArchive Symbol Table:\n";
309 const Archive::SymTabType& symtab = TheArchive->getSymbolTable();
310 for (Archive::SymTabType::const_iterator I=symtab.begin(), E=symtab.end();
312 unsigned offset = TheArchive->getFirstFileOffset() + I->second;
313 outs() << " " << format("%9u", offset) << "\t" << I->first <<"\n";
317 // doPrint - Implements the 'p' operation. This function traverses the archive
318 // looking for members that match the path list. It is careful to uncompress
319 // things that should be and to skip bitcode files unless the 'k' modifier was
321 bool doPrint(std::string* ErrMsg) {
322 if (buildPaths(false, ErrMsg))
324 unsigned countDown = Count;
325 for (Archive::iterator I = TheArchive->begin(), E = TheArchive->end();
328 (std::find(Paths.begin(), Paths.end(), I->getPath()) != Paths.end())) {
329 if (countDown == 1) {
330 const char* data = reinterpret_cast<const char*>(I->getData());
332 // Skip things that don't make sense to print
333 if (I->isSVR4SymbolTable() ||
334 I->isBSD4SymbolTable() || (!DontSkipBitcode && I->isBitcode()))
338 outs() << "Printing " << I->getPath().str() << "\n";
340 unsigned len = I->getSize();
341 outs().write(data, len);
350 // putMode - utility function for printing out the file mode when the 't'
351 // operation is in verbose mode.
353 printMode(unsigned mode) {
368 // doDisplayTable - Implement the 't' operation. This function prints out just
369 // the file names of each of the members. However, if verbose mode is requested
370 // ('v' modifier) then the file type, permission mode, user, group, size, and
371 // modification time are also printed.
373 doDisplayTable(std::string* ErrMsg) {
374 if (buildPaths(false, ErrMsg))
376 for (Archive::iterator I = TheArchive->begin(), E = TheArchive->end();
379 (std::find(Paths.begin(), Paths.end(), I->getPath()) != Paths.end())) {
381 // FIXME: Output should be this format:
382 // Zrw-r--r-- 500/ 500 525 Nov 8 17:42 2004 Makefile
387 unsigned mode = I->getMode();
388 printMode((mode >> 6) & 007);
389 printMode((mode >> 3) & 007);
390 printMode(mode & 007);
391 outs() << " " << format("%4u", I->getUser());
392 outs() << "/" << format("%4u", I->getGroup());
393 outs() << " " << format("%8u", I->getSize());
394 outs() << " " << format("%20s", I->getModTime().str().substr(4).c_str());
395 outs() << " " << I->getPath().str() << "\n";
397 outs() << I->getPath().str() << "\n";
406 // doExtract - Implement the 'x' operation. This function extracts files back to
409 doExtract(std::string* ErrMsg) {
410 if (buildPaths(false, ErrMsg))
412 for (Archive::iterator I = TheArchive->begin(), E = TheArchive->end();
415 (std::find(Paths.begin(), Paths.end(), I->getPath()) != Paths.end())) {
417 // Make sure the intervening directories are created
419 sys::Path dirs(I->getPath());
420 dirs.eraseComponent();
421 if (dirs.createDirectoryOnDisk(/*create_parents=*/true, ErrMsg))
425 // Open up a file stream for writing
426 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
428 std::ofstream file(I->getPath().str().c_str(), io_mode);
430 // Get the data and its length
431 const char* data = reinterpret_cast<const char*>(I->getData());
432 unsigned len = I->getSize();
435 file.write(data,len);
438 sys::PathWithStatus PWS(I->getPath());
439 sys::FileStatus Status = *PWS.getFileStatus();
441 // Retain the original mode.
442 Status.mode = I->getMode();
444 // If we're supposed to retain the original modification times, etc. do so
447 Status.modTime = I->getModTime();
449 PWS.setStatusInfoOnDisk(Status);
455 // doDelete - Implement the delete operation. This function deletes zero or more
456 // members from the archive. Note that if the count is specified, there should
457 // be no more than one path in the Paths list or else this algorithm breaks.
458 // That check is enforced in parseCommandLine (above).
460 doDelete(std::string* ErrMsg) {
461 if (buildPaths(false, ErrMsg))
465 unsigned countDown = Count;
466 for (Archive::iterator I = TheArchive->begin(), E = TheArchive->end();
468 if (std::find(Paths.begin(), Paths.end(), I->getPath()) != Paths.end()) {
469 if (countDown == 1) {
470 Archive::iterator J = I;
472 TheArchive->erase(J);
480 // We're done editting, reconstruct the archive.
481 if (TheArchive->writeToDisk(SymTable,TruncateNames,ErrMsg))
488 // doMore - Implement the move operation. This function re-arranges just the
489 // order of the archive members so that when the archive is written the move
490 // of the members is accomplished. Note the use of the RelPos variable to
491 // determine where the items should be moved to.
493 doMove(std::string* ErrMsg) {
494 if (buildPaths(false, ErrMsg))
497 // By default and convention the place to move members to is the end of the
499 Archive::iterator moveto_spot = TheArchive->end();
501 // However, if the relative positioning modifiers were used, we need to scan
502 // the archive to find the member in question. If we don't find it, its no
503 // crime, we just move to the end.
504 if (AddBefore || InsertBefore || AddAfter) {
505 for (Archive::iterator I = TheArchive->begin(), E= TheArchive->end();
507 if (RelPos == I->getPath().str()) {
519 // Keep a list of the paths remaining to be moved
520 std::set<std::string> remaining(Paths);
522 // Scan the archive again, this time looking for the members to move to the
524 for (Archive::iterator I = TheArchive->begin(), E= TheArchive->end();
525 I != E && !remaining.empty(); ++I ) {
526 std::set<std::string>::iterator found =
527 std::find(remaining.begin(),remaining.end(), I->getPath());
528 if (found != remaining.end()) {
529 if (I != moveto_spot)
530 TheArchive->splice(moveto_spot,*TheArchive,I);
531 remaining.erase(found);
535 // We're done editting, reconstruct the archive.
536 if (TheArchive->writeToDisk(SymTable,TruncateNames,ErrMsg))
543 // doQuickAppend - Implements the 'q' operation. This function just
544 // indiscriminantly adds the members to the archive and rebuilds it.
546 doQuickAppend(std::string* ErrMsg) {
547 // Get the list of paths to append.
548 if (buildPaths(true, ErrMsg))
553 // Append them quickly.
554 for (std::set<std::string>::iterator PI = Paths.begin(), PE = Paths.end();
556 if (TheArchive->addFileBefore(*PI, TheArchive->end(), ErrMsg))
560 // We're done editting, reconstruct the archive.
561 if (TheArchive->writeToDisk(SymTable,TruncateNames,ErrMsg))
568 // doReplaceOrInsert - Implements the 'r' operation. This function will replace
569 // any existing files or insert new ones into the archive.
571 doReplaceOrInsert(std::string* ErrMsg) {
573 // Build the list of files to be added/replaced.
574 if (buildPaths(true, ErrMsg))
579 // Keep track of the paths that remain to be inserted.
580 std::set<std::string> remaining(Paths);
582 // Default the insertion spot to the end of the archive
583 Archive::iterator insert_spot = TheArchive->end();
585 // Iterate over the archive contents
586 for (Archive::iterator I = TheArchive->begin(), E = TheArchive->end();
587 I != E && !remaining.empty(); ++I ) {
589 // Determine if this archive member matches one of the paths we're trying
592 std::set<std::string>::iterator found = remaining.end();
593 for (std::set<std::string>::iterator RI = remaining.begin(),
594 RE = remaining.end(); RI != RE; ++RI ) {
595 std::string compare(*RI);
596 if (TruncateNames && compare.length() > 15) {
597 const char* nm = compare.c_str();
598 unsigned len = compare.length();
599 size_t slashpos = compare.rfind('/');
600 if (slashpos != std::string::npos) {
606 compare.assign(nm,len);
608 if (compare == I->getPath().str()) {
614 if (found != remaining.end()) {
616 sys::PathWithStatus PwS(*found);
617 const sys::FileStatus *si = PwS.getFileStatus(false, &Err);
622 // Replace the item only if it is newer.
623 if (si->modTime > I->getModTime())
624 if (I->replaceWith(*found, ErrMsg))
627 // Replace the item regardless of time stamp
628 if (I->replaceWith(*found, ErrMsg))
632 // We purposefully ignore directories.
635 // Remove it from our "to do" list
636 remaining.erase(found);
639 // Determine if this is the place where we should insert
640 if ((AddBefore || InsertBefore) && RelPos == I->getPath().str())
642 else if (AddAfter && RelPos == I->getPath().str()) {
648 // If we didn't replace all the members, some will remain and need to be
649 // inserted at the previously computed insert-spot.
650 if (!remaining.empty()) {
651 for (std::set<std::string>::iterator PI = remaining.begin(),
652 PE = remaining.end(); PI != PE; ++PI) {
653 if (TheArchive->addFileBefore(*PI, insert_spot, ErrMsg))
658 // We're done editting, reconstruct the archive.
659 if (TheArchive->writeToDisk(SymTable,TruncateNames,ErrMsg))
666 // main - main program for llvm-ar .. see comments in the code
667 int main(int argc, char **argv) {
668 program_name = argv[0];
669 // Print a stack trace if we signal out.
670 sys::PrintStackTraceOnErrorSignal();
671 PrettyStackTraceProgram X(argc, argv);
672 LLVMContext &Context = getGlobalContext();
673 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
675 // Have the command line options parsed and handle things
676 // like --help and --version.
677 cl::ParseCommandLineOptions(argc, argv,
678 "LLVM Archiver (llvm-ar)\n\n"
679 " This program archives bitcode files into single libraries\n"
684 // Do our own parsing of the command line because the CommandLine utility
685 // can't handle the grouped positional parameters without a dash.
686 ArchiveOperation Operation = parseCommandLine();
688 // Check the path name of the archive
689 sys::Path ArchivePath;
690 if (!ArchivePath.set(ArchiveName)) {
691 errs() << argv[0] << ": Archive name invalid: " << ArchiveName << "\n";
695 // Create or open the archive object.
697 if (llvm::sys::fs::exists(ArchivePath.str(), Exists) || !Exists) {
698 // Produce a warning if we should and we're creating the archive
700 errs() << argv[0] << ": creating " << ArchivePath.str() << "\n";
701 TheArchive = Archive::CreateEmpty(ArchivePath.str(), Context);
702 TheArchive->writeToDisk();
705 TheArchive = Archive::OpenAndLoad(ArchivePath.str(), Context, &Error);
706 if (TheArchive == 0) {
707 errs() << argv[0] << ": error loading '" << ArchivePath.str() << "': "
713 // Make sure we're not fooling ourselves.
714 assert(TheArchive && "Unable to instantiate the archive");
716 // Perform the operation
718 bool haveError = false;
720 case Print: haveError = doPrint(&ErrMsg); break;
721 case Delete: haveError = doDelete(&ErrMsg); break;
722 case Move: haveError = doMove(&ErrMsg); break;
723 case QuickAppend: haveError = doQuickAppend(&ErrMsg); break;
724 case ReplaceOrInsert: haveError = doReplaceOrInsert(&ErrMsg); break;
725 case DisplayTable: haveError = doDisplayTable(&ErrMsg); break;
726 case Extract: haveError = doExtract(&ErrMsg); break;
728 errs() << argv[0] << ": No operation was selected.\n";
732 errs() << argv[0] << ": " << ErrMsg << "\n";
739 // Return result code back to operating system.