xref: /freebsd/contrib/llvm-project/clang/lib/Driver/ToolChains/WebAssembly.cpp (revision a7dea1671b87c07d2d266f836bfa8b58efc7c134)
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"
110b57cec5SDimitry Andric #include "clang/Config/config.h"
120b57cec5SDimitry Andric #include "clang/Driver/Compilation.h"
130b57cec5SDimitry Andric #include "clang/Driver/Driver.h"
140b57cec5SDimitry Andric #include "clang/Driver/DriverDiagnostic.h"
150b57cec5SDimitry Andric #include "clang/Driver/Options.h"
160b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h"
170b57cec5SDimitry Andric #include "llvm/Support/Path.h"
180b57cec5SDimitry Andric #include "llvm/Option/ArgList.h"
190b57cec5SDimitry Andric 
200b57cec5SDimitry Andric using namespace clang::driver;
210b57cec5SDimitry Andric using namespace clang::driver::tools;
220b57cec5SDimitry Andric using namespace clang::driver::toolchains;
230b57cec5SDimitry Andric using namespace clang;
240b57cec5SDimitry Andric using namespace llvm::opt;
250b57cec5SDimitry Andric 
260b57cec5SDimitry Andric /// Following the conventions in https://wiki.debian.org/Multiarch/Tuples,
270b57cec5SDimitry Andric /// we remove the vendor field to form the multiarch triple.
280b57cec5SDimitry Andric static std::string getMultiarchTriple(const Driver &D,
290b57cec5SDimitry Andric                                       const llvm::Triple &TargetTriple,
300b57cec5SDimitry Andric                                       StringRef SysRoot) {
310b57cec5SDimitry Andric     return (TargetTriple.getArchName() + "-" +
320b57cec5SDimitry Andric             TargetTriple.getOSAndEnvironmentName()).str();
330b57cec5SDimitry Andric }
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric std::string wasm::Linker::getLinkerPath(const ArgList &Args) const {
360b57cec5SDimitry Andric   const ToolChain &ToolChain = getToolChain();
370b57cec5SDimitry Andric   if (const Arg* A = Args.getLastArg(options::OPT_fuse_ld_EQ)) {
380b57cec5SDimitry Andric     StringRef UseLinker = A->getValue();
390b57cec5SDimitry Andric     if (!UseLinker.empty()) {
400b57cec5SDimitry Andric       if (llvm::sys::path::is_absolute(UseLinker) &&
410b57cec5SDimitry Andric           llvm::sys::fs::can_execute(UseLinker))
420b57cec5SDimitry Andric         return UseLinker;
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric       // Accept 'lld', and 'ld' as aliases for the default linker
450b57cec5SDimitry Andric       if (UseLinker != "lld" && UseLinker != "ld")
460b57cec5SDimitry Andric         ToolChain.getDriver().Diag(diag::err_drv_invalid_linker_name)
470b57cec5SDimitry Andric             << A->getAsString(Args);
480b57cec5SDimitry Andric     }
490b57cec5SDimitry Andric   }
500b57cec5SDimitry Andric 
510b57cec5SDimitry Andric   return ToolChain.GetProgramPath(ToolChain.getDefaultLinker());
520b57cec5SDimitry Andric }
530b57cec5SDimitry Andric 
540b57cec5SDimitry Andric void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA,
550b57cec5SDimitry Andric                                 const InputInfo &Output,
560b57cec5SDimitry Andric                                 const InputInfoList &Inputs,
570b57cec5SDimitry Andric                                 const ArgList &Args,
580b57cec5SDimitry Andric                                 const char *LinkingOutput) const {
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric   const ToolChain &ToolChain = getToolChain();
610b57cec5SDimitry Andric   const char *Linker = Args.MakeArgString(getLinkerPath(Args));
620b57cec5SDimitry Andric   ArgStringList CmdArgs;
630b57cec5SDimitry Andric 
640b57cec5SDimitry Andric   if (Args.hasArg(options::OPT_s))
650b57cec5SDimitry Andric     CmdArgs.push_back("--strip-all");
660b57cec5SDimitry Andric 
670b57cec5SDimitry Andric   Args.AddAllArgs(CmdArgs, options::OPT_L);
680b57cec5SDimitry Andric   Args.AddAllArgs(CmdArgs, options::OPT_u);
690b57cec5SDimitry Andric   ToolChain.AddFilePathLibArgs(Args, CmdArgs);
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nostartfiles))
720b57cec5SDimitry Andric     CmdArgs.push_back(Args.MakeArgString(ToolChain.GetFilePath("crt1.o")));
730b57cec5SDimitry Andric 
740b57cec5SDimitry Andric   AddLinkerInputs(ToolChain, Inputs, Args, CmdArgs, JA);
750b57cec5SDimitry Andric 
760b57cec5SDimitry Andric   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nodefaultlibs)) {
770b57cec5SDimitry Andric     if (ToolChain.ShouldLinkCXXStdlib(Args))
780b57cec5SDimitry Andric       ToolChain.AddCXXStdlibLibArgs(Args, CmdArgs);
790b57cec5SDimitry Andric 
800b57cec5SDimitry Andric     if (Args.hasArg(options::OPT_pthread)) {
810b57cec5SDimitry Andric       CmdArgs.push_back("-lpthread");
820b57cec5SDimitry Andric       CmdArgs.push_back("--shared-memory");
830b57cec5SDimitry Andric     }
840b57cec5SDimitry Andric 
850b57cec5SDimitry Andric     CmdArgs.push_back("-lc");
860b57cec5SDimitry Andric     AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args);
870b57cec5SDimitry Andric   }
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric   CmdArgs.push_back("-o");
900b57cec5SDimitry Andric   CmdArgs.push_back(Output.getFilename());
910b57cec5SDimitry Andric 
92*a7dea167SDimitry Andric   C.addCommand(std::make_unique<Command>(JA, *this, Linker, CmdArgs, Inputs));
930b57cec5SDimitry Andric }
940b57cec5SDimitry Andric 
950b57cec5SDimitry Andric WebAssembly::WebAssembly(const Driver &D, const llvm::Triple &Triple,
960b57cec5SDimitry Andric                          const llvm::opt::ArgList &Args)
970b57cec5SDimitry Andric     : ToolChain(D, Triple, Args) {
980b57cec5SDimitry Andric 
990b57cec5SDimitry Andric   assert(Triple.isArch32Bit() != Triple.isArch64Bit());
1000b57cec5SDimitry Andric 
1010b57cec5SDimitry Andric   getProgramPaths().push_back(getDriver().getInstalledDir());
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric   if (getTriple().getOS() == llvm::Triple::UnknownOS) {
1040b57cec5SDimitry Andric     // Theoretically an "unknown" OS should mean no standard libraries, however
1050b57cec5SDimitry Andric     // it could also mean that a custom set of libraries is in use, so just add
1060b57cec5SDimitry Andric     // /lib to the search path. Disable multiarch in this case, to discourage
1070b57cec5SDimitry Andric     // paths containing "unknown" from acquiring meanings.
1080b57cec5SDimitry Andric     getFilePaths().push_back(getDriver().SysRoot + "/lib");
1090b57cec5SDimitry Andric   } else {
1100b57cec5SDimitry Andric     const std::string MultiarchTriple =
1110b57cec5SDimitry Andric         getMultiarchTriple(getDriver(), Triple, getDriver().SysRoot);
1120b57cec5SDimitry Andric     getFilePaths().push_back(getDriver().SysRoot + "/lib/" + MultiarchTriple);
1130b57cec5SDimitry Andric   }
1140b57cec5SDimitry Andric }
1150b57cec5SDimitry Andric 
1160b57cec5SDimitry Andric bool WebAssembly::IsMathErrnoDefault() const { return false; }
1170b57cec5SDimitry Andric 
1180b57cec5SDimitry Andric bool WebAssembly::IsObjCNonFragileABIDefault() const { return true; }
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric bool WebAssembly::UseObjCMixedDispatch() const { return true; }
1210b57cec5SDimitry Andric 
1220b57cec5SDimitry Andric bool WebAssembly::isPICDefault() const { return false; }
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric bool WebAssembly::isPIEDefault() const { return false; }
1250b57cec5SDimitry Andric 
1260b57cec5SDimitry Andric bool WebAssembly::isPICDefaultForced() const { return false; }
1270b57cec5SDimitry Andric 
1280b57cec5SDimitry Andric bool WebAssembly::IsIntegratedAssemblerDefault() const { return true; }
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric bool WebAssembly::hasBlocksRuntime() const { return false; }
1310b57cec5SDimitry Andric 
1320b57cec5SDimitry Andric // TODO: Support profiling.
1330b57cec5SDimitry Andric bool WebAssembly::SupportsProfiling() const { return false; }
1340b57cec5SDimitry Andric 
1350b57cec5SDimitry Andric bool WebAssembly::HasNativeLLVMSupport() const { return true; }
1360b57cec5SDimitry Andric 
1370b57cec5SDimitry Andric void WebAssembly::addClangTargetOptions(const ArgList &DriverArgs,
1380b57cec5SDimitry Andric                                         ArgStringList &CC1Args,
1390b57cec5SDimitry Andric                                         Action::OffloadKind) const {
1400b57cec5SDimitry Andric   if (DriverArgs.hasFlag(clang::driver::options::OPT_fuse_init_array,
1410b57cec5SDimitry Andric                          options::OPT_fno_use_init_array, true))
1420b57cec5SDimitry Andric     CC1Args.push_back("-fuse-init-array");
1430b57cec5SDimitry Andric 
144*a7dea167SDimitry Andric   // '-pthread' implies atomics, bulk-memory, mutable-globals, and sign-ext
1450b57cec5SDimitry Andric   if (DriverArgs.hasFlag(options::OPT_pthread, options::OPT_no_pthread,
1460b57cec5SDimitry Andric                          false)) {
1470b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_atomics, options::OPT_matomics,
1480b57cec5SDimitry Andric                            false))
1490b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
1500b57cec5SDimitry Andric           << "-pthread"
1510b57cec5SDimitry Andric           << "-mno-atomics";
1520b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_bulk_memory,
1530b57cec5SDimitry Andric                            options::OPT_mbulk_memory, false))
1540b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
1550b57cec5SDimitry Andric           << "-pthread"
1560b57cec5SDimitry Andric           << "-mno-bulk-memory";
1570b57cec5SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals,
1580b57cec5SDimitry Andric                            options::OPT_mmutable_globals, false))
1590b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
1600b57cec5SDimitry Andric           << "-pthread"
1610b57cec5SDimitry Andric           << "-mno-mutable-globals";
162*a7dea167SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_sign_ext, options::OPT_msign_ext,
163*a7dea167SDimitry Andric                            false))
164*a7dea167SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
165*a7dea167SDimitry Andric           << "-pthread"
166*a7dea167SDimitry Andric           << "-mno-sign-ext";
1670b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
1680b57cec5SDimitry Andric     CC1Args.push_back("+atomics");
1690b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
1700b57cec5SDimitry Andric     CC1Args.push_back("+bulk-memory");
1710b57cec5SDimitry Andric     CC1Args.push_back("-target-feature");
1720b57cec5SDimitry Andric     CC1Args.push_back("+mutable-globals");
173*a7dea167SDimitry Andric     CC1Args.push_back("-target-feature");
174*a7dea167SDimitry Andric     CC1Args.push_back("+sign-ext");
175*a7dea167SDimitry Andric   }
176*a7dea167SDimitry Andric 
177*a7dea167SDimitry Andric   if (DriverArgs.getLastArg(options::OPT_fwasm_exceptions)) {
178*a7dea167SDimitry Andric     // '-fwasm-exceptions' is not compatible with '-mno-exception-handling'
179*a7dea167SDimitry Andric     if (DriverArgs.hasFlag(options::OPT_mno_exception_handing,
180*a7dea167SDimitry Andric                            options::OPT_mexception_handing, false))
181*a7dea167SDimitry Andric       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
182*a7dea167SDimitry Andric           << "-fwasm-exceptions"
183*a7dea167SDimitry Andric           << "-mno-exception-handling";
184*a7dea167SDimitry Andric     // '-fwasm-exceptions' is not compatible with
185*a7dea167SDimitry Andric     // '-mllvm -enable-emscripten-cxx-exceptions'
186*a7dea167SDimitry Andric     for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
187*a7dea167SDimitry Andric       if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions")
188*a7dea167SDimitry Andric         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
189*a7dea167SDimitry Andric             << "-fwasm-exceptions"
190*a7dea167SDimitry Andric             << "-mllvm -enable-emscripten-cxx-exceptions";
191*a7dea167SDimitry Andric     }
192*a7dea167SDimitry Andric     // '-fwasm-exceptions' implies exception-handling
193*a7dea167SDimitry Andric     CC1Args.push_back("-target-feature");
194*a7dea167SDimitry Andric     CC1Args.push_back("+exception-handling");
1950b57cec5SDimitry Andric   }
1960b57cec5SDimitry Andric }
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric ToolChain::RuntimeLibType WebAssembly::GetDefaultRuntimeLibType() const {
1990b57cec5SDimitry Andric   return ToolChain::RLT_CompilerRT;
2000b57cec5SDimitry Andric }
2010b57cec5SDimitry Andric 
2020b57cec5SDimitry Andric ToolChain::CXXStdlibType
2030b57cec5SDimitry Andric WebAssembly::GetCXXStdlibType(const ArgList &Args) const {
2040b57cec5SDimitry Andric   if (Arg *A = Args.getLastArg(options::OPT_stdlib_EQ)) {
2050b57cec5SDimitry Andric     StringRef Value = A->getValue();
2060b57cec5SDimitry Andric     if (Value != "libc++")
2070b57cec5SDimitry Andric       getDriver().Diag(diag::err_drv_invalid_stdlib_name)
2080b57cec5SDimitry Andric           << A->getAsString(Args);
2090b57cec5SDimitry Andric   }
2100b57cec5SDimitry Andric   return ToolChain::CST_Libcxx;
2110b57cec5SDimitry Andric }
2120b57cec5SDimitry Andric 
2130b57cec5SDimitry Andric void WebAssembly::AddClangSystemIncludeArgs(const ArgList &DriverArgs,
2140b57cec5SDimitry Andric                                             ArgStringList &CC1Args) const {
2150b57cec5SDimitry Andric   if (DriverArgs.hasArg(clang::driver::options::OPT_nostdinc))
2160b57cec5SDimitry Andric     return;
2170b57cec5SDimitry Andric 
2180b57cec5SDimitry Andric   const Driver &D = getDriver();
2190b57cec5SDimitry Andric 
2200b57cec5SDimitry Andric   if (!DriverArgs.hasArg(options::OPT_nobuiltininc)) {
2210b57cec5SDimitry Andric     SmallString<128> P(D.ResourceDir);
2220b57cec5SDimitry Andric     llvm::sys::path::append(P, "include");
2230b57cec5SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, P);
2240b57cec5SDimitry Andric   }
2250b57cec5SDimitry Andric 
2260b57cec5SDimitry Andric   if (DriverArgs.hasArg(options::OPT_nostdlibinc))
2270b57cec5SDimitry Andric     return;
2280b57cec5SDimitry Andric 
2290b57cec5SDimitry Andric   // Check for configure-time C include directories.
2300b57cec5SDimitry Andric   StringRef CIncludeDirs(C_INCLUDE_DIRS);
2310b57cec5SDimitry Andric   if (CIncludeDirs != "") {
2320b57cec5SDimitry Andric     SmallVector<StringRef, 5> dirs;
2330b57cec5SDimitry Andric     CIncludeDirs.split(dirs, ":");
2340b57cec5SDimitry Andric     for (StringRef dir : dirs) {
2350b57cec5SDimitry Andric       StringRef Prefix =
2360b57cec5SDimitry Andric           llvm::sys::path::is_absolute(dir) ? StringRef(D.SysRoot) : "";
2370b57cec5SDimitry Andric       addExternCSystemInclude(DriverArgs, CC1Args, Prefix + dir);
2380b57cec5SDimitry Andric     }
2390b57cec5SDimitry Andric     return;
2400b57cec5SDimitry Andric   }
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric   if (getTriple().getOS() != llvm::Triple::UnknownOS) {
2430b57cec5SDimitry Andric     const std::string MultiarchTriple =
2440b57cec5SDimitry Andric         getMultiarchTriple(D, getTriple(), D.SysRoot);
2450b57cec5SDimitry Andric     addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include/" + MultiarchTriple);
2460b57cec5SDimitry Andric   }
2470b57cec5SDimitry Andric   addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include");
2480b57cec5SDimitry Andric }
2490b57cec5SDimitry Andric 
2500b57cec5SDimitry Andric void WebAssembly::AddClangCXXStdlibIncludeArgs(const ArgList &DriverArgs,
2510b57cec5SDimitry Andric                                                ArgStringList &CC1Args) const {
2520b57cec5SDimitry Andric   if (!DriverArgs.hasArg(options::OPT_nostdlibinc) &&
2530b57cec5SDimitry Andric       !DriverArgs.hasArg(options::OPT_nostdincxx)) {
2540b57cec5SDimitry Andric     if (getTriple().getOS() != llvm::Triple::UnknownOS) {
2550b57cec5SDimitry Andric       const std::string MultiarchTriple =
2560b57cec5SDimitry Andric           getMultiarchTriple(getDriver(), getTriple(), getDriver().SysRoot);
2570b57cec5SDimitry Andric       addSystemInclude(DriverArgs, CC1Args,
2580b57cec5SDimitry Andric                        getDriver().SysRoot + "/include/" + MultiarchTriple +
2590b57cec5SDimitry Andric                            "/c++/v1");
2600b57cec5SDimitry Andric     }
2610b57cec5SDimitry Andric     addSystemInclude(DriverArgs, CC1Args,
2620b57cec5SDimitry Andric                      getDriver().SysRoot + "/include/c++/v1");
2630b57cec5SDimitry Andric   }
2640b57cec5SDimitry Andric }
2650b57cec5SDimitry Andric 
2660b57cec5SDimitry Andric void WebAssembly::AddCXXStdlibLibArgs(const llvm::opt::ArgList &Args,
2670b57cec5SDimitry Andric                                       llvm::opt::ArgStringList &CmdArgs) const {
2680b57cec5SDimitry Andric 
2690b57cec5SDimitry Andric   switch (GetCXXStdlibType(Args)) {
2700b57cec5SDimitry Andric   case ToolChain::CST_Libcxx:
2710b57cec5SDimitry Andric     CmdArgs.push_back("-lc++");
2720b57cec5SDimitry Andric     CmdArgs.push_back("-lc++abi");
2730b57cec5SDimitry Andric     break;
2740b57cec5SDimitry Andric   case ToolChain::CST_Libstdcxx:
2750b57cec5SDimitry Andric     llvm_unreachable("invalid stdlib name");
2760b57cec5SDimitry Andric   }
2770b57cec5SDimitry Andric }
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric SanitizerMask WebAssembly::getSupportedSanitizers() const {
2800b57cec5SDimitry Andric   SanitizerMask Res = ToolChain::getSupportedSanitizers();
2810b57cec5SDimitry Andric   if (getTriple().isOSEmscripten()) {
2820b57cec5SDimitry Andric     Res |= SanitizerKind::Vptr | SanitizerKind::Leak | SanitizerKind::Address;
2830b57cec5SDimitry Andric   }
2840b57cec5SDimitry Andric   return Res;
2850b57cec5SDimitry Andric }
2860b57cec5SDimitry Andric 
2870b57cec5SDimitry Andric Tool *WebAssembly::buildLinker() const {
2880b57cec5SDimitry Andric   return new tools::wasm::Linker(*this);
2890b57cec5SDimitry Andric }
290