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
189 if (GV->hasAttribute("wasm-import-module") ||
190 GV->hasAttribute("wasm-import-name")) {
191 if (!GV->isDeclaration()) {
192 OutContext.reportError(SMLoc(), "definition of global '" + GV->getName() +
193 "' cannot have import attribute");
194 return;
195 }
197 OutContext.reportError(SMLoc(),
198 "imported global '" + GV->getName() +
199 "' must be in a wasm variable address space");
200 return;
201 }
202 }
204 if (GV->hasAttribute("wasm-export-name")) {
205 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(GV));
206 StringRef Name = GV->getAttribute("wasm-export-name").getValueAsString();
207 Sym->setExportName(OutContext.allocateString(Name));
208 getTargetStreamer()->emitExportName(Sym, Name);
209 }
211 return;
212 }
213
214 assert(!GV->isThreadLocal());
215 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(GV));
216 if (!Sym->getType()) {
218 Type *GlobalVT = GV->getValueType();
219 // Function-specific subtargets are not needed here: WebAssembly
220 // coalesces features before isel, so use the TargetMachine's
221 // module-wide subtarget to compute legal value types.
222 auto &WasmTM = static_cast<const WebAssemblyTargetMachine &>(TM);
223 const WebAssemblySubtarget *ST = WasmTM.getSubtargetImpl();
224 const WebAssemblyTargetLowering &TLI = *ST->getTargetLowering();
226 GV->getDataLayout(), GlobalVT, VTs);
227
228 WebAssembly::wasmSymbolSetType(Sym, GlobalVT, VTs,
229 /*Mutable=*/!GV->isConstant());
230 }
231
232 emitVisibility(Sym, GV->getVisibility(), !GV->isDeclaration());
233 emitSymbolType(Sym);
234 if (GV->isDeclaration()) {
235 if (GV->hasAttribute("wasm-import-module")) {
236 StringRef ImportModule =
237 GV->getAttribute("wasm-import-module").getValueAsString();
238 Sym->setImportModule(OutContext.allocateString(ImportModule));
239 getTargetStreamer()->emitImportModule(Sym, ImportModule);
240 }
241 if (GV->hasAttribute("wasm-import-name")) {
242 StringRef ImportName =
243 GV->getAttribute("wasm-import-name").getValueAsString();
244 Sym->setImportName(OutContext.allocateString(ImportName));
245 getTargetStreamer()->emitImportName(Sym, ImportName);
246 }
247 }
248 if (GV->hasInitializer()) {
249 assert(getSymbolPreferLocal(*GV) == Sym);
250 emitLinkage(GV, Sym);
251 OutStreamer->emitLabel(Sym);
252 if (GV->hasAttribute("wasm-export-name")) {
253 StringRef ExportName =
254 GV->getAttribute("wasm-export-name").getValueAsString();
255 Sym->setExportName(OutContext.allocateString(ExportName));
256 getTargetStreamer()->emitExportName(Sym, ExportName);
257 }
258 // TODO: Actually emit the initializer value. Otherwise the global has the
259 // default value for its type (0, ref.null, etc).
260 OutStreamer->addBlankLine();
261 }
262}
263
265 auto *WasmSym = static_cast<MCSymbolWasm *>(GetExternalSymbolSymbol(Name));
266 // May be called multiple times, so early out.
267 if (WasmSym->getType())
268 return WasmSym;
269
270 const WebAssemblySubtarget &Subtarget = getSubtarget();
271
272 // Except for certain known symbols, all symbols used by CodeGen are
273 // functions. It's OK to hardcode knowledge of specific symbols here; this
274 // method is precisely there for fetching the signatures of known
275 // Clang-provided symbols.
276 if (Name == "__stack_pointer" || Name == "__tls_base" ||
277 Name == "__memory_base" || Name == "__table_base" ||
278 Name == "__tls_size" || Name == "__tls_align") {
279 bool Mutable = Name == "__stack_pointer" || Name == "__tls_base";
280 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_GLOBAL);
281 WasmSym->setGlobalType(wasm::WasmGlobalType{
282 uint8_t(Subtarget.hasAddr64() ? wasm::WASM_TYPE_I64
284 Mutable});
285 return WasmSym;
286 }
287
288 if (Name.starts_with("GCC_except_table")) {
289 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_DATA);
290 return WasmSym;
291 }
292
295 if (Name == "__cpp_exception" || Name == "__c_longjmp") {
296 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_TAG);
297 WasmSym->setExternal(true);
298
299 // Currently both C++ exceptions and C longjmps have a single pointer type
300 // param. For C++ exceptions it is a pointer to an exception object, and for
301 // C longjmps it is pointer to a struct that contains a setjmp buffer and a
302 // longjmp return value. We may consider using multiple value parameters for
303 // longjmps later when multivalue support is ready.
304 wasm::ValType AddrType =
305 Subtarget.hasAddr64() ? wasm::ValType::I64 : wasm::ValType::I32;
306 Params.push_back(AddrType);
307 } else if (Name == "__wasm_get_stack_pointer" ||
308 Name == "__wasm_get_tls_base") {
309 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
311 } else if (Name == "__wasm_set_stack_pointer" ||
312 Name == "__wasm_set_tls_base") {
313 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
315 } else { // Function symbols
316 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
317 WebAssembly::getLibcallSignature(Subtarget, Name, Returns, Params);
318 }
319 auto Signature = OutContext.createWasmSignature();
320 Signature->Returns = std::move(Returns);
321 Signature->Params = std::move(Params);
322 WasmSym->setSignature(Signature);
323
324 return WasmSym;
325}
326
328 std::optional<wasm::WasmSymbolType> WasmTy = Sym->getType();
329 if (!WasmTy)
330 return;
331
332 switch (*WasmTy) {
335 break;
338 break;
341 break;
342 default:
343 break; // We only handle globals, tags and tables here
344 }
345}
346
348 if (signaturesEmitted)
349 return;
350 signaturesEmitted = true;
351
352 // Normally symbols for globals get discovered as the MI gets lowered,
353 // but we need to know about them ahead of time. This will however,
354 // only find symbols that have been used. Unused symbols from globals will
355 // not be found here.
356 MachineModuleInfoWasm &MMIW = MMI->getObjFileInfo<MachineModuleInfoWasm>();
357 for (StringRef Name : MMIW.MachineSymbolsUsed) {
358 auto *WasmSym = static_cast<MCSymbolWasm *>(getOrCreateWasmSymbol(Name));
359 if (WasmSym->isFunction()) {
360 // TODO(wvo): is there any case where this overlaps with the call to
361 // emitFunctionType in the loop below?
363 }
364 }
365
366 for (auto &It : OutContext.getSymbols()) {
367 // Emit .globaltype, .tagtype, or .tabletype declarations for extern
368 // declarations, i.e. those that have only been declared (but not defined)
369 // in the current module
370 auto Sym = static_cast<MCSymbolWasm *>(It.getValue().Symbol);
371 if (Sym && !Sym->isDefined())
372 emitSymbolType(Sym);
373 }
374
375 // We handle `__funcref_call_table` specially here.
376 //
377 // Unlike most table symbols, which are attached to a `GlobalVariable`
378 // this one is a directly created, freestanding MCSymbol, much like
379 // `__indirect_function_table`. However, given that the table is always
380 // identical (single element, default initialized), we declare it
381 // weak in each object, and define it here rather than in the linker.
382 //
383 // TODO: consider moving this definition elsewhere, or doing away with
384 // the table entirely (in favor of `call_ref` exclusively).
385 {
386 StringRef Name = "__funcref_call_table";
387 auto *Sym = static_cast<MCSymbolWasm *>(OutContext.lookupSymbol(Name));
388 if (Sym) {
389 if (!Sym->isFunctionTable())
390 OutContext.reportError(SMLoc(), "symbol is not a wasm funcref table");
391
392 // symbol is declared weak in `getOrCreateFuncrefCallTableSymbol`
393 assert(Sym->isWeak());
394 OutStreamer->emitSymbolAttribute(Sym, MCSA_Weak);
395
396 // Make sure we haven't already emitted it for whatever reason.
397 assert(!Sym->isDefined());
398
399 // Actually define the symbol.
400 // Confusingly enough, `emitLabel` is what "defines" a MCSymbol.
401 // Provides it a fragment, so that it `!isUndefined`
402 OutStreamer->emitLabel(Sym);
403 // No initializer needed. Default ref.null is good
404 OutStreamer->addBlankLine();
405 }
406 }
407
408 DenseSet<MCSymbol *> InvokeSymbols;
409 for (const auto &F : M) {
410 if (F.isIntrinsic())
411 continue;
412
413 // Emit function type info for all functions. This will emit duplicate
414 // information for defined functions (which already have function type
415 // info emitted alongside their definition), but this is necessary in
416 // order to enable the single-pass WebAssemblyAsmTypeCheck to succeed.
418 SmallVector<MVT, 4> Params;
419 computeSignatureVTs(F.getFunctionType(), &F, F, TM, Params, Results);
420 // At this point these MCSymbols may or may not have been created already
421 // and thus also contain a signature, but we need to get the signature
422 // anyway here in case it is an invoke that has not yet been created. We
423 // will discard it later if it turns out not to be necessary.
424 auto Signature = signatureFromMVTs(OutContext, Results, Params);
425 bool InvokeDetected = false;
426 auto *Sym = getMCSymbolForFunction(&F, Signature, InvokeDetected);
427
428 // Multiple functions can be mapped to the same invoke symbol. For
429 // example, two IR functions '__invoke_void_i8*' and '__invoke_void_i32'
430 // are both mapped to '__invoke_vi'. We keep them in a set once we emit an
431 // Emscripten EH symbol so we don't emit the same symbol twice.
432 if (InvokeDetected && !InvokeSymbols.insert(Sym).second)
433 continue;
434
436 if (!Sym->getSignature()) {
437 Sym->setSignature(Signature);
438 }
439
441
442 if (F.hasFnAttribute("wasm-import-module")) {
443 StringRef Name =
444 F.getFnAttribute("wasm-import-module").getValueAsString();
445 Sym->setImportModule(OutContext.allocateString(Name));
447 }
448 if (F.hasFnAttribute("wasm-import-name")) {
449 // If this is a converted Emscripten EH/SjLj symbol, we shouldn't use
450 // the original function name but the converted symbol name.
451 StringRef Name =
452 InvokeDetected
453 ? Sym->getName()
454 : F.getFnAttribute("wasm-import-name").getValueAsString();
455 Sym->setImportName(OutContext.allocateString(Name));
456 getTargetStreamer()->emitImportName(Sym, Name);
457 }
458
459 if (F.hasFnAttribute("wasm-export-name")) {
460 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(&F));
461 StringRef Name = F.getFnAttribute("wasm-export-name").getValueAsString();
462 Sym->setExportName(OutContext.allocateString(Name));
463 getTargetStreamer()->emitExportName(Sym, Name);
464 }
465 }
466}
467
469 // This is required to emit external declarations (like .functypes) when
470 // no functions are defined in the compilation unit and therefore,
471 // emitDecls() is not called until now.
472 emitDecls(M);
473
474 // When a function's address is taken, a TABLE_INDEX relocation is emitted
475 // against the function symbol at the use site. However the relocation
476 // doesn't explicitly refer to the table. In the future we may want to
477 // define a new kind of reloc against both the function and the table, so
478 // that the linker can see that the function symbol keeps the table alive,
479 // but for now manually mark the table as live.
480 for (const auto &F : M) {
481 if (!F.isIntrinsic() && F.hasAddressTaken()) {
482 MCSymbolWasm *FunctionTable =
484 OutStreamer->emitSymbolAttribute(FunctionTable, MCSA_NoDeadStrip);
485 break;
486 }
487 }
488
489 for (const auto &G : M.globals()) {
490 if (!G.hasInitializer() && G.hasExternalLinkage() &&
491 !WebAssembly::isWasmVarAddressSpace(G.getAddressSpace()) &&
492 G.getValueType()->isSized()) {
493 uint16_t Size = G.getGlobalSize(M.getDataLayout());
494 OutStreamer->emitELFSize(getSymbol(&G),
496 }
497 }
498
499 if (const NamedMDNode *Named = M.getNamedMetadata("wasm.custom_sections")) {
500 for (const Metadata *MD : Named->operands()) {
501 const auto *Tuple = dyn_cast<MDTuple>(MD);
502 if (!Tuple || Tuple->getNumOperands() != 2)
503 continue;
504 const MDString *Name = dyn_cast<MDString>(Tuple->getOperand(0));
505 const MDString *Contents = dyn_cast<MDString>(Tuple->getOperand(1));
506 if (!Name || !Contents)
507 continue;
508
509 OutStreamer->pushSection();
510 std::string SectionName = (".custom_section." + Name->getString()).str();
511 MCSectionWasm *MySection =
513 OutStreamer->switchSection(MySection);
514 OutStreamer->emitBytes(Contents->getString());
515 OutStreamer->popSection();
516 }
517 }
518
522}
523
526 if (const NamedMDNode *Debug = M.getNamedMetadata("llvm.dbg.cu")) {
527 llvm::SmallSet<StringRef, 4> SeenLanguages;
528 for (size_t I = 0, E = Debug->getNumOperands(); I < E; ++I) {
529 const auto *CU = cast<DICompileUnit>(Debug->getOperand(I));
530 StringRef Language =
531 dwarf::LanguageString(CU->getSourceLanguage().getUnversionedName());
532
533 Language.consume_front("DW_LANG_");
534 if (SeenLanguages.insert(Language).second)
535 Languages.emplace_back(Language.str(), "");
536 }
537 }
538
540 if (const NamedMDNode *Ident = M.getNamedMetadata("llvm.ident")) {
542 for (size_t I = 0, E = Ident->getNumOperands(); I < E; ++I) {
543 const auto *S = cast<MDString>(Ident->getOperand(I)->getOperand(0));
544 std::pair<StringRef, StringRef> Field = S->getString().split("version");
545 StringRef Name = Field.first.trim();
546 StringRef Version = Field.second.trim();
547 if (SeenTools.insert(Name).second)
548 Tools.emplace_back(Name.str(), Version.str());
549 }
550 }
551
552 int FieldCount = int(!Languages.empty()) + int(!Tools.empty());
553 if (FieldCount != 0) {
554 MCSectionWasm *Producers = OutContext.getWasmSection(
555 ".custom_section.producers", SectionKind::getMetadata());
556 OutStreamer->pushSection();
557 OutStreamer->switchSection(Producers);
558 OutStreamer->emitULEB128IntValue(FieldCount);
559 for (auto &Producers : {std::make_pair("language", &Languages),
560 std::make_pair("processed-by", &Tools)}) {
561 if (Producers.second->empty())
562 continue;
563 OutStreamer->emitULEB128IntValue(strlen(Producers.first));
564 OutStreamer->emitBytes(Producers.first);
565 OutStreamer->emitULEB128IntValue(Producers.second->size());
566 for (auto &Producer : *Producers.second) {
567 OutStreamer->emitULEB128IntValue(Producer.first.size());
568 OutStreamer->emitBytes(Producer.first);
569 OutStreamer->emitULEB128IntValue(Producer.second.size());
570 OutStreamer->emitBytes(Producer.second);
571 }
572 }
573 OutStreamer->popSection();
574 }
575}
576
578 struct FeatureEntry {
579 uint8_t Prefix;
580 std::string Name;
581 };
582
583 // Read target features and linkage policies from module metadata
584 SmallVector<FeatureEntry, 4> EmittedFeatures;
585 auto EmitFeature = [&](std::string Feature) {
586 std::string MDKey = (StringRef("wasm-feature-") + Feature).str();
587 Metadata *Policy = M.getModuleFlag(MDKey);
588 if (Policy == nullptr)
589 return;
590
591 FeatureEntry Entry;
592 Entry.Prefix = 0;
593 Entry.Name = Feature;
594
595 if (auto *MD = cast<ConstantAsMetadata>(Policy))
596 if (auto *I = cast<ConstantInt>(MD->getValue()))
597 Entry.Prefix = I->getZExtValue();
598
599 // Silently ignore invalid metadata
600 if (Entry.Prefix != wasm::WASM_FEATURE_PREFIX_USED &&
602 return;
603
604 EmittedFeatures.push_back(Entry);
605 };
606
607 // If we never compiled a single function, Subtarget is null.
608 if (!Subtarget) {
609 Subtarget = static_cast<WebAssemblyTargetMachine &>(TM).getSubtargetImpl(
610 std::string(TM.getTargetCPU()),
611 std::string(TM.getTargetFeatureString()));
612 }
613 for (const SubtargetFeatureKV &KV : Subtarget->getAllProcessorFeatures()) {
614 EmitFeature(KV.key());
615 }
616 // This pseudo-feature tells the linker whether shared memory would be safe
617 EmitFeature("shared-mem");
618
619 // This is an "architecture", not a "feature", but we emit it as such for
620 // the benefit of tools like Binaryen and consistency with other producers.
621 if (Subtarget->hasAddr64()) {
622 // Can't use EmitFeature since "wasm-feature-memory64" is not a module
623 // flag.
624 EmittedFeatures.push_back({wasm::WASM_FEATURE_PREFIX_USED, "memory64"});
625 }
626
627 if (EmittedFeatures.size() == 0)
628 return;
629
630 // Emit features and linkage policies into the "target_features" section
631 MCSectionWasm *FeaturesSection = OutContext.getWasmSection(
632 ".custom_section.target_features", SectionKind::getMetadata());
633 OutStreamer->pushSection();
634 OutStreamer->switchSection(FeaturesSection);
635
636 OutStreamer->emitULEB128IntValue(EmittedFeatures.size());
637 for (auto &F : EmittedFeatures) {
638 OutStreamer->emitIntValue(F.Prefix, 1);
639 OutStreamer->emitULEB128IntValue(F.Name.size());
640 OutStreamer->emitBytes(F.Name);
641 }
642
643 OutStreamer->popSection();
644}
645
647 auto V = M.getNamedGlobal("llvm.global.annotations");
648 if (!V)
649 return;
650
651 // Group all the custom attributes by name.
653 const ConstantArray *CA = cast<ConstantArray>(V->getOperand(0));
654 for (Value *Op : CA->operands()) {
655 auto *CS = cast<ConstantStruct>(Op);
656 // The first field is a pointer to the annotated variable.
657 Value *AnnotatedVar = CS->getOperand(0)->stripPointerCasts();
658 // Only annotated functions are supported for now.
659 if (!isa<Function>(AnnotatedVar))
660 continue;
661 auto *F = cast<Function>(AnnotatedVar);
662
663 // The second field is a pointer to a global annotation string.
664 auto *GV = cast<GlobalVariable>(CS->getOperand(1)->stripPointerCasts());
665 StringRef AnnotationString;
666 getConstantStringInfo(GV, AnnotationString);
667 auto *Sym = static_cast<MCSymbolWasm *>(getSymbol(F));
668 CustomSections[AnnotationString].push_back(Sym);
669 }
670
671 // Emit a custom section for each unique attribute.
672 for (const auto &[Name, Symbols] : CustomSections) {
673 MCSectionWasm *CustomSection = OutContext.getWasmSection(
674 ".custom_section.llvm.func_attr.annotate." + Name, SectionKind::getMetadata());
675 OutStreamer->pushSection();
676 OutStreamer->switchSection(CustomSection);
677
678 for (auto &Sym : Symbols) {
679 OutStreamer->emitValue(
681 4);
682 }
683 OutStreamer->popSection();
684 }
685}
686
688 emitDecls(*MMI->getModule());
689 assert(MF->getConstantPool()->getConstants().empty() &&
690 "WebAssembly disables constant pools");
691}
692
694 // Nothing to do; jump tables are incorporated into the instruction stream.
695}
696
698 const Function &F = MF->getFunction();
699 SmallVector<MVT, 1> ResultVTs;
700 SmallVector<MVT, 4> ParamVTs;
701 computeSignatureVTs(F.getFunctionType(), &F, F, TM, ParamVTs, ResultVTs);
702
703 auto Signature = signatureFromMVTs(OutContext, ResultVTs, ParamVTs);
704 auto *WasmSym = static_cast<MCSymbolWasm *>(CurrentFnSym);
705 WasmSym->setSignature(Signature);
706 WasmSym->setType(wasm::WASM_SYMBOL_TYPE_FUNCTION);
707
709
710 // Emit the function index.
711 if (MDNode *Idx = F.getMetadata("wasm.index")) {
712 assert(Idx->getNumOperands() == 1);
713
715 cast<ConstantAsMetadata>(Idx->getOperand(0))->getValue()));
716 }
717
719 valTypesFromMVTs(MFI->getLocals(), Locals);
720 getTargetStreamer()->emitLocal(Locals);
721
723}
724
726 LLVM_DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n');
727 WebAssembly_MC::verifyInstructionPredicates(MI->getOpcode(),
728 Subtarget->getFeatureBits());
729
730 switch (MI->getOpcode()) {
731 case WebAssembly::ARGUMENT_i32:
732 case WebAssembly::ARGUMENT_i32_S:
733 case WebAssembly::ARGUMENT_i64:
734 case WebAssembly::ARGUMENT_i64_S:
735 case WebAssembly::ARGUMENT_f32:
736 case WebAssembly::ARGUMENT_f32_S:
737 case WebAssembly::ARGUMENT_f64:
738 case WebAssembly::ARGUMENT_f64_S:
739 case WebAssembly::ARGUMENT_v16i8:
740 case WebAssembly::ARGUMENT_v16i8_S:
741 case WebAssembly::ARGUMENT_v8i16:
742 case WebAssembly::ARGUMENT_v8i16_S:
743 case WebAssembly::ARGUMENT_v4i32:
744 case WebAssembly::ARGUMENT_v4i32_S:
745 case WebAssembly::ARGUMENT_v2i64:
746 case WebAssembly::ARGUMENT_v2i64_S:
747 case WebAssembly::ARGUMENT_v4f32:
748 case WebAssembly::ARGUMENT_v4f32_S:
749 case WebAssembly::ARGUMENT_v2f64:
750 case WebAssembly::ARGUMENT_v2f64_S:
751 case WebAssembly::ARGUMENT_v8f16:
752 case WebAssembly::ARGUMENT_v8f16_S:
753 case WebAssembly::ARGUMENT_externref:
754 case WebAssembly::ARGUMENT_externref_S:
755 case WebAssembly::ARGUMENT_funcref:
756 case WebAssembly::ARGUMENT_funcref_S:
757 case WebAssembly::ARGUMENT_exnref:
758 case WebAssembly::ARGUMENT_exnref_S:
759 // These represent values which are live into the function entry, so there's
760 // no instruction to emit.
761 break;
762 case WebAssembly::FALLTHROUGH_RETURN: {
763 // These instructions represent the implicit return at the end of a
764 // function body.
765 if (isVerbose()) {
766 OutStreamer->AddComment("fallthrough-return");
767 OutStreamer->addBlankLine();
768 }
769 break;
770 }
771 case WebAssembly::COMPILER_FENCE:
772 // This is a compiler barrier that prevents instruction reordering during
773 // backend compilation, and should not be emitted.
774 break;
775 case WebAssembly::CATCH:
776 case WebAssembly::CATCH_S:
777 case WebAssembly::CATCH_REF:
778 case WebAssembly::CATCH_REF_S:
779 case WebAssembly::CATCH_ALL:
780 case WebAssembly::CATCH_ALL_S:
781 case WebAssembly::CATCH_ALL_REF:
782 case WebAssembly::CATCH_ALL_REF_S:
783 // These are pseudo instructions to represent catch clauses in try_table
784 // instruction to simulate block return values.
785 break;
786 default: {
787 WebAssemblyMCInstLower MCInstLowering(OutContext, *this);
788 MCInst TmpInst;
789 MCInstLowering.lower(MI, TmpInst);
790 EmitToStreamer(*OutStreamer, TmpInst);
791 break;
792 }
793 }
794}
795
797 unsigned OpNo,
798 const char *ExtraCode,
799 raw_ostream &OS) {
800 // First try the generic code, which knows about modifiers like 'c' and 'n'.
801 if (!AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, OS))
802 return false;
803
804 if (!ExtraCode) {
805 const MachineOperand &MO = MI->getOperand(OpNo);
806 switch (MO.getType()) {
808 OS << MO.getImm();
809 return false;
811 // FIXME: only opcode that still contains registers, as required by
812 // MachineInstr::getDebugVariable().
813 assert(MI->getOpcode() == WebAssembly::INLINEASM);
814 OS << regToString(MO);
815 return false;
817 PrintSymbolOperand(MO, OS);
818 return false;
821 printOffset(MO.getOffset(), OS);
822 return false;
824 MO.getMBB()->getSymbol()->print(OS, MAI);
825 return false;
826 default:
827 break;
828 }
829 }
830
831 return true;
832}
833
835 unsigned OpNo,
836 const char *ExtraCode,
837 raw_ostream &OS) {
838 // The current approach to inline asm is that "r" constraints are expressed
839 // as local indices, rather than values on the operand stack. This simplifies
840 // using "r" as it eliminates the need to push and pop the values in a
841 // particular order, however it also makes it impossible to have an "m"
842 // constraint. So we don't support it.
843
844 return AsmPrinter::PrintAsmMemoryOperand(MI, OpNo, ExtraCode, OS);
845}
846
848
849INITIALIZE_PASS(WebAssemblyAsmPrinter, "webassembly-asm-printer",
850 "WebAssembly Assembly Printer", false, false)
851
852// Force static initialization.
854LLVMInitializeWebAssemblyAsmPrinter() {
857}
858
867
879
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:857
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.
LLVM_ABI StringRef getValueAsString() const
Return the attribute's value as a string.
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 hasAttribute(Attribute::AttrKind Kind) const
Return true if the attribute exists.
bool hasInitializer() const
Definitions have initializers, declarations don't.
Attribute getAttribute(Attribute::AttrKind Kind) const
Return the attribute object.
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:68
LLVMContext & getContext() const
Get the global data context.
Definition Module.h:332
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
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:319
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