David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 1 | //===--- WebAssembly.cpp - WebAssembly ToolChain Implementation -*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #include "WebAssembly.h" |
| 10 | #include "CommonArgs.h" |
| 11 | #include "clang/Driver/Compilation.h" |
| 12 | #include "clang/Driver/Driver.h" |
Sam Clegg | ffbfc0f | 2018-01-12 17:54:49 +0000 | [diff] [blame] | 13 | #include "clang/Driver/DriverDiagnostic.h" |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 14 | #include "clang/Driver/Options.h" |
| 15 | #include "llvm/Option/ArgList.h" |
| 16 | |
| 17 | using namespace clang::driver; |
| 18 | using namespace clang::driver::tools; |
| 19 | using namespace clang::driver::toolchains; |
| 20 | using namespace clang; |
| 21 | using namespace llvm::opt; |
| 22 | |
| 23 | wasm::Linker::Linker(const ToolChain &TC) |
Heejin Ahn | 4fa8dd9 | 2018-08-31 20:57:00 +0000 | [diff] [blame] | 24 | : GnuTool("wasm::Linker", "lld", TC) {} |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 25 | |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 26 | /// Following the conventions in https://wiki.debian.org/Multiarch/Tuples, |
| 27 | /// we remove the vendor field to form the multiarch triple. |
| 28 | static std::string getMultiarchTriple(const Driver &D, |
| 29 | const llvm::Triple &TargetTriple, |
| 30 | StringRef SysRoot) { |
| 31 | return (TargetTriple.getArchName() + "-" + |
| 32 | TargetTriple.getOSAndEnvironmentName()).str(); |
| 33 | } |
| 34 | |
Heejin Ahn | 4fa8dd9 | 2018-08-31 20:57:00 +0000 | [diff] [blame] | 35 | bool wasm::Linker::isLinkJob() const { return true; } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 36 | |
Heejin Ahn | 4fa8dd9 | 2018-08-31 20:57:00 +0000 | [diff] [blame] | 37 | bool wasm::Linker::hasIntegratedCPP() const { return false; } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 38 | |
| 39 | void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA, |
| 40 | const InputInfo &Output, |
| 41 | const InputInfoList &Inputs, |
| 42 | const ArgList &Args, |
| 43 | const char *LinkingOutput) const { |
| 44 | |
| 45 | const ToolChain &ToolChain = getToolChain(); |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 46 | const char *Linker = Args.MakeArgString(ToolChain.GetLinkerPath()); |
| 47 | ArgStringList CmdArgs; |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 48 | |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 49 | if (Args.hasArg(options::OPT_s)) |
| 50 | CmdArgs.push_back("--strip-all"); |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 51 | |
| 52 | Args.AddAllArgs(CmdArgs, options::OPT_L); |
Sam Clegg | d09a356 | 2017-12-02 23:11:13 +0000 | [diff] [blame] | 53 | Args.AddAllArgs(CmdArgs, options::OPT_u); |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 54 | ToolChain.AddFilePathLibArgs(Args, CmdArgs); |
| 55 | |
Sam Clegg | 471d7af | 2017-10-27 18:10:19 +0000 | [diff] [blame] | 56 | if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nostartfiles)) |
| 57 | CmdArgs.push_back(Args.MakeArgString(ToolChain.GetFilePath("crt1.o"))); |
| 58 | |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 59 | AddLinkerInputs(ToolChain, Inputs, Args, CmdArgs, JA); |
| 60 | |
| 61 | if (!Args.hasArg(options::OPT_nostdlib, options::OPT_nodefaultlibs)) { |
Nico Weber | 0ee47d9 | 2017-07-25 18:02:57 +0000 | [diff] [blame] | 62 | if (ToolChain.ShouldLinkCXXStdlib(Args)) |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 63 | ToolChain.AddCXXStdlibLibArgs(Args, CmdArgs); |
| 64 | |
| 65 | if (Args.hasArg(options::OPT_pthread)) |
| 66 | CmdArgs.push_back("-lpthread"); |
| 67 | |
| 68 | CmdArgs.push_back("-lc"); |
Sam Clegg | a08631e | 2017-10-27 00:26:07 +0000 | [diff] [blame] | 69 | AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args); |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 70 | } |
| 71 | |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 72 | CmdArgs.push_back("-o"); |
| 73 | CmdArgs.push_back(Output.getFilename()); |
| 74 | |
| 75 | C.addCommand(llvm::make_unique<Command>(JA, *this, Linker, CmdArgs, Inputs)); |
| 76 | } |
| 77 | |
| 78 | WebAssembly::WebAssembly(const Driver &D, const llvm::Triple &Triple, |
| 79 | const llvm::opt::ArgList &Args) |
Heejin Ahn | 4fa8dd9 | 2018-08-31 20:57:00 +0000 | [diff] [blame] | 80 | : ToolChain(D, Triple, Args) { |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 81 | |
| 82 | assert(Triple.isArch32Bit() != Triple.isArch64Bit()); |
Sam Clegg | 27ea156 | 2017-05-09 17:47:50 +0000 | [diff] [blame] | 83 | |
| 84 | getProgramPaths().push_back(getDriver().getInstalledDir()); |
| 85 | |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 86 | if (getTriple().getOS() == llvm::Triple::UnknownOS) { |
| 87 | // Theoretically an "unknown" OS should mean no standard libraries, however |
| 88 | // it could also mean that a custom set of libraries is in use, so just add |
| 89 | // /lib to the search path. Disable multiarch in this case, to discourage |
| 90 | // paths containing "unknown" from acquiring meanings. |
| 91 | getFilePaths().push_back(getDriver().SysRoot + "/lib"); |
| 92 | } else { |
| 93 | const std::string MultiarchTriple = |
| 94 | getMultiarchTriple(getDriver(), Triple, getDriver().SysRoot); |
| 95 | getFilePaths().push_back(getDriver().SysRoot + "/lib/" + MultiarchTriple); |
| 96 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | bool WebAssembly::IsMathErrnoDefault() const { return false; } |
| 100 | |
| 101 | bool WebAssembly::IsObjCNonFragileABIDefault() const { return true; } |
| 102 | |
| 103 | bool WebAssembly::UseObjCMixedDispatch() const { return true; } |
| 104 | |
| 105 | bool WebAssembly::isPICDefault() const { return false; } |
| 106 | |
| 107 | bool WebAssembly::isPIEDefault() const { return false; } |
| 108 | |
| 109 | bool WebAssembly::isPICDefaultForced() const { return false; } |
| 110 | |
| 111 | bool WebAssembly::IsIntegratedAssemblerDefault() const { return true; } |
| 112 | |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 113 | bool WebAssembly::hasBlocksRuntime() const { return false; } |
| 114 | |
| 115 | // TODO: Support profiling. |
| 116 | bool WebAssembly::SupportsProfiling() const { return false; } |
| 117 | |
| 118 | bool WebAssembly::HasNativeLLVMSupport() const { return true; } |
| 119 | |
| 120 | void WebAssembly::addClangTargetOptions(const ArgList &DriverArgs, |
Gheorghe-Teodor Bercea | f0f2960 | 2017-07-06 16:22:21 +0000 | [diff] [blame] | 121 | ArgStringList &CC1Args, |
| 122 | Action::OffloadKind) const { |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 123 | if (DriverArgs.hasFlag(clang::driver::options::OPT_fuse_init_array, |
| 124 | options::OPT_fno_use_init_array, true)) |
| 125 | CC1Args.push_back("-fuse-init-array"); |
| 126 | } |
| 127 | |
| 128 | ToolChain::RuntimeLibType WebAssembly::GetDefaultRuntimeLibType() const { |
| 129 | return ToolChain::RLT_CompilerRT; |
| 130 | } |
| 131 | |
Heejin Ahn | 4fa8dd9 | 2018-08-31 20:57:00 +0000 | [diff] [blame] | 132 | ToolChain::CXXStdlibType |
| 133 | WebAssembly::GetCXXStdlibType(const ArgList &Args) const { |
Sam Clegg | ffbfc0f | 2018-01-12 17:54:49 +0000 | [diff] [blame] | 134 | if (Arg *A = Args.getLastArg(options::OPT_stdlib_EQ)) { |
| 135 | StringRef Value = A->getValue(); |
| 136 | if (Value != "libc++") |
| 137 | getDriver().Diag(diag::err_drv_invalid_stdlib_name) |
| 138 | << A->getAsString(Args); |
| 139 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 140 | return ToolChain::CST_Libcxx; |
| 141 | } |
| 142 | |
| 143 | void WebAssembly::AddClangSystemIncludeArgs(const ArgList &DriverArgs, |
| 144 | ArgStringList &CC1Args) const { |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 145 | if (!DriverArgs.hasArg(options::OPT_nostdinc)) { |
| 146 | if (getTriple().getOS() != llvm::Triple::UnknownOS) { |
| 147 | const std::string MultiarchTriple = |
| 148 | getMultiarchTriple(getDriver(), getTriple(), getDriver().SysRoot); |
| 149 | addSystemInclude(DriverArgs, CC1Args, getDriver().SysRoot + "/include/" + MultiarchTriple); |
| 150 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 151 | addSystemInclude(DriverArgs, CC1Args, getDriver().SysRoot + "/include"); |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 152 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 153 | } |
| 154 | |
| 155 | void WebAssembly::AddClangCXXStdlibIncludeArgs(const ArgList &DriverArgs, |
| 156 | ArgStringList &CC1Args) const { |
| 157 | if (!DriverArgs.hasArg(options::OPT_nostdlibinc) && |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 158 | !DriverArgs.hasArg(options::OPT_nostdincxx)) { |
| 159 | if (getTriple().getOS() != llvm::Triple::UnknownOS) { |
| 160 | const std::string MultiarchTriple = |
| 161 | getMultiarchTriple(getDriver(), getTriple(), getDriver().SysRoot); |
| 162 | addSystemInclude(DriverArgs, CC1Args, |
| 163 | getDriver().SysRoot + "/include/" + MultiarchTriple + "/c++/v1"); |
| 164 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 165 | addSystemInclude(DriverArgs, CC1Args, |
| 166 | getDriver().SysRoot + "/include/c++/v1"); |
Dan Gohman | 055a6f0 | 2019-01-15 06:58:16 +0000 | [diff] [blame] | 167 | } |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 168 | } |
| 169 | |
Sam Clegg | ffbfc0f | 2018-01-12 17:54:49 +0000 | [diff] [blame] | 170 | void WebAssembly::AddCXXStdlibLibArgs(const llvm::opt::ArgList &Args, |
| 171 | llvm::opt::ArgStringList &CmdArgs) const { |
| 172 | |
| 173 | switch (GetCXXStdlibType(Args)) { |
| 174 | case ToolChain::CST_Libcxx: |
| 175 | CmdArgs.push_back("-lc++"); |
| 176 | CmdArgs.push_back("-lc++abi"); |
| 177 | break; |
| 178 | case ToolChain::CST_Libstdcxx: |
| 179 | llvm_unreachable("invalid stdlib name"); |
| 180 | } |
| 181 | } |
| 182 | |
Dan Gohman | 1384ee9 | 2017-11-27 21:39:16 +0000 | [diff] [blame] | 183 | std::string WebAssembly::getThreadModel() const { |
| 184 | // The WebAssembly MVP does not yet support threads; for now, use the |
| 185 | // "single" threading model, which lowers atomics to non-atomic operations. |
| 186 | // When threading support is standardized and implemented in popular engines, |
| 187 | // this override should be removed. |
| 188 | return "single"; |
| 189 | } |
| 190 | |
David L. Jones | f561aba | 2017-03-08 01:02:16 +0000 | [diff] [blame] | 191 | Tool *WebAssembly::buildLinker() const { |
| 192 | return new tools::wasm::Linker(*this); |
| 193 | } |