JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 1 | //===-- WebAssemblyAsmPrinter.cpp - WebAssembly LLVM assembly writer ------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | /// |
| 10 | /// \file |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame^] | 11 | /// This file contains a printer that converts from our internal |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 12 | /// representation of machine-dependent LLVM code to the WebAssembly assembly |
| 13 | /// language. |
| 14 | /// |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 17 | #include "WebAssemblyAsmPrinter.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 18 | #include "InstPrinter/WebAssemblyInstPrinter.h" |
| 19 | #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 20 | #include "MCTargetDesc/WebAssemblyTargetStreamer.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" |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/StringExtras.h" |
Dan Gohman | 754cd11 | 2015-11-11 01:33:02 +0000 | [diff] [blame] | 26 | #include "llvm/CodeGen/Analysis.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/AsmPrinter.h" |
JF Bastien | 54be3b1 | 2015-08-25 23:19:49 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineConstantPool.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineInstr.h" |
Dan Gohman | 82607f5 | 2017-02-24 23:46:05 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 31 | #include "llvm/IR/DataLayout.h" |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 32 | #include "llvm/IR/GlobalVariable.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCContext.h" |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 34 | #include "llvm/MC/MCSectionWasm.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 35 | #include "llvm/MC/MCStreamer.h" |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 36 | #include "llvm/MC/MCSymbol.h" |
Sam Clegg | 7736855d | 2017-06-13 01:42:21 +0000 | [diff] [blame] | 37 | #include "llvm/MC/MCSymbolELF.h" |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCSymbolWasm.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 39 | #include "llvm/Support/Debug.h" |
| 40 | #include "llvm/Support/TargetRegistry.h" |
| 41 | #include "llvm/Support/raw_ostream.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 42 | using namespace llvm; |
| 43 | |
| 44 | #define DEBUG_TYPE "asm-printer" |
| 45 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 46 | //===----------------------------------------------------------------------===// |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 47 | // Helpers. |
| 48 | //===----------------------------------------------------------------------===// |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 49 | |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 50 | MVT WebAssemblyAsmPrinter::getRegType(unsigned RegNo) const { |
Krzysztof Parzyszek | c8e8e2a | 2017-04-24 19:51:12 +0000 | [diff] [blame] | 51 | const TargetRegisterInfo *TRI = Subtarget->getRegisterInfo(); |
Dan Gohman | 0cfb5f8 | 2016-05-10 04:24:02 +0000 | [diff] [blame] | 52 | const TargetRegisterClass *TRC = MRI->getRegClass(RegNo); |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 53 | for (MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64, MVT::v16i8, MVT::v8i16, |
| 54 | MVT::v4i32, MVT::v4f32}) |
Krzysztof Parzyszek | c8e8e2a | 2017-04-24 19:51:12 +0000 | [diff] [blame] | 55 | if (TRI->isTypeLegalForClass(*TRC, T)) |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 56 | return T; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 57 | DEBUG(errs() << "Unknown type for register number: " << RegNo); |
| 58 | llvm_unreachable("Unknown register type"); |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 59 | return MVT::Other; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 60 | } |
| 61 | |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 62 | std::string WebAssemblyAsmPrinter::regToString(const MachineOperand &MO) { |
| 63 | unsigned RegNo = MO.getReg(); |
Dan Gohman | d962527 | 2015-11-20 03:13:31 +0000 | [diff] [blame] | 64 | assert(TargetRegisterInfo::isVirtualRegister(RegNo) && |
| 65 | "Unlowered physical register encountered during assembly printing"); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 66 | assert(!MFI->isVRegStackified(RegNo)); |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 67 | unsigned WAReg = MFI->getWAReg(RegNo); |
| 68 | assert(WAReg != WebAssemblyFunctionInfo::UnusedReg); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 69 | return '$' + utostr(WAReg); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 70 | } |
| 71 | |
Dan Gohman | ec977b0 | 2016-01-25 15:12:05 +0000 | [diff] [blame] | 72 | WebAssemblyTargetStreamer *WebAssemblyAsmPrinter::getTargetStreamer() { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 73 | MCTargetStreamer *TS = OutStreamer->getTargetStreamer(); |
| 74 | return static_cast<WebAssemblyTargetStreamer *>(TS); |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 75 | } |
| 76 | |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 77 | //===----------------------------------------------------------------------===// |
| 78 | // WebAssemblyAsmPrinter Implementation. |
| 79 | //===----------------------------------------------------------------------===// |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 80 | |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 81 | void WebAssemblyAsmPrinter::EmitEndOfAsmFile(Module &M) { |
| 82 | for (const auto &F : M) { |
| 83 | // Emit function type info for all undefined functions |
| 84 | if (F.isDeclarationForLinker() && !F.isIntrinsic()) { |
Dan Gohman | 2726b88 | 2016-10-06 22:29:32 +0000 | [diff] [blame] | 85 | SmallVector<MVT, 4> Results; |
| 86 | SmallVector<MVT, 4> Params; |
| 87 | ComputeSignatureVTs(F, TM, Params, Results); |
Jacob Gravelle | ca358da | 2018-02-12 21:41:12 +0000 | [diff] [blame] | 88 | MCSymbol *Sym = getSymbol(&F); |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 89 | getTargetStreamer()->emitIndirectFunctionType(Sym, Params, Results); |
| 90 | |
Jacob Gravelle | ca358da | 2018-02-12 21:41:12 +0000 | [diff] [blame] | 91 | if (TM.getTargetTriple().isOSBinFormatWasm() && |
| 92 | F.hasFnAttribute("wasm-import-module")) { |
| 93 | MCSymbolWasm *WasmSym = cast<MCSymbolWasm>(Sym); |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 94 | StringRef Name = F.getFnAttribute("wasm-import-module") |
| 95 | .getValueAsString(); |
Jacob Gravelle | ca358da | 2018-02-12 21:41:12 +0000 | [diff] [blame] | 96 | getTargetStreamer()->emitImportModule(WasmSym, Name); |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 97 | } |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 98 | } |
| 99 | } |
Derek Schuff | 7747d703e | 2016-12-01 00:11:15 +0000 | [diff] [blame] | 100 | for (const auto &G : M.globals()) { |
| 101 | if (!G.hasInitializer() && G.hasExternalLinkage()) { |
Dan Gohman | 5cf6473 | 2017-12-07 00:14:30 +0000 | [diff] [blame] | 102 | if (G.getValueType()->isSized()) { |
| 103 | uint16_t Size = M.getDataLayout().getTypeAllocSize(G.getValueType()); |
| 104 | if (TM.getTargetTriple().isOSBinFormatELF()) |
| 105 | getTargetStreamer()->emitGlobalImport(G.getGlobalIdentifier()); |
| 106 | OutStreamer->emitELFSize(getSymbol(&G), |
| 107 | MCConstantExpr::create(Size, OutContext)); |
| 108 | } |
Derek Schuff | 7747d703e | 2016-12-01 00:11:15 +0000 | [diff] [blame] | 109 | } |
| 110 | } |
Sam Clegg | cfd44a2 | 2018-04-05 17:01:39 +0000 | [diff] [blame] | 111 | |
| 112 | if (const NamedMDNode *Named = M.getNamedMetadata("wasm.custom_sections")) { |
| 113 | for (const Metadata *MD : Named->operands()) { |
| 114 | const MDTuple *Tuple = dyn_cast<MDTuple>(MD); |
| 115 | if (!Tuple || Tuple->getNumOperands() != 2) |
| 116 | continue; |
| 117 | const MDString *Name = dyn_cast<MDString>(Tuple->getOperand(0)); |
| 118 | const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1)); |
| 119 | if (!Name || !Contents) |
| 120 | continue; |
| 121 | |
| 122 | OutStreamer->PushSection(); |
| 123 | std::string SectionName = (".custom_section." + Name->getString()).str(); |
| 124 | MCSectionWasm *mySection = |
| 125 | OutContext.getWasmSection(SectionName, SectionKind::getMetadata()); |
| 126 | OutStreamer->SwitchSection(mySection); |
| 127 | OutStreamer->EmitBytes(Contents->getString()); |
| 128 | OutStreamer->PopSection(); |
| 129 | } |
| 130 | } |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | void WebAssemblyAsmPrinter::EmitConstantPool() { |
| 134 | assert(MF->getConstantPool()->getConstants().empty() && |
| 135 | "WebAssembly disables constant pools"); |
| 136 | } |
| 137 | |
| 138 | void WebAssemblyAsmPrinter::EmitJumpTableInfo() { |
| 139 | // Nothing to do; jump tables are incorporated into the instruction stream. |
| 140 | } |
| 141 | |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 142 | void WebAssemblyAsmPrinter::EmitFunctionBodyStart() { |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 143 | getTargetStreamer()->emitParam(CurrentFnSym, MFI->getParams()); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 144 | |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 145 | SmallVector<MVT, 4> ResultVTs; |
David Blaikie | 2110924 | 2017-12-15 23:52:06 +0000 | [diff] [blame] | 146 | const Function &F = MF->getFunction(); |
Derek Schuff | c64d765 | 2016-08-01 22:25:02 +0000 | [diff] [blame] | 147 | |
| 148 | // Emit the function index. |
| 149 | if (MDNode *Idx = F.getMetadata("wasm.index")) { |
| 150 | assert(Idx->getNumOperands() == 1); |
| 151 | |
| 152 | getTargetStreamer()->emitIndIdx(AsmPrinter::lowerConstant( |
| 153 | cast<ConstantAsMetadata>(Idx->getOperand(0))->getValue())); |
| 154 | } |
| 155 | |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 156 | ComputeLegalValueVTs(F, TM, F.getReturnType(), ResultVTs); |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 157 | |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 158 | // If the return type needs to be legalized it will get converted into |
| 159 | // passing a pointer. |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 160 | if (ResultVTs.size() == 1) |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 161 | getTargetStreamer()->emitResult(CurrentFnSym, ResultVTs); |
| 162 | else |
| 163 | getTargetStreamer()->emitResult(CurrentFnSym, ArrayRef<MVT>()); |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 164 | |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 165 | if (TM.getTargetTriple().isOSBinFormatELF()) { |
| 166 | assert(MFI->getLocals().empty()); |
| 167 | for (unsigned Idx = 0, IdxE = MRI->getNumVirtRegs(); Idx != IdxE; ++Idx) { |
| 168 | unsigned VReg = TargetRegisterInfo::index2VirtReg(Idx); |
| 169 | unsigned WAReg = MFI->getWAReg(VReg); |
| 170 | // Don't declare unused registers. |
| 171 | if (WAReg == WebAssemblyFunctionInfo::UnusedReg) |
| 172 | continue; |
| 173 | // Don't redeclare parameters. |
| 174 | if (WAReg < MFI->getParams().size()) |
| 175 | continue; |
| 176 | // Don't declare stackified registers. |
| 177 | if (int(WAReg) < 0) |
| 178 | continue; |
| 179 | MFI->addLocal(getRegType(VReg)); |
| 180 | } |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 181 | } |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 182 | |
| 183 | getTargetStreamer()->emitLocal(MFI->getLocals()); |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 184 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 185 | AsmPrinter::EmitFunctionBodyStart(); |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 186 | } |
| 187 | |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 188 | void WebAssemblyAsmPrinter::EmitFunctionBodyEnd() { |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 189 | if (TM.getTargetTriple().isOSBinFormatELF()) |
| 190 | getTargetStreamer()->emitEndFunc(); |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 191 | } |
| 192 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 193 | void WebAssemblyAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
JF Bastien | af111db | 2015-08-24 22:16:48 +0000 | [diff] [blame] | 194 | DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n'); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 195 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 196 | switch (MI->getOpcode()) { |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 197 | case WebAssembly::ARGUMENT_I32: |
| 198 | case WebAssembly::ARGUMENT_I64: |
| 199 | case WebAssembly::ARGUMENT_F32: |
| 200 | case WebAssembly::ARGUMENT_F64: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 201 | case WebAssembly::ARGUMENT_v16i8: |
| 202 | case WebAssembly::ARGUMENT_v8i16: |
| 203 | case WebAssembly::ARGUMENT_v4i32: |
| 204 | case WebAssembly::ARGUMENT_v4f32: |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 205 | // These represent values which are live into the function entry, so there's |
| 206 | // no instruction to emit. |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 207 | break; |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 208 | case WebAssembly::FALLTHROUGH_RETURN_I32: |
| 209 | case WebAssembly::FALLTHROUGH_RETURN_I64: |
| 210 | case WebAssembly::FALLTHROUGH_RETURN_F32: |
Derek Schuff | 39bf39f | 2016-08-02 23:16:09 +0000 | [diff] [blame] | 211 | case WebAssembly::FALLTHROUGH_RETURN_F64: |
| 212 | case WebAssembly::FALLTHROUGH_RETURN_v16i8: |
| 213 | case WebAssembly::FALLTHROUGH_RETURN_v8i16: |
| 214 | case WebAssembly::FALLTHROUGH_RETURN_v4i32: |
| 215 | case WebAssembly::FALLTHROUGH_RETURN_v4f32: { |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 216 | // These instructions represent the implicit return at the end of a |
| 217 | // function body. The operand is always a pop. |
| 218 | assert(MFI->isVRegStackified(MI->getOperand(0).getReg())); |
| 219 | |
| 220 | if (isVerbose()) { |
| 221 | OutStreamer->AddComment("fallthrough-return: $pop" + |
Benjamin Kramer | 3a13ed6 | 2017-12-28 16:58:54 +0000 | [diff] [blame] | 222 | Twine(MFI->getWARegStackId( |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 223 | MFI->getWAReg(MI->getOperand(0).getReg())))); |
| 224 | OutStreamer->AddBlankLine(); |
| 225 | } |
| 226 | break; |
| 227 | } |
| 228 | case WebAssembly::FALLTHROUGH_RETURN_VOID: |
| 229 | // This instruction represents the implicit return at the end of a |
| 230 | // function body with no return value. |
| 231 | if (isVerbose()) { |
| 232 | OutStreamer->AddComment("fallthrough-return"); |
| 233 | OutStreamer->AddBlankLine(); |
| 234 | } |
| 235 | break; |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 236 | default: { |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 237 | WebAssemblyMCInstLower MCInstLowering(OutContext, *this); |
| 238 | MCInst TmpInst; |
| 239 | MCInstLowering.Lower(MI, TmpInst); |
| 240 | EmitToStreamer(*OutStreamer, TmpInst); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 241 | break; |
| 242 | } |
Dan Gohman | 4f52e00 | 2015-09-09 00:52:47 +0000 | [diff] [blame] | 243 | } |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 244 | } |
| 245 | |
Dan Gohman | 26c6765 | 2016-01-11 23:38:05 +0000 | [diff] [blame] | 246 | const MCExpr *WebAssemblyAsmPrinter::lowerConstant(const Constant *CV) { |
| 247 | if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) |
Sam Clegg | 7736855d | 2017-06-13 01:42:21 +0000 | [diff] [blame] | 248 | if (GV->getValueType()->isFunctionTy()) { |
Dan Gohman | 26c6765 | 2016-01-11 23:38:05 +0000 | [diff] [blame] | 249 | return MCSymbolRefExpr::create( |
Sam Clegg | 9bf73c0 | 2017-07-05 20:25:08 +0000 | [diff] [blame] | 250 | getSymbol(GV), MCSymbolRefExpr::VK_WebAssembly_FUNCTION, OutContext); |
Sam Clegg | 7736855d | 2017-06-13 01:42:21 +0000 | [diff] [blame] | 251 | } |
Dan Gohman | 26c6765 | 2016-01-11 23:38:05 +0000 | [diff] [blame] | 252 | return AsmPrinter::lowerConstant(CV); |
| 253 | } |
| 254 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 255 | bool WebAssemblyAsmPrinter::PrintAsmOperand(const MachineInstr *MI, |
| 256 | unsigned OpNo, unsigned AsmVariant, |
| 257 | const char *ExtraCode, |
| 258 | raw_ostream &OS) { |
| 259 | if (AsmVariant != 0) |
| 260 | report_fatal_error("There are no defined alternate asm variants"); |
| 261 | |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 262 | // First try the generic code, which knows about modifiers like 'c' and 'n'. |
| 263 | if (!AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, OS)) |
| 264 | return false; |
| 265 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 266 | if (!ExtraCode) { |
| 267 | const MachineOperand &MO = MI->getOperand(OpNo); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 268 | switch (MO.getType()) { |
| 269 | case MachineOperand::MO_Immediate: |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 270 | OS << MO.getImm(); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 271 | return false; |
| 272 | case MachineOperand::MO_Register: |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 273 | OS << regToString(MO); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 274 | return false; |
| 275 | case MachineOperand::MO_GlobalAddress: |
| 276 | getSymbol(MO.getGlobal())->print(OS, MAI); |
| 277 | printOffset(MO.getOffset(), OS); |
| 278 | return false; |
| 279 | case MachineOperand::MO_ExternalSymbol: |
| 280 | GetExternalSymbolSymbol(MO.getSymbolName())->print(OS, MAI); |
| 281 | printOffset(MO.getOffset(), OS); |
| 282 | return false; |
| 283 | case MachineOperand::MO_MachineBasicBlock: |
| 284 | MO.getMBB()->getSymbol()->print(OS, MAI); |
| 285 | return false; |
| 286 | default: |
| 287 | break; |
| 288 | } |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 289 | } |
| 290 | |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 291 | return true; |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 292 | } |
| 293 | |
| 294 | bool WebAssemblyAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| 295 | unsigned OpNo, |
| 296 | unsigned AsmVariant, |
| 297 | const char *ExtraCode, |
| 298 | raw_ostream &OS) { |
| 299 | if (AsmVariant != 0) |
| 300 | report_fatal_error("There are no defined alternate asm variants"); |
| 301 | |
Dan Gohman | b465aa0 | 2017-11-08 19:18:08 +0000 | [diff] [blame] | 302 | // The current approach to inline asm is that "r" constraints are expressed |
| 303 | // as local indices, rather than values on the operand stack. This simplifies |
| 304 | // using "r" as it eliminates the need to push and pop the values in a |
| 305 | // particular order, however it also makes it impossible to have an "m" |
| 306 | // constraint. So we don't support it. |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 307 | |
| 308 | return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, AsmVariant, ExtraCode, OS); |
| 309 | } |
| 310 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 311 | // Force static initialization. |
| 312 | extern "C" void LLVMInitializeWebAssemblyAsmPrinter() { |
Mehdi Amini | f42454b | 2016-10-09 23:00:34 +0000 | [diff] [blame] | 313 | RegisterAsmPrinter<WebAssemblyAsmPrinter> X(getTheWebAssemblyTarget32()); |
| 314 | RegisterAsmPrinter<WebAssemblyAsmPrinter> Y(getTheWebAssemblyTarget64()); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 315 | } |