Make a few definitions static. NFC.
[oota-llvm.git] / tools / llvm-ar / llvm-ar.cpp
index 7634a1a9e0ab3e12e32e03a695d7dc054c90e93c..42c95814ae67698fe827a2e9d69aac97ca02b72c 100644 (file)
+//===-- llvm-ar.cpp - LLVM archive librarian utility ----------------------===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
 //===----------------------------------------------------------------------===//
-// LLVM 'ar' UTILITY 
 //
-// This utility may be invoked in the following manner:
-//  llvm-ar archivename files..
+// Builds up (relatively) standard unix archive files (.a) containing LLVM
+// bitcode or other files.
 //
 //===----------------------------------------------------------------------===//
-#include "Support/CommandLine.h"
-#include "llvm/Bytecode/Reader.h"
-#include "llvm/Module.h"
-
-#include <string>
-#include <iostream>
-#include <fstream>
-#include <vector>
-#include <sys/stat.h>
-#include <stdio.h>
-#include <sys/types.h> 
-#include <fcntl.h>
+
+#include "llvm/ADT/StringSwitch.h"
+#include "llvm/ADT/Triple.h"
+#include "llvm/IR/LLVMContext.h"
+#include "llvm/IR/Module.h"
+#include "llvm/LibDriver/LibDriver.h"
+#include "llvm/Object/Archive.h"
+#include "llvm/Object/ArchiveWriter.h"
+#include "llvm/Object/ObjectFile.h"
+#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/Errc.h"
+#include "llvm/Support/FileSystem.h"
+#include "llvm/Support/Format.h"
+#include "llvm/Support/LineIterator.h"
+#include "llvm/Support/ManagedStatic.h"
+#include "llvm/Support/MemoryBuffer.h"
+#include "llvm/Support/Path.h"
+#include "llvm/Support/PrettyStackTrace.h"
+#include "llvm/Support/Signals.h"
+#include "llvm/Support/TargetSelect.h"
+#include "llvm/Support/ToolOutputFile.h"
+#include "llvm/Support/raw_ostream.h"
+#include <algorithm>
+#include <cstdlib>
+#include <memory>
+
+#if !defined(_MSC_VER) && !defined(__MINGW32__)
 #include <unistd.h>
-#include <sys/mman.h>
+#else
+#include <io.h>
+#endif
+
+using namespace llvm;
+
+// The name this program was invoked as.
+static StringRef ToolName;
 
+// Show the error message and exit.
+LLVM_ATTRIBUTE_NORETURN static void fail(Twine Error) {
+  outs() << ToolName << ": " << Error << ".\n";
+  exit(1);
+}
+
+static void failIfError(std::error_code EC, Twine Context = "") {
+  if (!EC)
+    return;
 
-using std::string;
-using std::vector;
-using std::cout;
+  std::string ContextStr = Context.str();
+  if (ContextStr == "")
+    fail(EC.message());
+  fail(Context + ": " + EC.message());
+}
 
+// llvm-ar/llvm-ranlib remaining positional arguments.
+static cl::list<std::string>
+    RestOfArgs(cl::Positional, cl::ZeroOrMore,
+               cl::desc("[relpos] [count] <archive-file> [members]..."));
 
-#define  ARFMAG    "\n"      /* header trailer string */ 
-#define  ARMAG   "!<arch>\n"  /* magic string */ 
-#define  SARMAG  8            /* length of magic string */ 
+static cl::opt<bool> MRI("M", cl::desc(""));
 
 namespace {
+enum Format { Default, GNU, BSD };
+}
+
+static cl::opt<Format>
+    FormatOpt("format", cl::desc("Archive format to create"),
+              cl::values(clEnumValN(Default, "defalut", "default"),
+                         clEnumValN(GNU, "gnu", "gnu"),
+                         clEnumValN(BSD, "bsd", "bsd"), clEnumValEnd));
+
+static std::string Options;
+
+// Provide additional help output explaining the operations and modifiers of
+// llvm-ar. This object instructs the CommandLine library to print the text of
+// the constructor when the --help option is given.
+static cl::extrahelp MoreHelp(
+  "\nOPERATIONS:\n"
+  "  d[NsS]       - delete file(s) from the archive\n"
+  "  m[abiSs]     - move file(s) in the archive\n"
+  "  p[kN]        - print file(s) found in the archive\n"
+  "  q[ufsS]      - quick append file(s) to the archive\n"
+  "  r[abfiuRsS]  - replace or insert file(s) into the archive\n"
+  "  t            - display contents of archive\n"
+  "  x[No]        - extract file(s) from the archive\n"
+  "\nMODIFIERS (operation specific):\n"
+  "  [a] - put file(s) after [relpos]\n"
+  "  [b] - put file(s) before [relpos] (same as [i])\n"
+  "  [i] - put file(s) before [relpos] (same as [b])\n"
+  "  [o] - preserve original dates\n"
+  "  [s] - create an archive index (cf. ranlib)\n"
+  "  [S] - do not build a symbol table\n"
+  "  [u] - update only files newer than archive contents\n"
+  "\nMODIFIERS (generic):\n"
+  "  [c] - do not warn if the library had to be created\n"
+  "  [v] - be verbose about actions taken\n"
+);
+
+// This enumeration delineates the kinds of operations on an archive
+// that are permitted.
+enum ArchiveOperation {
+  Print,            ///< Print the contents of the archive
+  Delete,           ///< Delete the specified members
+  Move,             ///< Move members to end or as given by {a,b,i} modifiers
+  QuickAppend,      ///< Quickly append to end of archive
+  ReplaceOrInsert,  ///< Replace or Insert members
+  DisplayTable,     ///< Display the table of contents
+  Extract,          ///< Extract files back to file system
+  CreateSymTab      ///< Create a symbol table in an existing archive
+};
+
+// Modifiers to follow operation to vary behavior
+static bool AddAfter = false;      ///< 'a' modifier
+static bool AddBefore = false;     ///< 'b' modifier
+static bool Create = false;        ///< 'c' modifier
+static bool OriginalDates = false; ///< 'o' modifier
+static bool OnlyUpdate = false;    ///< 'u' modifier
+static bool Verbose = false;       ///< 'v' modifier
+static bool Symtab = true;         ///< 's' modifier
+static bool Deterministic = true;  ///< 'D' and 'U' modifiers
+static bool Thin = false;          ///< 'T' modifier
+
+// Relative Positional Argument (for insert/move). This variable holds
+// the name of the archive member to which the 'a', 'b' or 'i' modifier
+// refers. Only one of 'a', 'b' or 'i' can be specified so we only need
+// one variable.
+static std::string RelPos;
+
+// This variable holds the name of the archive file as given on the
+// command line.
+static std::string ArchiveName;
+
+// This variable holds the list of member files to proecess, as given
+// on the command line.
+static std::vector<StringRef> Members;
+
+// Show the error message, the help message and exit.
+LLVM_ATTRIBUTE_NORETURN static void
+show_help(const std::string &msg) {
+  errs() << ToolName << ": " << msg << "\n\n";
+  cl::PrintHelpMessage();
+  std::exit(1);
+}
+
+// Extract the member filename from the command line for the [relpos] argument
+// associated with a, b, and i modifiers
+static void getRelPos() {
+  if(RestOfArgs.size() == 0)
+    show_help("Expected [relpos] for a, b, or i modifier");
+  RelPos = RestOfArgs[0];
+  RestOfArgs.erase(RestOfArgs.begin());
+}
+
+static void getOptions() {
+  if(RestOfArgs.size() == 0)
+    show_help("Expected options");
+  Options = RestOfArgs[0];
+  RestOfArgs.erase(RestOfArgs.begin());
+}
+
+// Get the archive file name from the command line
+static void getArchive() {
+  if(RestOfArgs.size() == 0)
+    show_help("An archive name must be specified");
+  ArchiveName = RestOfArgs[0];
+  RestOfArgs.erase(RestOfArgs.begin());
+}
+
+// Copy over remaining items in RestOfArgs to our Members vector
+static void getMembers() {
+  for (auto &Arg : RestOfArgs)
+    Members.push_back(Arg);
+}
+
+static void runMRIScript();
+
+// Parse the command line options as presented and return the operation
+// specified. Process all modifiers and check to make sure that constraints on
+// modifier/operation pairs have not been violated.
+static ArchiveOperation parseCommandLine() {
+  if (MRI) {
+    if (!RestOfArgs.empty())
+      fail("Cannot mix -M and other options");
+    runMRIScript();
+  }
 
-  // Each file member is preceded by a file member header. Which is
-  // of the following format:
-  //
-  // char ar_name[16]  - '/' terminated file member name. 
-  //                     If the file name does not fit, a dummy name is used.
-  // char ar_date[12]  - file date in decimal
-  // char ar_uid[6]    - User id of file owner in decimal.
-  // char ar_gid[6]    - Group ID file belongs to in decimal.
-  // char ar_mode[8]   - File mode in octal.
-  // char ar_size[10]  - Size of file in decimal.
-  // char ar_fmag[2]   - Trailer of header file, a newline.
-  struct ar_hdr {
-    char name[16];
-    char date[12];
-    char uid[6];
-    char gid[6];
-    char mode[8];
-    char size[10];
-    char fmag[2]; 
-    void init() {
-      memset(name,' ',16);
-      memset(date,' ',12);
-      memset(uid,' ',6);
-      memset(gid,' ',6);
-      memset(mode,' ',8);
-      memset(size,' ',10);
-      memset(fmag,' ',2);
+  getOptions();
+
+  // Keep track of number of operations. We can only specify one
+  // per execution.
+  unsigned NumOperations = 0;
+
+  // Keep track of the number of positional modifiers (a,b,i). Only
+  // one can be specified.
+  unsigned NumPositional = 0;
+
+  // Keep track of which operation was requested
+  ArchiveOperation Operation;
+
+  bool MaybeJustCreateSymTab = false;
+
+  for(unsigned i=0; i<Options.size(); ++i) {
+    switch(Options[i]) {
+    case 'd': ++NumOperations; Operation = Delete; break;
+    case 'm': ++NumOperations; Operation = Move ; break;
+    case 'p': ++NumOperations; Operation = Print; break;
+    case 'q': ++NumOperations; Operation = QuickAppend; break;
+    case 'r': ++NumOperations; Operation = ReplaceOrInsert; break;
+    case 't': ++NumOperations; Operation = DisplayTable; break;
+    case 'x': ++NumOperations; Operation = Extract; break;
+    case 'c': Create = true; break;
+    case 'l': /* accepted but unused */ break;
+    case 'o': OriginalDates = true; break;
+    case 's':
+      Symtab = true;
+      MaybeJustCreateSymTab = true;
+      break;
+    case 'S':
+      Symtab = false;
+      break;
+    case 'u': OnlyUpdate = true; break;
+    case 'v': Verbose = true; break;
+    case 'a':
+      getRelPos();
+      AddAfter = true;
+      NumPositional++;
+      break;
+    case 'b':
+      getRelPos();
+      AddBefore = true;
+      NumPositional++;
+      break;
+    case 'i':
+      getRelPos();
+      AddBefore = true;
+      NumPositional++;
+      break;
+    case 'D':
+      Deterministic = true;
+      break;
+    case 'U':
+      Deterministic = false;
+      break;
+    case 'T':
+      Thin = true;
+      break;
+    default:
+      cl::PrintHelpMessage();
     }
-  };
+  }
+
+  // At this point, the next thing on the command line must be
+  // the archive name.
+  getArchive();
+
+  // Everything on the command line at this point is a member.
+  getMembers();
+
+ if (NumOperations == 0 && MaybeJustCreateSymTab) {
+    NumOperations = 1;
+    Operation = CreateSymTab;
+    if (!Members.empty())
+      show_help("The s operation takes only an archive as argument");
+  }
+
+  // Perform various checks on the operation/modifier specification
+  // to make sure we are dealing with a legal request.
+  if (NumOperations == 0)
+    show_help("You must specify at least one of the operations");
+  if (NumOperations > 1)
+    show_help("Only one operation may be specified");
+  if (NumPositional > 1)
+    show_help("You may only specify one of a, b, and i modifiers");
+  if (AddAfter || AddBefore) {
+    if (Operation != Move && Operation != ReplaceOrInsert)
+      show_help("The 'a', 'b' and 'i' modifiers can only be specified with "
+            "the 'm' or 'r' operations");
+  }
+  if (OriginalDates && Operation != Extract)
+    show_help("The 'o' modifier is only applicable to the 'x' operation");
+  if (OnlyUpdate && Operation != ReplaceOrInsert)
+    show_help("The 'u' modifier is only applicable to the 'r' operation");
+
+  // Return the parsed operation to the caller
+  return Operation;
+}
+
+// Implements the 'p' operation. This function traverses the archive
+// looking for members that match the path list.
+static void doPrint(StringRef Name, const object::Archive::Child &C) {
+  if (Verbose)
+    outs() << "Printing " << Name << "\n";
+
+  ErrorOr<StringRef> DataOrErr = C.getBuffer();
+  failIfError(DataOrErr.getError());
+  StringRef Data = *DataOrErr;
+  outs().write(Data.data(), Data.size());
 }
 
-//Option to generate symbol table or not
-//running llvm-ar -s is the same as ranlib
-cl::opt<bool> SymbolTable ("s", cl::desc("Generate an archive symbol table"));
+// Utility function for printing out the file mode when the 't' operation is in
+// verbose mode.
+static void printMode(unsigned mode) {
+  if (mode & 004)
+    outs() << "r";
+  else
+    outs() << "-";
+  if (mode & 002)
+    outs() << "w";
+  else
+    outs() << "-";
+  if (mode & 001)
+    outs() << "x";
+  else
+    outs() << "-";
+}
+
+// Implement the 't' operation. This function prints out just
+// the file names of each of the members. However, if verbose mode is requested
+// ('v' modifier) then the file type, permission mode, user, group, size, and
+// modification time are also printed.
+static void doDisplayTable(StringRef Name, const object::Archive::Child &C) {
+  if (Verbose) {
+    sys::fs::perms Mode = C.getAccessMode();
+    printMode((Mode >> 6) & 007);
+    printMode((Mode >> 3) & 007);
+    printMode(Mode & 007);
+    outs() << ' ' << C.getUID();
+    outs() << '/' << C.getGID();
+    outs() << ' ' << format("%6llu", C.getSize());
+    outs() << ' ' << C.getLastModified().str();
+    outs() << ' ';
+  }
+  outs() << Name << "\n";
+}
+
+// Implement the 'x' operation. This function extracts files back to the file
+// system.
+static void doExtract(StringRef Name, const object::Archive::Child &C) {
+  // Retain the original mode.
+  sys::fs::perms Mode = C.getAccessMode();
+  SmallString<128> Storage = Name;
+
+  int FD;
+  failIfError(
+      sys::fs::openFileForWrite(Storage.c_str(), FD, sys::fs::F_None, Mode),
+      Storage.c_str());
+
+  {
+    raw_fd_ostream file(FD, false);
+
+    // Get the data and its length
+    StringRef Data = *C.getBuffer();
 
-//Archive name
-cl::opt<string> Archive (cl::Positional, cl::desc("<archive file>"), 
-                        cl::Required);
+    // Write the data.
+    file.write(Data.data(), Data.size());
+  }
+
+  // If we're supposed to retain the original modification times, etc. do so
+  // now.
+  if (OriginalDates)
+    failIfError(
+        sys::fs::setLastModificationAndAccessTime(FD, C.getLastModified()));
+
+  if (close(FD))
+    fail("Could not close the file");
+}
 
-//For now we require one or more member files, this should change so
-//we can just run llvm-ar -s on an archive to generate the symbol
-//table
-cl::list<string> Members(cl::ConsumeAfter, cl::desc("<archive members>..."));
+static bool shouldCreateArchive(ArchiveOperation Op) {
+  switch (Op) {
+  case Print:
+  case Delete:
+  case Move:
+  case DisplayTable:
+  case Extract:
+  case CreateSymTab:
+    return false;
 
+  case QuickAppend:
+  case ReplaceOrInsert:
+    return true;
+  }
 
-static inline bool Error(std::string *ErrorStr, const char *Message) {
-  if (ErrorStr) *ErrorStr = Message;
-  return true;
+  llvm_unreachable("Missing entry in covered switch.");
 }
 
+static void performReadOperation(ArchiveOperation Operation,
+                                 object::Archive *OldArchive) {
+  if (Operation == Extract && OldArchive->isThin()) {
+    errs() << "extracting from a thin archive is not supported\n";
+    std::exit(1);
+  }
 
-// WriteSymbolTable - Writes symbol table to ArchiveFile, return false
-// on errors. Also returns by reference size of symbol table.
-//
-// Overview of method:
-// 1) Generate the header for the symbol table. This is a normal
-//    archive member header, but it has a zero length name.
-// 2) For each archive member file, stat the file and parse the bytecode
-//    Store cummulative offset (file size + header size).
-// 3) Loop over all the symbols for the current member file, 
-//    add offset entry to offset vector, and add symbol name to its vector.
-//    Note: The symbol name vector is a vector of chars to speed up calculating
-//    the total size of the symbol table.
-// 4) Update offset vector once we know the total size of symbol table. This is
-//    because the symbol table appears before all archive member file contents.
-//    We add the size of magic string, and size of symbol table to each offset.
-// 5) If the new updated offset it not even, we add 1 byte to offset because
-//    a newline will be inserted when writing member files. This adjustment is
-//    cummulative (ie. each time we have an odd offset we add 1 to total adjustment).
-// 6) Lastly, write symbol table to file.
-//
-bool WriteSymbolTable(std::ofstream &ArchiveFile) {
-  //Create header for symbol table. This is essentially an empty header with the
-  //name set to a '/' to indicate its a symbol table.
-  ar_hdr Hdr;
-  Hdr.init();
-
-  //Name of symbol table is '/'
-  Hdr.name[0] = '/';
-  Hdr.name[1] = '\0';
-  
-  //Set the header trailer to a newline
-  memcpy(Hdr.fmag,ARFMAG,sizeof(ARFMAG));
-
-  
-  //Write header to archive file
-  ArchiveFile.write((char*)&Hdr, sizeof(Hdr));
-  
-
-  unsigned memoff = 0;  //Keep Track of total size of files added to archive
-  vector<unsigned> offsets; //Vector of offsets into archive file
-  vector<char> names; //Vector of characters that are the symbol names. 
-
-  //Loop over archive member files, parse bytecode, and generate symbol table.
-  for(unsigned i=0; i<Members.size(); ++i) { 
-    
-    //Open Member file for reading and copy to buffer
-    int FD = open(Members[i].c_str(),O_RDONLY);
-    
-    //Check for errors opening the file.
-    if (FD == -1) {
-      std::cerr << "Error opening file!\n";
-      return false;
+  bool Filter = !Members.empty();
+  for (const object::Archive::Child &C : OldArchive->children()) {
+    ErrorOr<StringRef> NameOrErr = C.getName();
+    failIfError(NameOrErr.getError());
+    StringRef Name = NameOrErr.get();
+
+    if (Filter) {
+      auto I = std::find(Members.begin(), Members.end(), Name);
+      if (I == Members.end())
+        continue;
+      Members.erase(I);
     }
 
-    //Stat the file to get its size.
-    struct stat StatBuf;
-    if (stat(Members[i].c_str(), &StatBuf) == -1 || StatBuf.st_size == 0) {
-      std::cerr << "Error stating file\n";
-      return false;
+    switch (Operation) {
+    default:
+      llvm_unreachable("Not a read operation");
+    case Print:
+      doPrint(Name, C);
+      break;
+    case DisplayTable:
+      doDisplayTable(Name, C);
+      break;
+    case Extract:
+      doExtract(Name, C);
+      break;
     }
+  }
+  if (Members.empty())
+    return;
+  for (StringRef Name : Members)
+    errs() << Name << " was not found\n";
+  std::exit(1);
+}
 
-    //Size of file
-    unsigned Length = StatBuf.st_size;
-    
-    //Read in file into a buffer.
-    unsigned char *buf = (unsigned char*)mmap(0, Length,PROT_READ,
-                                             MAP_PRIVATE, FD, 0);
-  
-    //Check if mmap failed.
-    if (buf == (unsigned char*)MAP_FAILED) {
-      std::cerr << "Error mmapping file!\n";
-      return false;
+static void addMember(std::vector<NewArchiveIterator> &Members,
+                      StringRef FileName, int Pos = -1) {
+  NewArchiveIterator NI(FileName);
+  if (Pos == -1)
+    Members.push_back(NI);
+  else
+    Members[Pos] = NI;
+}
+
+static void addMember(std::vector<NewArchiveIterator> &Members,
+                      const object::Archive::Child &M, StringRef Name,
+                      int Pos = -1) {
+  if (Thin && !M.getParent()->isThin())
+    fail("Cannot convert a regular archive to a thin one");
+  NewArchiveIterator NI(M, Name);
+  if (Pos == -1)
+    Members.push_back(NI);
+  else
+    Members[Pos] = NI;
+}
+
+enum InsertAction {
+  IA_AddOldMember,
+  IA_AddNewMeber,
+  IA_Delete,
+  IA_MoveOldMember,
+  IA_MoveNewMember
+};
+
+static InsertAction computeInsertAction(ArchiveOperation Operation,
+                                        object::Archive::child_iterator I,
+                                        StringRef Name,
+                                        std::vector<StringRef>::iterator &Pos) {
+  if (Operation == QuickAppend || Members.empty())
+    return IA_AddOldMember;
+
+  auto MI =
+      std::find_if(Members.begin(), Members.end(), [Name](StringRef Path) {
+        return Name == sys::path::filename(Path);
+      });
+
+  if (MI == Members.end())
+    return IA_AddOldMember;
+
+  Pos = MI;
+
+  if (Operation == Delete)
+    return IA_Delete;
+
+  if (Operation == Move)
+    return IA_MoveOldMember;
+
+  if (Operation == ReplaceOrInsert) {
+    StringRef PosName = sys::path::filename(RelPos);
+    if (!OnlyUpdate) {
+      if (PosName.empty())
+        return IA_AddNewMeber;
+      return IA_MoveNewMember;
     }
-    
-    //Parse the bytecode file and get all the symbols.
-    string ErrorStr;
-    Module *M = ParseBytecodeBuffer(buf,Length,Members[i],&ErrorStr);
-    
-    //Check for errors parsing bytecode.
-    //if(ErrorStr) {
-    //std::cerr << "Error Parsing Bytecode\n";
-    //return false;
-    //}
-
-    //Loop over function names and global vars and add to symbol maps
-    for(Module::iterator I = M->begin(), E=M->end(); I != E; ++I) {
-      
-      //get function name
-      string NM = ((Function*)I)->getName();
-            
-      //Loop over the characters in the name and add to symbol name vector
-      for(unsigned i=0; i<NM.size(); ++i)
-       names.push_back(NM[i]);
-
-      //Each symbol is null terminated.
-      names.push_back('\0');
-
-      //Add offset to vector of offsets
-      offsets.push_back(memoff);
+
+    // We could try to optimize this to a fstat, but it is not a common
+    // operation.
+    sys::fs::file_status Status;
+    failIfError(sys::fs::status(*MI, Status), *MI);
+    if (Status.getLastModificationTime() < I->getLastModified()) {
+      if (PosName.empty())
+        return IA_AddOldMember;
+      return IA_MoveOldMember;
     }
 
-    memoff += Length + sizeof(Hdr);
+    if (PosName.empty())
+      return IA_AddNewMeber;
+    return IA_MoveNewMember;
   }
+  llvm_unreachable("No such operation");
+}
 
-  //Determine how large our symbol table is.
-  unsigned symbolTableSize = sizeof(Hdr) + 4 + 4*(offsets.size()) + names.size();
-  cout << "Symbol Table Size: " << symbolTableSize << "\n";
-
-  //Number of symbols should be in network byte order as well
-  char num[4];
-  unsigned temp = offsets.size();
-  num[0] = (temp >> 24) & 255;
-  num[1] = (temp >> 16) & 255;
-  num[2] = (temp >> 8) & 255;
-  num[3] = temp & 255;
-
-  //Write number of symbols to archive file
-  ArchiveFile.write(num,4);
-
-  //Adjustment to offset to start files on even byte boundaries
-  unsigned adjust = 0;
-  
-  //Update offsets write symbol tabel to archive.
-  for(unsigned i=0; i<offsets.size(); ++i) {
-    char output[4];
-    offsets[i] = offsets[i] + symbolTableSize + SARMAG;
-    offsets[i] += adjust;
-    if((offsets[i] % 2 != 0)) {
-      adjust++;
-      offsets[i] += adjust;
+// We have to walk this twice and computing it is not trivial, so creating an
+// explicit std::vector is actually fairly efficient.
+static std::vector<NewArchiveIterator>
+computeNewArchiveMembers(ArchiveOperation Operation,
+                         object::Archive *OldArchive) {
+  std::vector<NewArchiveIterator> Ret;
+  std::vector<NewArchiveIterator> Moved;
+  int InsertPos = -1;
+  StringRef PosName = sys::path::filename(RelPos);
+  if (OldArchive) {
+    for (auto &Child : OldArchive->children()) {
+      int Pos = Ret.size();
+      ErrorOr<StringRef> NameOrErr = Child.getName();
+      failIfError(NameOrErr.getError());
+      StringRef Name = NameOrErr.get();
+      if (Name == PosName) {
+        assert(AddAfter || AddBefore);
+        if (AddBefore)
+          InsertPos = Pos;
+        else
+          InsertPos = Pos + 1;
+      }
+
+      std::vector<StringRef>::iterator MemberI = Members.end();
+      InsertAction Action =
+          computeInsertAction(Operation, Child, Name, MemberI);
+      switch (Action) {
+      case IA_AddOldMember:
+        addMember(Ret, Child, Name);
+        break;
+      case IA_AddNewMeber:
+        addMember(Ret, *MemberI);
+        break;
+      case IA_Delete:
+        break;
+      case IA_MoveOldMember:
+        addMember(Moved, Child, Name);
+        break;
+      case IA_MoveNewMember:
+        addMember(Moved, *MemberI);
+        break;
+      }
+      if (MemberI != Members.end())
+        Members.erase(MemberI);
     }
-    
-    cout << "Offset: " << offsets[i] << "\n";
-    output[0] = (offsets[i] >> 24) & 255;
-    output[1] = (offsets[i] >> 16) & 255;
-    output[2] = (offsets[i] >> 8) & 255;
-    output[3] = offsets[i] & 255;
-    ArchiveFile.write(output,4);
   }
 
+  if (Operation == Delete)
+    return Ret;
 
-  //Write out symbol name vector.
-  for(unsigned i=0; i<names.size(); ++i)
-    ArchiveFile << names[i];
+  if (!RelPos.empty() && InsertPos == -1)
+    fail("Insertion point not found");
 
-  return true;
-}
+  if (RelPos.empty())
+    InsertPos = Ret.size();
 
-// AddMemberToArchive - Writes member file to archive. Returns false on errors.
-// 
-// Overview of method: 
-// 1) Open file, and stat it.  
-// 2) Fill out header using stat information. If name is longer then 15 
-//    characters, use "dummy" name.
-// 3) Write header and file contents to disk.
-// 4) Keep track of total offset into file, and insert a newline if it is odd.
-//
-bool AddMemberToArchive(string Member, std::ofstream &ArchiveFile) {
-  
-  ar_hdr Hdr; //Header for archive member file.
-  
-  //stat the file to get info
-  struct stat StatBuf;
-  if (stat(Member.c_str(), &StatBuf) == -1 || StatBuf.st_size == 0)
-    cout << "ERROR\n";
-
-  //fill in header
-  
-  //set name to white spaces
-  memset(Hdr.name,' ', sizeof(Hdr.name));
-
-  //check the size of the name, if less than 15, we can copy it directly
-  //otherwise we give it a dummy name for now
-  if(Member.length() < 16)
-    memcpy(Hdr.name,Member.c_str(),Member.length());
-  else
-    memcpy(Hdr.name, "Dummy", 5);
-
-  //terminate name with forward slash
-  Hdr.name[15] = '/';
-
-  //file member size in decimal
-  unsigned Length = StatBuf.st_size;
-  sprintf(Hdr.size,"%d", Length);
-  cout << "Size: " << Length << "\n";
-
-  //file member user id in decimal
-  sprintf(Hdr.uid, "%d", StatBuf.st_uid);
-
-  //file member group id in decimal
-  sprintf(Hdr.gid, "%d", StatBuf.st_gid);
-
-  //file member date in decimal
-  sprintf(Hdr.date,"%d", (int)StatBuf.st_mtime);
-  
-  //file member mode in OCTAL
-  sprintf(Hdr.mode,"%d", StatBuf.st_mode);
-  //add our header trailer
-  memcpy(Hdr.fmag,ARFMAG,sizeof(ARFMAG));
-
-  //write header to archive file
-  ArchiveFile.write((char*)&Hdr, sizeof(Hdr));
-  
-  //open Member file for reading and copy to buffer
-  int FD = open(Member.c_str(),O_RDONLY);
-  if (FD == -1) {
-    std::cerr << "Error opening file!\n";
-    return false;
-  }
+  assert(unsigned(InsertPos) <= Ret.size());
+  Ret.insert(Ret.begin() + InsertPos, Moved.begin(), Moved.end());
 
-  unsigned char *buf = (unsigned char*)mmap(0, Length,PROT_READ,
-                         MAP_PRIVATE, FD, 0);
-  
-  //check if mmap failed
-  if (buf == (unsigned char*)MAP_FAILED) {
-    std::cerr << "Error mmapping file!\n";
-    return false;
+  Ret.insert(Ret.begin() + InsertPos, Members.size(), NewArchiveIterator(""));
+  int Pos = InsertPos;
+  for (auto &Member : Members) {
+    addMember(Ret, Member, Pos);
+    ++Pos;
   }
 
-  //write to archive file
-  ArchiveFile.write((char*)buf,Length);
-    
-  // Unmmap the memberfile
-  munmap((char*)buf, Length);
+  return Ret;
+}
 
-  return true;
+static void
+performWriteOperation(ArchiveOperation Operation, object::Archive *OldArchive,
+                      std::vector<NewArchiveIterator> *NewMembersP) {
+  object::Archive::Kind Kind;
+  switch (FormatOpt) {
+  case Default: {
+    Triple T(sys::getProcessTriple());
+    if (T.isOSDarwin())
+      Kind = object::Archive::K_BSD;
+    else
+      Kind = object::Archive::K_GNU;
+    break;
+  }
+  case GNU:
+    Kind = object::Archive::K_GNU;
+    break;
+  case BSD:
+    Kind = object::Archive::K_BSD;
+    break;
+  }
+  if (NewMembersP) {
+    std::pair<StringRef, std::error_code> Result = writeArchive(
+        ArchiveName, *NewMembersP, Symtab, Kind, Deterministic, Thin);
+    failIfError(Result.second, Result.first);
+    return;
+  }
+  std::vector<NewArchiveIterator> NewMembers =
+      computeNewArchiveMembers(Operation, OldArchive);
+  auto Result =
+      writeArchive(ArchiveName, NewMembers, Symtab, Kind, Deterministic, Thin);
+  failIfError(Result.second, Result.first);
 }
 
+static void createSymbolTable(object::Archive *OldArchive) {
+  // When an archive is created or modified, if the s option is given, the
+  // resulting archive will have a current symbol table. If the S option
+  // is given, it will have no symbol table.
+  // In summary, we only need to update the symbol table if we have none.
+  // This is actually very common because of broken build systems that think
+  // they have to run ranlib.
+  if (OldArchive->hasSymbolTable())
+    return;
+
+  performWriteOperation(CreateSymTab, OldArchive, nullptr);
+}
 
-// CreateArchive - Generates archive with or without symbol table.
-//
-void CreateArchive() {
-  
-  //Create archive file for output.
-  std::ofstream ArchiveFile(Archive.c_str());
-  
-  //Check for errors opening or creating archive file.
-  if(!ArchiveFile.is_open() || ArchiveFile.bad() ) {
-    std::cerr << "Error opening Archive File\n";
-    exit(1);
+static void performOperation(ArchiveOperation Operation,
+                             object::Archive *OldArchive,
+                             std::vector<NewArchiveIterator> *NewMembers) {
+  switch (Operation) {
+  case Print:
+  case DisplayTable:
+  case Extract:
+    performReadOperation(Operation, OldArchive);
+    return;
+
+  case Delete:
+  case Move:
+  case QuickAppend:
+  case ReplaceOrInsert:
+    performWriteOperation(Operation, OldArchive, NewMembers);
+    return;
+  case CreateSymTab:
+    createSymbolTable(OldArchive);
+    return;
+  }
+  llvm_unreachable("Unknown operation.");
+}
+
+static int performOperation(ArchiveOperation Operation,
+                            std::vector<NewArchiveIterator> *NewMembers) {
+  // Create or open the archive object.
+  ErrorOr<std::unique_ptr<MemoryBuffer>> Buf =
+      MemoryBuffer::getFile(ArchiveName, -1, false);
+  std::error_code EC = Buf.getError();
+  if (EC && EC != errc::no_such_file_or_directory) {
+    errs() << ToolName << ": error opening '" << ArchiveName
+           << "': " << EC.message() << "!\n";
+    return 1;
   }
 
-  //Write magic string to archive.
-  ArchiveFile << ARMAG;
+  if (!EC) {
+    object::Archive Archive(Buf.get()->getMemBufferRef(), EC);
 
-  //If the '-s' option was specified, generate symbol table.
-  if(SymbolTable) {
-    cout << "Symbol Table Start: " << ArchiveFile.tellp() << "\n";
-    if(!WriteSymbolTable(ArchiveFile)) {
-      std::cerr << "Error creating symbol table. Exiting program.";
-      exit(1);
+    if (EC) {
+      errs() << ToolName << ": error loading '" << ArchiveName
+             << "': " << EC.message() << "!\n";
+      return 1;
     }
-    cout << "Symbol Table End: " << ArchiveFile.tellp() << "\n";
+    performOperation(Operation, &Archive, NewMembers);
+    return 0;
   }
-  //Loop over all member files, and add to the archive.
-  for(unsigned i=0; i<Members.size(); ++i) {
-    if(ArchiveFile.tellp() % 2 != 0)
-      ArchiveFile << ARFMAG;
 
-    cout << "Member File Start: " << ArchiveFile.tellp() << "\n";
+  assert(EC == errc::no_such_file_or_directory);
 
-    if(AddMemberToArchive(Members[i],ArchiveFile) != true) {
-      std::cerr << "Error adding file to archive. Exiting program.";
-      exit(1);
+  if (!shouldCreateArchive(Operation)) {
+    failIfError(EC, Twine("error loading '") + ArchiveName + "'");
+  } else {
+    if (!Create) {
+      // Produce a warning if we should and we're creating the archive
+      errs() << ToolName << ": creating " << ArchiveName << "\n";
     }
-    cout << "Member File End: " << ArchiveFile.tellp() << "\n";
   }
-  
-  //Close archive file.
-  ArchiveFile.close();
+
+  performOperation(Operation, nullptr, NewMembers);
+  return 0;
 }
 
+static void runMRIScript() {
+  enum class MRICommand { AddLib, AddMod, Create, Save, End, Invalid };
+
+  ErrorOr<std::unique_ptr<MemoryBuffer>> Buf = MemoryBuffer::getSTDIN();
+  failIfError(Buf.getError());
+  const MemoryBuffer &Ref = *Buf.get();
+  bool Saved = false;
+  std::vector<NewArchiveIterator> NewMembers;
+  std::vector<std::unique_ptr<MemoryBuffer>> ArchiveBuffers;
+  std::vector<std::unique_ptr<object::Archive>> Archives;
+
+  for (line_iterator I(Ref, /*SkipBlanks*/ true, ';'), E; I != E; ++I) {
+    StringRef Line = *I;
+    StringRef CommandStr, Rest;
+    std::tie(CommandStr, Rest) = Line.split(' ');
+    Rest = Rest.trim();
+    if (!Rest.empty() && Rest.front() == '"' && Rest.back() == '"')
+      Rest = Rest.drop_front().drop_back();
+    auto Command = StringSwitch<MRICommand>(CommandStr.lower())
+                       .Case("addlib", MRICommand::AddLib)
+                       .Case("addmod", MRICommand::AddMod)
+                       .Case("create", MRICommand::Create)
+                       .Case("save", MRICommand::Save)
+                       .Case("end", MRICommand::End)
+                       .Default(MRICommand::Invalid);
+
+    switch (Command) {
+    case MRICommand::AddLib: {
+      auto BufOrErr = MemoryBuffer::getFile(Rest, -1, false);
+      failIfError(BufOrErr.getError(), "Could not open library");
+      ArchiveBuffers.push_back(std::move(*BufOrErr));
+      auto LibOrErr =
+          object::Archive::create(ArchiveBuffers.back()->getMemBufferRef());
+      failIfError(LibOrErr.getError(), "Could not parse library");
+      Archives.push_back(std::move(*LibOrErr));
+      object::Archive &Lib = *Archives.back();
+      for (auto &Member : Lib.children()) {
+        ErrorOr<StringRef> NameOrErr = Member.getName();
+        failIfError(NameOrErr.getError());
+        addMember(NewMembers, Member, *NameOrErr);
+      }
+      break;
+    }
+    case MRICommand::AddMod:
+      addMember(NewMembers, Rest);
+      break;
+    case MRICommand::Create:
+      Create = true;
+      if (!ArchiveName.empty())
+        fail("Editing multiple archives not supported");
+      if (Saved)
+        fail("File already saved");
+      ArchiveName = Rest;
+      break;
+    case MRICommand::Save:
+      Saved = true;
+      break;
+    case MRICommand::End:
+      break;
+    case MRICommand::Invalid:
+      fail("Unknown command: " + CommandStr);
+    }
+  }
 
-int main(int argc, char **argv) {
+  // Nothing to do if not saved.
+  if (Saved)
+    performOperation(ReplaceOrInsert, &NewMembers);
+  exit(0);
+}
 
-  //Parse Command line options
-  cl::ParseCommandLineOptions(argc, argv, " llvm-ar\n");
+static int ar_main() {
+  // Do our own parsing of the command line because the CommandLine utility
+  // can't handle the grouped positional parameters without a dash.
+  ArchiveOperation Operation = parseCommandLine();
+  return performOperation(Operation, nullptr);
+}
 
-  //Create archive!
-  CreateArchive();
+static int ranlib_main() {
+  if (RestOfArgs.size() != 1)
+    fail(ToolName + "takes just one archive as argument");
+  ArchiveName = RestOfArgs[0];
+  return performOperation(CreateSymTab, nullptr);
+}
 
-  return 0;
+int main(int argc, char **argv) {
+  ToolName = argv[0];
+  // Print a stack trace if we signal out.
+  sys::PrintStackTraceOnErrorSignal();
+  PrettyStackTraceProgram X(argc, argv);
+  llvm_shutdown_obj Y;  // Call llvm_shutdown() on exit.
+
+  llvm::InitializeAllTargetInfos();
+  llvm::InitializeAllTargetMCs();
+  llvm::InitializeAllAsmParsers();
+
+  StringRef Stem = sys::path::stem(ToolName);
+  if (Stem.find("ranlib") == StringRef::npos &&
+      Stem.find("lib") != StringRef::npos)
+    return libDriverMain(makeArrayRef(argv, argc));
+
+  // Have the command line options parsed and handle things
+  // like --help and --version.
+  cl::ParseCommandLineOptions(argc, argv,
+    "LLVM Archiver (llvm-ar)\n\n"
+    "  This program archives bitcode files into single libraries\n"
+  );
+
+  if (Stem.find("ranlib") != StringRef::npos)
+    return ranlib_main();
+  if (Stem.find("ar") != StringRef::npos)
+    return ar_main();
+  fail("Not ranlib, ar or lib!");
 }