53#define DEBUG_TYPE "asm-printer"
64 for (
MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64, MVT::v16i8, MVT::v8i16,
65 MVT::v4i32, MVT::v2i64, MVT::v4f32, MVT::v2f64})
66 if (
TRI->isTypeLegalForClass(*TRC,
T))
68 LLVM_DEBUG(
errs() <<
"Unknown type for register number: " << RegNo);
76 "Unlowered physical register encountered during assembly printing");
78 unsigned WAReg = MFI->
getWAReg(RegNo);
80 return '$' + utostr(WAReg);
105 if (
Name.front() ==
'"' &&
Name.back() ==
'"')
107 return Name.starts_with(
"__invoke_");
137 std::string Ret =
"invoke_";
155 bool &InvokeDetected) {
159 InvokeDetected =
true;
162 "Emscripten EH/SjLj does not support multivalue returns: " +
163 std::string(
F->getName()) +
": " +
167 WasmSym = cast<MCSymbolWasm>(
185 if (!
Sym->getType()) {
217 if (WasmSym->getType())
226 if (
Name ==
"__stack_pointer" ||
Name ==
"__tls_base" ||
227 Name ==
"__memory_base" ||
Name ==
"__table_base" ||
228 Name ==
"__tls_size" ||
Name ==
"__tls_align") {
230 Name ==
"__stack_pointer" ||
Name ==
"__tls_base";
239 if (
Name.starts_with(
"GCC_except_table")) {
246 if (
Name ==
"__cpp_exception" ||
Name ==
"__c_longjmp") {
254 WasmSym->setWeak(
true);
255 WasmSym->setExternal(
true);
269 auto Signature = std::make_unique<wasm::WasmSignature>(std::move(Returns),
271 WasmSym->setSignature(Signature.get());
278 std::optional<wasm::WasmSymbolType> WasmTy =
Sym->getType();
298 if (signaturesEmitted)
300 signaturesEmitted =
true;
309 if (WasmSym->isFunction()) {
320 auto Sym = cast<MCSymbolWasm>(It.getValue());
321 if (!
Sym->isDefined())
326 for (
const auto &
F : M) {
342 bool InvokeDetected =
false;
345 Signature.get(), InvokeDetected);
351 if (InvokeDetected && !InvokeSymbols.
insert(
Sym).second)
355 if (!
Sym->getSignature()) {
356 Sym->setSignature(Signature.get());
365 if (
F.hasFnAttribute(
"wasm-import-module")) {
367 F.getFnAttribute(
"wasm-import-module").getValueAsString();
368 Sym->setImportModule(storeName(
Name));
371 if (
F.hasFnAttribute(
"wasm-import-name")) {
377 :
F.getFnAttribute(
"wasm-import-name").getValueAsString();
378 Sym->setImportName(storeName(
Name));
382 if (
F.hasFnAttribute(
"wasm-export-name")) {
384 StringRef Name =
F.getFnAttribute(
"wasm-export-name").getValueAsString();
385 Sym->setExportName(storeName(
Name));
403 for (
const auto &
F : M) {
404 if (!
F.isIntrinsic() &&
F.hasAddressTaken()) {
412 for (
const auto &
G : M.globals()) {
413 if (!
G.hasInitializer() &&
G.hasExternalLinkage() &&
415 G.getValueType()->isSized()) {
416 uint16_t Size = M.getDataLayout().getTypeAllocSize(
G.getValueType());
422 if (
const NamedMDNode *Named = M.getNamedMetadata(
"wasm.custom_sections")) {
423 for (
const Metadata *MD : Named->operands()) {
424 const auto *Tuple = dyn_cast<MDTuple>(MD);
425 if (!Tuple || Tuple->getNumOperands() != 2)
427 const MDString *
Name = dyn_cast<MDString>(Tuple->getOperand(0));
428 const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1));
429 if (!
Name || !Contents)
433 std::string
SectionName = (
".custom_section." +
Name->getString()).str();
451 for (
size_t I = 0, E =
Debug->getNumOperands();
I < E; ++
I) {
452 const auto *
CU = cast<DICompileUnit>(
Debug->getOperand(
I));
454 Language.consume_front(
"DW_LANG_");
455 if (SeenLanguages.
insert(Language).second)
461 if (
const NamedMDNode *Ident = M.getNamedMetadata(
"llvm.ident")) {
463 for (
size_t I = 0, E = Ident->getNumOperands();
I < E; ++
I) {
464 const auto *S = cast<MDString>(Ident->getOperand(
I)->getOperand(0));
465 std::pair<StringRef, StringRef>
Field = S->getString().split(
"version");
473 int FieldCount = int(!Languages.
empty()) + int(!Tools.
empty());
474 if (FieldCount != 0) {
480 for (
auto &Producers : {std::make_pair(
"language", &Languages),
481 std::make_pair(
"processed-by", &Tools)}) {
482 if (Producers.second->empty())
484 OutStreamer->emitULEB128IntValue(strlen(Producers.first));
486 OutStreamer->emitULEB128IntValue(Producers.second->size());
487 for (
auto &Producer : *Producers.second) {
488 OutStreamer->emitULEB128IntValue(Producer.first.size());
490 OutStreamer->emitULEB128IntValue(Producer.second.size());
499 struct FeatureEntry {
506 auto EmitFeature = [&](std::string Feature) {
507 std::string MDKey = (
StringRef(
"wasm-feature-") + Feature).str();
508 Metadata *Policy = M.getModuleFlag(MDKey);
509 if (Policy ==
nullptr)
514 Entry.Name = Feature;
516 if (
auto *MD = cast<ConstantAsMetadata>(Policy))
517 if (
auto *
I = cast<ConstantInt>(MD->getValue()))
518 Entry.Prefix =
I->getZExtValue();
533 EmitFeature(
"shared-mem");
538 if (M.getDataLayout().getPointerSize() == 8) {
544 if (EmittedFeatures.
size() == 0)
554 for (
auto &
F : EmittedFeatures) {
564 auto V = M.getNamedGlobal(
"llvm.global.annotations");
570 const ConstantArray *CA = cast<ConstantArray>(V->getOperand(0));
572 auto *CS = cast<ConstantStruct>(
Op);
576 if (!isa<Function>(AnnotatedVar))
578 auto *
F = cast<Function>(AnnotatedVar);
581 auto *GV = cast<GlobalVariable>(CS->getOperand(1)->stripPointerCasts());
585 CustomSections[AnnotationString].push_back(
Sym);
589 for (
const auto &[
Name, Symbols] : CustomSections) {
595 for (
auto &
Sym : Symbols) {
608 "WebAssembly disables constant pools");
623 WasmSym->setSignature(Signature.get());
630 if (
MDNode *
Idx =
F.getMetadata(
"wasm.index")) {
634 cast<ConstantAsMetadata>(
Idx->getOperand(0))->getValue()));
646 WebAssembly_MC::verifyInstructionPredicates(
MI->getOpcode(),
647 Subtarget->getFeatureBits());
649 switch (
MI->getOpcode()) {
650 case WebAssembly::ARGUMENT_i32:
651 case WebAssembly::ARGUMENT_i32_S:
652 case WebAssembly::ARGUMENT_i64:
653 case WebAssembly::ARGUMENT_i64_S:
654 case WebAssembly::ARGUMENT_f32:
655 case WebAssembly::ARGUMENT_f32_S:
656 case WebAssembly::ARGUMENT_f64:
657 case WebAssembly::ARGUMENT_f64_S:
658 case WebAssembly::ARGUMENT_v16i8:
659 case WebAssembly::ARGUMENT_v16i8_S:
660 case WebAssembly::ARGUMENT_v8i16:
661 case WebAssembly::ARGUMENT_v8i16_S:
662 case WebAssembly::ARGUMENT_v4i32:
663 case WebAssembly::ARGUMENT_v4i32_S:
664 case WebAssembly::ARGUMENT_v2i64:
665 case WebAssembly::ARGUMENT_v2i64_S:
666 case WebAssembly::ARGUMENT_v4f32:
667 case WebAssembly::ARGUMENT_v4f32_S:
668 case WebAssembly::ARGUMENT_v2f64:
669 case WebAssembly::ARGUMENT_v2f64_S:
673 case WebAssembly::FALLTHROUGH_RETURN: {
682 case WebAssembly::COMPILER_FENCE:
689 MCInstLowering.
lower(
MI, TmpInst);
698 const char *ExtraCode,
713 assert(
MI->getOpcode() == WebAssembly::INLINEASM);
736 const char *ExtraCode,
Function Alias Analysis Results
#define LLVM_EXTERNAL_VISIBILITY
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
static GCMetadataPrinterRegistry::Add< ErlangGCPrinter > X("erlang", "erlang-compatible garbage collector")
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
unsigned const TargetRegisterInfo * TRI
This file implements a map that provides insertion order iteration.
static GCMetadataPrinterRegistry::Add< OcamlGCMetadataPrinter > Y("ocaml", "ocaml 3.10-compatible collector")
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file defines the SmallSet class.
static std::string getEmscriptenInvokeSymbolName(wasm::WasmSignature *Sig)
static bool isEmscriptenInvokeName(StringRef Name)
static char getInvokeSig(wasm::ValType VT)
LLVM_EXTERNAL_VISIBILITY void LLVMInitializeWebAssemblyAsmPrinter()
cl::opt< bool > WasmKeepRegisters
This file declares the class to lower WebAssembly MachineInstrs to their corresponding MCInst records...
This file provides WebAssembly-specific target descriptions.
This file declares WebAssembly-specific per-machine-function information.
This file contains the WebAssembly implementation of the WebAssemblyRegisterInfo class.
This file provides signature information for runtime libcalls.
This file registers the WebAssembly target.
This file declares the WebAssembly-specific subclass of TargetMachine.
This file declares WebAssembly-specific target streamer classes.
This file contains the declaration of the WebAssembly-specific type parsing utility functions.
This file contains the declaration of the WebAssembly-specific utility functions.
This file contains the entry points for global functions defined in the LLVM WebAssembly back-end.
MCSymbol * getSymbol(const GlobalValue *GV) const
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
virtual void emitGlobalVariable(const GlobalVariable *GV)
Emit the specified global variable to the .s file.
TargetMachine & TM
Target machine description.
virtual void PrintSymbolOperand(const MachineOperand &MO, raw_ostream &OS)
Print the MachineOperand as a symbol.
const MCAsmInfo * MAI
Target Asm Printer information.
MachineFunction * MF
The current machine function.
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
virtual void emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const
This emits linkage information about GVSym based on GV, if this is supported by the target.
void printOffset(int64_t Offset, raw_ostream &OS) const
This is just convenient handler for printing offsets.
MCSymbol * getSymbolPreferLocal(const GlobalValue &GV) const
Similar to getSymbol() but preferred for references.
MCSymbol * CurrentFnSym
The symbol for the current function.
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
MCContext & OutContext
This is the context for the output file that we are streaming.
MCSymbol * GetExternalSymbolSymbol(Twine Sym) const
Return the MCSymbol for the specified ExternalSymbol.
bool isPositionIndependent() const
void emitVisibility(MCSymbol *Sym, unsigned Visibility, bool IsDefinition=true) const
This emits visibility information about symbol, if this is supported by the target.
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
virtual const MCExpr * lowerConstant(const Constant *CV)
Lower the specified LLVM Constant to an MCExpr.
virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS)
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant as...
bool isVerbose() const
Return true if assembly output should contain comments.
@ Debug
Emit .debug_frame.
virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS)
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant.
ConstantArray - Constant Array Declarations.
This class represents an Operation in the Expression.
Implements a dense probed hash-table based set.
bool isThreadLocal() const
If the value is "Thread Local", its value isn't shared by the threads.
VisibilityTypes getVisibility() const
bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
unsigned getAddressSpace() const
Module * getParent()
Get the module that this global value is contained inside of...
Type * getValueType() const
bool hasInitializer() const
Definitions have initializers, declarations don't.
static const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
MCSectionWasm * getWasmSection(const Twine &Section, SectionKind K, unsigned Flags=0)
const SymbolTable & getSymbols() const
getSymbols - Get a reference for the symbol table for clients that want to, for example,...
Instances of this class represent a single low-level machine instruction.
This represents a section on wasm.
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
void print(raw_ostream &OS, const MCAsmInfo *MAI) const
print - Print the value to the stream OS.
Target specific streamer interface.
StringRef getString() const
MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
const std::vector< MachineConstantPoolEntry > & getConstants() const
Function & getFunction()
Return the LLVM function that this machine code represents.
MachineConstantPool * getConstantPool()
getConstantPool - Return the constant pool object for the current function.
Representation of each machine instruction.
MachineModuleInfoWasm - This is a MachineModuleInfoImpl implementation for Wasm targets.
SetVector< StringRef > MachineSymbolsUsed
const Module * getModule() const
Ty & getObjFileInfo()
Keep track of various per-module pieces of information for backends that would like to do so.
MachineOperand class - Representation of each machine instruction operand.
MachineBasicBlock * getMBB() const
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
const char * getSymbolName() const
Register getReg() const
getReg - Returns the register number.
@ MO_Immediate
Immediate operand.
@ MO_GlobalAddress
Address of a global value.
@ MO_MachineBasicBlock
MachineBasicBlock reference.
@ MO_Register
Register operand.
@ MO_ExternalSymbol
Name of external global symbol.
int64_t getOffset() const
Return the offset from the symbol in this operand.
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
This class implements a map that also provides access to all stored values in a deterministic order.
A Module instance is used to store all the information related to an LLVM module.
LLVMContext & getContext() const
Get the global data context.
const DataLayout & getDataLayout() const
Get the data layout for the module's target platform.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
static SectionKind getMetadata()
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM Value Representation.
const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
void emitJumpTableInfo() override
Print assembly representations of the jump tables used by the current function to the current output ...
void EmitProducerInfo(Module &M)
void emitGlobalVariable(const GlobalVariable *GV) override
Emit the specified global variable to the .s file.
void EmitTargetFeatures(Module &M)
bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS) override
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant as...
const WebAssemblySubtarget & getSubtarget() const
WebAssemblyTargetStreamer * getTargetStreamer()
void emitInstruction(const MachineInstr *MI) override
Targets should implement this to emit instructions.
std::string regToString(const MachineOperand &MO)
void emitSymbolType(const MCSymbolWasm *Sym)
MCSymbol * getOrCreateWasmSymbol(StringRef Name)
void emitConstantPool() override
Print to the current output stream assembly representations of the constants in the constant pool MCP...
MVT getRegType(unsigned RegNo) const
void emitDecls(const Module &M)
void emitFunctionBodyStart() override
Targets can override this to emit stuff before the first basic block in the function.
bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS) override
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant.
MCSymbolWasm * getMCSymbolForFunction(const Function *F, bool EnableEmEH, wasm::WasmSignature *Sig, bool &InvokeDetected)
void addSignature(std::unique_ptr< wasm::WasmSignature > &&Sig)
void EmitFunctionAttributes(Module &M)
void emitEndOfAsmFile(Module &M) override
This virtual method can be overridden by targets that want to emit something at the end of their file...
bool isVRegStackified(unsigned VReg) const
unsigned getWAReg(unsigned VReg) const
const std::vector< MVT > & getLocals() const
This class is used to lower an MachineInstr into an MCInst.
void lower(const MachineInstr *MI, MCInst &OutMI) const
const WebAssemblyTargetLowering * getTargetLowering() const override
const WebAssemblyRegisterInfo * getRegisterInfo() const override
WebAssembly-specific streamer interface, to implement support WebAssembly-specific assembly directive...
virtual void emitFunctionType(const MCSymbolWasm *Sym)=0
.functype
virtual void emitLocal(ArrayRef< wasm::ValType > Types)=0
.local
virtual void emitTagType(const MCSymbolWasm *Sym)=0
.tagtype
virtual void emitExportName(const MCSymbolWasm *Sym, StringRef ExportName)=0
.export_name
virtual void emitGlobalType(const MCSymbolWasm *Sym)=0
.globaltype
virtual void emitImportModule(const MCSymbolWasm *Sym, StringRef ImportModule)=0
.import_module
virtual void emitTableType(const MCSymbolWasm *Sym)=0
.tabletype
virtual void emitImportName(const MCSymbolWasm *Sym, StringRef ImportName)=0
.import_name
virtual void emitIndIdx(const MCExpr *Value)=0
.indidx
std::pair< iterator, bool > insert(const ValueT &V)
This class implements an extremely fast bulk output stream that can only output to a stream.
StringRef LanguageString(unsigned Language)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
MCSymbolWasm * getOrCreateFunctionTableSymbol(MCContext &Ctx, const WebAssemblySubtarget *Subtarget)
Returns the __indirect_function_table, for use in call_indirect and in function bitcasts.
void wasmSymbolSetType(MCSymbolWasm *Sym, const Type *GlobalVT, ArrayRef< MVT > VTs)
Sets a Wasm Symbol Type.
static const unsigned UnusedReg
cl::opt< bool > WasmEnableEmEH
cl::opt< bool > WasmEnableEmSjLj
std::string signatureToString(const wasm::WasmSignature *Sig)
void getLibcallSignature(const WebAssemblySubtarget &Subtarget, RTLIB::Libcall LC, SmallVectorImpl< wasm::ValType > &Rets, SmallVectorImpl< wasm::ValType > &Params)
bool isWasmVarAddressSpace(unsigned AS)
@ WASM_FEATURE_PREFIX_USED
@ WASM_FEATURE_PREFIX_REQUIRED
@ WASM_FEATURE_PREFIX_DISALLOWED
@ WASM_SYMBOL_TYPE_GLOBAL
@ WASM_SYMBOL_TYPE_FUNCTION
This is an optimization pass for GlobalISel generic memory operations.
void computeSignatureVTs(const FunctionType *Ty, const Function *TargetFunc, const Function &ContextFunc, const TargetMachine &TM, SmallVectorImpl< MVT > &Params, SmallVectorImpl< MVT > &Results)
const SubtargetFeatureKV WebAssemblyFeatureKV[WebAssembly::NumSubtargetFeatures]
bool getConstantStringInfo(const Value *V, StringRef &Str, bool TrimAtNul=true)
This function computes the length of a null-terminated C string pointed to by V.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Target & getTheWebAssemblyTarget32()
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
std::unique_ptr< wasm::WasmSignature > signatureFromMVTs(const SmallVectorImpl< MVT > &Results, const SmallVectorImpl< MVT > &Params)
raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
Target & getTheWebAssemblyTarget64()
void valTypesFromMVTs(ArrayRef< MVT > In, SmallVectorImpl< wasm::ValType > &Out)
void computeLegalValueVTs(const WebAssemblyTargetLowering &TLI, LLVMContext &Ctx, const DataLayout &DL, Type *Ty, SmallVectorImpl< MVT > &ValueVTs)
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
RegisterAsmPrinter - Helper template for registering a target specific assembly printer,...
Used to provide key value pairs for feature and CPU bit flags.
SmallVector< ValType, 1 > Returns
SmallVector< ValType, 4 > Params