LLVM 24.0.0git
WebAssemblyAsmPrinter.cpp
Go to the documentation of this file.
1//===-- WebAssemblyAsmPrinter.cpp - WebAssembly LLVM assembly writer ------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file contains a printer that converts from our internal
11/// representation of machine-dependent LLVM code to the WebAssembly assembly
12/// language.
13///
14//===----------------------------------------------------------------------===//
15
22#include "WebAssembly.h"
29#include "llvm/ADT/MapVector.h"
30#include "llvm/ADT/SmallSet.h"
43#include "llvm/IR/Analysis.h"
44#include "llvm/IR/DataLayout.h"
47#include "llvm/IR/Metadata.h"
48#include "llvm/IR/Module.h"
49#include "llvm/IR/PassManager.h"
50#include "llvm/MC/MCContext.h"
52#include "llvm/MC/MCStreamer.h"
53#include "llvm/MC/MCSymbol.h"
57#include "llvm/Support/Debug.h"
59
60using namespace llvm;
61
62#define DEBUG_TYPE "asm-printer"
63
65
66//===----------------------------------------------------------------------===//
67// Helpers.
68//===----------------------------------------------------------------------===//
69
71 const TargetRegisterInfo *TRI = Subtarget->getRegisterInfo();
72 const TargetRegisterClass *TRC = MRI->getRegClass(RegNo);
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))
76 return T;
77 LLVM_DEBUG(errs() << "Unknown type for register number: " << RegNo);
78 llvm_unreachable("Unknown register type");
79 return MVT::Other;
80}
81
83 Register RegNo = MO.getReg();
84 assert(RegNo.isVirtual() &&
85 "Unlowered physical register encountered during assembly printing");
86 assert(!MFI->isVRegStackified(RegNo));
87 unsigned WAReg = MFI->getWAReg(RegNo);
89 return '$' + utostr(WAReg);
90}
91
96
97// Emscripten exception handling helpers
98//
99// This converts invoke names generated by LowerEmscriptenEHSjLj to real names
100// that are expected by JavaScript glue code. The invoke names generated by
101// Emscripten JS glue code are based on their argument and return types; for
102// example, for a function that takes an i32 and returns nothing, it is
103// 'invoke_vi'. But the format of invoke generated by LowerEmscriptenEHSjLj pass
104// contains a mangled string generated from their IR types, for example,
105// "__invoke_void_%struct.mystruct*_int", because final wasm types are not
106// available in the IR pass. So we convert those names to the form that
107// Emscripten JS code expects.
108//
109// Refer to LowerEmscriptenEHSjLj pass for more details.
110
111// Returns true if the given function name is an invoke name generated by
112// LowerEmscriptenEHSjLj pass.
114 if (Name.front() == '"' && Name.back() == '"')
115 Name = Name.substr(1, Name.size() - 2);
116 return Name.starts_with("__invoke_");
117}
118
119// Returns a character that represents the given wasm value type in invoke
120// signatures.
122 switch (VT) {
124 return 'i';
126 return 'j';
128 return 'f';
130 return 'd';
132 return 'V';
134 return 'F';
136 return 'X';
138 return 'E';
139 default:
140 llvm_unreachable("Unhandled wasm::ValType enum");
141 }
142}
143
144// Given the wasm signature, generate the invoke name in the format JS glue code
145// expects.
147 assert(Sig->Returns.size() <= 1);
148 std::string Ret = "invoke_";
149 if (!Sig->Returns.empty())
150 for (auto VT : Sig->Returns)
151 Ret += getInvokeSig(VT);
152 else
153 Ret += 'v';
154 // Invokes' first argument is a pointer to the original function, so skip it
155 for (unsigned I = 1, E = Sig->Params.size(); I < E; I++)
156 Ret += getInvokeSig(Sig->Params[I]);
157 return Ret;
158}
159
160//===----------------------------------------------------------------------===//
161// WebAssemblyAsmPrinter Implementation.
162//===----------------------------------------------------------------------===//
163
165 const Function *F, wasm::WasmSignature *Sig, bool &InvokeDetected) {
166 MCSymbolWasm *WasmSym = nullptr;
167
168 const bool EnableEmEH =
170 if (EnableEmEH && isEmscriptenInvokeName(F->getName())) {
171 assert(Sig);
172 InvokeDetected = true;
173 if (Sig->Returns.size() > 1) {
174 std::string Msg =
175 "Emscripten EH/SjLj does not support multivalue returns: " +
176 std::string(F->getName()) + ": " +
179 }
180 WasmSym = static_cast<MCSymbolWasm *>(
182 } else {
183 WasmSym = static_cast<MCSymbolWasm *>(getSymbol(F));
184 }
185 return WasmSym;
186}
187
191 return;
192 }
193
194 assert(!GV->isThreadLocal());
195 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(GV));
196 if (!Sym->getType()) {
198 Type *GlobalVT = GV->getValueType();
199 // Function-specific subtargets are not needed here: WebAssembly
200 // coalesces features before isel, so use the TargetMachine's
201 // module-wide subtarget to compute legal value types.
202 auto &WasmTM = static_cast<const WebAssemblyTargetMachine &>(TM);
203 const WebAssemblySubtarget *ST = WasmTM.getSubtargetImpl();
204 const WebAssemblyTargetLowering &TLI = *ST->getTargetLowering();
206 GV->getDataLayout(), GlobalVT, VTs);
207
208 WebAssembly::wasmSymbolSetType(Sym, GlobalVT, VTs,
209 /*Mutable=*/!GV->isConstant());
210 }
211
212 emitVisibility(Sym, GV->getVisibility(), !GV->isDeclaration());
213 emitSymbolType(Sym);
214 if (GV->hasInitializer()) {
215 assert(getSymbolPreferLocal(*GV) == Sym);
216 emitLinkage(GV, Sym);
217 OutStreamer->emitLabel(Sym);
218 // TODO: Actually emit the initializer value. Otherwise the global has the
219 // default value for its type (0, ref.null, etc).
220 OutStreamer->addBlankLine();
221 }
222}
223
225 auto *WasmSym = static_cast<MCSymbolWasm *>(GetExternalSymbolSymbol(Name));
226 // May be called multiple times, so early out.
227 if (WasmSym->getType())
228 return WasmSym;
229
230 const WebAssemblySubtarget &Subtarget = getSubtarget();
231
232 // Except for certain known symbols, all symbols used by CodeGen are
233 // functions. It's OK to hardcode knowledge of specific symbols here; this
234 // method is precisely there for fetching the signatures of known
235 // Clang-provided symbols.
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";
240 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_GLOBAL);
241 WasmSym->setGlobalType(wasm::WasmGlobalType{
242 uint8_t(Subtarget.hasAddr64() ? wasm::WASM_TYPE_I64
244 Mutable});
245 return WasmSym;
246 }
247
248 if (Name.starts_with("GCC_except_table")) {
249 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_DATA);
250 return WasmSym;
251 }
252
255 if (Name == "__cpp_exception" || Name == "__c_longjmp") {
256 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_TAG);
257 WasmSym->setExternal(true);
258
259 // Currently both C++ exceptions and C longjmps have a single pointer type
260 // param. For C++ exceptions it is a pointer to an exception object, and for
261 // C longjmps it is pointer to a struct that contains a setjmp buffer and a
262 // longjmp return value. We may consider using multiple value parameters for
263 // longjmps later when multivalue support is ready.
264 wasm::ValType AddrType =
265 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
266 Params.push_back(AddrType);
267 } else if (Name == "__wasm_get_stack_pointer" ||
268 Name == "__wasm_get_tls_base") {
269 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
271 } else if (Name == "__wasm_set_stack_pointer" ||
272 Name == "__wasm_set_tls_base") {
273 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
275 } else { // Function symbols
276 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
277 WebAssembly::getLibcallSignature(Subtarget, Name, Returns, Params);
278 }
279 auto Signature = OutContext.createWasmSignature();
280 Signature->Returns = std::move(Returns);
281 Signature->Params = std::move(Params);
282 WasmSym->setSignature(Signature);
283
284 return WasmSym;
285}
286
288 std::optional<wasm::WasmSymbolType> WasmTy = Sym->getType();
289 if (!WasmTy)
290 return;
291
292 switch (*WasmTy) {
295 break;
298 break;
301 break;
302 default:
303 break; // We only handle globals, tags and tables here
304 }
305}
306
308 if (signaturesEmitted)
309 return;
310 signaturesEmitted = true;
311
312 // Normally symbols for globals get discovered as the MI gets lowered,
313 // but we need to know about them ahead of time. This will however,
314 // only find symbols that have been used. Unused symbols from globals will
315 // not be found here.
316 MachineModuleInfoWasm &MMIW = MMI->getObjFileInfo<MachineModuleInfoWasm>();
317 for (StringRef Name : MMIW.MachineSymbolsUsed) {
318 auto *WasmSym = static_cast<MCSymbolWasm *>(getOrCreateWasmSymbol(Name));
319 if (WasmSym->isFunction()) {
320 // TODO(wvo): is there any case where this overlaps with the call to
321 // emitFunctionType in the loop below?
323 }
324 }
325
326 for (auto &It : OutContext.getSymbols()) {
327 // Emit .globaltype, .tagtype, or .tabletype declarations for extern
328 // declarations, i.e. those that have only been declared (but not defined)
329 // in the current module
330 auto Sym = static_cast<MCSymbolWasm *>(It.getValue().Symbol);
331 if (Sym && !Sym->isDefined())
332 emitSymbolType(Sym);
333 }
334
335 // We handle `__funcref_call_table` specially here.
336 //
337 // Unlike most table symbols, which are attached to a `GlobalVariable`
338 // this one is a directly created, freestanding MCSymbol, much like
339 // `__indirect_function_table`. However, given that the table is always
340 // identical (single element, default initialized), we declare it
341 // weak in each object, and define it here rather than in the linker.
342 //
343 // TODO: consider moving this definition elsewhere, or doing away with
344 // the table entirely (in favor of `call_ref` exclusively).
345 {
346 StringRef Name = "__funcref_call_table";
347 auto *Sym = static_cast<MCSymbolWasm *>(OutContext.lookupSymbol(Name));
348 if (Sym) {
349 if (!Sym->isFunctionTable())
350 OutContext.reportError(SMLoc(), "symbol is not a wasm funcref table");
351
352 // symbol is declared weak in `getOrCreateFuncrefCallTableSymbol`
353 assert(Sym->isWeak());
354 OutStreamer->emitSymbolAttribute(Sym, MCSA_Weak);
355
356 // Make sure we haven't already emitted it for whatever reason.
357 assert(!Sym->isDefined());
358
359 // Actually define the symbol.
360 // Confusingly enough, `emitLabel` is what "defines" a MCSymbol.
361 // Provides it a fragment, so that it `!isUndefined`
362 OutStreamer->emitLabel(Sym);
363 // No initializer needed. Default ref.null is good
364 OutStreamer->addBlankLine();
365 }
366 }
367
368 DenseSet<MCSymbol *> InvokeSymbols;
369 for (const auto &F : M) {
370 if (F.isIntrinsic())
371 continue;
372
373 // Emit function type info for all functions. This will emit duplicate
374 // information for defined functions (which already have function type
375 // info emitted alongside their definition), but this is necessary in
376 // order to enable the single-pass WebAssemblyAsmTypeCheck to succeed.
378 SmallVector<MVT, 4> Params;
379 computeSignatureVTs(F.getFunctionType(), &F, F, TM, Params, Results);
380 // At this point these MCSymbols may or may not have been created already
381 // and thus also contain a signature, but we need to get the signature
382 // anyway here in case it is an invoke that has not yet been created. We
383 // will discard it later if it turns out not to be necessary.
384 auto Signature = signatureFromMVTs(OutContext, Results, Params);
385 bool InvokeDetected = false;
386 auto *Sym = getMCSymbolForFunction(&F, Signature, InvokeDetected);
387
388 // Multiple functions can be mapped to the same invoke symbol. For
389 // example, two IR functions '__invoke_void_i8*' and '__invoke_void_i32'
390 // are both mapped to '__invoke_vi'. We keep them in a set once we emit an
391 // Emscripten EH symbol so we don't emit the same symbol twice.
392 if (InvokeDetected && !InvokeSymbols.insert(Sym).second)
393 continue;
394
396 if (!Sym->getSignature()) {
397 Sym->setSignature(Signature);
398 }
399
401
402 if (F.hasFnAttribute("wasm-import-module")) {
403 StringRef Name =
404 F.getFnAttribute("wasm-import-module").getValueAsString();
405 Sym->setImportModule(OutContext.allocateString(Name));
407 }
408 if (F.hasFnAttribute("wasm-import-name")) {
409 // If this is a converted Emscripten EH/SjLj symbol, we shouldn't use
410 // the original function name but the converted symbol name.
411 StringRef Name =
412 InvokeDetected
413 ? Sym->getName()
414 : F.getFnAttribute("wasm-import-name").getValueAsString();
415 Sym->setImportName(OutContext.allocateString(Name));
416 getTargetStreamer()->emitImportName(Sym, Name);
417 }
418
419 if (F.hasFnAttribute("wasm-export-name")) {
420 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(&F));
421 StringRef Name = F.getFnAttribute("wasm-export-name").getValueAsString();
422 Sym->setExportName(OutContext.allocateString(Name));
423 getTargetStreamer()->emitExportName(Sym, Name);
424 }
425 }
426}
427
429 // This is required to emit external declarations (like .functypes) when
430 // no functions are defined in the compilation unit and therefore,
431 // emitDecls() is not called until now.
432 emitDecls(M);
433
434 // When a function's address is taken, a TABLE_INDEX relocation is emitted
435 // against the function symbol at the use site. However the relocation
436 // doesn't explicitly refer to the table. In the future we may want to
437 // define a new kind of reloc against both the function and the table, so
438 // that the linker can see that the function symbol keeps the table alive,
439 // but for now manually mark the table as live.
440 for (const auto &F : M) {
441 if (!F.isIntrinsic() && F.hasAddressTaken()) {
442 MCSymbolWasm *FunctionTable =
444 OutStreamer->emitSymbolAttribute(FunctionTable, MCSA_NoDeadStrip);
445 break;
446 }
447 }
448
449 for (const auto &G : M.globals()) {
450 if (!G.hasInitializer() && G.hasExternalLinkage() &&
451 !WebAssembly::isWasmVarAddressSpace(G.getAddressSpace()) &&
452 G.getValueType()->isSized()) {
453 uint16_t Size = G.getGlobalSize(M.getDataLayout());
454 OutStreamer->emitELFSize(getSymbol(&G),
456 }
457 }
458
459 if (const NamedMDNode *Named = M.getNamedMetadata("wasm.custom_sections")) {
460 for (const Metadata *MD : Named->operands()) {
461 const auto *Tuple = dyn_cast<MDTuple>(MD);
462 if (!Tuple || Tuple->getNumOperands() != 2)
463 continue;
464 const MDString *Name = dyn_cast<MDString>(Tuple->getOperand(0));
465 const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1));
466 if (!Name || !Contents)
467 continue;
468
469 OutStreamer->pushSection();
470 std::string SectionName = (".custom_section." + Name->getString()).str();
471 MCSectionWasm *MySection =
473 OutStreamer->switchSection(MySection);
474 OutStreamer->emitBytes(Contents->getString());
475 OutStreamer->popSection();
476 }
477 }
478
482}
483
486 if (const NamedMDNode *Debug = M.getNamedMetadata("llvm.dbg.cu")) {
487 llvm::SmallSet<StringRef, 4> SeenLanguages;
488 for (size_t I = 0, E = Debug->getNumOperands(); I < E; ++I) {
489 const auto *CU = cast<DICompileUnit>(Debug->getOperand(I));
490 StringRef Language =
491 dwarf::LanguageString(CU->getSourceLanguage().getUnversionedName());
492
493 Language.consume_front("DW_LANG_");
494 if (SeenLanguages.insert(Language).second)
495 Languages.emplace_back(Language.str(), "");
496 }
497 }
498
500 if (const NamedMDNode *Ident = M.getNamedMetadata("llvm.ident")) {
502 for (size_t I = 0, E = Ident->getNumOperands(); I < E; ++I) {
503 const auto *S = cast<MDString>(Ident->getOperand(I)->getOperand(0));
504 std::pair<StringRef, StringRef> Field = S->getString().split("version");
505 StringRef Name = Field.first.trim();
506 StringRef Version = Field.second.trim();
507 if (SeenTools.insert(Name).second)
508 Tools.emplace_back(Name.str(), Version.str());
509 }
510 }
511
512 int FieldCount = int(!Languages.empty()) + int(!Tools.empty());
513 if (FieldCount != 0) {
514 MCSectionWasm *Producers = OutContext.getWasmSection(
515 ".custom_section.producers", SectionKind::getMetadata());
516 OutStreamer->pushSection();
517 OutStreamer->switchSection(Producers);
518 OutStreamer->emitULEB128IntValue(FieldCount);
519 for (auto &Producers : {std::make_pair("language", &Languages),
520 std::make_pair("processed-by", &Tools)}) {
521 if (Producers.second->empty())
522 continue;
523 OutStreamer->emitULEB128IntValue(strlen(Producers.first));
524 OutStreamer->emitBytes(Producers.first);
525 OutStreamer->emitULEB128IntValue(Producers.second->size());
526 for (auto &Producer : *Producers.second) {
527 OutStreamer->emitULEB128IntValue(Producer.first.size());
528 OutStreamer->emitBytes(Producer.first);
529 OutStreamer->emitULEB128IntValue(Producer.second.size());
530 OutStreamer->emitBytes(Producer.second);
531 }
532 }
533 OutStreamer->popSection();
534 }
535}
536
538 struct FeatureEntry {
539 uint8_t Prefix;
540 std::string Name;
541 };
542
543 // Read target features and linkage policies from module metadata
544 SmallVector<FeatureEntry, 4> EmittedFeatures;
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)
549 return;
550
551 FeatureEntry Entry;
552 Entry.Prefix = 0;
553 Entry.Name = Feature;
554
555 if (auto *MD = cast<ConstantAsMetadata>(Policy))
556 if (auto *I = cast<ConstantInt>(MD->getValue()))
557 Entry.Prefix = I->getZExtValue();
558
559 // Silently ignore invalid metadata
560 if (Entry.Prefix != wasm::WASM_FEATURE_PREFIX_USED &&
562 return;
563
564 EmittedFeatures.push_back(Entry);
565 };
566
567 // If we never compiled a single function, Subtarget is null.
568 if (!Subtarget) {
569 Subtarget = static_cast<WebAssemblyTargetMachine &>(TM).getSubtargetImpl(
570 std::string(TM.getTargetCPU()),
571 std::string(TM.getTargetFeatureString()));
572 }
573 for (const SubtargetFeatureKV &KV : Subtarget->getAllProcessorFeatures()) {
574 EmitFeature(KV.key());
575 }
576 // This pseudo-feature tells the linker whether shared memory would be safe
577 EmitFeature("shared-mem");
578
579 // This is an "architecture", not a "feature", but we emit it as such for
580 // the benefit of tools like Binaryen and consistency with other producers.
581 if (Subtarget->hasAddr64()) {
582 // Can't use EmitFeature since "wasm-feature-memory64" is not a module
583 // flag.
584 EmittedFeatures.push_back({wasm::WASM_FEATURE_PREFIX_USED, "memory64"});
585 }
586
587 if (EmittedFeatures.size() == 0)
588 return;
589
590 // Emit features and linkage policies into the "target_features" section
591 MCSectionWasm *FeaturesSection = OutContext.getWasmSection(
592 ".custom_section.target_features", SectionKind::getMetadata());
593 OutStreamer->pushSection();
594 OutStreamer->switchSection(FeaturesSection);
595
596 OutStreamer->emitULEB128IntValue(EmittedFeatures.size());
597 for (auto &F : EmittedFeatures) {
598 OutStreamer->emitIntValue(F.Prefix, 1);
599 OutStreamer->emitULEB128IntValue(F.Name.size());
600 OutStreamer->emitBytes(F.Name);
601 }
602
603 OutStreamer->popSection();
604}
605
607 auto V = M.getNamedGlobal("llvm.global.annotations");
608 if (!V)
609 return;
610
611 // Group all the custom attributes by name.
613 const ConstantArray *CA = cast<ConstantArray>(V->getOperand(0));
614 for (Value *Op : CA->operands()) {
615 auto *CS = cast<ConstantStruct>(Op);
616 // The first field is a pointer to the annotated variable.
617 Value *AnnotatedVar = CS->getOperand(0)->stripPointerCasts();
618 // Only annotated functions are supported for now.
619 if (!isa<Function>(AnnotatedVar))
620 continue;
621 auto *F = cast<Function>(AnnotatedVar);
622
623 // The second field is a pointer to a global annotation string.
624 auto *GV = cast<GlobalVariable>(CS->getOperand(1)->stripPointerCasts());
625 StringRef AnnotationString;
626 getConstantStringInfo(GV, AnnotationString);
627 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(F));
628 CustomSections[AnnotationString].push_back(Sym);
629 }
630
631 // Emit a custom section for each unique attribute.
632 for (const auto &[Name, Symbols] : CustomSections) {
633 MCSectionWasm *CustomSection = OutContext.getWasmSection(
634 ".custom_section.llvm.func_attr.annotate." + Name, SectionKind::getMetadata());
635 OutStreamer->pushSection();
636 OutStreamer->switchSection(CustomSection);
637
638 for (auto &Sym : Symbols) {
639 OutStreamer->emitValue(
641 4);
642 }
643 OutStreamer->popSection();
644 }
645}
646
648 emitDecls(*MMI->getModule());
649 assert(MF->getConstantPool()->getConstants().empty() &&
650 "WebAssembly disables constant pools");
651}
652
654 // Nothing to do; jump tables are incorporated into the instruction stream.
655}
656
658 const Function &F = MF->getFunction();
659 SmallVector<MVT, 1> ResultVTs;
660 SmallVector<MVT, 4> ParamVTs;
661 computeSignatureVTs(F.getFunctionType(), &F, F, TM, ParamVTs, ResultVTs);
662
663 auto Signature = signatureFromMVTs(OutContext, ResultVTs, ParamVTs);
664 auto *WasmSym = static_cast<MCSymbolWasm *>(CurrentFnSym);
665 WasmSym->setSignature(Signature);
666 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
667
669
670 // Emit the function index.
671 if (MDNode *Idx = F.getMetadata("wasm.index")) {
672 assert(Idx->getNumOperands() == 1);
673
675 cast<ConstantAsMetadata>(Idx->getOperand(0))->getValue()));
676 }
677
679 valTypesFromMVTs(MFI->getLocals(), Locals);
680 getTargetStreamer()->emitLocal(Locals);
681
683}
684
686 LLVM_DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n');
687 WebAssembly_MC::verifyInstructionPredicates(MI->getOpcode(),
688 Subtarget->getFeatureBits());
689
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:
719 // These represent values which are live into the function entry, so there's
720 // no instruction to emit.
721 break;
722 case WebAssembly::FALLTHROUGH_RETURN: {
723 // These instructions represent the implicit return at the end of a
724 // function body.
725 if (isVerbose()) {
726 OutStreamer->AddComment("fallthrough-return");
727 OutStreamer->addBlankLine();
728 }
729 break;
730 }
731 case WebAssembly::COMPILER_FENCE:
732 // This is a compiler barrier that prevents instruction reordering during
733 // backend compilation, and should not be emitted.
734 break;
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:
743 // These are pseudo instructions to represent catch clauses in try_table
744 // instruction to simulate block return values.
745 break;
746 default: {
747 WebAssemblyMCInstLower MCInstLowering(OutContext, *this);
748 MCInst TmpInst;
749 MCInstLowering.lower(MI, TmpInst);
750 EmitToStreamer(*OutStreamer, TmpInst);
751 break;
752 }
753 }
754}
755
757 unsigned OpNo,
758 const char *ExtraCode,
759 raw_ostream &OS) {
760 // First try the generic code, which knows about modifiers like 'c' and 'n'.
761 if (!AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, OS))
762 return false;
763
764 if (!ExtraCode) {
765 const MachineOperand &MO = MI->getOperand(OpNo);
766 switch (MO.getType()) {
768 OS << MO.getImm();
769 return false;
771 // FIXME: only opcode that still contains registers, as required by
772 // MachineInstr::getDebugVariable().
773 assert(MI->getOpcode() == WebAssembly::INLINEASM);
774 OS << regToString(MO);
775 return false;
777 PrintSymbolOperand(MO, OS);
778 return false;
781 printOffset(MO.getOffset(), OS);
782 return false;
784 MO.getMBB()->getSymbol()->print(OS, MAI);
785 return false;
786 default:
787 break;
788 }
789 }
790
791 return true;
792}
793
795 unsigned OpNo,
796 const char *ExtraCode,
797 raw_ostream &OS) {
798 // The current approach to inline asm is that "r" constraints are expressed
799 // as local indices, rather than values on the operand stack. This simplifies
800 // using "r" as it eliminates the need to push and pop the values in a
801 // particular order, however it also makes it impossible to have an "m"
802 // constraint. So we don't support it.
803
804 return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, ExtraCode, OS);
805}
806
808
809INITIALIZE_PASS(WebAssemblyAsmPrinter, "webassembly-asm-printer",
810 "WebAssembly Assmebly Printer", false, false)
811
812// Force static initialization.
814LLVMInitializeWebAssemblyAsmPrinter() {
817}
818
827
839
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Function Alias Analysis Results
static const Function * getParent(const Value *V)
#define X(NUM, ENUM, NAME)
Definition ELF.h:856
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_ABI
Definition Compiler.h:215
#define LLVM_EXTERNAL_VISIBILITY
Definition Compiler.h:132
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
This header defines various interfaces for pass management in LLVM.
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define G(x, y, z)
Definition MD5.cpp:55
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.
This file contains the declarations for metadata subclasses.
#define T
OptimizedStructLayoutField Field
ModuleAnalysisManager MAM
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
const char * Msg
This file defines the SmallSet class.
This file contains some functions that are useful when dealing with strings.
#define LLVM_DEBUG(...)
Definition Debug.h:119
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.
Definition AsmPrinter.h:91
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.
Definition AsmPrinter.h:94
virtual void PrintSymbolOperand(const MachineOperand &MO, raw_ostream &OS)
Print the MachineOperand as a symbol.
MachineFunction * MF
The current machine function.
Definition AsmPrinter.h:109
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.
Definition AsmPrinter.h:627
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.
Definition AsmPrinter.h:128
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition AsmPrinter.h:112
MCContext & OutContext
This is the context for the output file that we are streaming.
Definition AsmPrinter.h:101
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.
Definition AsmPrinter.h:453
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition AsmPrinter.h:106
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
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.
Definition AsmPrinter.h:310
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
@ Debug
Emit .debug_frame.
Definition AsmPrinter.h:169
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.
Definition Constants.h:590
Implements a dense probed hash-table based set.
Definition DenseSet.h:281
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...
Definition Globals.cpp:408
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.
Definition Globals.cpp:205
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)
Definition MCExpr.cpp:212
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
This represents a section on wasm.
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
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 ...
Definition MCSymbol.h:42
LLVM_ABI void print(raw_ostream &OS, const MCAsmInfo *MAI) const
print - Print the value to the stream OS.
Definition MCSymbol.cpp:59
Target specific streamer interface.
Definition MCStreamer.h:95
Metadata node.
Definition Metadata.h:1069
A single uniqued string.
Definition Metadata.h:722
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:633
Machine Value Type.
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.
int64_t getImm() const
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.
Definition MapVector.h:38
Root of the metadata hierarchy.
Definition Metadata.h:64
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
LLVMContext & getContext() const
Get the global data context.
Definition Module.h:327
A tuple of MDNodes.
Definition Metadata.h:1755
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
Wrapper class representing virtual and physical registers.
Definition Register.h:20
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
Definition Register.h:79
Represents a location in source code.
Definition SMLoc.h:22
static SectionKind getMetadata()
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
Definition SmallSet.h:134
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
Definition SmallSet.h:184
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.
Definition StringRef.h:56
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...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
op_range operands()
Definition User.h:267
LLVM Value Representation.
Definition Value.h:75
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Definition Value.cpp:713
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 emitGlobalVariable(const GlobalVariable *GV) override
Emit the specified global variable to the .s file.
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 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 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)
Definition DenseSet.h:209
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
LLVM_ABI StringRef LanguageString(unsigned Language)
Definition Dwarf.cpp:413
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_TYPE_I64
Definition Wasm.h:57
@ WASM_TYPE_I32
Definition Wasm.h:56
@ WASM_FEATURE_PREFIX_USED
Definition Wasm.h:189
@ WASM_FEATURE_PREFIX_DISALLOWED
Definition Wasm.h:190
@ WASM_SYMBOL_TYPE_GLOBAL
Definition Wasm.h:231
@ WASM_SYMBOL_TYPE_DATA
Definition Wasm.h:230
@ WASM_SYMBOL_TYPE_TAG
Definition Wasm.h:233
@ WASM_SYMBOL_TYPE_TABLE
Definition Wasm.h:234
@ WASM_SYMBOL_TYPE_FUNCTION
Definition Wasm.h:229
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.
Definition Casting.h:643
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.
Definition Debug.cpp:209
Target & getTheWebAssemblyTarget32()
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
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...
Definition Casting.h:547
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.
Definition Casting.h:559
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_Weak
.weak
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
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
Definition Wasm.h:524
SmallVector< ValType, 4 > Params
Definition Wasm.h:525