101af97d3SDimitry Andric //===--- CreateInvocationFromCommandLine.cpp - CompilerInvocation from Args ==//
201af97d3SDimitry Andric //
322989816SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
422989816SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
522989816SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
601af97d3SDimitry Andric //
701af97d3SDimitry Andric //===----------------------------------------------------------------------===//
801af97d3SDimitry Andric //
901af97d3SDimitry Andric // Construct a compiler invocation object for command line driver arguments
1001af97d3SDimitry Andric //
1101af97d3SDimitry Andric //===----------------------------------------------------------------------===//
1201af97d3SDimitry Andric
13809500fcSDimitry Andric #include "clang/Basic/DiagnosticOptions.h"
14344a3780SDimitry Andric #include "clang/Driver/Action.h"
1501af97d3SDimitry Andric #include "clang/Driver/Compilation.h"
1601af97d3SDimitry Andric #include "clang/Driver/Driver.h"
1701af97d3SDimitry Andric #include "clang/Driver/Options.h"
1801af97d3SDimitry Andric #include "clang/Driver/Tool.h"
19809500fcSDimitry Andric #include "clang/Frontend/CompilerInstance.h"
20809500fcSDimitry Andric #include "clang/Frontend/FrontendDiagnostic.h"
21344a3780SDimitry Andric #include "clang/Frontend/Utils.h"
22344a3780SDimitry Andric #include "llvm/ADT/STLExtras.h"
23344a3780SDimitry Andric #include "llvm/ADT/StringRef.h"
24bfef3995SDimitry Andric #include "llvm/Option/ArgList.h"
257fa27ce4SDimitry Andric #include "llvm/TargetParser/Host.h"
2601af97d3SDimitry Andric using namespace clang;
27bfef3995SDimitry Andric using namespace llvm::opt;
2801af97d3SDimitry Andric
29145449b1SDimitry Andric std::unique_ptr<CompilerInvocation>
createInvocation(ArrayRef<const char * > ArgList,CreateInvocationOptions Opts)30145449b1SDimitry Andric clang::createInvocation(ArrayRef<const char *> ArgList,
31145449b1SDimitry Andric CreateInvocationOptions Opts) {
32c0981da4SDimitry Andric assert(!ArgList.empty());
33145449b1SDimitry Andric auto Diags = Opts.Diags
34145449b1SDimitry Andric ? std::move(Opts.Diags)
35145449b1SDimitry Andric : CompilerInstance::createDiagnostics(new DiagnosticOptions);
3601af97d3SDimitry Andric
3745b53394SDimitry Andric SmallVector<const char *, 16> Args(ArgList.begin(), ArgList.end());
3801af97d3SDimitry Andric
3956d91b49SDimitry Andric // FIXME: Find a cleaner way to force the driver into restricted modes.
40344a3780SDimitry Andric Args.insert(
41344a3780SDimitry Andric llvm::find_if(
42344a3780SDimitry Andric Args, [](const char *Elem) { return llvm::StringRef(Elem) == "--"; }),
43344a3780SDimitry Andric "-fsyntax-only");
4401af97d3SDimitry Andric
4501af97d3SDimitry Andric // FIXME: We shouldn't have to pass in the path info.
46b60736ecSDimitry Andric driver::Driver TheDriver(Args[0], llvm::sys::getDefaultTargetTriple(), *Diags,
47145449b1SDimitry Andric "clang LLVM compiler", Opts.VFS);
4801af97d3SDimitry Andric
4901af97d3SDimitry Andric // Don't check that inputs exist, they may have been remapped.
5001af97d3SDimitry Andric TheDriver.setCheckInputsExist(false);
51145449b1SDimitry Andric TheDriver.setProbePrecompiled(Opts.ProbePrecompiled);
5201af97d3SDimitry Andric
539f4dbff6SDimitry Andric std::unique_ptr<driver::Compilation> C(TheDriver.BuildCompilation(Args));
54b5aee35cSDimitry Andric if (!C)
55b5aee35cSDimitry Andric return nullptr;
5601af97d3SDimitry Andric
57145449b1SDimitry Andric if (C->getArgs().hasArg(driver::options::OPT_fdriver_only))
58145449b1SDimitry Andric return nullptr;
59145449b1SDimitry Andric
6001af97d3SDimitry Andric // Just print the cc1 options if -### was present.
6101af97d3SDimitry Andric if (C->getArgs().hasArg(driver::options::OPT__HASH_HASH_HASH)) {
62bfef3995SDimitry Andric C->getJobs().Print(llvm::errs(), "\n", true);
639f4dbff6SDimitry Andric return nullptr;
6401af97d3SDimitry Andric }
6501af97d3SDimitry Andric
6601af97d3SDimitry Andric // We expect to get back exactly one command job, if we didn't something
672b6b257fSDimitry Andric // failed. Offload compilation is an exception as it creates multiple jobs. If
682b6b257fSDimitry Andric // that's the case, we proceed with the first job. If caller needs a
692b6b257fSDimitry Andric // particular job, it should be controlled via options (e.g.
702b6b257fSDimitry Andric // --cuda-{host|device}-only for CUDA) passed to the driver.
7101af97d3SDimitry Andric const driver::JobList &Jobs = C->getJobs();
722b6b257fSDimitry Andric bool OffloadCompilation = false;
7351ece4aaSDimitry Andric if (Jobs.size() > 1) {
7451ece4aaSDimitry Andric for (auto &A : C->getActions()){
7551ece4aaSDimitry Andric // On MacOSX real actions may end up being wrapped in BindArchAction
7651ece4aaSDimitry Andric if (isa<driver::BindArchAction>(A))
772b6b257fSDimitry Andric A = *A->input_begin();
782b6b257fSDimitry Andric if (isa<driver::OffloadAction>(A)) {
792b6b257fSDimitry Andric OffloadCompilation = true;
8051ece4aaSDimitry Andric break;
8151ece4aaSDimitry Andric }
8251ece4aaSDimitry Andric }
8351ece4aaSDimitry Andric }
84c0981da4SDimitry Andric
85145449b1SDimitry Andric bool PickFirstOfMany = OffloadCompilation || Opts.RecoverOnError;
86c0981da4SDimitry Andric if (Jobs.size() == 0 || (Jobs.size() > 1 && !PickFirstOfMany)) {
87dbe13110SDimitry Andric SmallString<256> Msg;
8801af97d3SDimitry Andric llvm::raw_svector_ostream OS(Msg);
89bfef3995SDimitry Andric Jobs.Print(OS, "; ", true);
9001af97d3SDimitry Andric Diags->Report(diag::err_fe_expected_compiler_job) << OS.str();
919f4dbff6SDimitry Andric return nullptr;
9201af97d3SDimitry Andric }
93c0981da4SDimitry Andric auto Cmd = llvm::find_if(Jobs, [](const driver::Command &Cmd) {
94c0981da4SDimitry Andric return StringRef(Cmd.getCreator().getName()) == "clang";
95c0981da4SDimitry Andric });
96c0981da4SDimitry Andric if (Cmd == Jobs.end()) {
9701af97d3SDimitry Andric Diags->Report(diag::err_fe_expected_clang_command);
989f4dbff6SDimitry Andric return nullptr;
9901af97d3SDimitry Andric }
10001af97d3SDimitry Andric
101c0981da4SDimitry Andric const ArgStringList &CCArgs = Cmd->getArguments();
102145449b1SDimitry Andric if (Opts.CC1Args)
103145449b1SDimitry Andric *Opts.CC1Args = {CCArgs.begin(), CCArgs.end()};
104519fc96cSDimitry Andric auto CI = std::make_unique<CompilerInvocation>();
105cfca06d7SDimitry Andric if (!CompilerInvocation::CreateFromArgs(*CI, CCArgs, *Diags, Args[0]) &&
106145449b1SDimitry Andric !Opts.RecoverOnError)
1079f4dbff6SDimitry Andric return nullptr;
1086694ed09SDimitry Andric return CI;
10901af97d3SDimitry Andric }
110