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 if (!OpenMPArgs) { 80 Entry = TC->TranslateArgs(*TranslatedArgs, BoundArch, DeviceOffloadKind); 81 if (!Entry) 82 Entry = TranslatedArgs; 83 } else { 84 Entry = TC->TranslateArgs(*OpenMPArgs, BoundArch, DeviceOffloadKind); 85 if (!Entry) 86 Entry = OpenMPArgs; 87 else 88 delete OpenMPArgs; 89 } 90 91 // Add allocated arguments to the final DAL. 92 for (auto ArgPtr : AllocatedArgs) 93 Entry->AddSynthesizedArg(ArgPtr); 94 } 95 96 return *Entry; 97 } 98 99 bool Compilation::CleanupFile(const char *File, bool IssueErrors) const { 100 // FIXME: Why are we trying to remove files that we have not created? For 101 // example we should only try to remove a temporary assembly file if 102 // "clang -cc1" succeed in writing it. Was this a workaround for when 103 // clang was writing directly to a .s file and sometimes leaving it behind 104 // during a failure? 105 106 // FIXME: If this is necessary, we can still try to split 107 // llvm::sys::fs::remove into a removeFile and a removeDir and avoid the 108 // duplicated stat from is_regular_file. 109 110 // Don't try to remove files which we don't have write access to (but may be 111 // able to remove), or non-regular files. Underlying tools may have 112 // intentionally not overwritten them. 113 if (!llvm::sys::fs::can_write(File) || !llvm::sys::fs::is_regular_file(File)) 114 return true; 115 116 if (std::error_code EC = llvm::sys::fs::remove(File)) { 117 // Failure is only failure if the file exists and is "regular". We checked 118 // for it being regular before, and llvm::sys::fs::remove ignores ENOENT, 119 // so we don't need to check again. 120 121 if (IssueErrors) 122 getDriver().Diag(diag::err_drv_unable_to_remove_file) 123 << EC.message(); 124 return false; 125 } 126 return true; 127 } 128 129 bool Compilation::CleanupFileList(const llvm::opt::ArgStringList &Files, 130 bool IssueErrors) const { 131 bool Success = true; 132 for (const auto &File: Files) 133 Success &= CleanupFile(File, IssueErrors); 134 return Success; 135 } 136 137 bool Compilation::CleanupFileMap(const ArgStringMap &Files, 138 const JobAction *JA, 139 bool IssueErrors) const { 140 bool Success = true; 141 for (const auto &File : Files) { 142 // If specified, only delete the files associated with the JobAction. 143 // Otherwise, delete all files in the map. 144 if (JA && File.first != JA) 145 continue; 146 Success &= CleanupFile(File.second, IssueErrors); 147 } 148 return Success; 149 } 150 151 int Compilation::ExecuteCommand(const Command &C, 152 const Command *&FailingCommand) const { 153 if ((getDriver().CCPrintOptions || 154 getArgs().hasArg(options::OPT_v)) && !getDriver().CCGenDiagnostics) { 155 raw_ostream *OS = &llvm::errs(); 156 157 // Follow gcc implementation of CC_PRINT_OPTIONS; we could also cache the 158 // output stream. 159 if (getDriver().CCPrintOptions && getDriver().CCPrintOptionsFilename) { 160 std::error_code EC; 161 OS = new llvm::raw_fd_ostream(getDriver().CCPrintOptionsFilename, EC, 162 llvm::sys::fs::F_Append | 163 llvm::sys::fs::F_Text); 164 if (EC) { 165 getDriver().Diag(diag::err_drv_cc_print_options_failure) 166 << EC.message(); 167 FailingCommand = &C; 168 delete OS; 169 return 1; 170 } 171 } 172 173 if (getDriver().CCPrintOptions) 174 *OS << "[Logging clang options]"; 175 176 C.Print(*OS, "\n", /*Quote=*/getDriver().CCPrintOptions); 177 178 if (OS != &llvm::errs()) 179 delete OS; 180 } 181 182 std::string Error; 183 bool ExecutionFailed; 184 int Res = C.Execute(Redirects, &Error, &ExecutionFailed); 185 if (!Error.empty()) { 186 assert(Res && "Error string set with 0 result code!"); 187 getDriver().Diag(diag::err_drv_command_failure) << Error; 188 } 189 190 if (Res) 191 FailingCommand = &C; 192 193 return ExecutionFailed ? 1 : Res; 194 } 195 196 using FailingCommandList = SmallVectorImpl<std::pair<int, const Command *>>; 197 198 static bool ActionFailed(const Action *A, 199 const FailingCommandList &FailingCommands) { 200 if (FailingCommands.empty()) 201 return false; 202 203 // CUDA/HIP can have the same input source code compiled multiple times so do 204 // not compiled again if there are already failures. It is OK to abort the 205 // CUDA pipeline on errors. 206 if (A->isOffloading(Action::OFK_Cuda) || A->isOffloading(Action::OFK_HIP)) 207 return true; 208 209 for (const auto &CI : FailingCommands) 210 if (A == &(CI.second->getSource())) 211 return true; 212 213 for (const auto *AI : A->inputs()) 214 if (ActionFailed(AI, FailingCommands)) 215 return true; 216 217 return false; 218 } 219 220 static bool InputsOk(const Command &C, 221 const FailingCommandList &FailingCommands) { 222 return !ActionFailed(&C.getSource(), FailingCommands); 223 } 224 225 void Compilation::ExecuteJobs(const JobList &Jobs, 226 FailingCommandList &FailingCommands) const { 227 // According to UNIX standard, driver need to continue compiling all the 228 // inputs on the command line even one of them failed. 229 // In all but CLMode, execute all the jobs unless the necessary inputs for the 230 // job is missing due to previous failures. 231 for (const auto &Job : Jobs) { 232 if (!InputsOk(Job, FailingCommands)) 233 continue; 234 const Command *FailingCommand = nullptr; 235 if (int Res = ExecuteCommand(Job, FailingCommand)) { 236 FailingCommands.push_back(std::make_pair(Res, FailingCommand)); 237 // Bail as soon as one command fails in cl driver mode. 238 if (TheDriver.IsCLMode()) 239 return; 240 } 241 } 242 } 243 244 void Compilation::initCompilationForDiagnostics() { 245 ForDiagnostics = true; 246 247 // Free actions and jobs. 248 Actions.clear(); 249 AllActions.clear(); 250 Jobs.clear(); 251 252 // Remove temporary files. 253 if (!TheDriver.isSaveTempsEnabled() && !ForceKeepTempFiles) 254 CleanupFileList(TempFiles); 255 256 // Clear temporary/results file lists. 257 TempFiles.clear(); 258 ResultFiles.clear(); 259 FailureResultFiles.clear(); 260 261 // Remove any user specified output. Claim any unclaimed arguments, so as 262 // to avoid emitting warnings about unused args. 263 OptSpecifier OutputOpts[] = { options::OPT_o, options::OPT_MD, 264 options::OPT_MMD }; 265 for (unsigned i = 0, e = llvm::array_lengthof(OutputOpts); i != e; ++i) { 266 if (TranslatedArgs->hasArg(OutputOpts[i])) 267 TranslatedArgs->eraseArg(OutputOpts[i]); 268 } 269 TranslatedArgs->ClaimAllArgs(); 270 271 // Redirect stdout/stderr to /dev/null. 272 Redirects = {None, {""}, {""}}; 273 274 // Temporary files added by diagnostics should be kept. 275 ForceKeepTempFiles = true; 276 } 277 278 StringRef Compilation::getSysRoot() const { 279 return getDriver().SysRoot; 280 } 281 282 void Compilation::Redirect(ArrayRef<Optional<StringRef>> Redirects) { 283 this->Redirects = Redirects; 284 } 285