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