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, 166 bool LogOnly) const { 167 if ((getDriver().CCPrintOptions || 168 getArgs().hasArg(options::OPT_v)) && !getDriver().CCGenDiagnostics) { 169 raw_ostream *OS = &llvm::errs(); 170 std::unique_ptr<llvm::raw_fd_ostream> OwnedStream; 171 172 // Follow gcc implementation of CC_PRINT_OPTIONS; we could also cache the 173 // output stream. 174 if (getDriver().CCPrintOptions && 175 !getDriver().CCPrintOptionsFilename.empty()) { 176 std::error_code EC; 177 OwnedStream.reset(new llvm::raw_fd_ostream( 178 getDriver().CCPrintOptionsFilename, EC, 179 llvm::sys::fs::OF_Append | llvm::sys::fs::OF_TextWithCRLF)); 180 if (EC) { 181 getDriver().Diag(diag::err_drv_cc_print_options_failure) 182 << EC.message(); 183 FailingCommand = &C; 184 return 1; 185 } 186 OS = OwnedStream.get(); 187 } 188 189 if (getDriver().CCPrintOptions) 190 *OS << "[Logging clang options]\n"; 191 192 C.Print(*OS, "\n", /*Quote=*/getDriver().CCPrintOptions); 193 } 194 195 if (LogOnly) 196 return 0; 197 198 std::string Error; 199 bool ExecutionFailed; 200 int Res = C.Execute(Redirects, &Error, &ExecutionFailed); 201 if (PostCallback) 202 PostCallback(C, Res); 203 if (!Error.empty()) { 204 assert(Res && "Error string set with 0 result code!"); 205 getDriver().Diag(diag::err_drv_command_failure) << Error; 206 } 207 208 if (Res) 209 FailingCommand = &C; 210 211 return ExecutionFailed ? 1 : Res; 212 } 213 214 using FailingCommandList = SmallVectorImpl<std::pair<int, const Command *>>; 215 216 static bool ActionFailed(const Action *A, 217 const FailingCommandList &FailingCommands) { 218 if (FailingCommands.empty()) 219 return false; 220 221 // CUDA/HIP can have the same input source code compiled multiple times so do 222 // not compiled again if there are already failures. It is OK to abort the 223 // CUDA pipeline on errors. 224 if (A->isOffloading(Action::OFK_Cuda) || A->isOffloading(Action::OFK_HIP)) 225 return true; 226 227 for (const auto &CI : FailingCommands) 228 if (A == &(CI.second->getSource())) 229 return true; 230 231 for (const auto *AI : A->inputs()) 232 if (ActionFailed(AI, FailingCommands)) 233 return true; 234 235 return false; 236 } 237 238 static bool InputsOk(const Command &C, 239 const FailingCommandList &FailingCommands) { 240 return !ActionFailed(&C.getSource(), FailingCommands); 241 } 242 243 void Compilation::ExecuteJobs(const JobList &Jobs, 244 FailingCommandList &FailingCommands, 245 bool LogOnly) const { 246 // According to UNIX standard, driver need to continue compiling all the 247 // inputs on the command line even one of them failed. 248 // In all but CLMode, execute all the jobs unless the necessary inputs for the 249 // job is missing due to previous failures. 250 for (const auto &Job : Jobs) { 251 if (!InputsOk(Job, FailingCommands)) 252 continue; 253 const Command *FailingCommand = nullptr; 254 if (int Res = ExecuteCommand(Job, FailingCommand, LogOnly)) { 255 FailingCommands.push_back(std::make_pair(Res, FailingCommand)); 256 // Bail as soon as one command fails in cl driver mode. 257 if (TheDriver.IsCLMode()) 258 return; 259 } 260 } 261 } 262 263 void Compilation::initCompilationForDiagnostics() { 264 ForDiagnostics = true; 265 266 // Free actions and jobs. 267 Actions.clear(); 268 AllActions.clear(); 269 Jobs.clear(); 270 271 // Remove temporary files. 272 if (!TheDriver.isSaveTempsEnabled() && !ForceKeepTempFiles) 273 CleanupFileList(TempFiles); 274 275 // Clear temporary/results file lists. 276 TempFiles.clear(); 277 ResultFiles.clear(); 278 FailureResultFiles.clear(); 279 280 // Remove any user specified output. Claim any unclaimed arguments, so as 281 // to avoid emitting warnings about unused args. 282 OptSpecifier OutputOpts[] = { 283 options::OPT_o, options::OPT_MD, options::OPT_MMD, options::OPT_M, 284 options::OPT_MM, options::OPT_MF, options::OPT_MG, options::OPT_MJ, 285 options::OPT_MQ, options::OPT_MT, options::OPT_MV}; 286 for (unsigned i = 0, e = llvm::array_lengthof(OutputOpts); i != e; ++i) { 287 if (TranslatedArgs->hasArg(OutputOpts[i])) 288 TranslatedArgs->eraseArg(OutputOpts[i]); 289 } 290 TranslatedArgs->ClaimAllArgs(); 291 292 // Force re-creation of the toolchain Args, otherwise our modifications just 293 // above will have no effect. 294 for (auto Arg : TCArgs) 295 if (Arg.second != TranslatedArgs) 296 delete Arg.second; 297 TCArgs.clear(); 298 299 // Redirect stdout/stderr to /dev/null. 300 Redirects = {None, {""}, {""}}; 301 302 // Temporary files added by diagnostics should be kept. 303 ForceKeepTempFiles = true; 304 } 305 306 StringRef Compilation::getSysRoot() const { 307 return getDriver().SysRoot; 308 } 309 310 void Compilation::Redirect(ArrayRef<Optional<StringRef>> Redirects) { 311 this->Redirects = Redirects; 312 } 313