62#define DEBUG_TYPE "asm-printer"
73 for (
MVT T : {MVT::i32, MVT::i64, MVT::f32, MVT::f64, MVT::v16i8, MVT::v8i16,
74 MVT::v4i32, MVT::v2i64, MVT::v4f32, MVT::v2f64, MVT::v8f16})
75 if (
TRI->isTypeLegalForClass(*TRC,
T))
77 LLVM_DEBUG(
errs() <<
"Unknown type for register number: " << RegNo);
85 "Unlowered physical register encountered during assembly printing");
86 assert(!MFI->isVRegStackified(RegNo));
87 unsigned WAReg = MFI->getWAReg(RegNo);
89 return '$' +
utostr(WAReg);
114 if (Name.front() ==
'"' && Name.back() ==
'"')
115 Name = Name.substr(1, Name.size() - 2);
116 return Name.starts_with(
"__invoke_");
148 std::string Ret =
"invoke_";
168 const bool EnableEmEH =
172 InvokeDetected =
true;
175 "Emscripten EH/SjLj does not support multivalue returns: " +
176 std::string(
F->getName()) +
": " +
196 if (!Sym->getType()) {
227 if (WasmSym->getType())
236 if (Name ==
"__stack_pointer" || Name ==
"__tls_base" ||
237 Name ==
"__memory_base" || Name ==
"__table_base" ||
238 Name ==
"__tls_size" || Name ==
"__tls_align") {
239 bool Mutable = Name ==
"__stack_pointer" || Name ==
"__tls_base";
248 if (Name.starts_with(
"GCC_except_table")) {
255 if (Name ==
"__cpp_exception" || Name ==
"__c_longjmp") {
257 WasmSym->setExternal(
true);
267 }
else if (Name ==
"__wasm_get_stack_pointer" ||
268 Name ==
"__wasm_get_tls_base") {
271 }
else if (Name ==
"__wasm_set_stack_pointer" ||
272 Name ==
"__wasm_set_tls_base") {
279 auto Signature =
OutContext.createWasmSignature();
280 Signature->Returns = std::move(Returns);
281 Signature->Params = std::move(Params);
282 WasmSym->setSignature(Signature);
288 std::optional<wasm::WasmSymbolType> WasmTy = Sym->
getType();
308 if (signaturesEmitted)
310 signaturesEmitted =
true;
319 if (WasmSym->isFunction()) {
330 auto Sym =
static_cast<MCSymbolWasm *
>(It.getValue().Symbol);
331 if (Sym && !Sym->isDefined())
349 if (!Sym->isFunctionTable())
357 assert(!Sym->isDefined());
369 for (
const auto &
F : M) {
385 bool InvokeDetected =
false;
392 if (InvokeDetected && !InvokeSymbols.
insert(Sym).second)
396 if (!Sym->getSignature()) {
397 Sym->setSignature(Signature);
402 if (
F.hasFnAttribute(
"wasm-import-module")) {
404 F.getFnAttribute(
"wasm-import-module").getValueAsString();
405 Sym->setImportModule(
OutContext.allocateString(Name));
408 if (
F.hasFnAttribute(
"wasm-import-name")) {
414 :
F.getFnAttribute(
"wasm-import-name").getValueAsString();
415 Sym->setImportName(
OutContext.allocateString(Name));
419 if (
F.hasFnAttribute(
"wasm-export-name")) {
421 StringRef Name =
F.getFnAttribute(
"wasm-export-name").getValueAsString();
422 Sym->setExportName(
OutContext.allocateString(Name));
440 for (
const auto &
F : M) {
441 if (!
F.isIntrinsic() &&
F.hasAddressTaken()) {
449 for (
const auto &
G : M.globals()) {
450 if (!
G.hasInitializer() &&
G.hasExternalLinkage() &&
452 G.getValueType()->isSized()) {
459 if (
const NamedMDNode *Named = M.getNamedMetadata(
"wasm.custom_sections")) {
460 for (
const Metadata *MD : Named->operands()) {
462 if (!Tuple || Tuple->getNumOperands() != 2)
466 if (!Name || !Contents)
470 std::string
SectionName = (
".custom_section." + Name->getString()).str();
488 for (
size_t I = 0, E =
Debug->getNumOperands();
I < E; ++
I) {
493 Language.consume_front(
"DW_LANG_");
494 if (SeenLanguages.
insert(Language).second)
500 if (
const NamedMDNode *Ident = M.getNamedMetadata(
"llvm.ident")) {
502 for (
size_t I = 0, E = Ident->getNumOperands();
I < E; ++
I) {
504 std::pair<StringRef, StringRef>
Field = S->getString().split(
"version");
507 if (SeenTools.
insert(Name).second)
512 int FieldCount = int(!Languages.
empty()) + int(!Tools.
empty());
513 if (FieldCount != 0) {
519 for (
auto &Producers : {std::make_pair(
"language", &Languages),
520 std::make_pair(
"processed-by", &Tools)}) {
521 if (Producers.second->empty())
523 OutStreamer->emitULEB128IntValue(strlen(Producers.first));
525 OutStreamer->emitULEB128IntValue(Producers.second->size());
526 for (
auto &Producer : *Producers.second) {
527 OutStreamer->emitULEB128IntValue(Producer.first.size());
529 OutStreamer->emitULEB128IntValue(Producer.second.size());
538 struct FeatureEntry {
545 auto EmitFeature = [&](std::string Feature) {
546 std::string MDKey = (
StringRef(
"wasm-feature-") + Feature).str();
547 Metadata *Policy = M.getModuleFlag(MDKey);
548 if (Policy ==
nullptr)
553 Entry.Name = Feature;
557 Entry.Prefix =
I->getZExtValue();
570 std::string(
TM.getTargetCPU()),
571 std::string(
TM.getTargetFeatureString()));
574 EmitFeature(KV.key());
577 EmitFeature(
"shared-mem");
581 if (Subtarget->hasAddr64()) {
587 if (EmittedFeatures.
size() == 0)
597 for (
auto &
F : EmittedFeatures) {
607 auto V = M.getNamedGlobal(
"llvm.global.annotations");
628 CustomSections[AnnotationString].push_back(Sym);
632 for (
const auto &[Name, Symbols] : CustomSections) {
638 for (
auto &Sym : Symbols) {
649 assert(
MF->getConstantPool()->getConstants().empty() &&
650 "WebAssembly disables constant pools");
671 if (
MDNode *Idx =
F.getMetadata(
"wasm.index")) {
672 assert(Idx->getNumOperands() == 1);
687 WebAssembly_MC::verifyInstructionPredicates(
MI->getOpcode(),
688 Subtarget->getFeatureBits());
690 switch (
MI->getOpcode()) {
691 case WebAssembly::ARGUMENT_i32:
692 case WebAssembly::ARGUMENT_i32_S:
693 case WebAssembly::ARGUMENT_i64:
694 case WebAssembly::ARGUMENT_i64_S:
695 case WebAssembly::ARGUMENT_f32:
696 case WebAssembly::ARGUMENT_f32_S:
697 case WebAssembly::ARGUMENT_f64:
698 case WebAssembly::ARGUMENT_f64_S:
699 case WebAssembly::ARGUMENT_v16i8:
700 case WebAssembly::ARGUMENT_v16i8_S:
701 case WebAssembly::ARGUMENT_v8i16:
702 case WebAssembly::ARGUMENT_v8i16_S:
703 case WebAssembly::ARGUMENT_v4i32:
704 case WebAssembly::ARGUMENT_v4i32_S:
705 case WebAssembly::ARGUMENT_v2i64:
706 case WebAssembly::ARGUMENT_v2i64_S:
707 case WebAssembly::ARGUMENT_v4f32:
708 case WebAssembly::ARGUMENT_v4f32_S:
709 case WebAssembly::ARGUMENT_v2f64:
710 case WebAssembly::ARGUMENT_v2f64_S:
711 case WebAssembly::ARGUMENT_v8f16:
712 case WebAssembly::ARGUMENT_v8f16_S:
713 case WebAssembly::ARGUMENT_externref:
714 case WebAssembly::ARGUMENT_externref_S:
715 case WebAssembly::ARGUMENT_funcref:
716 case WebAssembly::ARGUMENT_funcref_S:
717 case WebAssembly::ARGUMENT_exnref:
718 case WebAssembly::ARGUMENT_exnref_S:
722 case WebAssembly::FALLTHROUGH_RETURN: {
731 case WebAssembly::COMPILER_FENCE:
735 case WebAssembly::CATCH:
736 case WebAssembly::CATCH_S:
737 case WebAssembly::CATCH_REF:
738 case WebAssembly::CATCH_REF_S:
739 case WebAssembly::CATCH_ALL:
740 case WebAssembly::CATCH_ALL_S:
741 case WebAssembly::CATCH_ALL_REF:
742 case WebAssembly::CATCH_ALL_REF_S:
749 MCInstLowering.
lower(
MI, TmpInst);
758 const char *ExtraCode,
773 assert(
MI->getOpcode() == WebAssembly::INLINEASM);
796 const char *ExtraCode,
810 "WebAssembly Assmebly Printer",
false,
false)
814LLVMInitializeWebAssemblyAsmPrinter() {
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Function Alias Analysis Results
static const Function * getParent(const Value *V)
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_EXTERNAL_VISIBILITY
Module.h This file contains the declarations for the Module class.
This header defines various interfaces for pass management in LLVM.
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
Register const TargetRegisterInfo * TRI
This file implements a map that provides insertion order iteration.
OptimizedStructLayoutField Field
ModuleAnalysisManager MAM
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
This file defines the SmallSet class.
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static std::string getEmscriptenInvokeSymbolName(wasm::WasmSignature *Sig)
static bool isEmscriptenInvokeName(StringRef Name)
static char getInvokeSig(wasm::ValType VT)
cl::opt< bool > WasmKeepRegisters
This file contains the declaration of the WebAssemblyMCAsmInfo class.
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.
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
This class is intended to be used as a driving class for all asm writers.
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.
MachineFunction * MF
The current machine function.
virtual const MCExpr * lowerConstant(const Constant *CV, const Constant *BaseCV=nullptr, uint64_t Offset=0)
Lower the specified LLVM Constant to an MCExpr.
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
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.
bool doFinalization(Module &M) override
Shut down the asmprinter.
void emitVisibility(MCSymbol *Sym, unsigned Visibility, bool IsDefinition=true) const
This emits visibility information about symbol, if this is supported by the target.
bool runOnMachineFunction(MachineFunction &MF) override
Emit the specified function out to the OutStreamer.
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
const MCAsmInfo & MAI
Target Asm Printer information.
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.
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
@ 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.
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
LLVM_ABI 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...
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this global belongs to.
Type * getValueType() const
bool hasInitializer() const
Definitions have initializers, declarations don't.
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
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, SMLoc Loc=SMLoc())
void setSignature(wasm::WasmSignature *Sig)
std::optional< wasm::WasmSymbolType > getType() const
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
LLVM_ABI void print(raw_ostream &OS, const MCAsmInfo *MAI) const
print - Print the value to the stream OS.
Target specific streamer interface.
LLVM_ABI StringRef getString() const
LLVM_ABI MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
Function & getFunction()
Return the LLVM function that this machine code represents.
Representation of each machine instruction.
MachineModuleInfoWasm - This is a MachineModuleInfoImpl implementation for Wasm targets.
SetVector< StringRef > MachineSymbolsUsed
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.
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.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
Represents a location in source code.
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.
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.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
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.
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...
MCSymbolWasm * getMCSymbolForFunction(const Function *F, wasm::WasmSignature *Sig, bool &InvokeDetected)
This class is used to lower an MachineInstr into an MCInst.
void lower(const MachineInstr *MI, MCInst &OutMI) const
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.
LLVM_ABI StringRef LanguageString(unsigned Language)
Pass manager infrastructure for declaring and invalidating analyses.
#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.
static const unsigned UnusedReg
cl::opt< bool > WasmEnableEmEH
void wasmSymbolSetType(MCSymbolWasm *Sym, const Type *GlobalVT, ArrayRef< MVT > VTs, bool Mutable)
Sets a Wasm Symbol Type.
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_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)
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI 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.
std::string utostr(uint64_t X, bool isNeg=false)
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
LLVM_ABI void setupModuleAsmPrinter(Module &M, ModuleAnalysisManager &MAM, AsmPrinter &AsmPrinter)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Target & getTheWebAssemblyTarget32()
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
Target & getTheWebAssemblyTarget64()
DWARFExpression::Operation Op
void valTypesFromMVTs(ArrayRef< MVT > In, SmallVectorImpl< wasm::ValType > &Out)
LLVM_ABI void setupMachineFunctionAsmPrinter(MachineFunctionAnalysisManager &MFAM, MachineFunction &MF, AsmPrinter &AsmPrinter)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
wasm::WasmSignature * signatureFromMVTs(MCContext &Ctx, const SmallVectorImpl< MVT > &Results, const SmallVectorImpl< MVT > &Params)
void computeLegalValueVTs(const WebAssemblyTargetLowering &TLI, LLVMContext &Ctx, const DataLayout &DL, Type *Ty, SmallVectorImpl< MVT > &ValueVTs)
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
MCRegisterClass TargetRegisterClass
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