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 |
| 11 | /// \brief This file contains a printer that converts from our internal |
| 12 | /// representation of machine-dependent LLVM code to the WebAssembly assembly |
| 13 | /// language. |
| 14 | /// |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #include "WebAssembly.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" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 21 | #include "WebAssemblyMCInstLower.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 22 | #include "WebAssemblyMachineFunctionInfo.h" |
| 23 | #include "WebAssemblyRegisterInfo.h" |
| 24 | #include "WebAssemblySubtarget.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" |
| 30 | #include "llvm/IR/DataLayout.h" |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCContext.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCStreamer.h" |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCSymbol.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 34 | #include "llvm/Support/Debug.h" |
| 35 | #include "llvm/Support/TargetRegistry.h" |
| 36 | #include "llvm/Support/raw_ostream.h" |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 37 | using namespace llvm; |
| 38 | |
| 39 | #define DEBUG_TYPE "asm-printer" |
| 40 | |
| 41 | namespace { |
| 42 | |
| 43 | class WebAssemblyAsmPrinter final : public AsmPrinter { |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 44 | const MachineRegisterInfo *MRI; |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 45 | const WebAssemblyFunctionInfo *MFI; |
JF Bastien | 600aee9 | 2015-07-31 17:53:38 +0000 | [diff] [blame] | 46 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 47 | public: |
| 48 | WebAssemblyAsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer) |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 49 | : AsmPrinter(TM, std::move(Streamer)), MRI(nullptr), MFI(nullptr) {} |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 50 | |
| 51 | private: |
| 52 | const char *getPassName() const override { |
| 53 | return "WebAssembly Assembly Printer"; |
| 54 | } |
| 55 | |
| 56 | //===------------------------------------------------------------------===// |
| 57 | // MachineFunctionPass Implementation. |
| 58 | //===------------------------------------------------------------------===// |
| 59 | |
JF Bastien | 600aee9 | 2015-07-31 17:53:38 +0000 | [diff] [blame] | 60 | bool runOnMachineFunction(MachineFunction &MF) override { |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 61 | MRI = &MF.getRegInfo(); |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 62 | MFI = MF.getInfo<WebAssemblyFunctionInfo>(); |
JF Bastien | 600aee9 | 2015-07-31 17:53:38 +0000 | [diff] [blame] | 63 | return AsmPrinter::runOnMachineFunction(MF); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | //===------------------------------------------------------------------===// |
| 67 | // AsmPrinter Implementation. |
| 68 | //===------------------------------------------------------------------===// |
| 69 | |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame^] | 70 | void EmitEndOfAsmFile(Module &M) override; |
Dan Gohman | 950a13c | 2015-09-16 16:51:30 +0000 | [diff] [blame] | 71 | void EmitJumpTableInfo() override; |
JF Bastien | 54be3b1 | 2015-08-25 23:19:49 +0000 | [diff] [blame] | 72 | void EmitConstantPool() override; |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 73 | void EmitFunctionBodyStart() override; |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 74 | void EmitFunctionBodyEnd() override; |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 75 | void EmitInstruction(const MachineInstr *MI) override; |
Dan Gohman | 26c6765 | 2016-01-11 23:38:05 +0000 | [diff] [blame] | 76 | const MCExpr *lowerConstant(const Constant *CV) override; |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 77 | bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
| 78 | unsigned AsmVariant, const char *ExtraCode, |
| 79 | raw_ostream &OS) override; |
| 80 | bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, |
| 81 | unsigned AsmVariant, const char *ExtraCode, |
| 82 | raw_ostream &OS) override; |
Dan Gohman | 979840d | 2015-09-23 16:59:10 +0000 | [diff] [blame] | 83 | |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 84 | MVT getRegType(unsigned RegNo) const; |
Dan Gohman | 754cd11 | 2015-11-11 01:33:02 +0000 | [diff] [blame] | 85 | const char *toString(MVT VT) const; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 86 | std::string regToString(const MachineOperand &MO); |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 87 | WebAssemblyTargetStreamer *getTargetStreamer(); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 88 | }; |
| 89 | |
| 90 | } // end anonymous namespace |
| 91 | |
| 92 | //===----------------------------------------------------------------------===// |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 93 | // Helpers. |
| 94 | //===----------------------------------------------------------------------===// |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 95 | |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 96 | MVT WebAssemblyAsmPrinter::getRegType(unsigned RegNo) const { |
Dan Gohman | 0cfb5f8 | 2016-05-10 04:24:02 +0000 | [diff] [blame] | 97 | const TargetRegisterClass *TRC = MRI->getRegClass(RegNo); |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 98 | for (MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64}) |
| 99 | if (TRC->hasType(T)) |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 100 | return T; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 101 | DEBUG(errs() << "Unknown type for register number: " << RegNo); |
| 102 | llvm_unreachable("Unknown register type"); |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 103 | return MVT::Other; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 104 | } |
| 105 | |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 106 | const char *WebAssemblyAsmPrinter::toString(MVT VT) const { |
| 107 | return WebAssembly::TypeToString(VT); |
| 108 | } |
| 109 | |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 110 | std::string WebAssemblyAsmPrinter::regToString(const MachineOperand &MO) { |
| 111 | unsigned RegNo = MO.getReg(); |
Dan Gohman | d962527 | 2015-11-20 03:13:31 +0000 | [diff] [blame] | 112 | assert(TargetRegisterInfo::isVirtualRegister(RegNo) && |
| 113 | "Unlowered physical register encountered during assembly printing"); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 114 | assert(!MFI->isVRegStackified(RegNo)); |
Dan Gohman | 058fce5 | 2015-11-13 00:21:05 +0000 | [diff] [blame] | 115 | unsigned WAReg = MFI->getWAReg(RegNo); |
| 116 | assert(WAReg != WebAssemblyFunctionInfo::UnusedReg); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 117 | return '$' + utostr(WAReg); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Dan Gohman | ec977b0 | 2016-01-25 15:12:05 +0000 | [diff] [blame] | 120 | WebAssemblyTargetStreamer *WebAssemblyAsmPrinter::getTargetStreamer() { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 121 | MCTargetStreamer *TS = OutStreamer->getTargetStreamer(); |
| 122 | return static_cast<WebAssemblyTargetStreamer *>(TS); |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 123 | } |
| 124 | |
JF Bastien | 45479f6 | 2015-08-26 22:09:54 +0000 | [diff] [blame] | 125 | //===----------------------------------------------------------------------===// |
| 126 | // WebAssemblyAsmPrinter Implementation. |
| 127 | //===----------------------------------------------------------------------===// |
Dan Gohman | 7a6b982 | 2015-11-29 22:32:02 +0000 | [diff] [blame] | 128 | static void ComputeLegalValueVTs(const Function &F, const TargetMachine &TM, |
| 129 | Type *Ty, SmallVectorImpl<MVT> &ValueVTs) { |
| 130 | const DataLayout &DL(F.getParent()->getDataLayout()); |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 131 | const WebAssemblyTargetLowering &TLI = |
| 132 | *TM.getSubtarget<WebAssemblySubtarget>(F).getTargetLowering(); |
| 133 | SmallVector<EVT, 4> VTs; |
| 134 | ComputeValueVTs(TLI, DL, Ty, VTs); |
| 135 | |
| 136 | for (EVT VT : VTs) { |
| 137 | unsigned NumRegs = TLI.getNumRegisters(F.getContext(), VT); |
| 138 | MVT RegisterVT = TLI.getRegisterType(F.getContext(), VT); |
| 139 | for (unsigned i = 0; i != NumRegs; ++i) |
| 140 | ValueVTs.push_back(RegisterVT); |
| 141 | } |
| 142 | } |
| 143 | |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame^] | 144 | void WebAssemblyAsmPrinter::EmitEndOfAsmFile(Module &M) { |
| 145 | for (const auto &F : M) { |
| 146 | // Emit function type info for all undefined functions |
| 147 | if (F.isDeclarationForLinker() && !F.isIntrinsic()) { |
| 148 | SmallVector<MVT, 4> SignatureVTs; |
| 149 | ComputeLegalValueVTs(F, TM, F.getReturnType(), SignatureVTs); |
| 150 | size_t NumResults = SignatureVTs.size(); |
| 151 | if (SignatureVTs.size() > 1) { |
| 152 | // WebAssembly currently can't lower returns of multiple values without |
| 153 | // demoting to sret (see WebAssemblyTargetLowering::CanLowerReturn). So |
| 154 | // replace multiple return values with a pointer parameter. |
| 155 | SignatureVTs.clear(); |
| 156 | SignatureVTs.push_back( |
| 157 | MVT::getIntegerVT(M.getDataLayout().getPointerSizeInBits())); |
| 158 | NumResults = 0; |
| 159 | } |
| 160 | |
| 161 | for (auto &Arg : F.args()) { |
| 162 | ComputeLegalValueVTs(F, TM, Arg.getType(), SignatureVTs); |
| 163 | } |
| 164 | |
| 165 | getTargetStreamer()->emitIndirectFunctionType(F.getName(), SignatureVTs, |
| 166 | NumResults); |
| 167 | } |
| 168 | } |
| 169 | } |
| 170 | |
| 171 | void WebAssemblyAsmPrinter::EmitConstantPool() { |
| 172 | assert(MF->getConstantPool()->getConstants().empty() && |
| 173 | "WebAssembly disables constant pools"); |
| 174 | } |
| 175 | |
| 176 | void WebAssemblyAsmPrinter::EmitJumpTableInfo() { |
| 177 | // Nothing to do; jump tables are incorporated into the instruction stream. |
| 178 | } |
| 179 | |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 180 | void WebAssemblyAsmPrinter::EmitFunctionBodyStart() { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 181 | if (!MFI->getParams().empty()) |
| 182 | getTargetStreamer()->emitParam(MFI->getParams()); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 183 | |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 184 | SmallVector<MVT, 4> ResultVTs; |
| 185 | const Function &F(*MF->getFunction()); |
| 186 | ComputeLegalValueVTs(F, TM, F.getReturnType(), ResultVTs); |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 187 | |
Derek Schuff | 46e3316 | 2015-11-16 21:12:41 +0000 | [diff] [blame] | 188 | // If the return type needs to be legalized it will get converted into |
| 189 | // passing a pointer. |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 190 | if (ResultVTs.size() == 1) |
| 191 | getTargetStreamer()->emitResult(ResultVTs); |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 192 | |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 193 | bool AnyWARegs = false; |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 194 | SmallVector<MVT, 16> LocalTypes; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 195 | for (unsigned Idx = 0, IdxE = MRI->getNumVirtRegs(); Idx != IdxE; ++Idx) { |
| 196 | unsigned VReg = TargetRegisterInfo::index2VirtReg(Idx); |
Dan Gohman | 4ba4816 | 2015-11-18 16:12:01 +0000 | [diff] [blame] | 197 | unsigned WAReg = MFI->getWAReg(VReg); |
| 198 | // Don't declare unused registers. |
| 199 | if (WAReg == WebAssemblyFunctionInfo::UnusedReg) |
| 200 | continue; |
| 201 | // Don't redeclare parameters. |
| 202 | if (WAReg < MFI->getParams().size()) |
| 203 | continue; |
| 204 | // Don't declare stackified registers. |
| 205 | if (int(WAReg) < 0) |
| 206 | continue; |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 207 | LocalTypes.push_back(getRegType(VReg)); |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 208 | AnyWARegs = true; |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 209 | } |
Dan Gohman | 53828fd | 2015-11-23 16:50:18 +0000 | [diff] [blame] | 210 | if (AnyWARegs) |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 211 | getTargetStreamer()->emitLocal(LocalTypes); |
JF Bastien | 1d20a5e | 2015-10-16 00:53:49 +0000 | [diff] [blame] | 212 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 213 | AsmPrinter::EmitFunctionBodyStart(); |
JF Bastien | b6091df | 2015-08-25 22:58:05 +0000 | [diff] [blame] | 214 | } |
| 215 | |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 216 | void WebAssemblyAsmPrinter::EmitFunctionBodyEnd() { |
| 217 | getTargetStreamer()->emitEndFunc(); |
| 218 | } |
| 219 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 220 | void WebAssemblyAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
JF Bastien | af111db | 2015-08-24 22:16:48 +0000 | [diff] [blame] | 221 | DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n'); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 222 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 223 | switch (MI->getOpcode()) { |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 224 | case WebAssembly::ARGUMENT_I32: |
| 225 | case WebAssembly::ARGUMENT_I64: |
| 226 | case WebAssembly::ARGUMENT_F32: |
| 227 | case WebAssembly::ARGUMENT_F64: |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 228 | // These represent values which are live into the function entry, so there's |
| 229 | // no instruction to emit. |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 230 | break; |
Dan Gohman | b7c2400 | 2016-05-21 00:21:56 +0000 | [diff] [blame] | 231 | case WebAssembly::FALLTHROUGH_RETURN_I32: |
| 232 | case WebAssembly::FALLTHROUGH_RETURN_I64: |
| 233 | case WebAssembly::FALLTHROUGH_RETURN_F32: |
| 234 | case WebAssembly::FALLTHROUGH_RETURN_F64: { |
| 235 | // These instructions represent the implicit return at the end of a |
| 236 | // function body. The operand is always a pop. |
| 237 | assert(MFI->isVRegStackified(MI->getOperand(0).getReg())); |
| 238 | |
| 239 | if (isVerbose()) { |
| 240 | OutStreamer->AddComment("fallthrough-return: $pop" + |
| 241 | utostr(MFI->getWARegStackId( |
| 242 | MFI->getWAReg(MI->getOperand(0).getReg())))); |
| 243 | OutStreamer->AddBlankLine(); |
| 244 | } |
| 245 | break; |
| 246 | } |
| 247 | case WebAssembly::FALLTHROUGH_RETURN_VOID: |
| 248 | // This instruction represents the implicit return at the end of a |
| 249 | // function body with no return value. |
| 250 | if (isVerbose()) { |
| 251 | OutStreamer->AddComment("fallthrough-return"); |
| 252 | OutStreamer->AddBlankLine(); |
| 253 | } |
| 254 | break; |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 255 | default: { |
Dan Gohman | cf4748f | 2015-11-12 17:04:33 +0000 | [diff] [blame] | 256 | WebAssemblyMCInstLower MCInstLowering(OutContext, *this); |
| 257 | MCInst TmpInst; |
| 258 | MCInstLowering.Lower(MI, TmpInst); |
| 259 | EmitToStreamer(*OutStreamer, TmpInst); |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 260 | break; |
| 261 | } |
Dan Gohman | 4f52e00 | 2015-09-09 00:52:47 +0000 | [diff] [blame] | 262 | } |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 263 | } |
| 264 | |
Dan Gohman | 26c6765 | 2016-01-11 23:38:05 +0000 | [diff] [blame] | 265 | const MCExpr *WebAssemblyAsmPrinter::lowerConstant(const Constant *CV) { |
| 266 | if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) |
| 267 | if (GV->getValueType()->isFunctionTy()) |
| 268 | return MCSymbolRefExpr::create( |
| 269 | getSymbol(GV), MCSymbolRefExpr::VK_WebAssembly_FUNCTION, OutContext); |
| 270 | return AsmPrinter::lowerConstant(CV); |
| 271 | } |
| 272 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 273 | bool WebAssemblyAsmPrinter::PrintAsmOperand(const MachineInstr *MI, |
| 274 | unsigned OpNo, unsigned AsmVariant, |
| 275 | const char *ExtraCode, |
| 276 | raw_ostream &OS) { |
| 277 | if (AsmVariant != 0) |
| 278 | report_fatal_error("There are no defined alternate asm variants"); |
| 279 | |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 280 | // First try the generic code, which knows about modifiers like 'c' and 'n'. |
| 281 | if (!AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, OS)) |
| 282 | return false; |
| 283 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 284 | if (!ExtraCode) { |
| 285 | const MachineOperand &MO = MI->getOperand(OpNo); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 286 | switch (MO.getType()) { |
| 287 | case MachineOperand::MO_Immediate: |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 288 | OS << MO.getImm(); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 289 | return false; |
| 290 | case MachineOperand::MO_Register: |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 291 | OS << regToString(MO); |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 292 | return false; |
| 293 | case MachineOperand::MO_GlobalAddress: |
| 294 | getSymbol(MO.getGlobal())->print(OS, MAI); |
| 295 | printOffset(MO.getOffset(), OS); |
| 296 | return false; |
| 297 | case MachineOperand::MO_ExternalSymbol: |
| 298 | GetExternalSymbolSymbol(MO.getSymbolName())->print(OS, MAI); |
| 299 | printOffset(MO.getOffset(), OS); |
| 300 | return false; |
| 301 | case MachineOperand::MO_MachineBasicBlock: |
| 302 | MO.getMBB()->getSymbol()->print(OS, MAI); |
| 303 | return false; |
| 304 | default: |
| 305 | break; |
| 306 | } |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 307 | } |
| 308 | |
Dan Gohman | 30a42bf | 2015-12-16 17:15:17 +0000 | [diff] [blame] | 309 | return true; |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | bool WebAssemblyAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| 313 | unsigned OpNo, |
| 314 | unsigned AsmVariant, |
| 315 | const char *ExtraCode, |
| 316 | raw_ostream &OS) { |
| 317 | if (AsmVariant != 0) |
| 318 | report_fatal_error("There are no defined alternate asm variants"); |
| 319 | |
| 320 | if (!ExtraCode) { |
Dan Gohman | e2831b4 | 2015-12-16 18:14:49 +0000 | [diff] [blame] | 321 | // TODO: For now, we just hard-code 0 as the constant offset; teach |
| 322 | // SelectInlineAsmMemoryOperand how to do address mode matching. |
| 323 | OS << "0(" + regToString(MI->getOperand(OpNo)) + ')'; |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 324 | return false; |
| 325 | } |
| 326 | |
| 327 | return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, AsmVariant, ExtraCode, OS); |
| 328 | } |
| 329 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 330 | // Force static initialization. |
| 331 | extern "C" void LLVMInitializeWebAssemblyAsmPrinter() { |
| 332 | RegisterAsmPrinter<WebAssemblyAsmPrinter> X(TheWebAssemblyTarget32); |
| 333 | RegisterAsmPrinter<WebAssemblyAsmPrinter> Y(TheWebAssemblyTarget64); |
| 334 | } |