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