JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 1 | //===-- WebAssemblyAsmPrinter.cpp - WebAssembly LLVM assembly writer ------===// |
| 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 |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 10 | /// This file contains a printer that converts from our internal |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 11 | /// representation of machine-dependent LLVM code to the WebAssembly assembly |
| 12 | /// language. |
| 13 | /// |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 16 | #include "WebAssemblyAsmPrinter.h" |
David L. Jones | a263aa2 | 2019-05-13 03:32:41 +0000 | [diff] [blame] | 17 | #include "MCTargetDesc/WebAssemblyInstPrinter.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/WebAssemblyTargetStreamer.h" |
Richard Trieu | c6c4213 | 2019-05-15 01:03:00 +0000 | [diff] [blame] | 20 | #include "TargetInfo/WebAssemblyTargetInfo.h" |
Derek Schuff | c64d765 | 2016-08-01 22:25:02 +0000 | [diff] [blame] | 21 | #include "WebAssembly.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 22 | #include "WebAssemblyMCInstLower.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 23 | #include "WebAssemblyMachineFunctionInfo.h" |
| 24 | #include "WebAssemblyRegisterInfo.h" |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 25 | #include "WebAssemblyTargetMachine.h" |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 26 | #include "llvm/ADT/SmallSet.h" |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 27 | #include "llvm/ADT/StringExtras.h" |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 28 | #include "llvm/BinaryFormat/Wasm.h" |
Dan Gohman | 754cd11 | 2015-11-11 01:33:02 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/Analysis.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/AsmPrinter.h" |
JF Bastien | 54be3b1 | 2015-08-25 23:19:49 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/MachineConstantPool.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 32 | #include "llvm/CodeGen/MachineInstr.h" |
Dan Gohman | 82607f5 | 2017-02-24 23:46:05 +0000 | [diff] [blame] | 33 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 34 | #include "llvm/IR/DataLayout.h" |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 35 | #include "llvm/IR/DebugInfoMetadata.h" |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 36 | #include "llvm/IR/GlobalVariable.h" |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 37 | #include "llvm/IR/Metadata.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCContext.h" |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCSectionWasm.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 40 | #include "llvm/MC/MCStreamer.h" |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 41 | #include "llvm/MC/MCSymbol.h" |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 42 | #include "llvm/MC/MCSymbolWasm.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 43 | #include "llvm/Support/Debug.h" |
| 44 | #include "llvm/Support/TargetRegistry.h" |
| 45 | #include "llvm/Support/raw_ostream.h" |
Thomas Lively | 2e15040 | 2019-02-19 22:56:19 +0000 | [diff] [blame] | 46 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 47 | using namespace llvm; |
| 48 | |
| 49 | #define DEBUG_TYPE "asm-printer" |
| 50 | |
Heejin Ahn | d6f4878 | 2019-01-30 03:21:57 +0000 | [diff] [blame] | 51 | extern cl::opt<bool> WasmKeepRegisters; |
| 52 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 53 | //===----------------------------------------------------------------------===// |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 54 | // Helpers. |
| 55 | //===----------------------------------------------------------------------===// |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 56 | |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 57 | MVT WebAssemblyAsmPrinter::getRegType(unsigned RegNo) const { |
Krzysztof Parzyszek | c8e8e2a | 2017-04-24 19:51:12 +0000 | [diff] [blame] | 58 | const TargetRegisterInfo *TRI = Subtarget->getRegisterInfo(); |
Dan Gohman | 0cfb5f8 | 2016-05-10 04:24:02 +0000 | [diff] [blame] | 59 | const TargetRegisterClass *TRC = MRI->getRegClass(RegNo); |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 60 | for (MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64, MVT::v16i8, MVT::v8i16, |
Derek Schuff | 51ed131 | 2018-08-07 21:24:01 +0000 | [diff] [blame] | 61 | MVT::v4i32, MVT::v2i64, MVT::v4f32, MVT::v2f64}) |
Krzysztof Parzyszek | c8e8e2a | 2017-04-24 19:51:12 +0000 | [diff] [blame] | 62 | if (TRI->isTypeLegalForClass(*TRC, T)) |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 63 | return T; |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 64 | LLVM_DEBUG(errs() << "Unknown type for register number: " << RegNo); |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 65 | llvm_unreachable("Unknown register type"); |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 66 | return MVT::Other; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 67 | } |
| 68 | |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 69 | std::string WebAssemblyAsmPrinter::regToString(const MachineOperand &MO) { |
Daniel Sanders | 05c145d | 2019-08-12 22:40:45 +0000 | [diff] [blame] | 70 | Register RegNo = MO.getReg(); |
Daniel Sanders | 2bea69b | 2019-08-01 23:27:28 +0000 | [diff] [blame] | 71 | assert(Register::isVirtualRegister(RegNo) && |
Dan Gohman | d962527 | 2015-11-20 03:13:31 +0000 | [diff] [blame] | 72 | "Unlowered physical register encountered during assembly printing"); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 73 | assert(!MFI->isVRegStackified(RegNo)); |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 74 | unsigned WAReg = MFI->getWAReg(RegNo); |
| 75 | assert(WAReg != WebAssemblyFunctionInfo::UnusedReg); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 76 | return '$' + utostr(WAReg); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 77 | } |
| 78 | |
Dan Gohman | ec977b0 | 2016-01-25 15:12:05 +0000 | [diff] [blame] | 79 | WebAssemblyTargetStreamer *WebAssemblyAsmPrinter::getTargetStreamer() { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 80 | MCTargetStreamer *TS = OutStreamer->getTargetStreamer(); |
| 81 | return static_cast<WebAssemblyTargetStreamer *>(TS); |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 82 | } |
| 83 | |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 84 | //===----------------------------------------------------------------------===// |
| 85 | // WebAssemblyAsmPrinter Implementation. |
| 86 | //===----------------------------------------------------------------------===// |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 87 | |
Fangrui Song | 0dce409 | 2020-02-13 13:10:49 -0800 | [diff] [blame] | 88 | void WebAssemblyAsmPrinter::emitEndOfAsmFile(Module &M) { |
Wouter van Oortmerssen | 3231e51 | 2018-11-02 00:45:00 +0000 | [diff] [blame] | 89 | for (auto &It : OutContext.getSymbols()) { |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 90 | // Emit a .globaltype and .eventtype declaration. |
Wouter van Oortmerssen | 3231e51 | 2018-11-02 00:45:00 +0000 | [diff] [blame] | 91 | auto Sym = cast<MCSymbolWasm>(It.getValue()); |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 92 | if (Sym->getType() == wasm::WASM_SYMBOL_TYPE_GLOBAL) |
Wouter van Oortmerssen | 3231e51 | 2018-11-02 00:45:00 +0000 | [diff] [blame] | 93 | getTargetStreamer()->emitGlobalType(Sym); |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 94 | else if (Sym->getType() == wasm::WASM_SYMBOL_TYPE_EVENT) |
| 95 | getTargetStreamer()->emitEventType(Sym); |
Wouter van Oortmerssen | 3231e51 | 2018-11-02 00:45:00 +0000 | [diff] [blame] | 96 | } |
| 97 | |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 98 | for (const auto &F : M) { |
Sam Clegg | 881d877 | 2019-11-05 10:15:56 -0800 | [diff] [blame] | 99 | if (F.isIntrinsic()) |
| 100 | continue; |
| 101 | |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 102 | // Emit function type info for all undefined functions |
Sam Clegg | 881d877 | 2019-11-05 10:15:56 -0800 | [diff] [blame] | 103 | if (F.isDeclarationForLinker()) { |
Dan Gohman | 2726b88 | 2016-10-06 22:29:32 +0000 | [diff] [blame] | 104 | SmallVector<MVT, 4> Results; |
| 105 | SmallVector<MVT, 4> Params; |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 106 | computeSignatureVTs(F.getFunctionType(), F, TM, Params, Results); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 107 | auto *Sym = cast<MCSymbolWasm>(getSymbol(&F)); |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 108 | Sym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 109 | if (!Sym->getSignature()) { |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 110 | auto Signature = signatureFromMVTs(Results, Params); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 111 | Sym->setSignature(Signature.get()); |
| 112 | addSignature(std::move(Signature)); |
| 113 | } |
| 114 | // FIXME: this was originally intended for post-linking and was only used |
| 115 | // for imports that were only called indirectly (i.e. s2wasm could not |
| 116 | // infer the type from a call). With object files it applies to all |
| 117 | // imports. so fix the names and the tests, or rethink how import |
| 118 | // delcarations work in asm files. |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 119 | getTargetStreamer()->emitFunctionType(Sym); |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 120 | |
Jacob Gravelle | ca358da | 2018-02-12 21:41:12 +0000 | [diff] [blame] | 121 | if (TM.getTargetTriple().isOSBinFormatWasm() && |
| 122 | F.hasFnAttribute("wasm-import-module")) { |
Heejin Ahn | f208f63 | 2018-09-05 01:27:38 +0000 | [diff] [blame] | 123 | StringRef Name = |
| 124 | F.getFnAttribute("wasm-import-module").getValueAsString(); |
Dan Gohman | f726e44 | 2019-02-01 22:27:34 +0000 | [diff] [blame] | 125 | Sym->setImportModule(Name); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 126 | getTargetStreamer()->emitImportModule(Sym, Name); |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 127 | } |
Dan Gohman | f726e44 | 2019-02-01 22:27:34 +0000 | [diff] [blame] | 128 | if (TM.getTargetTriple().isOSBinFormatWasm() && |
| 129 | F.hasFnAttribute("wasm-import-name")) { |
| 130 | StringRef Name = |
| 131 | F.getFnAttribute("wasm-import-name").getValueAsString(); |
| 132 | Sym->setImportName(Name); |
| 133 | getTargetStreamer()->emitImportName(Sym, Name); |
| 134 | } |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 135 | } |
Sam Clegg | 881d877 | 2019-11-05 10:15:56 -0800 | [diff] [blame] | 136 | |
| 137 | if (F.hasFnAttribute("wasm-export-name")) { |
| 138 | auto *Sym = cast<MCSymbolWasm>(getSymbol(&F)); |
| 139 | StringRef Name = F.getFnAttribute("wasm-export-name").getValueAsString(); |
| 140 | Sym->setExportName(Name); |
| 141 | getTargetStreamer()->emitExportName(Sym, Name); |
| 142 | } |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 143 | } |
Wouter van Oortmerssen | 3231e51 | 2018-11-02 00:45:00 +0000 | [diff] [blame] | 144 | |
Derek Schuff | 7747d703e | 2016-12-01 00:11:15 +0000 | [diff] [blame] | 145 | for (const auto &G : M.globals()) { |
| 146 | if (!G.hasInitializer() && G.hasExternalLinkage()) { |
Dan Gohman | 5cf6473 | 2017-12-07 00:14:30 +0000 | [diff] [blame] | 147 | if (G.getValueType()->isSized()) { |
| 148 | uint16_t Size = M.getDataLayout().getTypeAllocSize(G.getValueType()); |
Dan Gohman | 5cf6473 | 2017-12-07 00:14:30 +0000 | [diff] [blame] | 149 | OutStreamer->emitELFSize(getSymbol(&G), |
| 150 | MCConstantExpr::create(Size, OutContext)); |
| 151 | } |
Derek Schuff | 7747d703e | 2016-12-01 00:11:15 +0000 | [diff] [blame] | 152 | } |
| 153 | } |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 154 | |
| 155 | if (const NamedMDNode *Named = M.getNamedMetadata("wasm.custom_sections")) { |
| 156 | for (const Metadata *MD : Named->operands()) { |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 157 | const auto *Tuple = dyn_cast<MDTuple>(MD); |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 158 | if (!Tuple || Tuple->getNumOperands() != 2) |
| 159 | continue; |
| 160 | const MDString *Name = dyn_cast<MDString>(Tuple->getOperand(0)); |
| 161 | const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1)); |
| 162 | if (!Name || !Contents) |
| 163 | continue; |
| 164 | |
| 165 | OutStreamer->PushSection(); |
| 166 | std::string SectionName = (".custom_section." + Name->getString()).str(); |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 167 | MCSectionWasm *MySection = |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 168 | OutContext.getWasmSection(SectionName, SectionKind::getMetadata()); |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 169 | OutStreamer->SwitchSection(MySection); |
Fangrui Song | a55daa1 | 2020-02-14 18:16:24 -0800 | [diff] [blame^] | 170 | OutStreamer->emitBytes(Contents->getString()); |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 171 | OutStreamer->PopSection(); |
| 172 | } |
| 173 | } |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 174 | |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 175 | EmitProducerInfo(M); |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 176 | EmitTargetFeatures(M); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 177 | } |
| 178 | |
| 179 | void WebAssemblyAsmPrinter::EmitProducerInfo(Module &M) { |
| 180 | llvm::SmallVector<std::pair<std::string, std::string>, 4> Languages; |
| 181 | if (const NamedMDNode *Debug = M.getNamedMetadata("llvm.dbg.cu")) { |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 182 | llvm::SmallSet<StringRef, 4> SeenLanguages; |
| 183 | for (size_t I = 0, E = Debug->getNumOperands(); I < E; ++I) { |
| 184 | const auto *CU = cast<DICompileUnit>(Debug->getOperand(I)); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 185 | StringRef Language = dwarf::LanguageString(CU->getSourceLanguage()); |
| 186 | Language.consume_front("DW_LANG_"); |
| 187 | if (SeenLanguages.insert(Language).second) |
| 188 | Languages.emplace_back(Language.str(), ""); |
| 189 | } |
| 190 | } |
| 191 | |
| 192 | llvm::SmallVector<std::pair<std::string, std::string>, 4> Tools; |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 193 | if (const NamedMDNode *Ident = M.getNamedMetadata("llvm.ident")) { |
| 194 | llvm::SmallSet<StringRef, 4> SeenTools; |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 195 | for (size_t I = 0, E = Ident->getNumOperands(); I < E; ++I) { |
| 196 | const auto *S = cast<MDString>(Ident->getOperand(I)->getOperand(0)); |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 197 | std::pair<StringRef, StringRef> Field = S->getString().split("version"); |
| 198 | StringRef Name = Field.first.trim(); |
| 199 | StringRef Version = Field.second.trim(); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 200 | if (SeenTools.insert(Name).second) |
| 201 | Tools.emplace_back(Name.str(), Version.str()); |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 202 | } |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 203 | } |
| 204 | |
| 205 | int FieldCount = int(!Languages.empty()) + int(!Tools.empty()); |
| 206 | if (FieldCount != 0) { |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 207 | MCSectionWasm *Producers = OutContext.getWasmSection( |
| 208 | ".custom_section.producers", SectionKind::getMetadata()); |
| 209 | OutStreamer->PushSection(); |
| 210 | OutStreamer->SwitchSection(Producers); |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 211 | OutStreamer->emitULEB128IntValue(FieldCount); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 212 | for (auto &Producers : {std::make_pair("language", &Languages), |
| 213 | std::make_pair("processed-by", &Tools)}) { |
| 214 | if (Producers.second->empty()) |
| 215 | continue; |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 216 | OutStreamer->emitULEB128IntValue(strlen(Producers.first)); |
Fangrui Song | a55daa1 | 2020-02-14 18:16:24 -0800 | [diff] [blame^] | 217 | OutStreamer->emitBytes(Producers.first); |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 218 | OutStreamer->emitULEB128IntValue(Producers.second->size()); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 219 | for (auto &Producer : *Producers.second) { |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 220 | OutStreamer->emitULEB128IntValue(Producer.first.size()); |
Fangrui Song | a55daa1 | 2020-02-14 18:16:24 -0800 | [diff] [blame^] | 221 | OutStreamer->emitBytes(Producer.first); |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 222 | OutStreamer->emitULEB128IntValue(Producer.second.size()); |
Fangrui Song | a55daa1 | 2020-02-14 18:16:24 -0800 | [diff] [blame^] | 223 | OutStreamer->emitBytes(Producer.second); |
Thomas Lively | c6795e0 | 2019-01-18 02:47:48 +0000 | [diff] [blame] | 224 | } |
Thomas Lively | cbda16e | 2019-01-17 02:29:55 +0000 | [diff] [blame] | 225 | } |
| 226 | OutStreamer->PopSection(); |
| 227 | } |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 228 | } |
| 229 | |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 230 | void WebAssemblyAsmPrinter::EmitTargetFeatures(Module &M) { |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 231 | struct FeatureEntry { |
| 232 | uint8_t Prefix; |
| 233 | StringRef Name; |
| 234 | }; |
| 235 | |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 236 | // Read target features and linkage policies from module metadata |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 237 | SmallVector<FeatureEntry, 4> EmittedFeatures; |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 238 | for (const SubtargetFeatureKV &KV : WebAssemblyFeatureKV) { |
| 239 | std::string MDKey = (StringRef("wasm-feature-") + KV.Key).str(); |
| 240 | Metadata *Policy = M.getModuleFlag(MDKey); |
| 241 | if (Policy == nullptr) |
| 242 | continue; |
| 243 | |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 244 | FeatureEntry Entry; |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 245 | Entry.Prefix = 0; |
| 246 | Entry.Name = KV.Key; |
| 247 | |
| 248 | if (auto *MD = cast<ConstantAsMetadata>(Policy)) |
| 249 | if (auto *I = cast<ConstantInt>(MD->getValue())) |
| 250 | Entry.Prefix = I->getZExtValue(); |
| 251 | |
| 252 | // Silently ignore invalid metadata |
| 253 | if (Entry.Prefix != wasm::WASM_FEATURE_PREFIX_USED && |
| 254 | Entry.Prefix != wasm::WASM_FEATURE_PREFIX_REQUIRED && |
| 255 | Entry.Prefix != wasm::WASM_FEATURE_PREFIX_DISALLOWED) |
| 256 | continue; |
| 257 | |
| 258 | EmittedFeatures.push_back(Entry); |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 259 | } |
| 260 | |
Thomas Lively | 3f34e1b8 | 2019-03-29 00:14:01 +0000 | [diff] [blame] | 261 | if (EmittedFeatures.size() == 0) |
| 262 | return; |
| 263 | |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 264 | // Emit features and linkage policies into the "target_features" section |
| 265 | MCSectionWasm *FeaturesSection = OutContext.getWasmSection( |
| 266 | ".custom_section.target_features", SectionKind::getMetadata()); |
| 267 | OutStreamer->PushSection(); |
| 268 | OutStreamer->SwitchSection(FeaturesSection); |
| 269 | |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 270 | OutStreamer->emitULEB128IntValue(EmittedFeatures.size()); |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 271 | for (auto &F : EmittedFeatures) { |
| 272 | OutStreamer->EmitIntValue(F.Prefix, 1); |
Fangrui Song | 0bc77a0 | 2020-02-13 13:26:21 -0800 | [diff] [blame] | 273 | OutStreamer->emitULEB128IntValue(F.Name.size()); |
Fangrui Song | a55daa1 | 2020-02-14 18:16:24 -0800 | [diff] [blame^] | 274 | OutStreamer->emitBytes(F.Name); |
Thomas Lively | f6f4f84 | 2019-03-20 20:26:45 +0000 | [diff] [blame] | 275 | } |
| 276 | |
| 277 | OutStreamer->PopSection(); |
| 278 | } |
| 279 | |
Fangrui Song | 1d49eb0 | 2020-02-13 16:36:27 -0800 | [diff] [blame] | 280 | void WebAssemblyAsmPrinter::emitConstantPool() { |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 281 | assert(MF->getConstantPool()->getConstants().empty() && |
| 282 | "WebAssembly disables constant pools"); |
| 283 | } |
| 284 | |
Fangrui Song | 1d49eb0 | 2020-02-13 16:36:27 -0800 | [diff] [blame] | 285 | void WebAssemblyAsmPrinter::emitJumpTableInfo() { |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 286 | // Nothing to do; jump tables are incorporated into the instruction stream. |
| 287 | } |
| 288 | |
Fangrui Song | 0dce409 | 2020-02-13 13:10:49 -0800 | [diff] [blame] | 289 | void WebAssemblyAsmPrinter::emitFunctionBodyStart() { |
David Blaikie | 2110924 | 2017-12-15 23:52:06 +0000 | [diff] [blame] | 290 | const Function &F = MF->getFunction(); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 291 | SmallVector<MVT, 1> ResultVTs; |
| 292 | SmallVector<MVT, 4> ParamVTs; |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 293 | computeSignatureVTs(F.getFunctionType(), F, TM, ParamVTs, ResultVTs); |
| 294 | auto Signature = signatureFromMVTs(ResultVTs, ParamVTs); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 295 | auto *WasmSym = cast<MCSymbolWasm>(CurrentFnSym); |
| 296 | WasmSym->setSignature(Signature.get()); |
| 297 | addSignature(std::move(Signature)); |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 298 | WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION); |
Derek Schuff | 77a7a38 | 2018-10-03 22:22:48 +0000 | [diff] [blame] | 299 | |
| 300 | // FIXME: clean up how params and results are emitted (use signatures) |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 301 | getTargetStreamer()->emitFunctionType(WasmSym); |
Derek Schuff | c64d765 | 2016-08-01 22:25:02 +0000 | [diff] [blame] | 302 | |
| 303 | // Emit the function index. |
| 304 | if (MDNode *Idx = F.getMetadata("wasm.index")) { |
| 305 | assert(Idx->getNumOperands() == 1); |
| 306 | |
| 307 | getTargetStreamer()->emitIndIdx(AsmPrinter::lowerConstant( |
| 308 | cast<ConstantAsMetadata>(Idx->getOperand(0))->getValue())); |
| 309 | } |
| 310 | |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 311 | SmallVector<wasm::ValType, 16> Locals; |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 312 | valTypesFromMVTs(MFI->getLocals(), Locals); |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 313 | getTargetStreamer()->emitLocal(Locals); |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 314 | |
Fangrui Song | 0dce409 | 2020-02-13 13:10:49 -0800 | [diff] [blame] | 315 | AsmPrinter::emitFunctionBodyStart(); |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 316 | } |
| 317 | |
Fangrui Song | bcd24b2 | 2020-02-13 21:58:16 -0800 | [diff] [blame] | 318 | void WebAssemblyAsmPrinter::emitInstruction(const MachineInstr *MI) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 319 | LLVM_DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n'); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 320 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 321 | switch (MI->getOpcode()) { |
Thomas Lively | 0ff82ac | 2018-10-13 07:09:10 +0000 | [diff] [blame] | 322 | case WebAssembly::ARGUMENT_i32: |
| 323 | case WebAssembly::ARGUMENT_i32_S: |
| 324 | case WebAssembly::ARGUMENT_i64: |
| 325 | case WebAssembly::ARGUMENT_i64_S: |
| 326 | case WebAssembly::ARGUMENT_f32: |
| 327 | case WebAssembly::ARGUMENT_f32_S: |
| 328 | case WebAssembly::ARGUMENT_f64: |
| 329 | case WebAssembly::ARGUMENT_f64_S: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 330 | case WebAssembly::ARGUMENT_v16i8: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 331 | case WebAssembly::ARGUMENT_v16i8_S: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 332 | case WebAssembly::ARGUMENT_v8i16: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 333 | case WebAssembly::ARGUMENT_v8i16_S: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 334 | case WebAssembly::ARGUMENT_v4i32: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 335 | case WebAssembly::ARGUMENT_v4i32_S: |
Derek Schuff | 51ed131 | 2018-08-07 21:24:01 +0000 | [diff] [blame] | 336 | case WebAssembly::ARGUMENT_v2i64: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 337 | case WebAssembly::ARGUMENT_v2i64_S: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 338 | case WebAssembly::ARGUMENT_v4f32: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 339 | case WebAssembly::ARGUMENT_v4f32_S: |
Derek Schuff | 51ed131 | 2018-08-07 21:24:01 +0000 | [diff] [blame] | 340 | case WebAssembly::ARGUMENT_v2f64: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 341 | case WebAssembly::ARGUMENT_v2f64_S: |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 342 | // These represent values which are live into the function entry, so there's |
| 343 | // no instruction to emit. |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 344 | break; |
Thomas Lively | 00f9e5a | 2019-10-09 21:42:08 +0000 | [diff] [blame] | 345 | case WebAssembly::FALLTHROUGH_RETURN: { |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 346 | // These instructions represent the implicit return at the end of a |
Thomas Lively | 00f9e5a | 2019-10-09 21:42:08 +0000 | [diff] [blame] | 347 | // function body. |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 348 | if (isVerbose()) { |
Thomas Lively | 00f9e5a | 2019-10-09 21:42:08 +0000 | [diff] [blame] | 349 | OutStreamer->AddComment("fallthrough-return"); |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 350 | OutStreamer->AddBlankLine(); |
| 351 | } |
| 352 | break; |
| 353 | } |
Heejin Ahn | 5514658 | 2019-05-28 22:09:12 +0000 | [diff] [blame] | 354 | case WebAssembly::COMPILER_FENCE: |
| 355 | // This is a compiler barrier that prevents instruction reordering during |
| 356 | // backend compilation, and should not be emitted. |
| 357 | break; |
Heejin Ahn | d6f4878 | 2019-01-30 03:21:57 +0000 | [diff] [blame] | 358 | case WebAssembly::EXTRACT_EXCEPTION_I32: |
| 359 | case WebAssembly::EXTRACT_EXCEPTION_I32_S: |
| 360 | // These are pseudo instructions that simulates popping values from stack. |
| 361 | // We print these only when we have -wasm-keep-registers on for assembly |
| 362 | // readability. |
| 363 | if (!WasmKeepRegisters) |
| 364 | break; |
| 365 | LLVM_FALLTHROUGH; |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 366 | default: { |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 367 | WebAssemblyMCInstLower MCInstLowering(OutContext, *this); |
| 368 | MCInst TmpInst; |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame] | 369 | MCInstLowering.lower(MI, TmpInst); |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 370 | EmitToStreamer(*OutStreamer, TmpInst); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 371 | break; |
| 372 | } |
Dan Gohman | 4f52e00 | 2015-09-09 00:52:47 +0000 | [diff] [blame] | 373 | } |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 374 | } |
| 375 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 376 | bool WebAssemblyAsmPrinter::PrintAsmOperand(const MachineInstr *MI, |
Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 377 | unsigned OpNo, |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 378 | const char *ExtraCode, |
| 379 | raw_ostream &OS) { |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 380 | // First try the generic code, which knows about modifiers like 'c' and 'n'. |
Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 381 | if (!AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, OS)) |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 382 | return false; |
| 383 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 384 | if (!ExtraCode) { |
| 385 | const MachineOperand &MO = MI->getOperand(OpNo); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 386 | switch (MO.getType()) { |
| 387 | case MachineOperand::MO_Immediate: |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 388 | OS << MO.getImm(); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 389 | return false; |
| 390 | case MachineOperand::MO_Register: |
Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 391 | // FIXME: only opcode that still contains registers, as required by |
| 392 | // MachineInstr::getDebugVariable(). |
| 393 | assert(MI->getOpcode() == WebAssembly::INLINEASM); |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 394 | OS << regToString(MO); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 395 | return false; |
| 396 | case MachineOperand::MO_GlobalAddress: |
Nick Desaulniers | 7ab164c | 2019-04-26 18:45:04 +0000 | [diff] [blame] | 397 | PrintSymbolOperand(MO, OS); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 398 | return false; |
| 399 | case MachineOperand::MO_ExternalSymbol: |
| 400 | GetExternalSymbolSymbol(MO.getSymbolName())->print(OS, MAI); |
| 401 | printOffset(MO.getOffset(), OS); |
| 402 | return false; |
| 403 | case MachineOperand::MO_MachineBasicBlock: |
| 404 | MO.getMBB()->getSymbol()->print(OS, MAI); |
| 405 | return false; |
| 406 | default: |
| 407 | break; |
| 408 | } |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 409 | } |
| 410 | |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 411 | return true; |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 412 | } |
| 413 | |
| 414 | bool WebAssemblyAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| 415 | unsigned OpNo, |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 416 | const char *ExtraCode, |
| 417 | raw_ostream &OS) { |
Dan Gohman | b465aa0 | 2017-11-08 19:18:08 +0000 | [diff] [blame] | 418 | // The current approach to inline asm is that "r" constraints are expressed |
| 419 | // as local indices, rather than values on the operand stack. This simplifies |
| 420 | // using "r" as it eliminates the need to push and pop the values in a |
| 421 | // particular order, however it also makes it impossible to have an "m" |
| 422 | // constraint. So we don't support it. |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 423 | |
Nick Desaulniers | 5277b3f | 2019-04-10 16:38:43 +0000 | [diff] [blame] | 424 | return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, ExtraCode, OS); |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 425 | } |
| 426 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 427 | // Force static initialization. |
Tom Stellard | 0dbcb36 | 2020-01-14 19:15:07 -0800 | [diff] [blame] | 428 | extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeWebAssemblyAsmPrinter() { |
Mehdi Amini | f42454b | 2016-10-09 23:00:34 +0000 | [diff] [blame] | 429 | RegisterAsmPrinter<WebAssemblyAsmPrinter> X(getTheWebAssemblyTarget32()); |
| 430 | RegisterAsmPrinter<WebAssemblyAsmPrinter> Y(getTheWebAssemblyTarget64()); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 431 | } |