1*0b57cec5SDimitry Andric //===--- WebAssembly.cpp - WebAssembly ToolChain Implementation -*- C++ -*-===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric 9*0b57cec5SDimitry Andric #include "WebAssembly.h" 10*0b57cec5SDimitry Andric #include "CommonArgs.h" 11*0b57cec5SDimitry Andric #include "clang/Config/config.h" 12*0b57cec5SDimitry Andric #include "clang/Driver/Compilation.h" 13*0b57cec5SDimitry Andric #include "clang/Driver/Driver.h" 14*0b57cec5SDimitry Andric #include "clang/Driver/DriverDiagnostic.h" 15*0b57cec5SDimitry Andric #include "clang/Driver/Options.h" 16*0b57cec5SDimitry Andric #include "llvm/Support/FileSystem.h" 17*0b57cec5SDimitry Andric #include "llvm/Support/Path.h" 18*0b57cec5SDimitry Andric #include "llvm/Option/ArgList.h" 19*0b57cec5SDimitry Andric 20*0b57cec5SDimitry Andric using namespace clang::driver; 21*0b57cec5SDimitry Andric using namespace clang::driver::tools; 22*0b57cec5SDimitry Andric using namespace clang::driver::toolchains; 23*0b57cec5SDimitry Andric using namespace clang; 24*0b57cec5SDimitry Andric using namespace llvm::opt; 25*0b57cec5SDimitry Andric 26*0b57cec5SDimitry Andric /// Following the conventions in https://wiki.debian.org/Multiarch/Tuples, 27*0b57cec5SDimitry Andric /// we remove the vendor field to form the multiarch triple. 28*0b57cec5SDimitry Andric static std::string getMultiarchTriple(const Driver &D, 29*0b57cec5SDimitry Andric const llvm::Triple &TargetTriple, 30*0b57cec5SDimitry Andric StringRef SysRoot) { 31*0b57cec5SDimitry Andric return (TargetTriple.getArchName() + "-" + 32*0b57cec5SDimitry Andric TargetTriple.getOSAndEnvironmentName()).str(); 33*0b57cec5SDimitry Andric } 34*0b57cec5SDimitry Andric 35*0b57cec5SDimitry Andric std::string wasm::Linker::getLinkerPath(const ArgList &Args) const { 36*0b57cec5SDimitry Andric const ToolChain &ToolChain = getToolChain(); 37*0b57cec5SDimitry Andric if (const Arg* A = Args.getLastArg(options::OPT_fuse_ld_EQ)) { 38*0b57cec5SDimitry Andric StringRef UseLinker = A->getValue(); 39*0b57cec5SDimitry Andric if (!UseLinker.empty()) { 40*0b57cec5SDimitry Andric if (llvm::sys::path::is_absolute(UseLinker) && 41*0b57cec5SDimitry Andric llvm::sys::fs::can_execute(UseLinker)) 42*0b57cec5SDimitry Andric return UseLinker; 43*0b57cec5SDimitry Andric 44*0b57cec5SDimitry Andric // Accept 'lld', and 'ld' as aliases for the default linker 45*0b57cec5SDimitry Andric if (UseLinker != "lld" && UseLinker != "ld") 46*0b57cec5SDimitry Andric ToolChain.getDriver().Diag(diag::err_drv_invalid_linker_name) 47*0b57cec5SDimitry Andric << A->getAsString(Args); 48*0b57cec5SDimitry Andric } 49*0b57cec5SDimitry Andric } 50*0b57cec5SDimitry Andric 51*0b57cec5SDimitry Andric return ToolChain.GetProgramPath(ToolChain.getDefaultLinker()); 52*0b57cec5SDimitry Andric } 53*0b57cec5SDimitry Andric 54*0b57cec5SDimitry Andric void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA, 55*0b57cec5SDimitry Andric const InputInfo &Output, 56*0b57cec5SDimitry Andric const InputInfoList &Inputs, 57*0b57cec5SDimitry Andric const ArgList &Args, 58*0b57cec5SDimitry Andric const char *LinkingOutput) const { 59*0b57cec5SDimitry Andric 60*0b57cec5SDimitry Andric const ToolChain &ToolChain = getToolChain(); 61*0b57cec5SDimitry Andric const char *Linker = Args.MakeArgString(getLinkerPath(Args)); 62*0b57cec5SDimitry Andric ArgStringList CmdArgs; 63*0b57cec5SDimitry Andric 64*0b57cec5SDimitry Andric if (Args.hasArg(options::OPT_s)) 65*0b57cec5SDimitry Andric CmdArgs.push_back("--strip-all"); 66*0b57cec5SDimitry Andric 67*0b57cec5SDimitry Andric Args.AddAllArgs(CmdArgs, options::OPT_L); 68*0b57cec5SDimitry Andric Args.AddAllArgs(CmdArgs, options::OPT_u); 69*0b57cec5SDimitry Andric ToolChain.AddFilePathLibArgs(Args, CmdArgs); 70*0b57cec5SDimitry Andric 71*0b57cec5SDimitry Andric if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nostartfiles)) 72*0b57cec5SDimitry Andric CmdArgs.push_back(Args.MakeArgString(ToolChain.GetFilePath("crt1.o"))); 73*0b57cec5SDimitry Andric 74*0b57cec5SDimitry Andric AddLinkerInputs(ToolChain, Inputs, Args, CmdArgs, JA); 75*0b57cec5SDimitry Andric 76*0b57cec5SDimitry Andric if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nodefaultlibs)) { 77*0b57cec5SDimitry Andric if (ToolChain.ShouldLinkCXXStdlib(Args)) 78*0b57cec5SDimitry Andric ToolChain.AddCXXStdlibLibArgs(Args, CmdArgs); 79*0b57cec5SDimitry Andric 80*0b57cec5SDimitry Andric if (Args.hasArg(options::OPT_pthread)) { 81*0b57cec5SDimitry Andric CmdArgs.push_back("-lpthread"); 82*0b57cec5SDimitry Andric CmdArgs.push_back("--shared-memory"); 83*0b57cec5SDimitry Andric } 84*0b57cec5SDimitry Andric 85*0b57cec5SDimitry Andric CmdArgs.push_back("-lc"); 86*0b57cec5SDimitry Andric AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args); 87*0b57cec5SDimitry Andric } 88*0b57cec5SDimitry Andric 89*0b57cec5SDimitry Andric CmdArgs.push_back("-o"); 90*0b57cec5SDimitry Andric CmdArgs.push_back(Output.getFilename()); 91*0b57cec5SDimitry Andric 92*0b57cec5SDimitry Andric C.addCommand(llvm::make_unique<Command>(JA, *this, Linker, CmdArgs, Inputs)); 93*0b57cec5SDimitry Andric } 94*0b57cec5SDimitry Andric 95*0b57cec5SDimitry Andric WebAssembly::WebAssembly(const Driver &D, const llvm::Triple &Triple, 96*0b57cec5SDimitry Andric const llvm::opt::ArgList &Args) 97*0b57cec5SDimitry Andric : ToolChain(D, Triple, Args) { 98*0b57cec5SDimitry Andric 99*0b57cec5SDimitry Andric assert(Triple.isArch32Bit() != Triple.isArch64Bit()); 100*0b57cec5SDimitry Andric 101*0b57cec5SDimitry Andric getProgramPaths().push_back(getDriver().getInstalledDir()); 102*0b57cec5SDimitry Andric 103*0b57cec5SDimitry Andric if (getTriple().getOS() == llvm::Triple::UnknownOS) { 104*0b57cec5SDimitry Andric // Theoretically an "unknown" OS should mean no standard libraries, however 105*0b57cec5SDimitry Andric // it could also mean that a custom set of libraries is in use, so just add 106*0b57cec5SDimitry Andric // /lib to the search path. Disable multiarch in this case, to discourage 107*0b57cec5SDimitry Andric // paths containing "unknown" from acquiring meanings. 108*0b57cec5SDimitry Andric getFilePaths().push_back(getDriver().SysRoot + "/lib"); 109*0b57cec5SDimitry Andric } else { 110*0b57cec5SDimitry Andric const std::string MultiarchTriple = 111*0b57cec5SDimitry Andric getMultiarchTriple(getDriver(), Triple, getDriver().SysRoot); 112*0b57cec5SDimitry Andric getFilePaths().push_back(getDriver().SysRoot + "/lib/" + MultiarchTriple); 113*0b57cec5SDimitry Andric } 114*0b57cec5SDimitry Andric } 115*0b57cec5SDimitry Andric 116*0b57cec5SDimitry Andric bool WebAssembly::IsMathErrnoDefault() const { return false; } 117*0b57cec5SDimitry Andric 118*0b57cec5SDimitry Andric bool WebAssembly::IsObjCNonFragileABIDefault() const { return true; } 119*0b57cec5SDimitry Andric 120*0b57cec5SDimitry Andric bool WebAssembly::UseObjCMixedDispatch() const { return true; } 121*0b57cec5SDimitry Andric 122*0b57cec5SDimitry Andric bool WebAssembly::isPICDefault() const { return false; } 123*0b57cec5SDimitry Andric 124*0b57cec5SDimitry Andric bool WebAssembly::isPIEDefault() const { return false; } 125*0b57cec5SDimitry Andric 126*0b57cec5SDimitry Andric bool WebAssembly::isPICDefaultForced() const { return false; } 127*0b57cec5SDimitry Andric 128*0b57cec5SDimitry Andric bool WebAssembly::IsIntegratedAssemblerDefault() const { return true; } 129*0b57cec5SDimitry Andric 130*0b57cec5SDimitry Andric bool WebAssembly::hasBlocksRuntime() const { return false; } 131*0b57cec5SDimitry Andric 132*0b57cec5SDimitry Andric // TODO: Support profiling. 133*0b57cec5SDimitry Andric bool WebAssembly::SupportsProfiling() const { return false; } 134*0b57cec5SDimitry Andric 135*0b57cec5SDimitry Andric bool WebAssembly::HasNativeLLVMSupport() const { return true; } 136*0b57cec5SDimitry Andric 137*0b57cec5SDimitry Andric void WebAssembly::addClangTargetOptions(const ArgList &DriverArgs, 138*0b57cec5SDimitry Andric ArgStringList &CC1Args, 139*0b57cec5SDimitry Andric Action::OffloadKind) const { 140*0b57cec5SDimitry Andric if (DriverArgs.hasFlag(clang::driver::options::OPT_fuse_init_array, 141*0b57cec5SDimitry Andric options::OPT_fno_use_init_array, true)) 142*0b57cec5SDimitry Andric CC1Args.push_back("-fuse-init-array"); 143*0b57cec5SDimitry Andric 144*0b57cec5SDimitry Andric // '-pthread' implies atomics, bulk-memory, and mutable-globals 145*0b57cec5SDimitry Andric if (DriverArgs.hasFlag(options::OPT_pthread, options::OPT_no_pthread, 146*0b57cec5SDimitry Andric false)) { 147*0b57cec5SDimitry Andric if (DriverArgs.hasFlag(options::OPT_mno_atomics, options::OPT_matomics, 148*0b57cec5SDimitry Andric false)) 149*0b57cec5SDimitry Andric getDriver().Diag(diag::err_drv_argument_not_allowed_with) 150*0b57cec5SDimitry Andric << "-pthread" 151*0b57cec5SDimitry Andric << "-mno-atomics"; 152*0b57cec5SDimitry Andric if (DriverArgs.hasFlag(options::OPT_mno_bulk_memory, 153*0b57cec5SDimitry Andric options::OPT_mbulk_memory, false)) 154*0b57cec5SDimitry Andric getDriver().Diag(diag::err_drv_argument_not_allowed_with) 155*0b57cec5SDimitry Andric << "-pthread" 156*0b57cec5SDimitry Andric << "-mno-bulk-memory"; 157*0b57cec5SDimitry Andric if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals, 158*0b57cec5SDimitry Andric options::OPT_mmutable_globals, false)) 159*0b57cec5SDimitry Andric getDriver().Diag(diag::err_drv_argument_not_allowed_with) 160*0b57cec5SDimitry Andric << "-pthread" 161*0b57cec5SDimitry Andric << "-mno-mutable-globals"; 162*0b57cec5SDimitry Andric CC1Args.push_back("-target-feature"); 163*0b57cec5SDimitry Andric CC1Args.push_back("+atomics"); 164*0b57cec5SDimitry Andric CC1Args.push_back("-target-feature"); 165*0b57cec5SDimitry Andric CC1Args.push_back("+bulk-memory"); 166*0b57cec5SDimitry Andric CC1Args.push_back("-target-feature"); 167*0b57cec5SDimitry Andric CC1Args.push_back("+mutable-globals"); 168*0b57cec5SDimitry Andric } 169*0b57cec5SDimitry Andric } 170*0b57cec5SDimitry Andric 171*0b57cec5SDimitry Andric ToolChain::RuntimeLibType WebAssembly::GetDefaultRuntimeLibType() const { 172*0b57cec5SDimitry Andric return ToolChain::RLT_CompilerRT; 173*0b57cec5SDimitry Andric } 174*0b57cec5SDimitry Andric 175*0b57cec5SDimitry Andric ToolChain::CXXStdlibType 176*0b57cec5SDimitry Andric WebAssembly::GetCXXStdlibType(const ArgList &Args) const { 177*0b57cec5SDimitry Andric if (Arg *A = Args.getLastArg(options::OPT_stdlib_EQ)) { 178*0b57cec5SDimitry Andric StringRef Value = A->getValue(); 179*0b57cec5SDimitry Andric if (Value != "libc++") 180*0b57cec5SDimitry Andric getDriver().Diag(diag::err_drv_invalid_stdlib_name) 181*0b57cec5SDimitry Andric << A->getAsString(Args); 182*0b57cec5SDimitry Andric } 183*0b57cec5SDimitry Andric return ToolChain::CST_Libcxx; 184*0b57cec5SDimitry Andric } 185*0b57cec5SDimitry Andric 186*0b57cec5SDimitry Andric void WebAssembly::AddClangSystemIncludeArgs(const ArgList &DriverArgs, 187*0b57cec5SDimitry Andric ArgStringList &CC1Args) const { 188*0b57cec5SDimitry Andric if (DriverArgs.hasArg(clang::driver::options::OPT_nostdinc)) 189*0b57cec5SDimitry Andric return; 190*0b57cec5SDimitry Andric 191*0b57cec5SDimitry Andric const Driver &D = getDriver(); 192*0b57cec5SDimitry Andric 193*0b57cec5SDimitry Andric if (!DriverArgs.hasArg(options::OPT_nobuiltininc)) { 194*0b57cec5SDimitry Andric SmallString<128> P(D.ResourceDir); 195*0b57cec5SDimitry Andric llvm::sys::path::append(P, "include"); 196*0b57cec5SDimitry Andric addSystemInclude(DriverArgs, CC1Args, P); 197*0b57cec5SDimitry Andric } 198*0b57cec5SDimitry Andric 199*0b57cec5SDimitry Andric if (DriverArgs.hasArg(options::OPT_nostdlibinc)) 200*0b57cec5SDimitry Andric return; 201*0b57cec5SDimitry Andric 202*0b57cec5SDimitry Andric // Check for configure-time C include directories. 203*0b57cec5SDimitry Andric StringRef CIncludeDirs(C_INCLUDE_DIRS); 204*0b57cec5SDimitry Andric if (CIncludeDirs != "") { 205*0b57cec5SDimitry Andric SmallVector<StringRef, 5> dirs; 206*0b57cec5SDimitry Andric CIncludeDirs.split(dirs, ":"); 207*0b57cec5SDimitry Andric for (StringRef dir : dirs) { 208*0b57cec5SDimitry Andric StringRef Prefix = 209*0b57cec5SDimitry Andric llvm::sys::path::is_absolute(dir) ? StringRef(D.SysRoot) : ""; 210*0b57cec5SDimitry Andric addExternCSystemInclude(DriverArgs, CC1Args, Prefix + dir); 211*0b57cec5SDimitry Andric } 212*0b57cec5SDimitry Andric return; 213*0b57cec5SDimitry Andric } 214*0b57cec5SDimitry Andric 215*0b57cec5SDimitry Andric if (getTriple().getOS() != llvm::Triple::UnknownOS) { 216*0b57cec5SDimitry Andric const std::string MultiarchTriple = 217*0b57cec5SDimitry Andric getMultiarchTriple(D, getTriple(), D.SysRoot); 218*0b57cec5SDimitry Andric addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include/" + MultiarchTriple); 219*0b57cec5SDimitry Andric } 220*0b57cec5SDimitry Andric addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include"); 221*0b57cec5SDimitry Andric } 222*0b57cec5SDimitry Andric 223*0b57cec5SDimitry Andric void WebAssembly::AddClangCXXStdlibIncludeArgs(const ArgList &DriverArgs, 224*0b57cec5SDimitry Andric ArgStringList &CC1Args) const { 225*0b57cec5SDimitry Andric if (!DriverArgs.hasArg(options::OPT_nostdlibinc) && 226*0b57cec5SDimitry Andric !DriverArgs.hasArg(options::OPT_nostdincxx)) { 227*0b57cec5SDimitry Andric if (getTriple().getOS() != llvm::Triple::UnknownOS) { 228*0b57cec5SDimitry Andric const std::string MultiarchTriple = 229*0b57cec5SDimitry Andric getMultiarchTriple(getDriver(), getTriple(), getDriver().SysRoot); 230*0b57cec5SDimitry Andric addSystemInclude(DriverArgs, CC1Args, 231*0b57cec5SDimitry Andric getDriver().SysRoot + "/include/" + MultiarchTriple + 232*0b57cec5SDimitry Andric "/c++/v1"); 233*0b57cec5SDimitry Andric } 234*0b57cec5SDimitry Andric addSystemInclude(DriverArgs, CC1Args, 235*0b57cec5SDimitry Andric getDriver().SysRoot + "/include/c++/v1"); 236*0b57cec5SDimitry Andric } 237*0b57cec5SDimitry Andric } 238*0b57cec5SDimitry Andric 239*0b57cec5SDimitry Andric void WebAssembly::AddCXXStdlibLibArgs(const llvm::opt::ArgList &Args, 240*0b57cec5SDimitry Andric llvm::opt::ArgStringList &CmdArgs) const { 241*0b57cec5SDimitry Andric 242*0b57cec5SDimitry Andric switch (GetCXXStdlibType(Args)) { 243*0b57cec5SDimitry Andric case ToolChain::CST_Libcxx: 244*0b57cec5SDimitry Andric CmdArgs.push_back("-lc++"); 245*0b57cec5SDimitry Andric CmdArgs.push_back("-lc++abi"); 246*0b57cec5SDimitry Andric break; 247*0b57cec5SDimitry Andric case ToolChain::CST_Libstdcxx: 248*0b57cec5SDimitry Andric llvm_unreachable("invalid stdlib name"); 249*0b57cec5SDimitry Andric } 250*0b57cec5SDimitry Andric } 251*0b57cec5SDimitry Andric 252*0b57cec5SDimitry Andric SanitizerMask WebAssembly::getSupportedSanitizers() const { 253*0b57cec5SDimitry Andric SanitizerMask Res = ToolChain::getSupportedSanitizers(); 254*0b57cec5SDimitry Andric if (getTriple().isOSEmscripten()) { 255*0b57cec5SDimitry Andric Res |= SanitizerKind::Vptr | SanitizerKind::Leak | SanitizerKind::Address; 256*0b57cec5SDimitry Andric } 257*0b57cec5SDimitry Andric return Res; 258*0b57cec5SDimitry Andric } 259*0b57cec5SDimitry Andric 260*0b57cec5SDimitry Andric Tool *WebAssembly::buildLinker() const { 261*0b57cec5SDimitry Andric return new tools::wasm::Linker(*this); 262*0b57cec5SDimitry Andric } 263