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