xref: /freebsd/contrib/llvm-project/clang/lib/Driver/ToolChains/WebAssembly.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
10b57cec5SDimitry Andric //===--- WebAssembly.cpp - WebAssembly ToolChain Implementation -*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "WebAssembly.h"
100b57cec5SDimitry Andric #include "CommonArgs.h"
1181ad6265SDimitry Andric #include "Gnu.h"
12480093f4SDimitry Andric #include "clang/Basic/Version.h"
130b57cec5SDimitry Andric #include "clang/Config/config.h"
140b57cec5SDimitry Andric #include "clang/Driver/Compilation.h"
150b57cec5SDimitry Andric #include "clang/Driver/Driver.h"
160b57cec5SDimitry Andric #include "clang/Driver/DriverDiagnostic.h"
170b57cec5SDimitry Andric #include "clang/Driver/Options.h"
1881ad6265SDimitry Andric #include "llvm/Option/ArgList.h"
190b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h"
200b57cec5SDimitry Andric #include "llvm/Support/Path.h"
2181ad6265SDimitry Andric #include "llvm/Support/VirtualFileSystem.h"
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric using namespace clang::driver;
240b57cec5SDimitry Andric using namespace clang::driver::tools;
250b57cec5SDimitry Andric using namespace clang::driver::toolchains;
260b57cec5SDimitry Andric using namespace clang;
270b57cec5SDimitry Andric using namespace llvm::opt;
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric /// Following the conventions in https://wiki.debian.org/Multiarch/Tuples,
300b57cec5SDimitry Andric /// we remove the vendor field to form the multiarch triple.
31fe6060f1SDimitry Andric std::string WebAssembly::getMultiarchTriple(const Driver &D,
320b57cec5SDimitry Andric                                             const llvm::Triple &TargetTriple,
33fe6060f1SDimitry Andric                                             StringRef SysRoot) const {
340b57cec5SDimitry Andric     return (TargetTriple.getArchName() + "-" +
350b57cec5SDimitry Andric             TargetTriple.getOSAndEnvironmentName()).str();
360b57cec5SDimitry Andric }
370b57cec5SDimitry Andric 
380b57cec5SDimitry Andric std::string wasm::Linker::getLinkerPath(const ArgList &Args) const {
390b57cec5SDimitry Andric   const ToolChain &ToolChain = getToolChain();
400b57cec5SDimitry Andric   if (const Arg* A = Args.getLastArg(options::OPT_fuse_ld_EQ)) {
410b57cec5SDimitry Andric     StringRef UseLinker = A->getValue();
420b57cec5SDimitry Andric     if (!UseLinker.empty()) {
430b57cec5SDimitry Andric       if (llvm::sys::path::is_absolute(UseLinker) &&
440b57cec5SDimitry Andric           llvm::sys::fs::can_execute(UseLinker))
455ffd83dbSDimitry Andric         return std::string(UseLinker);
460b57cec5SDimitry Andric 
470b57cec5SDimitry Andric       // Accept 'lld', and 'ld' as aliases for the default linker
480b57cec5SDimitry Andric       if (UseLinker != "lld" && UseLinker != "ld")
490b57cec5SDimitry Andric         ToolChain.getDriver().Diag(diag::err_drv_invalid_linker_name)
500b57cec5SDimitry Andric             << A->getAsString(Args);
510b57cec5SDimitry Andric     }
520b57cec5SDimitry Andric   }
530b57cec5SDimitry Andric 
540b57cec5SDimitry Andric   return ToolChain.GetProgramPath(ToolChain.getDefaultLinker());
550b57cec5SDimitry Andric }
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA,
580b57cec5SDimitry Andric                                 const InputInfo &Output,
590b57cec5SDimitry Andric                                 const InputInfoList &Inputs,
600b57cec5SDimitry Andric                                 const ArgList &Args,
610b57cec5SDimitry Andric                                 const char *LinkingOutput) const {
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric   const ToolChain &ToolChain = getToolChain();
640b57cec5SDimitry Andric   const char *Linker = Args.MakeArgString(getLinkerPath(Args));
650b57cec5SDimitry Andric   ArgStringList CmdArgs;
660b57cec5SDimitry Andric 
675ffd83dbSDimitry Andric   CmdArgs.push_back("-m");
68349cc55cSDimitry Andric   if (ToolChain.getTriple().isArch64Bit())
695ffd83dbSDimitry Andric     CmdArgs.push_back("wasm64");
705ffd83dbSDimitry Andric   else
715ffd83dbSDimitry Andric     CmdArgs.push_back("wasm32");
725ffd83dbSDimitry Andric 
730b57cec5SDimitry Andric   if (Args.hasArg(options::OPT_s))
740b57cec5SDimitry Andric     CmdArgs.push_back("--strip-all");
750b57cec5SDimitry Andric 
76*5f757f3fSDimitry Andric   Args.addAllArgs(CmdArgs, {options::OPT_L, options::OPT_u});
77*5f757f3fSDimitry Andric 
780b57cec5SDimitry Andric   ToolChain.AddFilePathLibArgs(Args, CmdArgs);
790b57cec5SDimitry Andric 
805c16e71dSDimitry Andric   bool IsCommand = true;
815c16e71dSDimitry Andric   const char *Crt1;
8204eeddc0SDimitry Andric   const char *Entry = nullptr;
83fe6060f1SDimitry Andric 
845c16e71dSDimitry Andric   // When -shared is specified, use the reactor exec model unless
855c16e71dSDimitry Andric   // specified otherwise.
865c16e71dSDimitry Andric   if (Args.hasArg(options::OPT_shared))
875c16e71dSDimitry Andric     IsCommand = false;
885c16e71dSDimitry Andric 
895c16e71dSDimitry Andric   if (const Arg *A = Args.getLastArg(options::OPT_mexec_model_EQ)) {
905c16e71dSDimitry Andric     StringRef CM = A->getValue();
915c16e71dSDimitry Andric     if (CM == "command") {
925c16e71dSDimitry Andric       IsCommand = true;
935c16e71dSDimitry Andric     } else if (CM == "reactor") {
945c16e71dSDimitry Andric       IsCommand = false;
955c16e71dSDimitry Andric     } else {
965c16e71dSDimitry Andric       ToolChain.getDriver().Diag(diag::err_drv_invalid_argument_to_option)
975c16e71dSDimitry Andric           << CM << A->getOption().getName();
985c16e71dSDimitry Andric     }
995c16e71dSDimitry Andric   }
1005c16e71dSDimitry Andric 
1015c16e71dSDimitry Andric   if (IsCommand) {
102fe6060f1SDimitry Andric     // If crt1-command.o exists, it supports new-style commands, so use it.
103fe6060f1SDimitry Andric     // Otherwise, use the old crt1.o. This is a temporary transition measure.
104fe6060f1SDimitry Andric     // Once WASI libc no longer needs to support LLVM versions which lack
105fe6060f1SDimitry Andric     // support for new-style command, it can make crt1.o the same as
106fe6060f1SDimitry Andric     // crt1-command.o. And once LLVM no longer needs to support WASI libc
107fe6060f1SDimitry Andric     // versions before that, it can switch to using crt1-command.o.
1085c16e71dSDimitry Andric     Crt1 = "crt1.o";
109fe6060f1SDimitry Andric     if (ToolChain.GetFilePath("crt1-command.o") != "crt1-command.o")
110fe6060f1SDimitry Andric       Crt1 = "crt1-command.o";
1115c16e71dSDimitry Andric   } else {
1125ffd83dbSDimitry Andric     Crt1 = "crt1-reactor.o";
1135ffd83dbSDimitry Andric     Entry = "_initialize";
1145ffd83dbSDimitry Andric   }
1155c16e71dSDimitry Andric 
1165c16e71dSDimitry Andric   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nostartfiles))
1175ffd83dbSDimitry Andric     CmdArgs.push_back(Args.MakeArgString(ToolChain.GetFilePath(Crt1)));
1185ffd83dbSDimitry Andric   if (Entry) {
1195ffd83dbSDimitry Andric     CmdArgs.push_back(Args.MakeArgString("--entry"));
1205ffd83dbSDimitry Andric     CmdArgs.push_back(Args.MakeArgString(Entry));
1215ffd83dbSDimitry Andric   }
1220b57cec5SDimitry Andric 
12306c3fb27SDimitry Andric   if (Args.hasArg(options::OPT_shared))
12406c3fb27SDimitry Andric     CmdArgs.push_back(Args.MakeArgString("-shared"));
12506c3fb27SDimitry Andric 
1260b57cec5SDimitry Andric   AddLinkerInputs(ToolChain, Inputs, Args, CmdArgs, JA);
1270b57cec5SDimitry Andric 
1280b57cec5SDimitry Andric   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nodefaultlibs)) {
1290b57cec5SDimitry Andric     if (ToolChain.ShouldLinkCXXStdlib(Args))
1300b57cec5SDimitry Andric       ToolChain.AddCXXStdlibLibArgs(Args, CmdArgs);
1310b57cec5SDimitry Andric 
1320b57cec5SDimitry Andric     if (Args.hasArg(options::OPT_pthread)) {
1330b57cec5SDimitry Andric       CmdArgs.push_back("-lpthread");
1340b57cec5SDimitry Andric       CmdArgs.push_back("--shared-memory");
1350b57cec5SDimitry Andric     }
1360b57cec5SDimitry Andric 
1370b57cec5SDimitry Andric     CmdArgs.push_back("-lc");
1380b57cec5SDimitry Andric     AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args);
1390b57cec5SDimitry Andric   }
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric   CmdArgs.push_back("-o");
1420b57cec5SDimitry Andric   CmdArgs.push_back(Output.getFilename());
1430b57cec5SDimitry Andric 
144*5f757f3fSDimitry Andric   // When optimizing, if wasm-opt is available, run it.
145*5f757f3fSDimitry Andric   std::string WasmOptPath;
146*5f757f3fSDimitry Andric   if (Args.getLastArg(options::OPT_O_Group)) {
147*5f757f3fSDimitry Andric     WasmOptPath = ToolChain.GetProgramPath("wasm-opt");
148*5f757f3fSDimitry Andric     if (WasmOptPath == "wasm-opt") {
149*5f757f3fSDimitry Andric       WasmOptPath = {};
150*5f757f3fSDimitry Andric     }
151*5f757f3fSDimitry Andric   }
152*5f757f3fSDimitry Andric 
153*5f757f3fSDimitry Andric   if (!WasmOptPath.empty()) {
154*5f757f3fSDimitry Andric     CmdArgs.push_back("--keep-section=target_features");
155*5f757f3fSDimitry Andric   }
156*5f757f3fSDimitry Andric 
157e8d8bef9SDimitry Andric   C.addCommand(std::make_unique<Command>(JA, *this,
158e8d8bef9SDimitry Andric                                          ResponseFileSupport::AtFileCurCP(),
159e8d8bef9SDimitry Andric                                          Linker, CmdArgs, Inputs, Output));
160480093f4SDimitry Andric 
161480093f4SDimitry Andric   if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
162*5f757f3fSDimitry Andric     if (!WasmOptPath.empty()) {
163480093f4SDimitry Andric       StringRef OOpt = "s";
164480093f4SDimitry Andric       if (A->getOption().matches(options::OPT_O4) ||
165480093f4SDimitry Andric           A->getOption().matches(options::OPT_Ofast))
166480093f4SDimitry Andric         OOpt = "4";
167480093f4SDimitry Andric       else if (A->getOption().matches(options::OPT_O0))
168480093f4SDimitry Andric         OOpt = "0";
169480093f4SDimitry Andric       else if (A->getOption().matches(options::OPT_O))
170480093f4SDimitry Andric         OOpt = A->getValue();
171480093f4SDimitry Andric 
172480093f4SDimitry Andric       if (OOpt != "0") {
173480093f4SDimitry Andric         const char *WasmOpt = Args.MakeArgString(WasmOptPath);
174*5f757f3fSDimitry Andric         ArgStringList OptArgs;
175*5f757f3fSDimitry Andric         OptArgs.push_back(Output.getFilename());
176*5f757f3fSDimitry Andric         OptArgs.push_back(Args.MakeArgString(llvm::Twine("-O") + OOpt));
177*5f757f3fSDimitry Andric         OptArgs.push_back("-o");
178*5f757f3fSDimitry Andric         OptArgs.push_back(Output.getFilename());
1795ffd83dbSDimitry Andric         C.addCommand(std::make_unique<Command>(
180*5f757f3fSDimitry Andric             JA, *this, ResponseFileSupport::AtFileCurCP(), WasmOpt, OptArgs,
181e8d8bef9SDimitry Andric             Inputs, Output));
182480093f4SDimitry Andric       }
183480093f4SDimitry Andric     }
184480093f4SDimitry Andric   }
185480093f4SDimitry Andric }
186480093f4SDimitry Andric 
187480093f4SDimitry Andric /// Given a base library directory, append path components to form the
188480093f4SDimitry Andric /// LTO directory.
189480093f4SDimitry Andric static std::string AppendLTOLibDir(const std::string &Dir) {
190480093f4SDimitry Andric     // The version allows the path to be keyed to the specific version of
191480093f4SDimitry Andric     // LLVM in used, as the bitcode format is not stable.
192480093f4SDimitry Andric     return Dir + "/llvm-lto/" LLVM_VERSION_STRING;
1930b57cec5SDimitry Andric }
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric WebAssembly::WebAssembly(const Driver &D, const llvm::Triple &Triple,
1960b57cec5SDimitry Andric                          const llvm::opt::ArgList &Args)
1970b57cec5SDimitry Andric     : ToolChain(D, Triple, Args) {
1980b57cec5SDimitry Andric 
1990b57cec5SDimitry Andric   assert(Triple.isArch32Bit() != Triple.isArch64Bit());
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric   getProgramPaths().push_back(getDriver().getInstalledDir());
2020b57cec5SDimitry Andric 
203480093f4SDimitry Andric   auto SysRoot = getDriver().SysRoot;
2040b57cec5SDimitry Andric   if (getTriple().getOS() == llvm::Triple::UnknownOS) {
2050b57cec5SDimitry Andric     // Theoretically an "unknown" OS should mean no standard libraries, however
2060b57cec5SDimitry Andric     // it could also mean that a custom set of libraries is in use, so just add
2070b57cec5SDimitry Andric     // /lib to the search path. Disable multiarch in this case, to discourage
2080b57cec5SDimitry Andric     // paths containing "unknown" from acquiring meanings.
209480093f4SDimitry Andric     getFilePaths().push_back(SysRoot + "/lib");
2100b57cec5SDimitry Andric   } else {
2110b57cec5SDimitry Andric     const std::string MultiarchTriple =
212480093f4SDimitry Andric         getMultiarchTriple(getDriver(), Triple, SysRoot);
213480093f4SDimitry Andric     if (D.isUsingLTO()) {
214480093f4SDimitry Andric       // For LTO, enable use of lto-enabled sysroot libraries too, if available.
215480093f4SDimitry Andric       // Note that the directory is keyed to the LLVM revision, as LLVM's
216480093f4SDimitry Andric       // bitcode format is not stable.
217480093f4SDimitry Andric       auto Dir = AppendLTOLibDir(SysRoot + "/lib/" + MultiarchTriple);
218480093f4SDimitry Andric       getFilePaths().push_back(Dir);
219480093f4SDimitry Andric     }
220480093f4SDimitry Andric     getFilePaths().push_back(SysRoot + "/lib/" + MultiarchTriple);
2210b57cec5SDimitry Andric   }
2220b57cec5SDimitry Andric }
2230b57cec5SDimitry Andric 
2240b57cec5SDimitry Andric bool WebAssembly::IsMathErrnoDefault() const { return false; }
2250b57cec5SDimitry Andric 
2260b57cec5SDimitry Andric bool WebAssembly::IsObjCNonFragileABIDefault() const { return true; }
2270b57cec5SDimitry Andric 
2280b57cec5SDimitry Andric bool WebAssembly::UseObjCMixedDispatch() const { return true; }
2290b57cec5SDimitry Andric 
2300b57cec5SDimitry Andric bool WebAssembly::isPICDefault() const { return false; }
2310b57cec5SDimitry Andric 
232349cc55cSDimitry Andric bool WebAssembly::isPIEDefault(const llvm::opt::ArgList &Args) const {
233349cc55cSDimitry Andric   return false;
234349cc55cSDimitry Andric }
2350b57cec5SDimitry Andric 
2360b57cec5SDimitry Andric bool WebAssembly::isPICDefaultForced() const { return false; }
2370b57cec5SDimitry Andric 
2380b57cec5SDimitry Andric bool WebAssembly::hasBlocksRuntime() const { return false; }
2390b57cec5SDimitry Andric 
2400b57cec5SDimitry Andric // TODO: Support profiling.
2410b57cec5SDimitry Andric bool WebAssembly::SupportsProfiling() const { return false; }
2420b57cec5SDimitry Andric 
2430b57cec5SDimitry Andric bool WebAssembly::HasNativeLLVMSupport() const { return true; }
2440b57cec5SDimitry Andric 
2450b57cec5SDimitry Andric void WebAssembly::addClangTargetOptions(const ArgList &DriverArgs,
2460b57cec5SDimitry Andric                                         ArgStringList &CC1Args,
2470b57cec5SDimitry Andric                                         Action::OffloadKind) const {
248480093f4SDimitry Andric   if (!DriverArgs.hasFlag(clang::driver::options::OPT_fuse_init_array,
2490b57cec5SDimitry Andric                           options::OPT_fno_use_init_array, true))
250480093f4SDimitry Andric     CC1Args.push_back("-fno-use-init-array");
2510b57cec5SDimitry Andric 
252a7dea167SDimitry Andric   // '-pthread' implies atomics, bulk-memory, mutable-globals, and sign-ext
2530b57cec5SDimitry Andric   if (DriverArgs.hasFlag(options::OPT_pthread, options::OPT_no_pthread,
2540b57cec5SDimitry Andric                          false)) {
2550b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_atomics, options::OPT_matomics,
2560b57cec5SDimitry Andric                            false))
2570b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
2580b57cec5SDimitry Andric           << "-pthread"
2590b57cec5SDimitry Andric           << "-mno-atomics";
2600b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_bulk_memory,
2610b57cec5SDimitry Andric                            options::OPT_mbulk_memory, false))
2620b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
2630b57cec5SDimitry Andric           << "-pthread"
2640b57cec5SDimitry Andric           << "-mno-bulk-memory";
2650b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals,
2660b57cec5SDimitry Andric                            options::OPT_mmutable_globals, false))
2670b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
2680b57cec5SDimitry Andric           << "-pthread"
2690b57cec5SDimitry Andric           << "-mno-mutable-globals";
270a7dea167SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_sign_ext, options::OPT_msign_ext,
271a7dea167SDimitry Andric                            false))
272a7dea167SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
273a7dea167SDimitry Andric           << "-pthread"
274a7dea167SDimitry Andric           << "-mno-sign-ext";
2750b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
2760b57cec5SDimitry Andric     CC1Args.push_back("+atomics");
2770b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
2780b57cec5SDimitry Andric     CC1Args.push_back("+bulk-memory");
2790b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
2800b57cec5SDimitry Andric     CC1Args.push_back("+mutable-globals");
281a7dea167SDimitry Andric     CC1Args.push_back("-target-feature");
282a7dea167SDimitry Andric     CC1Args.push_back("+sign-ext");
283a7dea167SDimitry Andric   }
284a7dea167SDimitry Andric 
285e8d8bef9SDimitry Andric   if (!DriverArgs.hasFlag(options::OPT_mmutable_globals,
286e8d8bef9SDimitry Andric                           options::OPT_mno_mutable_globals, false)) {
287e8d8bef9SDimitry Andric     // -fPIC implies +mutable-globals because the PIC ABI used by the linker
288e8d8bef9SDimitry Andric     // depends on importing and exporting mutable globals.
289e8d8bef9SDimitry Andric     llvm::Reloc::Model RelocationModel;
290e8d8bef9SDimitry Andric     unsigned PICLevel;
291e8d8bef9SDimitry Andric     bool IsPIE;
292e8d8bef9SDimitry Andric     std::tie(RelocationModel, PICLevel, IsPIE) =
293e8d8bef9SDimitry Andric         ParsePICArgs(*this, DriverArgs);
294e8d8bef9SDimitry Andric     if (RelocationModel == llvm::Reloc::PIC_) {
295e8d8bef9SDimitry Andric       if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals,
296e8d8bef9SDimitry Andric                              options::OPT_mmutable_globals, false)) {
297e8d8bef9SDimitry Andric         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
298e8d8bef9SDimitry Andric             << "-fPIC"
299e8d8bef9SDimitry Andric             << "-mno-mutable-globals";
300e8d8bef9SDimitry Andric       }
301e8d8bef9SDimitry Andric       CC1Args.push_back("-target-feature");
302e8d8bef9SDimitry Andric       CC1Args.push_back("+mutable-globals");
303e8d8bef9SDimitry Andric     }
304e8d8bef9SDimitry Andric   }
305e8d8bef9SDimitry Andric 
306a7dea167SDimitry Andric   if (DriverArgs.getLastArg(options::OPT_fwasm_exceptions)) {
307a7dea167SDimitry Andric     // '-fwasm-exceptions' is not compatible with '-mno-exception-handling'
308a7dea167SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_exception_handing,
309a7dea167SDimitry Andric                            options::OPT_mexception_handing, false))
310a7dea167SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
311a7dea167SDimitry Andric           << "-fwasm-exceptions"
312a7dea167SDimitry Andric           << "-mno-exception-handling";
313a7dea167SDimitry Andric     // '-fwasm-exceptions' is not compatible with
314a7dea167SDimitry Andric     // '-mllvm -enable-emscripten-cxx-exceptions'
315a7dea167SDimitry Andric     for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
316a7dea167SDimitry Andric       if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions")
317a7dea167SDimitry Andric         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
318a7dea167SDimitry Andric             << "-fwasm-exceptions"
319a7dea167SDimitry Andric             << "-mllvm -enable-emscripten-cxx-exceptions";
320a7dea167SDimitry Andric     }
321fe6060f1SDimitry Andric     // '-fwasm-exceptions' implies exception-handling feature
322a7dea167SDimitry Andric     CC1Args.push_back("-target-feature");
323a7dea167SDimitry Andric     CC1Args.push_back("+exception-handling");
324349cc55cSDimitry Andric     // Backend needs -wasm-enable-eh to enable Wasm EH
325349cc55cSDimitry Andric     CC1Args.push_back("-mllvm");
326349cc55cSDimitry Andric     CC1Args.push_back("-wasm-enable-eh");
327fe6060f1SDimitry Andric   }
328fe6060f1SDimitry Andric 
329fe6060f1SDimitry Andric   for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
330fe6060f1SDimitry Andric     StringRef Opt = A->getValue(0);
331*5f757f3fSDimitry Andric     if (Opt.starts_with("-emscripten-cxx-exceptions-allowed")) {
332fe6060f1SDimitry Andric       // '-mllvm -emscripten-cxx-exceptions-allowed' should be used with
333fe6060f1SDimitry Andric       // '-mllvm -enable-emscripten-cxx-exceptions'
334349cc55cSDimitry Andric       bool EmEHArgExists = false;
335fe6060f1SDimitry Andric       for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
336fe6060f1SDimitry Andric         if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions") {
337349cc55cSDimitry Andric           EmEHArgExists = true;
338fe6060f1SDimitry Andric           break;
339fe6060f1SDimitry Andric         }
340fe6060f1SDimitry Andric       }
341349cc55cSDimitry Andric       if (!EmEHArgExists)
342fe6060f1SDimitry Andric         getDriver().Diag(diag::err_drv_argument_only_allowed_with)
343fe6060f1SDimitry Andric             << "-mllvm -emscripten-cxx-exceptions-allowed"
344fe6060f1SDimitry Andric             << "-mllvm -enable-emscripten-cxx-exceptions";
345fe6060f1SDimitry Andric 
346fe6060f1SDimitry Andric       // Prevent functions specified in -emscripten-cxx-exceptions-allowed list
347fe6060f1SDimitry Andric       // from being inlined before reaching the wasm backend.
348fe6060f1SDimitry Andric       StringRef FuncNamesStr = Opt.split('=').second;
349fe6060f1SDimitry Andric       SmallVector<StringRef, 4> FuncNames;
350fe6060f1SDimitry Andric       FuncNamesStr.split(FuncNames, ',');
351fe6060f1SDimitry Andric       for (auto Name : FuncNames) {
352fe6060f1SDimitry Andric         CC1Args.push_back("-mllvm");
353fe6060f1SDimitry Andric         CC1Args.push_back(DriverArgs.MakeArgString("--force-attribute=" + Name +
354fe6060f1SDimitry Andric                                                    ":noinline"));
355fe6060f1SDimitry Andric       }
356fe6060f1SDimitry Andric     }
357349cc55cSDimitry Andric 
358*5f757f3fSDimitry Andric     if (Opt.starts_with("-wasm-enable-sjlj")) {
359349cc55cSDimitry Andric       // '-mllvm -wasm-enable-sjlj' is not compatible with
360349cc55cSDimitry Andric       // '-mno-exception-handling'
361349cc55cSDimitry Andric       if (DriverArgs.hasFlag(options::OPT_mno_exception_handing,
362349cc55cSDimitry Andric                              options::OPT_mexception_handing, false))
363349cc55cSDimitry Andric         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
364349cc55cSDimitry Andric             << "-mllvm -wasm-enable-sjlj"
365349cc55cSDimitry Andric             << "-mno-exception-handling";
366349cc55cSDimitry Andric       // '-mllvm -wasm-enable-sjlj' is not compatible with
367349cc55cSDimitry Andric       // '-mllvm -enable-emscripten-cxx-exceptions'
368349cc55cSDimitry Andric       // because we don't allow Emscripten EH + Wasm SjLj
369349cc55cSDimitry Andric       for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
370349cc55cSDimitry Andric         if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions")
371349cc55cSDimitry Andric           getDriver().Diag(diag::err_drv_argument_not_allowed_with)
372349cc55cSDimitry Andric               << "-mllvm -wasm-enable-sjlj"
373349cc55cSDimitry Andric               << "-mllvm -enable-emscripten-cxx-exceptions";
374349cc55cSDimitry Andric       }
375349cc55cSDimitry Andric       // '-mllvm -wasm-enable-sjlj' is not compatible with
376349cc55cSDimitry Andric       // '-mllvm -enable-emscripten-sjlj'
377349cc55cSDimitry Andric       for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
378349cc55cSDimitry Andric         if (StringRef(A->getValue(0)) == "-enable-emscripten-sjlj")
379349cc55cSDimitry Andric           getDriver().Diag(diag::err_drv_argument_not_allowed_with)
380349cc55cSDimitry Andric               << "-mllvm -wasm-enable-sjlj"
381349cc55cSDimitry Andric               << "-mllvm -enable-emscripten-sjlj";
382349cc55cSDimitry Andric       }
383349cc55cSDimitry Andric       // '-mllvm -wasm-enable-sjlj' implies exception-handling feature
384349cc55cSDimitry Andric       CC1Args.push_back("-target-feature");
385349cc55cSDimitry Andric       CC1Args.push_back("+exception-handling");
386349cc55cSDimitry Andric       // Backend needs '-exception-model=wasm' to use Wasm EH instructions
387349cc55cSDimitry Andric       CC1Args.push_back("-exception-model=wasm");
388349cc55cSDimitry Andric     }
3890b57cec5SDimitry Andric   }
3900b57cec5SDimitry Andric }
3910b57cec5SDimitry Andric 
3920b57cec5SDimitry Andric ToolChain::RuntimeLibType WebAssembly::GetDefaultRuntimeLibType() const {
3930b57cec5SDimitry Andric   return ToolChain::RLT_CompilerRT;
3940b57cec5SDimitry Andric }
3950b57cec5SDimitry Andric 
3960b57cec5SDimitry Andric ToolChain::CXXStdlibType
3970b57cec5SDimitry Andric WebAssembly::GetCXXStdlibType(const ArgList &Args) const {
3980b57cec5SDimitry Andric   if (Arg *A = Args.getLastArg(options::OPT_stdlib_EQ)) {
3990b57cec5SDimitry Andric     StringRef Value = A->getValue();
40081ad6265SDimitry Andric     if (Value == "libc++")
40181ad6265SDimitry Andric       return ToolChain::CST_Libcxx;
40281ad6265SDimitry Andric     else if (Value == "libstdc++")
40381ad6265SDimitry Andric       return ToolChain::CST_Libstdcxx;
40481ad6265SDimitry Andric     else
4050b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_invalid_stdlib_name)
4060b57cec5SDimitry Andric           << A->getAsString(Args);
4070b57cec5SDimitry Andric   }
4080b57cec5SDimitry Andric   return ToolChain::CST_Libcxx;
4090b57cec5SDimitry Andric }
4100b57cec5SDimitry Andric 
4110b57cec5SDimitry Andric void WebAssembly::AddClangSystemIncludeArgs(const ArgList &DriverArgs,
4120b57cec5SDimitry Andric                                             ArgStringList &CC1Args) const {
4130b57cec5SDimitry Andric   if (DriverArgs.hasArg(clang::driver::options::OPT_nostdinc))
4140b57cec5SDimitry Andric     return;
4150b57cec5SDimitry Andric 
4160b57cec5SDimitry Andric   const Driver &D = getDriver();
4170b57cec5SDimitry Andric 
4180b57cec5SDimitry Andric   if (!DriverArgs.hasArg(options::OPT_nobuiltininc)) {
4190b57cec5SDimitry Andric     SmallString<128> P(D.ResourceDir);
4200b57cec5SDimitry Andric     llvm::sys::path::append(P, "include");
4210b57cec5SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, P);
4220b57cec5SDimitry Andric   }
4230b57cec5SDimitry Andric 
4240b57cec5SDimitry Andric   if (DriverArgs.hasArg(options::OPT_nostdlibinc))
4250b57cec5SDimitry Andric     return;
4260b57cec5SDimitry Andric 
4270b57cec5SDimitry Andric   // Check for configure-time C include directories.
4280b57cec5SDimitry Andric   StringRef CIncludeDirs(C_INCLUDE_DIRS);
4290b57cec5SDimitry Andric   if (CIncludeDirs != "") {
4300b57cec5SDimitry Andric     SmallVector<StringRef, 5> dirs;
4310b57cec5SDimitry Andric     CIncludeDirs.split(dirs, ":");
4320b57cec5SDimitry Andric     for (StringRef dir : dirs) {
4330b57cec5SDimitry Andric       StringRef Prefix =
4345ffd83dbSDimitry Andric           llvm::sys::path::is_absolute(dir) ? "" : StringRef(D.SysRoot);
4350b57cec5SDimitry Andric       addExternCSystemInclude(DriverArgs, CC1Args, Prefix + dir);
4360b57cec5SDimitry Andric     }
4370b57cec5SDimitry Andric     return;
4380b57cec5SDimitry Andric   }
4390b57cec5SDimitry Andric 
4400b57cec5SDimitry Andric   if (getTriple().getOS() != llvm::Triple::UnknownOS) {
4410b57cec5SDimitry Andric     const std::string MultiarchTriple =
4420b57cec5SDimitry Andric         getMultiarchTriple(D, getTriple(), D.SysRoot);
4430b57cec5SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include/" + MultiarchTriple);
4440b57cec5SDimitry Andric   }
4450b57cec5SDimitry Andric   addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include");
4460b57cec5SDimitry Andric }
4470b57cec5SDimitry Andric 
4480b57cec5SDimitry Andric void WebAssembly::AddClangCXXStdlibIncludeArgs(const ArgList &DriverArgs,
4490b57cec5SDimitry Andric                                                ArgStringList &CC1Args) const {
45081ad6265SDimitry Andric 
451bdd1243dSDimitry Andric   if (DriverArgs.hasArg(options::OPT_nostdlibinc, options::OPT_nostdinc,
452bdd1243dSDimitry Andric                         options::OPT_nostdincxx))
45381ad6265SDimitry Andric     return;
45481ad6265SDimitry Andric 
45581ad6265SDimitry Andric   switch (GetCXXStdlibType(DriverArgs)) {
45681ad6265SDimitry Andric   case ToolChain::CST_Libcxx:
45781ad6265SDimitry Andric     addLibCxxIncludePaths(DriverArgs, CC1Args);
45881ad6265SDimitry Andric     break;
45981ad6265SDimitry Andric   case ToolChain::CST_Libstdcxx:
46081ad6265SDimitry Andric     addLibStdCXXIncludePaths(DriverArgs, CC1Args);
46181ad6265SDimitry Andric     break;
4620b57cec5SDimitry Andric   }
4630b57cec5SDimitry Andric }
4640b57cec5SDimitry Andric 
4650b57cec5SDimitry Andric void WebAssembly::AddCXXStdlibLibArgs(const llvm::opt::ArgList &Args,
4660b57cec5SDimitry Andric                                       llvm::opt::ArgStringList &CmdArgs) const {
4670b57cec5SDimitry Andric 
4680b57cec5SDimitry Andric   switch (GetCXXStdlibType(Args)) {
4690b57cec5SDimitry Andric   case ToolChain::CST_Libcxx:
4700b57cec5SDimitry Andric     CmdArgs.push_back("-lc++");
471fcaf7f86SDimitry Andric     if (Args.hasArg(options::OPT_fexperimental_library))
472fcaf7f86SDimitry Andric       CmdArgs.push_back("-lc++experimental");
4730b57cec5SDimitry Andric     CmdArgs.push_back("-lc++abi");
4740b57cec5SDimitry Andric     break;
4750b57cec5SDimitry Andric   case ToolChain::CST_Libstdcxx:
47681ad6265SDimitry Andric     CmdArgs.push_back("-lstdc++");
47781ad6265SDimitry Andric     break;
4780b57cec5SDimitry Andric   }
4790b57cec5SDimitry Andric }
4800b57cec5SDimitry Andric 
4810b57cec5SDimitry Andric SanitizerMask WebAssembly::getSupportedSanitizers() const {
4820b57cec5SDimitry Andric   SanitizerMask Res = ToolChain::getSupportedSanitizers();
4830b57cec5SDimitry Andric   if (getTriple().isOSEmscripten()) {
4840b57cec5SDimitry Andric     Res |= SanitizerKind::Vptr | SanitizerKind::Leak | SanitizerKind::Address;
4850b57cec5SDimitry Andric   }
48606c3fb27SDimitry Andric   // -fsanitize=function places two words before the function label, which are
48706c3fb27SDimitry Andric   // -unsupported.
48806c3fb27SDimitry Andric   Res &= ~SanitizerKind::Function;
4890b57cec5SDimitry Andric   return Res;
4900b57cec5SDimitry Andric }
4910b57cec5SDimitry Andric 
4920b57cec5SDimitry Andric Tool *WebAssembly::buildLinker() const {
4930b57cec5SDimitry Andric   return new tools::wasm::Linker(*this);
4940b57cec5SDimitry Andric }
49581ad6265SDimitry Andric 
49681ad6265SDimitry Andric void WebAssembly::addLibCxxIncludePaths(
49781ad6265SDimitry Andric     const llvm::opt::ArgList &DriverArgs,
49881ad6265SDimitry Andric     llvm::opt::ArgStringList &CC1Args) const {
49981ad6265SDimitry Andric   const Driver &D = getDriver();
50081ad6265SDimitry Andric   std::string SysRoot = computeSysRoot();
50181ad6265SDimitry Andric   std::string LibPath = SysRoot + "/include";
50281ad6265SDimitry Andric   const std::string MultiarchTriple =
50381ad6265SDimitry Andric       getMultiarchTriple(D, getTriple(), SysRoot);
50481ad6265SDimitry Andric   bool IsKnownOs = (getTriple().getOS() != llvm::Triple::UnknownOS);
50581ad6265SDimitry Andric 
50681ad6265SDimitry Andric   std::string Version = detectLibcxxVersion(LibPath);
50781ad6265SDimitry Andric   if (Version.empty())
50881ad6265SDimitry Andric     return;
50981ad6265SDimitry Andric 
51081ad6265SDimitry Andric   // First add the per-target include path if the OS is known.
51181ad6265SDimitry Andric   if (IsKnownOs) {
51281ad6265SDimitry Andric     std::string TargetDir = LibPath + "/" + MultiarchTriple + "/c++/" + Version;
51381ad6265SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, TargetDir);
51481ad6265SDimitry Andric   }
51581ad6265SDimitry Andric 
51681ad6265SDimitry Andric   // Second add the generic one.
51781ad6265SDimitry Andric   addSystemInclude(DriverArgs, CC1Args, LibPath + "/c++/" + Version);
51881ad6265SDimitry Andric }
51981ad6265SDimitry Andric 
52081ad6265SDimitry Andric void WebAssembly::addLibStdCXXIncludePaths(
52181ad6265SDimitry Andric     const llvm::opt::ArgList &DriverArgs,
52281ad6265SDimitry Andric     llvm::opt::ArgStringList &CC1Args) const {
52381ad6265SDimitry Andric   // We cannot use GCCInstallationDetector here as the sysroot usually does
52481ad6265SDimitry Andric   // not contain a full GCC installation.
52581ad6265SDimitry Andric   // Instead, we search the given sysroot for /usr/include/xx, similar
52681ad6265SDimitry Andric   // to how we do it for libc++.
52781ad6265SDimitry Andric   const Driver &D = getDriver();
52881ad6265SDimitry Andric   std::string SysRoot = computeSysRoot();
52981ad6265SDimitry Andric   std::string LibPath = SysRoot + "/include";
53081ad6265SDimitry Andric   const std::string MultiarchTriple =
53181ad6265SDimitry Andric       getMultiarchTriple(D, getTriple(), SysRoot);
53281ad6265SDimitry Andric   bool IsKnownOs = (getTriple().getOS() != llvm::Triple::UnknownOS);
53381ad6265SDimitry Andric 
53481ad6265SDimitry Andric   // This is similar to detectLibcxxVersion()
53581ad6265SDimitry Andric   std::string Version;
53681ad6265SDimitry Andric   {
53781ad6265SDimitry Andric     std::error_code EC;
53881ad6265SDimitry Andric     Generic_GCC::GCCVersion MaxVersion =
53981ad6265SDimitry Andric         Generic_GCC::GCCVersion::Parse("0.0.0");
54081ad6265SDimitry Andric     SmallString<128> Path(LibPath);
54181ad6265SDimitry Andric     llvm::sys::path::append(Path, "c++");
54281ad6265SDimitry Andric     for (llvm::vfs::directory_iterator LI = getVFS().dir_begin(Path, EC), LE;
54381ad6265SDimitry Andric          !EC && LI != LE; LI = LI.increment(EC)) {
54481ad6265SDimitry Andric       StringRef VersionText = llvm::sys::path::filename(LI->path());
54581ad6265SDimitry Andric       if (VersionText[0] != 'v') {
54681ad6265SDimitry Andric         auto Version = Generic_GCC::GCCVersion::Parse(VersionText);
54781ad6265SDimitry Andric         if (Version > MaxVersion)
54881ad6265SDimitry Andric           MaxVersion = Version;
54981ad6265SDimitry Andric       }
55081ad6265SDimitry Andric     }
55181ad6265SDimitry Andric     if (MaxVersion.Major > 0)
55281ad6265SDimitry Andric       Version = MaxVersion.Text;
55381ad6265SDimitry Andric   }
55481ad6265SDimitry Andric 
55581ad6265SDimitry Andric   if (Version.empty())
55681ad6265SDimitry Andric     return;
55781ad6265SDimitry Andric 
55881ad6265SDimitry Andric   // First add the per-target include path if the OS is known.
55981ad6265SDimitry Andric   if (IsKnownOs) {
56081ad6265SDimitry Andric     std::string TargetDir = LibPath + "/c++/" + Version + "/" + MultiarchTriple;
56181ad6265SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, TargetDir);
56281ad6265SDimitry Andric   }
56381ad6265SDimitry Andric 
56481ad6265SDimitry Andric   // Second add the generic one.
56581ad6265SDimitry Andric   addSystemInclude(DriverArgs, CC1Args, LibPath + "/c++/" + Version);
56681ad6265SDimitry Andric   // Third the backward one.
56781ad6265SDimitry Andric   addSystemInclude(DriverArgs, CC1Args, LibPath + "/c++/" + Version + "/backward");
56881ad6265SDimitry Andric }
569