tools/llvmc/CompilerDriver.cpp

   1 //===- CompilerDriver.cpp - The LLVM Compiler Driver ------------*- C++ -*-===//
   2 //
   3 //
   4 //                     The LLVM Compiler Infrastructure
   5 //
   6 // This file was developed by Reid Spencer and is distributed under the
   7 // University of Illinois Open Source License. See LICENSE.TXT for details.
   8 //
   9 //===----------------------------------------------------------------------===//
  10 //
  11 // This file implements the bulk of the LLVM Compiler Driver (llvmc).
  12 //
  13 //===------------------------------------------------------------------------===
  14
  15 #include "CompilerDriver.h"
  16 #include "ConfigLexer.h"
  17 #include "llvm/Module.h"
  18 #include "llvm/Bytecode/Reader.h"
  19 #include "llvm/Support/Timer.h"
  20 #include "llvm/System/Signals.h"
  21 #include "llvm/ADT/SetVector.h"
  22 #include "llvm/ADT/StringExtras.h"
  23 #include "llvm/Config/alloca.h"
  24 #include <iostream>
  25 using namespace llvm;
  26
  27 namespace {
  28
  29 void WriteAction(CompilerDriver::Action* action ) {
  30   std::cerr << action->program.c_str();
  31   std::vector<std::string>::const_iterator I = action->args.begin();
  32   while (I != action->args.end()) {
  33     std::cerr << " " << *I;
  34     ++I;
  35   }
  36   std::cerr << "\n";
  37 }
  38
  39 void DumpAction(CompilerDriver::Action* action) {
  40   std::cerr << "command = " << action->program.c_str();
  41   std::vector<std::string>::const_iterator I = action->args.begin();
  42   while (I != action->args.end()) {
  43     std::cerr << " " << *I;
  44     ++I;
  45   }
  46   std::cerr << "\n";
  47   std::cerr << "flags = " << action->flags << "\n";
  48 }
  49
  50 void DumpConfigData(CompilerDriver::ConfigData* cd, const std::string& type ){
  51   std::cerr << "Configuration Data For '" << cd->langName << "' (" << type
  52     << ")\n";
  53   std::cerr << "PreProcessor: ";
  54   DumpAction(&cd->PreProcessor);
  55   std::cerr << "Translator: ";
  56   DumpAction(&cd->Translator);
  57   std::cerr << "Optimizer: ";
  58   DumpAction(&cd->Optimizer);
  59   std::cerr << "Assembler: ";
  60   DumpAction(&cd->Assembler);
  61   std::cerr << "Linker: ";
  62   DumpAction(&cd->Linker);
  63 }
  64
  65 /// This specifies the passes to run for OPT_FAST_COMPILE (-O1)
  66 /// which should reduce the volume of code and make compilation
  67 /// faster. This is also safe on any llvm module.
  68 static const char* DefaultFastCompileOptimizations[] = {
  69   "-simplifycfg", "-mem2reg", "-instcombine"
  70 };
  71
  72 class CompilerDriverImpl : public CompilerDriver {
  73 /// @name Constructors
  74 /// @{
  75 public:
  76   CompilerDriverImpl(ConfigDataProvider& confDatProv )
  77     : cdp(&confDatProv)
  78     , finalPhase(LINKING)
  79     , optLevel(OPT_FAST_COMPILE)
  80     , Flags(0)
  81     , machine()
  82     , LibraryPaths()
  83     , TempDir()
  84     , AdditionalArgs()
  85   {
  86     TempDir = sys::Path::GetTemporaryDirectory();
  87     sys::RemoveDirectoryOnSignal(TempDir);
  88     AdditionalArgs.reserve(NUM_PHASES);
  89     StringVector emptyVec;
  90     for (unsigned i = 0; i < NUM_PHASES; ++i)
  91       AdditionalArgs.push_back(emptyVec);
  92   }
  93
  94   virtual ~CompilerDriverImpl() {
  95     cleanup();
  96     cdp = 0;
  97     LibraryPaths.clear();
  98     IncludePaths.clear();
  99     Defines.clear();
 100     TempDir.clear();
 101     AdditionalArgs.clear();
 102     fOptions.clear();
 103     MOptions.clear();
 104     WOptions.clear();
 105   }
 106
 107 /// @}
 108 /// @name Methods
 109 /// @{
 110 public:
 111   virtual void setFinalPhase( Phases phase ) {
 112     finalPhase = phase;
 113   }
 114
 115   virtual void setOptimization( OptimizationLevels level ) {
 116     optLevel = level;
 117   }
 118
 119   virtual void setDriverFlags( unsigned flags ) {
 120     Flags = flags & DRIVER_FLAGS_MASK;
 121   }
 122
 123   virtual void setOutputMachine( const std::string& machineName ) {
 124     machine = machineName;
 125   }
 126
 127   virtual void setPhaseArgs(Phases phase, const StringVector& opts) {
 128     assert(phase <= LINKING && phase >= PREPROCESSING);
 129     AdditionalArgs[phase] = opts;
 130   }
 131
 132   virtual void setIncludePaths(const StringVector& paths) {
 133     StringVector::const_iterator I = paths.begin();
 134     StringVector::const_iterator E = paths.end();
 135     while (I != E) {
 136       sys::Path tmp;
 137       tmp.setDirectory(*I);
 138       IncludePaths.push_back(tmp);
 139       ++I;
 140     }
 141   }
 142
 143   virtual void setSymbolDefines(const StringVector& defs) {
 144     Defines = defs;
 145   }
 146
 147   virtual void setLibraryPaths(const StringVector& paths) {
 148     StringVector::const_iterator I = paths.begin();
 149     StringVector::const_iterator E = paths.end();
 150     while (I != E) {
 151       sys::Path tmp;
 152       tmp.setDirectory(*I);
 153       LibraryPaths.push_back(tmp);
 154       ++I;
 155     }
 156   }
 157
 158   virtual void addLibraryPath( const sys::Path& libPath ) {
 159     LibraryPaths.push_back(libPath);
 160   }
 161
 162   virtual void addToolPath( const sys::Path& toolPath ) {
 163     ToolPaths.push_back(toolPath);
 164   }
 165
 166   virtual void setfPassThrough(const StringVector& fOpts) {
 167     fOptions = fOpts;
 168   }
 169
 170   /// @brief Set the list of -M options to be passed through
 171   virtual void setMPassThrough(const StringVector& MOpts) {
 172     MOptions = MOpts;
 173   }
 174
 175   /// @brief Set the list of -W options to be passed through
 176   virtual void setWPassThrough(const StringVector& WOpts) {
 177     WOptions = WOpts;
 178   }
 179
 180 /// @}
 181 /// @name Functions
 182 /// @{
 183 private:
 184   bool isSet(DriverFlags flag) {
 185     return 0 != ((flag & DRIVER_FLAGS_MASK) & Flags);
 186   }
 187
 188   void cleanup() {
 189     if (!isSet(KEEP_TEMPS_FLAG)) {
 190       if (TempDir.isDirectory() && TempDir.writable())
 191         TempDir.destroyDirectory(/*remove_contents=*/true);
 192     } else {
 193       std::cout << "Temporary files are in " << TempDir << "\n";
 194     }
 195   }
 196
 197   sys::Path MakeTempFile(const std::string& basename,
 198                          const std::string& suffix ) {
 199     sys::Path result(TempDir);
 200     if (!result.appendFile(basename))
 201       throw basename + ": can't use this file name";
 202     if (!result.appendSuffix(suffix))
 203       throw suffix + ": can't use this file suffix";
 204     return result;
 205   }
 206
 207   Action* GetAction(ConfigData* cd,
 208                     const sys::Path& input,
 209                     const sys::Path& output,
 210                     Phases phase)
 211   {
 212     Action* pat = 0; ///< The pattern/template for the action
 213     Action* action = new Action; ///< The actual action to execute
 214
 215     // Get the action pattern
 216     switch (phase) {
 217       case PREPROCESSING: pat = &cd->PreProcessor; break;
 218       case TRANSLATION:   pat = &cd->Translator; break;
 219       case OPTIMIZATION:  pat = &cd->Optimizer; break;
 220       case ASSEMBLY:      pat = &cd->Assembler; break;
 221       case LINKING:       pat = &cd->Linker; break;
 222       default:
 223         assert(!"Invalid driver phase!");
 224         break;
 225     }
 226     assert(pat != 0 && "Invalid command pattern");
 227
 228     // Copy over some pattern things that don't need to change
 229     action->program = pat->program;
 230     action->flags = pat->flags;
 231
 232     // Do the substitutions from the pattern to the actual
 233     StringVector::iterator PI = pat->args.begin();
 234     StringVector::iterator PE = pat->args.end();
 235     while (PI != PE) {
 236       if ((*PI)[0] == '%' && PI->length() >2) {
 237         bool found = true;
 238         switch ((*PI)[1]) {
 239           case 'a':
 240             if (*PI == "%args%") {
 241               if (AdditionalArgs.size() > unsigned(phase))
 242                 if (!AdditionalArgs[phase].empty()) {
 243                   // Get specific options for each kind of action type
 244                   StringVector& addargs = AdditionalArgs[phase];
 245                   // Add specific options for each kind of action type
 246                   action->args.insert(action->args.end(), addargs.begin(),
 247                                       addargs.end());
 248                 }
 249             } else
 250               found = false;
 251             break;
 252           case 'd':
 253             if (*PI == "%defs%") {
 254               StringVector::iterator I = Defines.begin();
 255               StringVector::iterator E = Defines.end();
 256               while (I != E) {
 257                 action->args.push_back( std::string("-D") + *I);
 258                 ++I;
 259               }
 260             } else
 261               found = false;
 262             break;
 263           case 'f':
 264             if (*PI == "%fOpts%") {
 265               if (!fOptions.empty())
 266                 action->args.insert(action->args.end(), fOptions.begin(),
 267                                     fOptions.end());
 268             } else
 269               found = false;
 270             break;
 271           case 'i':
 272             if (*PI == "%in%") {
 273               action->args.push_back(input.toString());
 274             } else if (*PI == "%incls%") {
 275               PathVector::iterator I = IncludePaths.begin();
 276               PathVector::iterator E = IncludePaths.end();
 277               while (I != E) {
 278                 action->args.push_back( std::string("-I") + I->toString() );
 279                 ++I;
 280               }
 281             } else
 282               found = false;
 283             break;
 284           case 'l':
 285             if (*PI == "%libs%") {
 286               PathVector::iterator I = LibraryPaths.begin();
 287               PathVector::iterator E = LibraryPaths.end();
 288               while (I != E) {
 289                 action->args.push_back( std::string("-L") + I->toString() );
 290                 ++I;
 291               }
 292             } else
 293               found = false;
 294             break;
 295           case 'o':
 296             if (*PI == "%out%") {
 297               action->args.push_back(output.toString());
 298             } else if (*PI == "%opt%") {
 299               if (!isSet(EMIT_RAW_FLAG)) {
 300                 if (cd->opts.size() > static_cast<unsigned>(optLevel) &&
 301                     !cd->opts[optLevel].empty())
 302                   action->args.insert(action->args.end(),
 303                                       cd->opts[optLevel].begin(),
 304                                       cd->opts[optLevel].end());
 305                 else
 306                   throw std::string("Optimization options for level ") +
 307                         utostr(unsigned(optLevel)) + " were not specified";
 308               }
 309             } else
 310               found = false;
 311             break;
 312           case 's':
 313             if (*PI == "%stats%") {
 314               if (isSet(SHOW_STATS_FLAG))
 315                 action->args.push_back("-stats");
 316             } else
 317               found = false;
 318             break;
 319           case 't':
 320             if (*PI == "%target%") {
 321               action->args.push_back(std::string("-march=") + machine);
 322             } else if (*PI == "%time%") {
 323               if (isSet(TIME_PASSES_FLAG))
 324                 action->args.push_back("-time-passes");
 325             } else
 326               found = false;
 327             break;
 328           case 'v':
 329             if (*PI == "%verbose%") {
 330               if (isSet(VERBOSE_FLAG))
 331                 action->args.push_back("-v");
 332             } else
 333               found  = false;
 334             break;
 335           case 'M':
 336             if (*PI == "%Mopts%") {
 337               if (!MOptions.empty())
 338                 action->args.insert(action->args.end(), MOptions.begin(),
 339                                     MOptions.end());
 340             } else
 341               found = false;
 342             break;
 343           case 'W':
 344             if (*PI == "%Wopts%") {
 345               for (StringVector::iterator I = WOptions.begin(),
 346                    E = WOptions.end(); I != E ; ++I ) {
 347                 action->args.push_back( std::string("-W") + *I );
 348               }
 349             } else
 350               found = false;
 351             break;
 352           default:
 353             found = false;
 354             break;
 355         }
 356         if (!found) {
 357           // Did it even look like a substitution?
 358           if (PI->length()>1 && (*PI)[0] == '%' &&
 359               (*PI)[PI->length()-1] == '%') {
 360             throw std::string("Invalid substitution token: '") + *PI +
 361                   "' for command '" + pat->program.toString() + "'";
 362           } else if (!PI->empty()) {
 363             // It's not a legal substitution, just pass it through
 364             action->args.push_back(*PI);
 365           }
 366         }
 367       } else if (!PI->empty()) {
 368         // Its not a substitution, just put it in the action
 369         action->args.push_back(*PI);
 370       }
 371       PI++;
 372     }
 373
 374     // Finally, we're done
 375     return action;
 376   }
 377
 378   bool DoAction(Action*action) {
 379     assert(action != 0 && "Invalid Action!");
 380     if (isSet(VERBOSE_FLAG))
 381       WriteAction(action);
 382     if (!isSet(DRY_RUN_FLAG)) {
 383       sys::Path progpath = sys::Program::FindProgramByName(
 384         action->program.toString());
 385       if (progpath.isEmpty())
 386         throw std::string("Can't find program '" +
 387                           action->program.toString()+"'");
 388       else if (progpath.executable())
 389         action->program = progpath;
 390       else
 391         throw std::string("Program '"+action->program.toString()+
 392                           "' is not executable.");
 393
 394       // Invoke the program
 395       const char** Args = (const char**)
 396         alloca(sizeof(const char*)*(action->args.size()+2));
 397       Args[0] = action->program.toString().c_str();
 398       for (unsigned i = 1; i != action->args.size(); ++i)
 399         Args[i] = action->args[i].c_str();
 400       Args[action->args.size()] = 0;  // null terminate list.
 401       if (isSet(TIME_ACTIONS_FLAG)) {
 402         Timer timer(action->program.toString());
 403         timer.startTimer();
 404         int resultCode = sys::Program::ExecuteAndWait(action->program, Args);
 405         timer.stopTimer();
 406         timer.print(timer,std::cerr);
 407         return resultCode == 0;
 408       }
 409       else
 410         return 0 == sys::Program::ExecuteAndWait(action->program, Args);
 411     }
 412     return true;
 413   }
 414
 415   /// This method tries various variants of a linkage item's file
 416   /// name to see if it can find an appropriate file to link with
 417   /// in the directories of the LibraryPaths.
 418   llvm::sys::Path GetPathForLinkageItem(const std::string& link_item,
 419                                         bool native = false) {
 420     sys::Path fullpath;
 421     fullpath.setFile(link_item);
 422     if (fullpath.readable())
 423       return fullpath;
 424     for (PathVector::iterator PI = LibraryPaths.begin(),
 425          PE = LibraryPaths.end(); PI != PE; ++PI) {
 426       fullpath.setDirectory(PI->toString());
 427       fullpath.appendFile(link_item);
 428       if (fullpath.readable())
 429         return fullpath;
 430       if (native) {
 431         fullpath.appendSuffix("a");
 432       } else {
 433         fullpath.appendSuffix("bc");
 434         if (fullpath.readable())
 435           return fullpath;
 436         fullpath.elideSuffix();
 437         fullpath.appendSuffix("o");
 438         if (fullpath.readable())
 439           return fullpath;
 440         fullpath = *PI;
 441         fullpath.appendFile(std::string("lib") + link_item);
 442         fullpath.appendSuffix("a");
 443         if (fullpath.readable())
 444           return fullpath;
 445         fullpath.elideSuffix();
 446         fullpath.appendSuffix("so");
 447         if (fullpath.readable())
 448           return fullpath;
 449       }
 450     }
 451
 452     // Didn't find one.
 453     fullpath.clear();
 454     return fullpath;
 455   }
 456
 457   /// This method processes a linkage item. The item could be a
 458   /// Bytecode file needing translation to native code and that is
 459   /// dependent on other bytecode libraries, or a native code
 460   /// library that should just be linked into the program.
 461   bool ProcessLinkageItem(const llvm::sys::Path& link_item,
 462                           SetVector<sys::Path>& set,
 463                           std::string& err) {
 464     // First, see if the unadorned file name is not readable. If so,
 465     // we must track down the file in the lib search path.
 466     sys::Path fullpath;
 467     if (!link_item.readable()) {
 468       // look for the library using the -L arguments specified
 469       // on the command line.
 470       fullpath = GetPathForLinkageItem(link_item.toString());
 471
 472       // If we didn't find the file in any of the library search paths
 473       // we have to bail. No where else to look.
 474       if (fullpath.isEmpty()) {
 475         err =
 476           std::string("Can't find linkage item '") + link_item.toString() + "'";
 477         return false;
 478       }
 479     } else {
 480       fullpath = link_item;
 481     }
 482
 483     // If we got here fullpath is the path to the file, and its readable.
 484     set.insert(fullpath);
 485
 486     // If its an LLVM bytecode file ...
 487     if (fullpath.isBytecodeFile()) {
 488       // Process the dependent libraries recursively
 489       Module::LibraryListType modlibs;
 490       if (GetBytecodeDependentLibraries(fullpath.toString(),modlibs)) {
 491         // Traverse the dependent libraries list
 492         Module::lib_iterator LI = modlibs.begin();
 493         Module::lib_iterator LE = modlibs.end();
 494         while ( LI != LE ) {
 495           if (!ProcessLinkageItem(sys::Path(*LI),set,err)) {
 496             if (err.empty()) {
 497               err = std::string("Library '") + *LI +
 498                     "' is not valid for linking but is required by file '" +
 499                     fullpath.toString() + "'";
 500             } else {
 501               err += " which is required by file '" + fullpath.toString() + "'";
 502             }
 503             return false;
 504           }
 505           ++LI;
 506         }
 507       } else if (err.empty()) {
 508         err = std::string(
 509           "The dependent libraries could not be extracted from '") +
 510           fullpath.toString();
 511         return false;
 512       }
 513     }
 514     return true;
 515   }
 516
 517 /// @}
 518 /// @name Methods
 519 /// @{
 520 public:
 521   virtual int execute(const InputList& InpList, const sys::Path& Output ) {
 522     try {
 523       // Echo the configuration of options if we're running verbose
 524       if (isSet(DEBUG_FLAG)) {
 525         std::cerr << "Compiler Driver Options:\n";
 526         std::cerr << "DryRun = " << isSet(DRY_RUN_FLAG) << "\n";
 527         std::cerr << "Verbose = " << isSet(VERBOSE_FLAG) << " \n";
 528         std::cerr << "TimeActions = " << isSet(TIME_ACTIONS_FLAG) << "\n";
 529         std::cerr << "TimePasses = " << isSet(TIME_PASSES_FLAG) << "\n";
 530         std::cerr << "ShowStats = " << isSet(SHOW_STATS_FLAG) << "\n";
 531         std::cerr << "EmitRawCode = " << isSet(EMIT_RAW_FLAG) << "\n";
 532         std::cerr << "EmitNativeCode = " << isSet(EMIT_NATIVE_FLAG) << "\n";
 533         std::cerr << "KeepTemps = " << isSet(KEEP_TEMPS_FLAG) << "\n";
 534         std::cerr << "OutputMachine = " << machine << "\n";
 535         InputList::const_iterator I = InpList.begin();
 536         while ( I != InpList.end() ) {
 537           std::cerr << "Input: " << I->first << "(" << I->second
 538                     << ")\n";
 539           ++I;
 540         }
 541         std::cerr << "Output: " << Output << "\n";
 542       }
 543
 544       // If there's no input, we're done.
 545       if (InpList.empty())
 546         throw std::string("Nothing to compile.");
 547
 548       // If they are asking for linking and didn't provide an output
 549       // file then its an error (no way for us to "make up" a meaningful
 550       // file name based on the various linker input files).
 551       if (finalPhase == LINKING && Output.isEmpty())
 552         throw std::string(
 553           "An output file name must be specified for linker output");
 554
 555       // If they are not asking for linking, provided an output file and
 556       // there is more than one input file, its an error
 557       if (finalPhase != LINKING && !Output.isEmpty() && InpList.size() > 1)
 558         throw std::string("An output file name cannot be specified ") +
 559           "with more than one input file name when not linking";
 560
 561       // This vector holds all the resulting actions of the following loop.
 562       std::vector<Action*> actions;
 563
 564       /// PRE-PROCESSING / TRANSLATION / OPTIMIZATION / ASSEMBLY phases
 565       // for each input item
 566       SetVector<sys::Path> LinkageItems;
 567       StringVector LibFiles;
 568       InputList::const_iterator I = InpList.begin();
 569       for (InputList::const_iterator I = InpList.begin(), E = InpList.end();
 570            I != E; ++I ) {
 571         // Get the suffix of the file name
 572         const std::string& ftype = I->second;
 573
 574         // If its a library, bytecode file, or object file, save
 575         // it for linking below and short circuit the
 576         // pre-processing/translation/assembly phases
 577         if (ftype.empty() ||  ftype == "o" || ftype == "bc" || ftype=="a") {
 578           // We shouldn't get any of these types of files unless we're
 579           // later going to link. Enforce this limit now.
 580           if (finalPhase != LINKING) {
 581             throw std::string(
 582               "Pre-compiled objects found but linking not requested");
 583           }
 584           if (ftype.empty())
 585             LibFiles.push_back(I->first.toString());
 586           else
 587             LinkageItems.insert(I->first);
 588           continue; // short circuit remainder of loop
 589         }
 590
 591         // At this point, we know its something we need to translate
 592         // and/or optimize. See if we can get the configuration data
 593         // for this kind of file.
 594         ConfigData* cd = cdp->ProvideConfigData(I->second);
 595         if (cd == 0)
 596           throw std::string("Files of type '") + I->second +
 597                 "' are not recognized.";
 598         if (isSet(DEBUG_FLAG))
 599           DumpConfigData(cd,I->second);
 600
 601         // Add the config data's library paths to the end of the list
 602         for (StringVector::iterator LPI = cd->libpaths.begin(),
 603              LPE = cd->libpaths.end(); LPI != LPE; ++LPI){
 604           LibraryPaths.push_back(sys::Path(*LPI));
 605         }
 606
 607         // Initialize the input and output files
 608         sys::Path InFile(I->first);
 609         sys::Path OutFile(I->first.getBasename());
 610
 611         // PRE-PROCESSING PHASE
 612         Action& action = cd->PreProcessor;
 613
 614         // Get the preprocessing action, if needed, or error if appropriate
 615         if (!action.program.isEmpty()) {
 616           if (action.isSet(REQUIRED_FLAG) || finalPhase == PREPROCESSING) {
 617             if (finalPhase == PREPROCESSING) {
 618               if (Output.isEmpty()) {
 619                 OutFile.appendSuffix("E");
 620                 actions.push_back(GetAction(cd,InFile,OutFile,PREPROCESSING));
 621               } else {
 622                 actions.push_back(GetAction(cd,InFile,Output,PREPROCESSING));
 623               }
 624             } else {
 625               sys::Path TempFile(MakeTempFile(I->first.getBasename(),"E"));
 626               actions.push_back(GetAction(cd,InFile,TempFile,
 627                 PREPROCESSING));
 628               InFile = TempFile;
 629             }
 630           }
 631         } else if (finalPhase == PREPROCESSING) {
 632           throw cd->langName + " does not support pre-processing";
 633         } else if (action.isSet(REQUIRED_FLAG)) {
 634           throw std::string("Don't know how to pre-process ") +
 635                 cd->langName + " files";
 636         }
 637
 638         // Short-circuit remaining actions if all they want is
 639         // pre-processing
 640         if (finalPhase == PREPROCESSING) { continue; };
 641
 642         /// TRANSLATION PHASE
 643         action = cd->Translator;
 644
 645         // Get the translation action, if needed, or error if appropriate
 646         if (!action.program.isEmpty()) {
 647           if (action.isSet(REQUIRED_FLAG) || finalPhase == TRANSLATION) {
 648             if (finalPhase == TRANSLATION) {
 649               if (Output.isEmpty()) {
 650                 OutFile.appendSuffix("o");
 651                 actions.push_back(GetAction(cd,InFile,OutFile,TRANSLATION));
 652               } else {
 653                 actions.push_back(GetAction(cd,InFile,Output,TRANSLATION));
 654               }
 655             } else {
 656               sys::Path TempFile(MakeTempFile(I->first.getBasename(),"trans"));
 657               actions.push_back(GetAction(cd,InFile,TempFile,TRANSLATION));
 658               InFile = TempFile;
 659             }
 660
 661             // ll -> bc Helper
 662             if (action.isSet(OUTPUT_IS_ASM_FLAG)) {
 663               /// The output of the translator is an LLVM Assembly program
 664               /// We need to translate it to bytecode
 665               Action* action = new Action();
 666               action->program.setFile("llvm-as");
 667               action->args.push_back(InFile.toString());
 668               action->args.push_back("-o");
 669               InFile.appendSuffix("bc");
 670               action->args.push_back(InFile.toString());
 671               actions.push_back(action);
 672             }
 673           }
 674         } else if (finalPhase == TRANSLATION) {
 675           throw cd->langName + " does not support translation";
 676         } else if (action.isSet(REQUIRED_FLAG)) {
 677           throw std::string("Don't know how to translate ") +
 678                 cd->langName + " files";
 679         }
 680
 681         // Short-circuit remaining actions if all they want is translation
 682         if (finalPhase == TRANSLATION) { continue; }
 683
 684         /// OPTIMIZATION PHASE
 685         action = cd->Optimizer;
 686
 687         // Get the optimization action, if needed, or error if appropriate
 688         if (!isSet(EMIT_RAW_FLAG)) {
 689           if (!action.program.isEmpty()) {
 690             if (action.isSet(REQUIRED_FLAG) || finalPhase == OPTIMIZATION) {
 691               if (finalPhase == OPTIMIZATION) {
 692                 if (Output.isEmpty()) {
 693                   OutFile.appendSuffix("o");
 694                   actions.push_back(GetAction(cd,InFile,OutFile,OPTIMIZATION));
 695                 } else {
 696                   actions.push_back(GetAction(cd,InFile,Output,OPTIMIZATION));
 697                 }
 698               } else {
 699                 sys::Path TempFile(MakeTempFile(I->first.getBasename(),"opt"));
 700                 actions.push_back(GetAction(cd,InFile,TempFile,OPTIMIZATION));
 701                 InFile = TempFile;
 702               }
 703               // ll -> bc Helper
 704               if (action.isSet(OUTPUT_IS_ASM_FLAG)) {
 705                 /// The output of the optimizer is an LLVM Assembly program
 706                 /// We need to translate it to bytecode with llvm-as
 707                 Action* action = new Action();
 708                 action->program.setFile("llvm-as");
 709                 action->args.push_back(InFile.toString());
 710                 action->args.push_back("-f");
 711                 action->args.push_back("-o");
 712                 InFile.appendSuffix("bc");
 713                 action->args.push_back(InFile.toString());
 714                 actions.push_back(action);
 715               }
 716             }
 717           } else if (finalPhase == OPTIMIZATION) {
 718             throw cd->langName + " does not support optimization";
 719           } else if (action.isSet(REQUIRED_FLAG)) {
 720             throw std::string("Don't know how to optimize ") +
 721                 cd->langName + " files";
 722           }
 723         }
 724
 725         // Short-circuit remaining actions if all they want is optimization
 726         if (finalPhase == OPTIMIZATION) { continue; }
 727
 728         /// ASSEMBLY PHASE
 729         action = cd->Assembler;
 730
 731         if (finalPhase == ASSEMBLY) {
 732
 733           // Build either a native compilation action or a disassembly action
 734           Action* action = new Action();
 735           if (isSet(EMIT_NATIVE_FLAG)) {
 736             // Use llc to get the native assembly file
 737             action->program.setFile("llc");
 738             action->args.push_back(InFile.toString());
 739             action->args.push_back("-f");
 740             action->args.push_back("-o");
 741             if (Output.isEmpty()) {
 742               OutFile.appendSuffix("o");
 743               action->args.push_back(OutFile.toString());
 744             } else {
 745               action->args.push_back(Output.toString());
 746             }
 747             actions.push_back(action);
 748           } else {
 749             // Just convert back to llvm assembly with llvm-dis
 750             action->program.setFile("llvm-dis");
 751             action->args.push_back(InFile.toString());
 752             action->args.push_back("-f");
 753             action->args.push_back("-o");
 754             if (Output.isEmpty()) {
 755               OutFile.appendSuffix("ll");
 756               action->args.push_back(OutFile.toString());
 757             } else {
 758               action->args.push_back(Output.toString());
 759             }
 760           }
 761
 762           // Put the action on the list
 763           actions.push_back(action);
 764
 765           // Short circuit the rest of the loop, we don't want to link
 766           continue;
 767         }
 768
 769         // Register the result of the actions as a link candidate
 770         LinkageItems.insert(InFile);
 771
 772       } // end while loop over each input file
 773
 774       /// RUN THE COMPILATION ACTIONS
 775       std::vector<Action*>::iterator AI = actions.begin();
 776       std::vector<Action*>::iterator AE = actions.end();
 777       while (AI != AE) {
 778         if (!DoAction(*AI))
 779           throw std::string("Action failed");
 780         AI++;
 781       }
 782
 783       /// LINKING PHASE
 784       if (finalPhase == LINKING) {
 785
 786         // Insert the platform-specific system libraries to the path list
 787         std::vector<sys::Path> SysLibs;
 788         sys::Path::GetSystemLibraryPaths(SysLibs);
 789         LibraryPaths.insert(LibraryPaths.end(), SysLibs.begin(), SysLibs.end());
 790
 791         // Set up the linking action with llvm-ld
 792         Action* link = new Action();
 793         link->program.setFile("llvm-ld");
 794
 795         // Add in the optimization level requested
 796         switch (optLevel) {
 797           case OPT_FAST_COMPILE:
 798             link->args.push_back("-O1");
 799             break;
 800           case OPT_SIMPLE:
 801             link->args.push_back("-O2");
 802             break;
 803           case OPT_AGGRESSIVE:
 804             link->args.push_back("-O3");
 805             break;
 806           case OPT_LINK_TIME:
 807             link->args.push_back("-O4");
 808             break;
 809           case OPT_AGGRESSIVE_LINK_TIME:
 810             link->args.push_back("-O5");
 811             break;
 812           case OPT_NONE:
 813             break;
 814         }
 815
 816         // Add in all the linkage items we generated. This includes the
 817         // output from the translation/optimization phases as well as any
 818         // -l arguments specified.
 819         for (PathVector::const_iterator I=LinkageItems.begin(),
 820              E=LinkageItems.end(); I != E; ++I )
 821           link->args.push_back(I->toString());
 822
 823         // Add in all the libraries we found.
 824         for (StringVector::const_iterator I=LibFiles.begin(),
 825              E=LibFiles.end(); I != E; ++I )
 826           link->args.push_back(std::string("-l")+*I);
 827
 828         // Add in all the library paths to the command line
 829         for (PathVector::const_iterator I=LibraryPaths.begin(),
 830              E=LibraryPaths.end(); I != E; ++I)
 831           link->args.push_back( std::string("-L") + I->toString());
 832
 833         // Add in the additional linker arguments requested
 834         for (StringVector::const_iterator I=AdditionalArgs[LINKING].begin(),
 835              E=AdditionalArgs[LINKING].end(); I != E; ++I)
 836           link->args.push_back( *I );
 837
 838         // Add in other optional flags
 839         if (isSet(EMIT_NATIVE_FLAG))
 840           link->args.push_back("-native");
 841         if (isSet(VERBOSE_FLAG))
 842           link->args.push_back("-v");
 843         if (isSet(TIME_PASSES_FLAG))
 844           link->args.push_back("-time-passes");
 845         if (isSet(SHOW_STATS_FLAG))
 846           link->args.push_back("-stats");
 847         if (isSet(STRIP_OUTPUT_FLAG))
 848           link->args.push_back("-s");
 849         if (isSet(DEBUG_FLAG)) {
 850           link->args.push_back("-debug");
 851           link->args.push_back("-debug-pass=Details");
 852         }
 853
 854         // Add in mandatory flags
 855         link->args.push_back("-o");
 856         link->args.push_back(Output.toString());
 857
 858         // Execute the link
 859         if (!DoAction(link))
 860             throw std::string("Action failed");
 861       }
 862     } catch (std::string& msg) {
 863       cleanup();
 864       throw;
 865     } catch (...) {
 866       cleanup();
 867       throw std::string("Unspecified error");
 868     }
 869     cleanup();
 870     return 0;
 871   }
 872
 873 /// @}
 874 /// @name Data
 875 /// @{
 876 private:
 877   ConfigDataProvider* cdp;      ///< Where we get configuration data from
 878   Phases finalPhase;            ///< The final phase of compilation
 879   OptimizationLevels optLevel;  ///< The optimization level to apply
 880   unsigned Flags;               ///< The driver flags
 881   std::string machine;          ///< Target machine name
 882   PathVector LibraryPaths;      ///< -L options
 883   PathVector IncludePaths;      ///< -I options
 884   PathVector ToolPaths;         ///< -B options
 885   StringVector Defines;         ///< -D options
 886   sys::Path TempDir;            ///< Name of the temporary directory.
 887   StringTable AdditionalArgs;   ///< The -Txyz options
 888   StringVector fOptions;        ///< -f options
 889   StringVector MOptions;        ///< -M options
 890   StringVector WOptions;        ///< -W options
 891
 892 /// @}
 893 };
 894 }
 895
 896 CompilerDriver::~CompilerDriver() {
 897 }
 898
 899 CompilerDriver*
 900 CompilerDriver::Get(ConfigDataProvider& CDP) {
 901   return new CompilerDriverImpl(CDP);
 902 }
 903
 904 CompilerDriver::ConfigData::ConfigData()
 905   : langName()
 906   , PreProcessor()
 907   , Translator()
 908   , Optimizer()
 909   , Assembler()
 910   , Linker()
 911 {
 912   StringVector emptyVec;
 913   for (unsigned i = 0; i < NUM_PHASES; ++i)
 914     opts.push_back(emptyVec);
 915 }
 916
 917 // vim: sw=2 smartindent smarttab tw=80 autoindent expandtab