Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- Compilation.h - Compilation Task Data Structure ----------*- C++ -*-===// |
| 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 | #ifndef LLVM_CLANG_DRIVER_COMPILATION_H |
||
| 10 | #define LLVM_CLANG_DRIVER_COMPILATION_H |
||
| 11 | |||
| 12 | #include "clang/Basic/LLVM.h" |
||
| 13 | #include "clang/Driver/Action.h" |
||
| 14 | #include "clang/Driver/Job.h" |
||
| 15 | #include "clang/Driver/Util.h" |
||
| 16 | #include "llvm/ADT/ArrayRef.h" |
||
| 17 | #include "llvm/ADT/DenseMap.h" |
||
| 18 | #include "llvm/ADT/StringRef.h" |
||
| 19 | #include "llvm/Option/Option.h" |
||
| 20 | #include <cassert> |
||
| 21 | #include <iterator> |
||
| 22 | #include <map> |
||
| 23 | #include <memory> |
||
| 24 | #include <optional> |
||
| 25 | #include <utility> |
||
| 26 | #include <vector> |
||
| 27 | |||
| 28 | namespace llvm { |
||
| 29 | namespace opt { |
||
| 30 | |||
| 31 | class DerivedArgList; |
||
| 32 | class InputArgList; |
||
| 33 | |||
| 34 | } // namespace opt |
||
| 35 | } // namespace llvm |
||
| 36 | |||
| 37 | namespace clang { |
||
| 38 | namespace driver { |
||
| 39 | |||
| 40 | class Driver; |
||
| 41 | class ToolChain; |
||
| 42 | |||
| 43 | /// Compilation - A set of tasks to perform for a single driver |
||
| 44 | /// invocation. |
||
| 45 | class Compilation { |
||
| 46 | /// The driver we were created by. |
||
| 47 | const Driver &TheDriver; |
||
| 48 | |||
| 49 | /// The default tool chain. |
||
| 50 | const ToolChain &DefaultToolChain; |
||
| 51 | |||
| 52 | /// A mask of all the programming models the host has to support in the |
||
| 53 | /// current compilation. |
||
| 54 | unsigned ActiveOffloadMask = 0; |
||
| 55 | |||
| 56 | /// Array with the toolchains of offloading host and devices in the order they |
||
| 57 | /// were requested by the user. We are preserving that order in case the code |
||
| 58 | /// generation needs to derive a programming-model-specific semantic out of |
||
| 59 | /// it. |
||
| 60 | std::multimap<Action::OffloadKind, const ToolChain *> |
||
| 61 | OrderedOffloadingToolchains; |
||
| 62 | |||
| 63 | /// The original (untranslated) input argument list. |
||
| 64 | llvm::opt::InputArgList *Args; |
||
| 65 | |||
| 66 | /// The driver translated arguments. Note that toolchains may perform their |
||
| 67 | /// own argument translation. |
||
| 68 | llvm::opt::DerivedArgList *TranslatedArgs; |
||
| 69 | |||
| 70 | /// The list of actions we've created via MakeAction. This is not accessible |
||
| 71 | /// to consumers; it's here just to manage ownership. |
||
| 72 | std::vector<std::unique_ptr<Action>> AllActions; |
||
| 73 | |||
| 74 | /// The list of actions. This is maintained and modified by consumers, via |
||
| 75 | /// getActions(). |
||
| 76 | ActionList Actions; |
||
| 77 | |||
| 78 | /// The root list of jobs. |
||
| 79 | JobList Jobs; |
||
| 80 | |||
| 81 | /// Cache of translated arguments for a particular tool chain, bound |
||
| 82 | /// architecture, and device offload kind. |
||
| 83 | struct TCArgsKey final { |
||
| 84 | const ToolChain *TC = nullptr; |
||
| 85 | StringRef BoundArch; |
||
| 86 | Action::OffloadKind DeviceOffloadKind = Action::OFK_None; |
||
| 87 | |||
| 88 | TCArgsKey(const ToolChain *TC, StringRef BoundArch, |
||
| 89 | Action::OffloadKind DeviceOffloadKind) |
||
| 90 | : TC(TC), BoundArch(BoundArch), DeviceOffloadKind(DeviceOffloadKind) {} |
||
| 91 | |||
| 92 | bool operator<(const TCArgsKey &K) const { |
||
| 93 | if (TC < K.TC) |
||
| 94 | return true; |
||
| 95 | else if (TC == K.TC && BoundArch < K.BoundArch) |
||
| 96 | return true; |
||
| 97 | else if (TC == K.TC && BoundArch == K.BoundArch && |
||
| 98 | DeviceOffloadKind < K.DeviceOffloadKind) |
||
| 99 | return true; |
||
| 100 | return false; |
||
| 101 | } |
||
| 102 | }; |
||
| 103 | std::map<TCArgsKey, llvm::opt::DerivedArgList *> TCArgs; |
||
| 104 | |||
| 105 | /// Temporary files which should be removed on exit. |
||
| 106 | llvm::opt::ArgStringList TempFiles; |
||
| 107 | |||
| 108 | /// Result files which should be removed on failure. |
||
| 109 | ArgStringMap ResultFiles; |
||
| 110 | |||
| 111 | /// Result files which are generated correctly on failure, and which should |
||
| 112 | /// only be removed if we crash. |
||
| 113 | ArgStringMap FailureResultFiles; |
||
| 114 | |||
| 115 | /// Optional redirection for stdin, stdout, stderr. |
||
| 116 | std::vector<std::optional<StringRef>> Redirects; |
||
| 117 | |||
| 118 | /// Callback called after compilation job has been finished. |
||
| 119 | /// Arguments of the callback are the compilation job as an instance of |
||
| 120 | /// class Command and the exit status of the corresponding child process. |
||
| 121 | std::function<void(const Command &, int)> PostCallback; |
||
| 122 | |||
| 123 | /// Whether we're compiling for diagnostic purposes. |
||
| 124 | bool ForDiagnostics = false; |
||
| 125 | |||
| 126 | /// Whether an error during the parsing of the input args. |
||
| 127 | bool ContainsError; |
||
| 128 | |||
| 129 | /// Whether to keep temporary files regardless of -save-temps. |
||
| 130 | bool ForceKeepTempFiles = false; |
||
| 131 | |||
| 132 | public: |
||
| 133 | Compilation(const Driver &D, const ToolChain &DefaultToolChain, |
||
| 134 | llvm::opt::InputArgList *Args, |
||
| 135 | llvm::opt::DerivedArgList *TranslatedArgs, bool ContainsError); |
||
| 136 | ~Compilation(); |
||
| 137 | |||
| 138 | const Driver &getDriver() const { return TheDriver; } |
||
| 139 | |||
| 140 | const ToolChain &getDefaultToolChain() const { return DefaultToolChain; } |
||
| 141 | |||
| 142 | unsigned isOffloadingHostKind(Action::OffloadKind Kind) const { |
||
| 143 | return ActiveOffloadMask & Kind; |
||
| 144 | } |
||
| 145 | |||
| 146 | unsigned getActiveOffloadKinds() const { return ActiveOffloadMask; } |
||
| 147 | |||
| 148 | /// Iterator that visits device toolchains of a given kind. |
||
| 149 | using const_offload_toolchains_iterator = |
||
| 150 | const std::multimap<Action::OffloadKind, |
||
| 151 | const ToolChain *>::const_iterator; |
||
| 152 | using const_offload_toolchains_range = |
||
| 153 | std::pair<const_offload_toolchains_iterator, |
||
| 154 | const_offload_toolchains_iterator>; |
||
| 155 | |||
| 156 | template <Action::OffloadKind Kind> |
||
| 157 | const_offload_toolchains_range getOffloadToolChains() const { |
||
| 158 | return OrderedOffloadingToolchains.equal_range(Kind); |
||
| 159 | } |
||
| 160 | |||
| 161 | const_offload_toolchains_range |
||
| 162 | getOffloadToolChains(Action::OffloadKind Kind) const { |
||
| 163 | return OrderedOffloadingToolchains.equal_range(Kind); |
||
| 164 | } |
||
| 165 | |||
| 166 | /// Return true if an offloading tool chain of a given kind exists. |
||
| 167 | template <Action::OffloadKind Kind> bool hasOffloadToolChain() const { |
||
| 168 | return OrderedOffloadingToolchains.find(Kind) != |
||
| 169 | OrderedOffloadingToolchains.end(); |
||
| 170 | } |
||
| 171 | |||
| 172 | /// Return an offload toolchain of the provided kind. Only one is expected to |
||
| 173 | /// exist. |
||
| 174 | template <Action::OffloadKind Kind> |
||
| 175 | const ToolChain *getSingleOffloadToolChain() const { |
||
| 176 | auto TCs = getOffloadToolChains<Kind>(); |
||
| 177 | |||
| 178 | assert(TCs.first != TCs.second && |
||
| 179 | "No tool chains of the selected kind exist!"); |
||
| 180 | assert(std::next(TCs.first) == TCs.second && |
||
| 181 | "More than one tool chain of the this kind exist."); |
||
| 182 | return TCs.first->second; |
||
| 183 | } |
||
| 184 | |||
| 185 | void addOffloadDeviceToolChain(const ToolChain *DeviceToolChain, |
||
| 186 | Action::OffloadKind OffloadKind) { |
||
| 187 | assert(OffloadKind != Action::OFK_Host && OffloadKind != Action::OFK_None && |
||
| 188 | "This is not a device tool chain!"); |
||
| 189 | |||
| 190 | // Update the host offload kind to also contain this kind. |
||
| 191 | ActiveOffloadMask |= OffloadKind; |
||
| 192 | OrderedOffloadingToolchains.insert( |
||
| 193 | std::make_pair(OffloadKind, DeviceToolChain)); |
||
| 194 | } |
||
| 195 | |||
| 196 | const llvm::opt::InputArgList &getInputArgs() const { return *Args; } |
||
| 197 | |||
| 198 | const llvm::opt::DerivedArgList &getArgs() const { return *TranslatedArgs; } |
||
| 199 | |||
| 200 | llvm::opt::DerivedArgList &getArgs() { return *TranslatedArgs; } |
||
| 201 | |||
| 202 | ActionList &getActions() { return Actions; } |
||
| 203 | const ActionList &getActions() const { return Actions; } |
||
| 204 | |||
| 205 | /// Creates a new Action owned by this Compilation. |
||
| 206 | /// |
||
| 207 | /// The new Action is *not* added to the list returned by getActions(). |
||
| 208 | template <typename T, typename... Args> T *MakeAction(Args &&... Arg) { |
||
| 209 | T *RawPtr = new T(std::forward<Args>(Arg)...); |
||
| 210 | AllActions.push_back(std::unique_ptr<Action>(RawPtr)); |
||
| 211 | return RawPtr; |
||
| 212 | } |
||
| 213 | |||
| 214 | JobList &getJobs() { return Jobs; } |
||
| 215 | const JobList &getJobs() const { return Jobs; } |
||
| 216 | |||
| 217 | void addCommand(std::unique_ptr<Command> C) { Jobs.addJob(std::move(C)); } |
||
| 218 | |||
| 219 | llvm::opt::ArgStringList &getTempFiles() { return TempFiles; } |
||
| 220 | const llvm::opt::ArgStringList &getTempFiles() const { return TempFiles; } |
||
| 221 | |||
| 222 | const ArgStringMap &getResultFiles() const { return ResultFiles; } |
||
| 223 | |||
| 224 | const ArgStringMap &getFailureResultFiles() const { |
||
| 225 | return FailureResultFiles; |
||
| 226 | } |
||
| 227 | |||
| 228 | /// Installs a handler that is executed when a compilation job is finished. |
||
| 229 | /// The arguments of the callback specify the compilation job as an instance |
||
| 230 | /// of class Command and the exit status of the child process executed that |
||
| 231 | /// job. |
||
| 232 | void setPostCallback(const std::function<void(const Command &, int)> &CB) { |
||
| 233 | PostCallback = CB; |
||
| 234 | } |
||
| 235 | |||
| 236 | /// Returns the sysroot path. |
||
| 237 | StringRef getSysRoot() const; |
||
| 238 | |||
| 239 | /// getArgsForToolChain - Return the derived argument list for the |
||
| 240 | /// tool chain \p TC (or the default tool chain, if TC is not specified). |
||
| 241 | /// If a device offloading kind is specified, a translation specific for that |
||
| 242 | /// kind is performed, if any. |
||
| 243 | /// |
||
| 244 | /// \param BoundArch - The bound architecture name, or 0. |
||
| 245 | /// \param DeviceOffloadKind - The offload device kind that should be used in |
||
| 246 | /// the translation, if any. |
||
| 247 | const llvm::opt::DerivedArgList & |
||
| 248 | getArgsForToolChain(const ToolChain *TC, StringRef BoundArch, |
||
| 249 | Action::OffloadKind DeviceOffloadKind); |
||
| 250 | |||
| 251 | /// addTempFile - Add a file to remove on exit, and returns its |
||
| 252 | /// argument. |
||
| 253 | const char *addTempFile(const char *Name) { |
||
| 254 | TempFiles.push_back(Name); |
||
| 255 | return Name; |
||
| 256 | } |
||
| 257 | |||
| 258 | /// addResultFile - Add a file to remove on failure, and returns its |
||
| 259 | /// argument. |
||
| 260 | const char *addResultFile(const char *Name, const JobAction *JA) { |
||
| 261 | ResultFiles[JA] = Name; |
||
| 262 | return Name; |
||
| 263 | } |
||
| 264 | |||
| 265 | /// addFailureResultFile - Add a file to remove if we crash, and returns its |
||
| 266 | /// argument. |
||
| 267 | const char *addFailureResultFile(const char *Name, const JobAction *JA) { |
||
| 268 | FailureResultFiles[JA] = Name; |
||
| 269 | return Name; |
||
| 270 | } |
||
| 271 | |||
| 272 | /// CleanupFile - Delete a given file. |
||
| 273 | /// |
||
| 274 | /// \param IssueErrors - Report failures as errors. |
||
| 275 | /// \return Whether the file was removed successfully. |
||
| 276 | bool CleanupFile(const char *File, bool IssueErrors = false) const; |
||
| 277 | |||
| 278 | /// CleanupFileList - Remove the files in the given list. |
||
| 279 | /// |
||
| 280 | /// \param IssueErrors - Report failures as errors. |
||
| 281 | /// \return Whether all files were removed successfully. |
||
| 282 | bool CleanupFileList(const llvm::opt::ArgStringList &Files, |
||
| 283 | bool IssueErrors = false) const; |
||
| 284 | |||
| 285 | /// CleanupFileMap - Remove the files in the given map. |
||
| 286 | /// |
||
| 287 | /// \param JA - If specified, only delete the files associated with this |
||
| 288 | /// JobAction. Otherwise, delete all files in the map. |
||
| 289 | /// \param IssueErrors - Report failures as errors. |
||
| 290 | /// \return Whether all files were removed successfully. |
||
| 291 | bool CleanupFileMap(const ArgStringMap &Files, |
||
| 292 | const JobAction *JA, |
||
| 293 | bool IssueErrors = false) const; |
||
| 294 | |||
| 295 | /// ExecuteCommand - Execute an actual command. |
||
| 296 | /// |
||
| 297 | /// \param FailingCommand - For non-zero results, this will be set to the |
||
| 298 | /// Command which failed, if any. |
||
| 299 | /// \param LogOnly - When true, only tries to log the command, not actually |
||
| 300 | /// execute it. |
||
| 301 | /// \return The result code of the subprocess. |
||
| 302 | int ExecuteCommand(const Command &C, const Command *&FailingCommand, |
||
| 303 | bool LogOnly = false) const; |
||
| 304 | |||
| 305 | /// ExecuteJob - Execute a single job. |
||
| 306 | /// |
||
| 307 | /// \param FailingCommands - For non-zero results, this will be a vector of |
||
| 308 | /// failing commands and their associated result code. |
||
| 309 | /// \param LogOnly - When true, only tries to log the command, not actually |
||
| 310 | /// execute it. |
||
| 311 | void |
||
| 312 | ExecuteJobs(const JobList &Jobs, |
||
| 313 | SmallVectorImpl<std::pair<int, const Command *>> &FailingCommands, |
||
| 314 | bool LogOnly = false) const; |
||
| 315 | |||
| 316 | /// initCompilationForDiagnostics - Remove stale state and suppress output |
||
| 317 | /// so compilation can be reexecuted to generate additional diagnostic |
||
| 318 | /// information (e.g., preprocessed source(s)). |
||
| 319 | void initCompilationForDiagnostics(); |
||
| 320 | |||
| 321 | /// Return true if we're compiling for diagnostics. |
||
| 322 | bool isForDiagnostics() const { return ForDiagnostics; } |
||
| 323 | |||
| 324 | /// Return whether an error during the parsing of the input args. |
||
| 325 | bool containsError() const { return ContainsError; } |
||
| 326 | |||
| 327 | /// Force driver to fail before toolchain is created. This is necessary when |
||
| 328 | /// error happens in action builder. |
||
| 329 | void setContainsError() { ContainsError = true; } |
||
| 330 | |||
| 331 | /// Redirect - Redirect output of this compilation. Can only be done once. |
||
| 332 | /// |
||
| 333 | /// \param Redirects - array of optional paths. The array should have a size |
||
| 334 | /// of three. The inferior process's stdin(0), stdout(1), and stderr(2) will |
||
| 335 | /// be redirected to the corresponding paths, if provided (not std::nullopt). |
||
| 336 | void Redirect(ArrayRef<std::optional<StringRef>> Redirects); |
||
| 337 | }; |
||
| 338 | |||
| 339 | } // namespace driver |
||
| 340 | } // namespace clang |
||
| 341 | |||
| 342 | #endif // LLVM_CLANG_DRIVER_COMPILATION_H |