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