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