Home | History | Annotate | Line # | Download | only in Driver
      1 //===- Compilation.cpp - Compilation Task Implementation ------------------===//
      2 //
      3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
      4 // See https://llvm.org/LICENSE.txt for license information.
      5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
      6 //
      7 //===----------------------------------------------------------------------===//
      8 
      9 #include "clang/Driver/Compilation.h"
     10 #include "clang/Basic/LLVM.h"
     11 #include "clang/Driver/Action.h"
     12 #include "clang/Driver/Driver.h"
     13 #include "clang/Driver/DriverDiagnostic.h"
     14 #include "clang/Driver/Job.h"
     15 #include "clang/Driver/Options.h"
     16 #include "clang/Driver/ToolChain.h"
     17 #include "clang/Driver/Util.h"
     18 #include "llvm/ADT/None.h"
     19 #include "llvm/ADT/STLExtras.h"
     20 #include "llvm/ADT/SmallVector.h"
     21 #include "llvm/ADT/Triple.h"
     22 #include "llvm/Option/ArgList.h"
     23 #include "llvm/Option/OptSpecifier.h"
     24 #include "llvm/Option/Option.h"
     25 #include "llvm/Support/FileSystem.h"
     26 #include "llvm/Support/raw_ostream.h"
     27 #include <cassert>
     28 #include <string>
     29 #include <system_error>
     30 #include <utility>
     31 
     32 using namespace clang;
     33 using namespace driver;
     34 using namespace llvm::opt;
     35 
     36 Compilation::Compilation(const Driver &D, const ToolChain &_DefaultToolChain,
     37                          InputArgList *_Args, DerivedArgList *_TranslatedArgs,
     38                          bool ContainsError)
     39     : TheDriver(D), DefaultToolChain(_DefaultToolChain), Args(_Args),
     40       TranslatedArgs(_TranslatedArgs), ContainsError(ContainsError) {
     41   // The offloading host toolchain is the default toolchain.
     42   OrderedOffloadingToolchains.insert(
     43       std::make_pair(Action::OFK_Host, &DefaultToolChain));
     44 }
     45 
     46 Compilation::~Compilation() {
     47   // Remove temporary files. This must be done before arguments are freed, as
     48   // the file names might be derived from the input arguments.
     49   if (!TheDriver.isSaveTempsEnabled() && !ForceKeepTempFiles)
     50     CleanupFileList(TempFiles);
     51 
     52   delete TranslatedArgs;
     53   delete Args;
     54 
     55   // Free any derived arg lists.
     56   for (auto Arg : TCArgs)
     57     if (Arg.second != TranslatedArgs)
     58       delete Arg.second;
     59 }
     60 
     61 const DerivedArgList &
     62 Compilation::getArgsForToolChain(const ToolChain *TC, StringRef BoundArch,
     63                                  Action::OffloadKind DeviceOffloadKind) {
     64   if (!TC)
     65     TC = &DefaultToolChain;
     66 
     67   DerivedArgList *&Entry = TCArgs[{TC, BoundArch, DeviceOffloadKind}];
     68   if (!Entry) {
     69     SmallVector<Arg *, 4> AllocatedArgs;
     70     DerivedArgList *OpenMPArgs = nullptr;
     71     // Translate OpenMP toolchain arguments provided via the -Xopenmp-target flags.
     72     if (DeviceOffloadKind == Action::OFK_OpenMP) {
     73       const ToolChain *HostTC = getSingleOffloadToolChain<Action::OFK_Host>();
     74       bool SameTripleAsHost = (TC->getTriple() == HostTC->getTriple());
     75       OpenMPArgs = TC->TranslateOpenMPTargetArgs(
     76           *TranslatedArgs, SameTripleAsHost, AllocatedArgs);
     77     }
     78 
     79     DerivedArgList *NewDAL = nullptr;
     80     if (!OpenMPArgs) {
     81       NewDAL = TC->TranslateXarchArgs(*TranslatedArgs, BoundArch,
     82                                       DeviceOffloadKind, &AllocatedArgs);
     83     } else {
     84       NewDAL = TC->TranslateXarchArgs(*OpenMPArgs, BoundArch, DeviceOffloadKind,
     85                                       &AllocatedArgs);
     86       if (!NewDAL)
     87         NewDAL = OpenMPArgs;
     88       else
     89         delete OpenMPArgs;
     90     }
     91 
     92     if (!NewDAL) {
     93       Entry = TC->TranslateArgs(*TranslatedArgs, BoundArch, DeviceOffloadKind);
     94       if (!Entry)
     95         Entry = TranslatedArgs;
     96     } else {
     97       Entry = TC->TranslateArgs(*NewDAL, BoundArch, DeviceOffloadKind);
     98       if (!Entry)
     99         Entry = NewDAL;
    100       else
    101         delete NewDAL;
    102     }
    103 
    104     // Add allocated arguments to the final DAL.
    105     for (auto ArgPtr : AllocatedArgs)
    106       Entry->AddSynthesizedArg(ArgPtr);
    107   }
    108 
    109   return *Entry;
    110 }
    111 
    112 bool Compilation::CleanupFile(const char *File, bool IssueErrors) const {
    113   // FIXME: Why are we trying to remove files that we have not created? For
    114   // example we should only try to remove a temporary assembly file if
    115   // "clang -cc1" succeed in writing it. Was this a workaround for when
    116   // clang was writing directly to a .s file and sometimes leaving it behind
    117   // during a failure?
    118 
    119   // FIXME: If this is necessary, we can still try to split
    120   // llvm::sys::fs::remove into a removeFile and a removeDir and avoid the
    121   // duplicated stat from is_regular_file.
    122 
    123   // Don't try to remove files which we don't have write access to (but may be
    124   // able to remove), or non-regular files. Underlying tools may have
    125   // intentionally not overwritten them.
    126   if (!llvm::sys::fs::can_write(File) || !llvm::sys::fs::is_regular_file(File))
    127     return true;
    128 
    129   if (std::error_code EC = llvm::sys::fs::remove(File)) {
    130     // Failure is only failure if the file exists and is "regular". We checked
    131     // for it being regular before, and llvm::sys::fs::remove ignores ENOENT,
    132     // so we don't need to check again.
    133 
    134     if (IssueErrors)
    135       getDriver().Diag(diag::err_drv_unable_to_remove_file)
    136         << EC.message();
    137     return false;
    138   }
    139   return true;
    140 }
    141 
    142 bool Compilation::CleanupFileList(const llvm::opt::ArgStringList &Files,
    143                                   bool IssueErrors) const {
    144   bool Success = true;
    145   for (const auto &File: Files)
    146     Success &= CleanupFile(File, IssueErrors);
    147   return Success;
    148 }
    149 
    150 bool Compilation::CleanupFileMap(const ArgStringMap &Files,
    151                                  const JobAction *JA,
    152                                  bool IssueErrors) const {
    153   bool Success = true;
    154   for (const auto &File : Files) {
    155     // If specified, only delete the files associated with the JobAction.
    156     // Otherwise, delete all files in the map.
    157     if (JA && File.first != JA)
    158       continue;
    159     Success &= CleanupFile(File.second, IssueErrors);
    160   }
    161   return Success;
    162 }
    163 
    164 int Compilation::ExecuteCommand(const Command &C,
    165                                 const Command *&FailingCommand) const {
    166   if ((getDriver().CCPrintOptions ||
    167        getArgs().hasArg(options::OPT_v)) && !getDriver().CCGenDiagnostics) {
    168     raw_ostream *OS = &llvm::errs();
    169     std::unique_ptr<llvm::raw_fd_ostream> OwnedStream;
    170 
    171     // Follow gcc implementation of CC_PRINT_OPTIONS; we could also cache the
    172     // output stream.
    173     if (getDriver().CCPrintOptions &&
    174         !getDriver().CCPrintOptionsFilename.empty()) {
    175       std::error_code EC;
    176       OwnedStream.reset(new llvm::raw_fd_ostream(
    177           getDriver().CCPrintOptionsFilename.c_str(), EC,
    178           llvm::sys::fs::OF_Append | llvm::sys::fs::OF_TextWithCRLF));
    179       if (EC) {
    180         getDriver().Diag(diag::err_drv_cc_print_options_failure)
    181             << EC.message();
    182         FailingCommand = &C;
    183         return 1;
    184       }
    185       OS = OwnedStream.get();
    186     }
    187 
    188     if (getDriver().CCPrintOptions)
    189       *OS << "[Logging clang options]\n";
    190 
    191     C.Print(*OS, "\n", /*Quote=*/getDriver().CCPrintOptions);
    192   }
    193 
    194   std::string Error;
    195   bool ExecutionFailed;
    196   int Res = C.Execute(Redirects, &Error, &ExecutionFailed);
    197   if (PostCallback)
    198     PostCallback(C, Res);
    199   if (!Error.empty()) {
    200     assert(Res && "Error string set with 0 result code!");
    201     getDriver().Diag(diag::err_drv_command_failure) << Error;
    202   }
    203 
    204   if (Res)
    205     FailingCommand = &C;
    206 
    207   return ExecutionFailed ? 1 : Res;
    208 }
    209 
    210 using FailingCommandList = SmallVectorImpl<std::pair<int, const Command *>>;
    211 
    212 static bool ActionFailed(const Action *A,
    213                          const FailingCommandList &FailingCommands) {
    214   if (FailingCommands.empty())
    215     return false;
    216 
    217   // CUDA/HIP can have the same input source code compiled multiple times so do
    218   // not compiled again if there are already failures. It is OK to abort the
    219   // CUDA pipeline on errors.
    220   if (A->isOffloading(Action::OFK_Cuda) || A->isOffloading(Action::OFK_HIP))
    221     return true;
    222 
    223   for (const auto &CI : FailingCommands)
    224     if (A == &(CI.second->getSource()))
    225       return true;
    226 
    227   for (const auto *AI : A->inputs())
    228     if (ActionFailed(AI, FailingCommands))
    229       return true;
    230 
    231   return false;
    232 }
    233 
    234 static bool InputsOk(const Command &C,
    235                      const FailingCommandList &FailingCommands) {
    236   return !ActionFailed(&C.getSource(), FailingCommands);
    237 }
    238 
    239 void Compilation::ExecuteJobs(const JobList &Jobs,
    240                               FailingCommandList &FailingCommands) const {
    241   // According to UNIX standard, driver need to continue compiling all the
    242   // inputs on the command line even one of them failed.
    243   // In all but CLMode, execute all the jobs unless the necessary inputs for the
    244   // job is missing due to previous failures.
    245   for (const auto &Job : Jobs) {
    246     if (!InputsOk(Job, FailingCommands))
    247       continue;
    248     const Command *FailingCommand = nullptr;
    249     if (int Res = ExecuteCommand(Job, FailingCommand)) {
    250       FailingCommands.push_back(std::make_pair(Res, FailingCommand));
    251       // Bail as soon as one command fails in cl driver mode.
    252       if (TheDriver.IsCLMode())
    253         return;
    254     }
    255   }
    256 }
    257 
    258 void Compilation::initCompilationForDiagnostics() {
    259   ForDiagnostics = true;
    260 
    261   // Free actions and jobs.
    262   Actions.clear();
    263   AllActions.clear();
    264   Jobs.clear();
    265 
    266   // Remove temporary files.
    267   if (!TheDriver.isSaveTempsEnabled() && !ForceKeepTempFiles)
    268     CleanupFileList(TempFiles);
    269 
    270   // Clear temporary/results file lists.
    271   TempFiles.clear();
    272   ResultFiles.clear();
    273   FailureResultFiles.clear();
    274 
    275   // Remove any user specified output.  Claim any unclaimed arguments, so as
    276   // to avoid emitting warnings about unused args.
    277   OptSpecifier OutputOpts[] = {
    278       options::OPT_o,  options::OPT_MD, options::OPT_MMD, options::OPT_M,
    279       options::OPT_MM, options::OPT_MF, options::OPT_MG,  options::OPT_MJ,
    280       options::OPT_MQ, options::OPT_MT, options::OPT_MV};
    281   for (unsigned i = 0, e = llvm::array_lengthof(OutputOpts); i != e; ++i) {
    282     if (TranslatedArgs->hasArg(OutputOpts[i]))
    283       TranslatedArgs->eraseArg(OutputOpts[i]);
    284   }
    285   TranslatedArgs->ClaimAllArgs();
    286 
    287   // Force re-creation of the toolchain Args, otherwise our modifications just
    288   // above will have no effect.
    289   for (auto Arg : TCArgs)
    290     if (Arg.second != TranslatedArgs)
    291       delete Arg.second;
    292   TCArgs.clear();
    293 
    294   // Redirect stdout/stderr to /dev/null.
    295   Redirects = {None, {""}, {""}};
    296 
    297   // Temporary files added by diagnostics should be kept.
    298   ForceKeepTempFiles = true;
    299 }
    300 
    301 StringRef Compilation::getSysRoot() const {
    302   return getDriver().SysRoot;
    303 }
    304 
    305 void Compilation::Redirect(ArrayRef<Optional<StringRef>> Redirects) {
    306   this->Redirects = Redirects;
    307 }
    308