Home | History | Annotate | Line # | Download | only in ToolChains
WebAssembly.cpp revision 1.1.1.1.4.1
      1 //===--- WebAssembly.cpp - WebAssembly ToolChain Implementation -*- C++ -*-===//
      2 //
      3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
      4 // See https://llvm.org/LICENSE.txt for license information.
      5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
      6 //
      7 //===----------------------------------------------------------------------===//
      8 
      9 #include "WebAssembly.h"
     10 #include "CommonArgs.h"
     11 #include "clang/Basic/Version.h"
     12 #include "clang/Config/config.h"
     13 #include "clang/Driver/Compilation.h"
     14 #include "clang/Driver/Driver.h"
     15 #include "clang/Driver/DriverDiagnostic.h"
     16 #include "clang/Driver/Options.h"
     17 #include "llvm/Support/FileSystem.h"
     18 #include "llvm/Support/Path.h"
     19 #include "llvm/Option/ArgList.h"
     20 
     21 using namespace clang::driver;
     22 using namespace clang::driver::tools;
     23 using namespace clang::driver::toolchains;
     24 using namespace clang;
     25 using namespace llvm::opt;
     26 
     27 /// Following the conventions in https://wiki.debian.org/Multiarch/Tuples,
     28 /// we remove the vendor field to form the multiarch triple.
     29 std::string WebAssembly::getMultiarchTriple(const Driver &D,
     30                                             const llvm::Triple &TargetTriple,
     31                                             StringRef SysRoot) const {
     32     return (TargetTriple.getArchName() + "-" +
     33             TargetTriple.getOSAndEnvironmentName()).str();
     34 }
     35 
     36 std::string wasm::Linker::getLinkerPath(const ArgList &Args) const {
     37   const ToolChain &ToolChain = getToolChain();
     38   if (const Arg* A = Args.getLastArg(options::OPT_fuse_ld_EQ)) {
     39     StringRef UseLinker = A->getValue();
     40     if (!UseLinker.empty()) {
     41       if (llvm::sys::path::is_absolute(UseLinker) &&
     42           llvm::sys::fs::can_execute(UseLinker))
     43         return std::string(UseLinker);
     44 
     45       // Accept 'lld', and 'ld' as aliases for the default linker
     46       if (UseLinker != "lld" && UseLinker != "ld")
     47         ToolChain.getDriver().Diag(diag::err_drv_invalid_linker_name)
     48             << A->getAsString(Args);
     49     }
     50   }
     51 
     52   return ToolChain.GetProgramPath(ToolChain.getDefaultLinker());
     53 }
     54 
     55 void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA,
     56                                 const InputInfo &Output,
     57                                 const InputInfoList &Inputs,
     58                                 const ArgList &Args,
     59                                 const char *LinkingOutput) const {
     60 
     61   const ToolChain &ToolChain = getToolChain();
     62   const char *Linker = Args.MakeArgString(getLinkerPath(Args));
     63   ArgStringList CmdArgs;
     64 
     65   CmdArgs.push_back("-m");
     66   if (getToolChain().getTriple().isArch64Bit())
     67     CmdArgs.push_back("wasm64");
     68   else
     69     CmdArgs.push_back("wasm32");
     70 
     71   if (Args.hasArg(options::OPT_s))
     72     CmdArgs.push_back("--strip-all");
     73 
     74   Args.AddAllArgs(CmdArgs, options::OPT_L);
     75   Args.AddAllArgs(CmdArgs, options::OPT_u);
     76   ToolChain.AddFilePathLibArgs(Args, CmdArgs);
     77 
     78   const char *Crt1 = "crt1.o";
     79   const char *Entry = NULL;
     80 
     81   // If crt1-command.o exists, it supports new-style commands, so use it.
     82   // Otherwise, use the old crt1.o. This is a temporary transition measure.
     83   // Once WASI libc no longer needs to support LLVM versions which lack
     84   // support for new-style command, it can make crt1.o the same as
     85   // crt1-command.o. And once LLVM no longer needs to support WASI libc
     86   // versions before that, it can switch to using crt1-command.o.
     87   if (ToolChain.GetFilePath("crt1-command.o") != "crt1-command.o")
     88     Crt1 = "crt1-command.o";
     89 
     90   if (const Arg *A = Args.getLastArg(options::OPT_mexec_model_EQ)) {
     91     StringRef CM = A->getValue();
     92     if (CM == "command") {
     93       // Use default values.
     94     } else if (CM == "reactor") {
     95       Crt1 = "crt1-reactor.o";
     96       Entry = "_initialize";
     97     } else {
     98       ToolChain.getDriver().Diag(diag::err_drv_invalid_argument_to_option)
     99           << CM << A->getOption().getName();
    100     }
    101   }
    102   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nostartfiles))
    103     CmdArgs.push_back(Args.MakeArgString(ToolChain.GetFilePath(Crt1)));
    104   if (Entry) {
    105     CmdArgs.push_back(Args.MakeArgString("--entry"));
    106     CmdArgs.push_back(Args.MakeArgString(Entry));
    107   }
    108 
    109   AddLinkerInputs(ToolChain, Inputs, Args, CmdArgs, JA);
    110 
    111   if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nodefaultlibs)) {
    112     if (ToolChain.ShouldLinkCXXStdlib(Args))
    113       ToolChain.AddCXXStdlibLibArgs(Args, CmdArgs);
    114 
    115     if (Args.hasArg(options::OPT_pthread)) {
    116       CmdArgs.push_back("-lpthread");
    117       CmdArgs.push_back("--shared-memory");
    118     }
    119 
    120     CmdArgs.push_back("-lc");
    121     AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args);
    122   }
    123 
    124   CmdArgs.push_back("-o");
    125   CmdArgs.push_back(Output.getFilename());
    126 
    127   C.addCommand(std::make_unique<Command>(JA, *this,
    128                                          ResponseFileSupport::AtFileCurCP(),
    129                                          Linker, CmdArgs, Inputs, Output));
    130 
    131   // When optimizing, if wasm-opt is available, run it.
    132   if (Arg *A = Args.getLastArg(options::OPT_O_Group)) {
    133     auto WasmOptPath = getToolChain().GetProgramPath("wasm-opt");
    134     if (WasmOptPath != "wasm-opt") {
    135       StringRef OOpt = "s";
    136       if (A->getOption().matches(options::OPT_O4) ||
    137           A->getOption().matches(options::OPT_Ofast))
    138         OOpt = "4";
    139       else if (A->getOption().matches(options::OPT_O0))
    140         OOpt = "0";
    141       else if (A->getOption().matches(options::OPT_O))
    142         OOpt = A->getValue();
    143 
    144       if (OOpt != "0") {
    145         const char *WasmOpt = Args.MakeArgString(WasmOptPath);
    146         ArgStringList CmdArgs;
    147         CmdArgs.push_back(Output.getFilename());
    148         CmdArgs.push_back(Args.MakeArgString(llvm::Twine("-O") + OOpt));
    149         CmdArgs.push_back("-o");
    150         CmdArgs.push_back(Output.getFilename());
    151         C.addCommand(std::make_unique<Command>(
    152             JA, *this, ResponseFileSupport::AtFileCurCP(), WasmOpt, CmdArgs,
    153             Inputs, Output));
    154       }
    155     }
    156   }
    157 }
    158 
    159 /// Given a base library directory, append path components to form the
    160 /// LTO directory.
    161 static std::string AppendLTOLibDir(const std::string &Dir) {
    162     // The version allows the path to be keyed to the specific version of
    163     // LLVM in used, as the bitcode format is not stable.
    164     return Dir + "/llvm-lto/" LLVM_VERSION_STRING;
    165 }
    166 
    167 WebAssembly::WebAssembly(const Driver &D, const llvm::Triple &Triple,
    168                          const llvm::opt::ArgList &Args)
    169     : ToolChain(D, Triple, Args) {
    170 
    171   assert(Triple.isArch32Bit() != Triple.isArch64Bit());
    172 
    173   getProgramPaths().push_back(getDriver().getInstalledDir());
    174 
    175   auto SysRoot = getDriver().SysRoot;
    176   if (getTriple().getOS() == llvm::Triple::UnknownOS) {
    177     // Theoretically an "unknown" OS should mean no standard libraries, however
    178     // it could also mean that a custom set of libraries is in use, so just add
    179     // /lib to the search path. Disable multiarch in this case, to discourage
    180     // paths containing "unknown" from acquiring meanings.
    181     getFilePaths().push_back(SysRoot + "/lib");
    182   } else {
    183     const std::string MultiarchTriple =
    184         getMultiarchTriple(getDriver(), Triple, SysRoot);
    185     if (D.isUsingLTO()) {
    186       // For LTO, enable use of lto-enabled sysroot libraries too, if available.
    187       // Note that the directory is keyed to the LLVM revision, as LLVM's
    188       // bitcode format is not stable.
    189       auto Dir = AppendLTOLibDir(SysRoot + "/lib/" + MultiarchTriple);
    190       getFilePaths().push_back(Dir);
    191     }
    192     getFilePaths().push_back(SysRoot + "/lib/" + MultiarchTriple);
    193   }
    194 }
    195 
    196 bool WebAssembly::IsMathErrnoDefault() const { return false; }
    197 
    198 bool WebAssembly::IsObjCNonFragileABIDefault() const { return true; }
    199 
    200 bool WebAssembly::UseObjCMixedDispatch() const { return true; }
    201 
    202 bool WebAssembly::isPICDefault() const { return false; }
    203 
    204 bool WebAssembly::isPIEDefault() const { return false; }
    205 
    206 bool WebAssembly::isPICDefaultForced() const { return false; }
    207 
    208 bool WebAssembly::IsIntegratedAssemblerDefault() const { return true; }
    209 
    210 bool WebAssembly::hasBlocksRuntime() const { return false; }
    211 
    212 // TODO: Support profiling.
    213 bool WebAssembly::SupportsProfiling() const { return false; }
    214 
    215 bool WebAssembly::HasNativeLLVMSupport() const { return true; }
    216 
    217 void WebAssembly::addClangTargetOptions(const ArgList &DriverArgs,
    218                                         ArgStringList &CC1Args,
    219                                         Action::OffloadKind) const {
    220   if (!DriverArgs.hasFlag(clang::driver::options::OPT_fuse_init_array,
    221                           options::OPT_fno_use_init_array, true))
    222     CC1Args.push_back("-fno-use-init-array");
    223 
    224   // '-pthread' implies atomics, bulk-memory, mutable-globals, and sign-ext
    225   if (DriverArgs.hasFlag(options::OPT_pthread, options::OPT_no_pthread,
    226                          false)) {
    227     if (DriverArgs.hasFlag(options::OPT_mno_atomics, options::OPT_matomics,
    228                            false))
    229       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    230           << "-pthread"
    231           << "-mno-atomics";
    232     if (DriverArgs.hasFlag(options::OPT_mno_bulk_memory,
    233                            options::OPT_mbulk_memory, false))
    234       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    235           << "-pthread"
    236           << "-mno-bulk-memory";
    237     if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals,
    238                            options::OPT_mmutable_globals, false))
    239       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    240           << "-pthread"
    241           << "-mno-mutable-globals";
    242     if (DriverArgs.hasFlag(options::OPT_mno_sign_ext, options::OPT_msign_ext,
    243                            false))
    244       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    245           << "-pthread"
    246           << "-mno-sign-ext";
    247     CC1Args.push_back("-target-feature");
    248     CC1Args.push_back("+atomics");
    249     CC1Args.push_back("-target-feature");
    250     CC1Args.push_back("+bulk-memory");
    251     CC1Args.push_back("-target-feature");
    252     CC1Args.push_back("+mutable-globals");
    253     CC1Args.push_back("-target-feature");
    254     CC1Args.push_back("+sign-ext");
    255   }
    256 
    257   if (!DriverArgs.hasFlag(options::OPT_mmutable_globals,
    258                           options::OPT_mno_mutable_globals, false)) {
    259     // -fPIC implies +mutable-globals because the PIC ABI used by the linker
    260     // depends on importing and exporting mutable globals.
    261     llvm::Reloc::Model RelocationModel;
    262     unsigned PICLevel;
    263     bool IsPIE;
    264     std::tie(RelocationModel, PICLevel, IsPIE) =
    265         ParsePICArgs(*this, DriverArgs);
    266     if (RelocationModel == llvm::Reloc::PIC_) {
    267       if (DriverArgs.hasFlag(options::OPT_mno_mutable_globals,
    268                              options::OPT_mmutable_globals, false)) {
    269         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    270             << "-fPIC"
    271             << "-mno-mutable-globals";
    272       }
    273       CC1Args.push_back("-target-feature");
    274       CC1Args.push_back("+mutable-globals");
    275     }
    276   }
    277 
    278   if (DriverArgs.getLastArg(options::OPT_fwasm_exceptions)) {
    279     // '-fwasm-exceptions' is not compatible with '-mno-exception-handling'
    280     if (DriverArgs.hasFlag(options::OPT_mno_exception_handing,
    281                            options::OPT_mexception_handing, false))
    282       getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    283           << "-fwasm-exceptions"
    284           << "-mno-exception-handling";
    285     // '-fwasm-exceptions' is not compatible with
    286     // '-mllvm -enable-emscripten-cxx-exceptions'
    287     for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
    288       if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions")
    289         getDriver().Diag(diag::err_drv_argument_not_allowed_with)
    290             << "-fwasm-exceptions"
    291             << "-mllvm -enable-emscripten-cxx-exceptions";
    292     }
    293     // '-fwasm-exceptions' implies exception-handling feature
    294     CC1Args.push_back("-target-feature");
    295     CC1Args.push_back("+exception-handling");
    296   }
    297 
    298   for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
    299     StringRef Opt = A->getValue(0);
    300     if (Opt.startswith("-emscripten-cxx-exceptions-allowed")) {
    301       // '-mllvm -emscripten-cxx-exceptions-allowed' should be used with
    302       // '-mllvm -enable-emscripten-cxx-exceptions'
    303       bool EmExceptionArgExists = false;
    304       for (const Arg *A : DriverArgs.filtered(options::OPT_mllvm)) {
    305         if (StringRef(A->getValue(0)) == "-enable-emscripten-cxx-exceptions") {
    306           EmExceptionArgExists = true;
    307           break;
    308         }
    309       }
    310       if (!EmExceptionArgExists)
    311         getDriver().Diag(diag::err_drv_argument_only_allowed_with)
    312             << "-mllvm -emscripten-cxx-exceptions-allowed"
    313             << "-mllvm -enable-emscripten-cxx-exceptions";
    314 
    315       // Prevent functions specified in -emscripten-cxx-exceptions-allowed list
    316       // from being inlined before reaching the wasm backend.
    317       StringRef FuncNamesStr = Opt.split('=').second;
    318       SmallVector<StringRef, 4> FuncNames;
    319       FuncNamesStr.split(FuncNames, ',');
    320       for (auto Name : FuncNames) {
    321         CC1Args.push_back("-mllvm");
    322         CC1Args.push_back(DriverArgs.MakeArgString("--force-attribute=" + Name +
    323                                                    ":noinline"));
    324       }
    325     }
    326   }
    327 }
    328 
    329 ToolChain::RuntimeLibType WebAssembly::GetDefaultRuntimeLibType() const {
    330   return ToolChain::RLT_CompilerRT;
    331 }
    332 
    333 ToolChain::CXXStdlibType
    334 WebAssembly::GetCXXStdlibType(const ArgList &Args) const {
    335   if (Arg *A = Args.getLastArg(options::OPT_stdlib_EQ)) {
    336     StringRef Value = A->getValue();
    337     if (Value != "libc++")
    338       getDriver().Diag(diag::err_drv_invalid_stdlib_name)
    339           << A->getAsString(Args);
    340   }
    341   return ToolChain::CST_Libcxx;
    342 }
    343 
    344 void WebAssembly::AddClangSystemIncludeArgs(const ArgList &DriverArgs,
    345                                             ArgStringList &CC1Args) const {
    346   if (DriverArgs.hasArg(clang::driver::options::OPT_nostdinc))
    347     return;
    348 
    349   const Driver &D = getDriver();
    350 
    351   if (!DriverArgs.hasArg(options::OPT_nobuiltininc)) {
    352     SmallString<128> P(D.ResourceDir);
    353     llvm::sys::path::append(P, "include");
    354     addSystemInclude(DriverArgs, CC1Args, P);
    355   }
    356 
    357   if (DriverArgs.hasArg(options::OPT_nostdlibinc))
    358     return;
    359 
    360   // Check for configure-time C include directories.
    361   StringRef CIncludeDirs(C_INCLUDE_DIRS);
    362   if (CIncludeDirs != "") {
    363     SmallVector<StringRef, 5> dirs;
    364     CIncludeDirs.split(dirs, ":");
    365     for (StringRef dir : dirs) {
    366       StringRef Prefix =
    367           llvm::sys::path::is_absolute(dir) ? "" : StringRef(D.SysRoot);
    368       addExternCSystemInclude(DriverArgs, CC1Args, Prefix + dir);
    369     }
    370     return;
    371   }
    372 
    373   if (getTriple().getOS() != llvm::Triple::UnknownOS) {
    374     const std::string MultiarchTriple =
    375         getMultiarchTriple(D, getTriple(), D.SysRoot);
    376     addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include/" + MultiarchTriple);
    377   }
    378   addSystemInclude(DriverArgs, CC1Args, D.SysRoot + "/include");
    379 }
    380 
    381 void WebAssembly::AddClangCXXStdlibIncludeArgs(const ArgList &DriverArgs,
    382                                                ArgStringList &CC1Args) const {
    383   if (!DriverArgs.hasArg(options::OPT_nostdlibinc) &&
    384       !DriverArgs.hasArg(options::OPT_nostdincxx)) {
    385     if (getTriple().getOS() != llvm::Triple::UnknownOS) {
    386       const std::string MultiarchTriple =
    387           getMultiarchTriple(getDriver(), getTriple(), getDriver().SysRoot);
    388       addSystemInclude(DriverArgs, CC1Args,
    389                        getDriver().SysRoot + "/include/" + MultiarchTriple +
    390                            "/c++/v1");
    391     }
    392     addSystemInclude(DriverArgs, CC1Args,
    393                      getDriver().SysRoot + "/include/c++/v1");
    394   }
    395 }
    396 
    397 void WebAssembly::AddCXXStdlibLibArgs(const llvm::opt::ArgList &Args,
    398                                       llvm::opt::ArgStringList &CmdArgs) const {
    399 
    400   switch (GetCXXStdlibType(Args)) {
    401   case ToolChain::CST_Libcxx:
    402     CmdArgs.push_back("-lc++");
    403     CmdArgs.push_back("-lc++abi");
    404     break;
    405   case ToolChain::CST_Libstdcxx:
    406     llvm_unreachable("invalid stdlib name");
    407   }
    408 }
    409 
    410 SanitizerMask WebAssembly::getSupportedSanitizers() const {
    411   SanitizerMask Res = ToolChain::getSupportedSanitizers();
    412   if (getTriple().isOSEmscripten()) {
    413     Res |= SanitizerKind::Vptr | SanitizerKind::Leak | SanitizerKind::Address;
    414   }
    415   return Res;
    416 }
    417 
    418 Tool *WebAssembly::buildLinker() const {
    419   return new tools::wasm::Linker(*this);
    420 }
    421