| //===-- WebAssemblyAsmPrinter.cpp - WebAssembly LLVM assembly writer ------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// This file contains a printer that converts from our internal |
| /// representation of machine-dependent LLVM code to the WebAssembly assembly |
| /// language. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #include "WebAssemblyAsmPrinter.h" |
| #include "MCTargetDesc/WebAssemblyInstPrinter.h" |
| #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" |
| #include "MCTargetDesc/WebAssemblyTargetStreamer.h" |
| #include "TargetInfo/WebAssemblyTargetInfo.h" |
| #include "WebAssembly.h" |
| #include "WebAssemblyMCInstLower.h" |
| #include "WebAssemblyMachineFunctionInfo.h" |
| #include "WebAssemblyRegisterInfo.h" |
| #include "WebAssemblyTargetMachine.h" |
| #include "llvm/ADT/SmallSet.h" |
| #include "llvm/ADT/StringExtras.h" |
| #include "llvm/BinaryFormat/Wasm.h" |
| #include "llvm/CodeGen/Analysis.h" |
| #include "llvm/CodeGen/AsmPrinter.h" |
| #include "llvm/CodeGen/MachineConstantPool.h" |
| #include "llvm/CodeGen/MachineInstr.h" |
| #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
| #include "llvm/IR/DataLayout.h" |
| #include "llvm/IR/DebugInfoMetadata.h" |
| #include "llvm/IR/GlobalVariable.h" |
| #include "llvm/IR/Metadata.h" |
| #include "llvm/MC/MCContext.h" |
| #include "llvm/MC/MCSectionWasm.h" |
| #include "llvm/MC/MCStreamer.h" |
| #include "llvm/MC/MCSymbol.h" |
| #include "llvm/MC/MCSymbolWasm.h" |
| #include "llvm/Support/Debug.h" |
| #include "llvm/Support/TargetRegistry.h" |
| #include "llvm/Support/raw_ostream.h" |
| |
| using namespace llvm; |
| |
| #define DEBUG_TYPE "asm-printer" |
| |
| extern cl::opt<bool> WasmKeepRegisters; |
| |
| //===----------------------------------------------------------------------===// |
| // Helpers. |
| //===----------------------------------------------------------------------===// |
| |
| MVT WebAssemblyAsmPrinter::getRegType(unsigned RegNo) const { |
| const TargetRegisterInfo *TRI = Subtarget->getRegisterInfo(); |
| const TargetRegisterClass *TRC = MRI->getRegClass(RegNo); |
| for (MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64, MVT::v16i8, MVT::v8i16, |
| MVT::v4i32, MVT::v2i64, MVT::v4f32, MVT::v2f64}) |
| if (TRI->isTypeLegalForClass(*TRC, T)) |
| return T; |
| LLVM_DEBUG(errs() << "Unknown type for register number: " << RegNo); |
| llvm_unreachable("Unknown register type"); |
| return MVT::Other; |
| } |
| |
| std::string WebAssemblyAsmPrinter::regToString(const MachineOperand &MO) { |
| Register RegNo = MO.getReg(); |
| assert(Register::isVirtualRegister(RegNo) && |
| "Unlowered physical register encountered during assembly printing"); |
| assert(!MFI->isVRegStackified(RegNo)); |
| unsigned WAReg = MFI->getWAReg(RegNo); |
| assert(WAReg != WebAssemblyFunctionInfo::UnusedReg); |
| return '$' + utostr(WAReg); |
| } |
| |
| WebAssemblyTargetStreamer *WebAssemblyAsmPrinter::getTargetStreamer() { |
| MCTargetStreamer *TS = OutStreamer->getTargetStreamer(); |
| return static_cast<WebAssemblyTargetStreamer *>(TS); |
| } |
| |
| //===----------------------------------------------------------------------===// |
| // WebAssemblyAsmPrinter Implementation. |
| //===----------------------------------------------------------------------===// |
| |
| void WebAssemblyAsmPrinter::EmitEndOfAsmFile(Module &M) { |
| for (auto &It : OutContext.getSymbols()) { |
| // Emit a .globaltype and .eventtype declaration. |
| auto Sym = cast<MCSymbolWasm>(It.getValue()); |
| if (Sym->getType() == wasm::WASM_SYMBOL_TYPE_GLOBAL) |
| getTargetStreamer()->emitGlobalType(Sym); |
| else if (Sym->getType() == wasm::WASM_SYMBOL_TYPE_EVENT) |
| getTargetStreamer()->emitEventType(Sym); |
| } |
| |
| for (const auto &F : M) { |
| if (F.isIntrinsic()) |
| continue; |
| |
| // Emit function type info for all undefined functions |
| if (F.isDeclarationForLinker()) { |
| SmallVector<MVT, 4> Results; |
| SmallVector<MVT, 4> Params; |
| computeSignatureVTs(F.getFunctionType(), F, TM, Params, Results); |
| auto *Sym = cast<MCSymbolWasm>(getSymbol(&F)); |
| Sym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION); |
| if (!Sym->getSignature()) { |
| auto Signature = signatureFromMVTs(Results, Params); |
| Sym->setSignature(Signature.get()); |
| addSignature(std::move(Signature)); |
| } |
| // FIXME: this was originally intended for post-linking and was only used |
| // for imports that were only called indirectly (i.e. s2wasm could not |
| // infer the type from a call). With object files it applies to all |
| // imports. so fix the names and the tests, or rethink how import |
| // delcarations work in asm files. |
| getTargetStreamer()->emitFunctionType(Sym); |
| |
| if (TM.getTargetTriple().isOSBinFormatWasm() && |
| F.hasFnAttribute("wasm-import-module")) { |
| StringRef Name = |
| F.getFnAttribute("wasm-import-module").getValueAsString(); |
| Sym->setImportModule(Name); |
| getTargetStreamer()->emitImportModule(Sym, Name); |
| } |
| if (TM.getTargetTriple().isOSBinFormatWasm() && |
| F.hasFnAttribute("wasm-import-name")) { |
| StringRef Name = |
| F.getFnAttribute("wasm-import-name").getValueAsString(); |
| Sym->setImportName(Name); |
| getTargetStreamer()->emitImportName(Sym, Name); |
| } |
| } |
| |
| if (F.hasFnAttribute("wasm-export-name")) { |
| auto *Sym = cast<MCSymbolWasm>(getSymbol(&F)); |
| StringRef Name = F.getFnAttribute("wasm-export-name").getValueAsString(); |
| Sym->setExportName(Name); |
| getTargetStreamer()->emitExportName(Sym, Name); |
| } |
| } |
| |
| for (const auto &G : M.globals()) { |
| if (!G.hasInitializer() && G.hasExternalLinkage()) { |
| if (G.getValueType()->isSized()) { |
| uint16_t Size = M.getDataLayout().getTypeAllocSize(G.getValueType()); |
| OutStreamer->emitELFSize(getSymbol(&G), |
| MCConstantExpr::create(Size, OutContext)); |
| } |
| } |
| } |
| |
| if (const NamedMDNode *Named = M.getNamedMetadata("wasm.custom_sections")) { |
| for (const Metadata *MD : Named->operands()) { |
| const auto *Tuple = dyn_cast<MDTuple>(MD); |
| if (!Tuple || Tuple->getNumOperands() != 2) |
| continue; |
| const MDString *Name = dyn_cast<MDString>(Tuple->getOperand(0)); |
| const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1)); |
| if (!Name || !Contents) |
| continue; |
| |
| OutStreamer->PushSection(); |
| std::string SectionName = (".custom_section." + Name->getString()).str(); |
| MCSectionWasm *MySection = |
| OutContext.getWasmSection(SectionName, SectionKind::getMetadata()); |
| OutStreamer->SwitchSection(MySection); |
| OutStreamer->EmitBytes(Contents->getString()); |
| OutStreamer->PopSection(); |
| } |
| } |
| |
| EmitProducerInfo(M); |
| EmitTargetFeatures(M); |
| } |
| |
| void WebAssemblyAsmPrinter::EmitProducerInfo(Module &M) { |
| llvm::SmallVector<std::pair<std::string, std::string>, 4> Languages; |
| if (const NamedMDNode *Debug = M.getNamedMetadata("llvm.dbg.cu")) { |
| llvm::SmallSet<StringRef, 4> SeenLanguages; |
| for (size_t I = 0, E = Debug->getNumOperands(); I < E; ++I) { |
| const auto *CU = cast<DICompileUnit>(Debug->getOperand(I)); |
| StringRef Language = dwarf::LanguageString(CU->getSourceLanguage()); |
| Language.consume_front("DW_LANG_"); |
| if (SeenLanguages.insert(Language).second) |
| Languages.emplace_back(Language.str(), ""); |
| } |
| } |
| |
| llvm::SmallVector<std::pair<std::string, std::string>, 4> Tools; |
| if (const NamedMDNode *Ident = M.getNamedMetadata("llvm.ident")) { |
| llvm::SmallSet<StringRef, 4> SeenTools; |
| for (size_t I = 0, E = Ident->getNumOperands(); I < E; ++I) { |
| const auto *S = cast<MDString>(Ident->getOperand(I)->getOperand(0)); |
| std::pair<StringRef, StringRef> Field = S->getString().split("version"); |
| StringRef Name = Field.first.trim(); |
| StringRef Version = Field.second.trim(); |
| if (SeenTools.insert(Name).second) |
| Tools.emplace_back(Name.str(), Version.str()); |
| } |
| } |
| |
| int FieldCount = int(!Languages.empty()) + int(!Tools.empty()); |
| if (FieldCount != 0) { |
| MCSectionWasm *Producers = OutContext.getWasmSection( |
| ".custom_section.producers", SectionKind::getMetadata()); |
| OutStreamer->PushSection(); |
| OutStreamer->SwitchSection(Producers); |
| OutStreamer->EmitULEB128IntValue(FieldCount); |
| for (auto &Producers : {std::make_pair("language", &Languages), |
| std::make_pair("processed-by", &Tools)}) { |
| if (Producers.second->empty()) |
| continue; |
| OutStreamer->EmitULEB128IntValue(strlen(Producers.first)); |
| OutStreamer->EmitBytes(Producers.first); |
| OutStreamer->EmitULEB128IntValue(Producers.second->size()); |
| for (auto &Producer : *Producers.second) { |
| OutStreamer->EmitULEB128IntValue(Producer.first.size()); |
| OutStreamer->EmitBytes(Producer.first); |
| OutStreamer->EmitULEB128IntValue(Producer.second.size()); |
| OutStreamer->EmitBytes(Producer.second); |
| } |
| } |
| OutStreamer->PopSection(); |
| } |
| } |
| |
| void WebAssemblyAsmPrinter::EmitTargetFeatures(Module &M) { |
| struct FeatureEntry { |
| uint8_t Prefix; |
| StringRef Name; |
| }; |
| |
| // Read target features and linkage policies from module metadata |
| SmallVector<FeatureEntry, 4> EmittedFeatures; |
| for (const SubtargetFeatureKV &KV : WebAssemblyFeatureKV) { |
| std::string MDKey = (StringRef("wasm-feature-") + KV.Key).str(); |
| Metadata *Policy = M.getModuleFlag(MDKey); |
| if (Policy == nullptr) |
| continue; |
| |
| FeatureEntry Entry; |
| Entry.Prefix = 0; |
| Entry.Name = KV.Key; |
| |
| if (auto *MD = cast<ConstantAsMetadata>(Policy)) |
| if (auto *I = cast<ConstantInt>(MD->getValue())) |
| Entry.Prefix = I->getZExtValue(); |
| |
| // Silently ignore invalid metadata |
| if (Entry.Prefix != wasm::WASM_FEATURE_PREFIX_USED && |
| Entry.Prefix != wasm::WASM_FEATURE_PREFIX_REQUIRED && |
| Entry.Prefix != wasm::WASM_FEATURE_PREFIX_DISALLOWED) |
| continue; |
| |
| EmittedFeatures.push_back(Entry); |
| } |
| |
| if (EmittedFeatures.size() == 0) |
| return; |
| |
| // Emit features and linkage policies into the "target_features" section |
| MCSectionWasm *FeaturesSection = OutContext.getWasmSection( |
| ".custom_section.target_features", SectionKind::getMetadata()); |
| OutStreamer->PushSection(); |
| OutStreamer->SwitchSection(FeaturesSection); |
| |
| OutStreamer->EmitULEB128IntValue(EmittedFeatures.size()); |
| for (auto &F : EmittedFeatures) { |
| OutStreamer->EmitIntValue(F.Prefix, 1); |
| OutStreamer->EmitULEB128IntValue(F.Name.size()); |
| OutStreamer->EmitBytes(F.Name); |
| } |
| |
| OutStreamer->PopSection(); |
| } |
| |
| void WebAssemblyAsmPrinter::EmitConstantPool() { |
| assert(MF->getConstantPool()->getConstants().empty() && |
| "WebAssembly disables constant pools"); |
| } |
| |
| void WebAssemblyAsmPrinter::EmitJumpTableInfo() { |
| // Nothing to do; jump tables are incorporated into the instruction stream. |
| } |
| |
| void WebAssemblyAsmPrinter::EmitFunctionBodyStart() { |
| const Function &F = MF->getFunction(); |
| SmallVector<MVT, 1> ResultVTs; |
| SmallVector<MVT, 4> ParamVTs; |
| computeSignatureVTs(F.getFunctionType(), F, TM, ParamVTs, ResultVTs); |
| auto Signature = signatureFromMVTs(ResultVTs, ParamVTs); |
| auto *WasmSym = cast<MCSymbolWasm>(CurrentFnSym); |
| WasmSym->setSignature(Signature.get()); |
| addSignature(std::move(Signature)); |
| WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION); |
| |
| // FIXME: clean up how params and results are emitted (use signatures) |
| getTargetStreamer()->emitFunctionType(WasmSym); |
| |
| // Emit the function index. |
| if (MDNode *Idx = F.getMetadata("wasm.index")) { |
| assert(Idx->getNumOperands() == 1); |
| |
| getTargetStreamer()->emitIndIdx(AsmPrinter::lowerConstant( |
| cast<ConstantAsMetadata>(Idx->getOperand(0))->getValue())); |
| } |
| |
| SmallVector<wasm::ValType, 16> Locals; |
| valTypesFromMVTs(MFI->getLocals(), Locals); |
| getTargetStreamer()->emitLocal(Locals); |
| |
| AsmPrinter::EmitFunctionBodyStart(); |
| } |
| |
| void WebAssemblyAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
| LLVM_DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n'); |
| |
| switch (MI->getOpcode()) { |
| case WebAssembly::ARGUMENT_i32: |
| case WebAssembly::ARGUMENT_i32_S: |
| case WebAssembly::ARGUMENT_i64: |
| case WebAssembly::ARGUMENT_i64_S: |
| case WebAssembly::ARGUMENT_f32: |
| case WebAssembly::ARGUMENT_f32_S: |
| case WebAssembly::ARGUMENT_f64: |
| case WebAssembly::ARGUMENT_f64_S: |
| case WebAssembly::ARGUMENT_v16i8: |
| case WebAssembly::ARGUMENT_v16i8_S: |
| case WebAssembly::ARGUMENT_v8i16: |
| case WebAssembly::ARGUMENT_v8i16_S: |
| case WebAssembly::ARGUMENT_v4i32: |
| case WebAssembly::ARGUMENT_v4i32_S: |
| case WebAssembly::ARGUMENT_v2i64: |
| case WebAssembly::ARGUMENT_v2i64_S: |
| case WebAssembly::ARGUMENT_v4f32: |
| case WebAssembly::ARGUMENT_v4f32_S: |
| case WebAssembly::ARGUMENT_v2f64: |
| case WebAssembly::ARGUMENT_v2f64_S: |
| // These represent values which are live into the function entry, so there's |
| // no instruction to emit. |
| break; |
| case WebAssembly::FALLTHROUGH_RETURN: { |
| // These instructions represent the implicit return at the end of a |
| // function body. |
| if (isVerbose()) { |
| OutStreamer->AddComment("fallthrough-return"); |
| OutStreamer->AddBlankLine(); |
| } |
| break; |
| } |
| case WebAssembly::COMPILER_FENCE: |
| // This is a compiler barrier that prevents instruction reordering during |
| // backend compilation, and should not be emitted. |
| break; |
| case WebAssembly::EXTRACT_EXCEPTION_I32: |
| case WebAssembly::EXTRACT_EXCEPTION_I32_S: |
| // These are pseudo instructions that simulates popping values from stack. |
| // We print these only when we have -wasm-keep-registers on for assembly |
| // readability. |
| if (!WasmKeepRegisters) |
| break; |
| LLVM_FALLTHROUGH; |
| default: { |
| WebAssemblyMCInstLower MCInstLowering(OutContext, *this); |
| MCInst TmpInst; |
| MCInstLowering.lower(MI, TmpInst); |
| EmitToStreamer(*OutStreamer, TmpInst); |
| break; |
| } |
| } |
| } |
| |
| bool WebAssemblyAsmPrinter::PrintAsmOperand(const MachineInstr *MI, |
| unsigned OpNo, |
| const char *ExtraCode, |
| raw_ostream &OS) { |
| // First try the generic code, which knows about modifiers like 'c' and 'n'. |
| if (!AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, OS)) |
| return false; |
| |
| if (!ExtraCode) { |
| const MachineOperand &MO = MI->getOperand(OpNo); |
| switch (MO.getType()) { |
| case MachineOperand::MO_Immediate: |
| OS << MO.getImm(); |
| return false; |
| case MachineOperand::MO_Register: |
| // FIXME: only opcode that still contains registers, as required by |
| // MachineInstr::getDebugVariable(). |
| assert(MI->getOpcode() == WebAssembly::INLINEASM); |
| OS << regToString(MO); |
| return false; |
| case MachineOperand::MO_GlobalAddress: |
| PrintSymbolOperand(MO, OS); |
| return false; |
| case MachineOperand::MO_ExternalSymbol: |
| GetExternalSymbolSymbol(MO.getSymbolName())->print(OS, MAI); |
| printOffset(MO.getOffset(), OS); |
| return false; |
| case MachineOperand::MO_MachineBasicBlock: |
| MO.getMBB()->getSymbol()->print(OS, MAI); |
| return false; |
| default: |
| break; |
| } |
| } |
| |
| return true; |
| } |
| |
| bool WebAssemblyAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| unsigned OpNo, |
| const char *ExtraCode, |
| raw_ostream &OS) { |
| // The current approach to inline asm is that "r" constraints are expressed |
| // as local indices, rather than values on the operand stack. This simplifies |
| // using "r" as it eliminates the need to push and pop the values in a |
| // particular order, however it also makes it impossible to have an "m" |
| // constraint. So we don't support it. |
| |
| return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, ExtraCode, OS); |
| } |
| |
| // Force static initialization. |
| extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeWebAssemblyAsmPrinter() { |
| RegisterAsmPrinter<WebAssemblyAsmPrinter> X(getTheWebAssemblyTarget32()); |
| RegisterAsmPrinter<WebAssemblyAsmPrinter> Y(getTheWebAssemblyTarget64()); |
| } |