1e5dd7070Spatrick //===--- CreateInvocationFromCommandLine.cpp - CompilerInvocation from Args ==//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick //
9e5dd7070Spatrick // Construct a compiler invocation object for command line driver arguments
10e5dd7070Spatrick //
11e5dd7070Spatrick //===----------------------------------------------------------------------===//
12e5dd7070Spatrick
13e5dd7070Spatrick #include "clang/Basic/DiagnosticOptions.h"
14a9ac8606Spatrick #include "clang/Driver/Action.h"
15e5dd7070Spatrick #include "clang/Driver/Compilation.h"
16e5dd7070Spatrick #include "clang/Driver/Driver.h"
17e5dd7070Spatrick #include "clang/Driver/Options.h"
18e5dd7070Spatrick #include "clang/Driver/Tool.h"
19e5dd7070Spatrick #include "clang/Frontend/CompilerInstance.h"
20e5dd7070Spatrick #include "clang/Frontend/FrontendDiagnostic.h"
21a9ac8606Spatrick #include "clang/Frontend/Utils.h"
22a9ac8606Spatrick #include "llvm/ADT/STLExtras.h"
23a9ac8606Spatrick #include "llvm/ADT/StringRef.h"
24e5dd7070Spatrick #include "llvm/Option/ArgList.h"
25e5dd7070Spatrick #include "llvm/Support/Host.h"
26e5dd7070Spatrick using namespace clang;
27e5dd7070Spatrick using namespace llvm::opt;
28e5dd7070Spatrick
29*12c85518Srobert std::unique_ptr<CompilerInvocation>
createInvocation(ArrayRef<const char * > ArgList,CreateInvocationOptions Opts)30*12c85518Srobert clang::createInvocation(ArrayRef<const char *> ArgList,
31*12c85518Srobert CreateInvocationOptions Opts) {
32*12c85518Srobert assert(!ArgList.empty());
33*12c85518Srobert auto Diags = Opts.Diags
34*12c85518Srobert ? std::move(Opts.Diags)
35*12c85518Srobert : CompilerInstance::createDiagnostics(new DiagnosticOptions);
36e5dd7070Spatrick
37e5dd7070Spatrick SmallVector<const char *, 16> Args(ArgList.begin(), ArgList.end());
38e5dd7070Spatrick
39e5dd7070Spatrick // FIXME: Find a cleaner way to force the driver into restricted modes.
40a9ac8606Spatrick Args.insert(
41a9ac8606Spatrick llvm::find_if(
42a9ac8606Spatrick Args, [](const char *Elem) { return llvm::StringRef(Elem) == "--"; }),
43a9ac8606Spatrick "-fsyntax-only");
44e5dd7070Spatrick
45e5dd7070Spatrick // FIXME: We shouldn't have to pass in the path info.
46a9ac8606Spatrick driver::Driver TheDriver(Args[0], llvm::sys::getDefaultTargetTriple(), *Diags,
47*12c85518Srobert "clang LLVM compiler", Opts.VFS);
48e5dd7070Spatrick
49e5dd7070Spatrick // Don't check that inputs exist, they may have been remapped.
50e5dd7070Spatrick TheDriver.setCheckInputsExist(false);
51*12c85518Srobert TheDriver.setProbePrecompiled(Opts.ProbePrecompiled);
52e5dd7070Spatrick
53e5dd7070Spatrick std::unique_ptr<driver::Compilation> C(TheDriver.BuildCompilation(Args));
54e5dd7070Spatrick if (!C)
55e5dd7070Spatrick return nullptr;
56e5dd7070Spatrick
57*12c85518Srobert if (C->getArgs().hasArg(driver::options::OPT_fdriver_only))
58*12c85518Srobert return nullptr;
59*12c85518Srobert
60e5dd7070Spatrick // Just print the cc1 options if -### was present.
61e5dd7070Spatrick if (C->getArgs().hasArg(driver::options::OPT__HASH_HASH_HASH)) {
62e5dd7070Spatrick C->getJobs().Print(llvm::errs(), "\n", true);
63e5dd7070Spatrick return nullptr;
64e5dd7070Spatrick }
65e5dd7070Spatrick
66e5dd7070Spatrick // We expect to get back exactly one command job, if we didn't something
67e5dd7070Spatrick // failed. Offload compilation is an exception as it creates multiple jobs. If
68e5dd7070Spatrick // that's the case, we proceed with the first job. If caller needs a
69e5dd7070Spatrick // particular job, it should be controlled via options (e.g.
70e5dd7070Spatrick // --cuda-{host|device}-only for CUDA) passed to the driver.
71e5dd7070Spatrick const driver::JobList &Jobs = C->getJobs();
72e5dd7070Spatrick bool OffloadCompilation = false;
73e5dd7070Spatrick if (Jobs.size() > 1) {
74e5dd7070Spatrick for (auto &A : C->getActions()){
75e5dd7070Spatrick // On MacOSX real actions may end up being wrapped in BindArchAction
76e5dd7070Spatrick if (isa<driver::BindArchAction>(A))
77e5dd7070Spatrick A = *A->input_begin();
78e5dd7070Spatrick if (isa<driver::OffloadAction>(A)) {
79e5dd7070Spatrick OffloadCompilation = true;
80e5dd7070Spatrick break;
81e5dd7070Spatrick }
82e5dd7070Spatrick }
83e5dd7070Spatrick }
84*12c85518Srobert
85*12c85518Srobert bool PickFirstOfMany = OffloadCompilation || Opts.RecoverOnError;
86*12c85518Srobert if (Jobs.size() == 0 || (Jobs.size() > 1 && !PickFirstOfMany)) {
87e5dd7070Spatrick SmallString<256> Msg;
88e5dd7070Spatrick llvm::raw_svector_ostream OS(Msg);
89e5dd7070Spatrick Jobs.Print(OS, "; ", true);
90e5dd7070Spatrick Diags->Report(diag::err_fe_expected_compiler_job) << OS.str();
91e5dd7070Spatrick return nullptr;
92e5dd7070Spatrick }
93*12c85518Srobert auto Cmd = llvm::find_if(Jobs, [](const driver::Command &Cmd) {
94*12c85518Srobert return StringRef(Cmd.getCreator().getName()) == "clang";
95*12c85518Srobert });
96*12c85518Srobert if (Cmd == Jobs.end()) {
97e5dd7070Spatrick Diags->Report(diag::err_fe_expected_clang_command);
98e5dd7070Spatrick return nullptr;
99e5dd7070Spatrick }
100e5dd7070Spatrick
101*12c85518Srobert const ArgStringList &CCArgs = Cmd->getArguments();
102*12c85518Srobert if (Opts.CC1Args)
103*12c85518Srobert *Opts.CC1Args = {CCArgs.begin(), CCArgs.end()};
104e5dd7070Spatrick auto CI = std::make_unique<CompilerInvocation>();
105ec727ea7Spatrick if (!CompilerInvocation::CreateFromArgs(*CI, CCArgs, *Diags, Args[0]) &&
106*12c85518Srobert !Opts.RecoverOnError)
107e5dd7070Spatrick return nullptr;
108e5dd7070Spatrick return CI;
109e5dd7070Spatrick }
110