mirror of
https://github.com/RPCS3/llvm.git
synced 2026-01-31 01:25:19 +01:00
Summary: Implements a new target features section in assembly and object files that records what features are used, required, and disallowed in WebAssembly objects. The linker uses this information to ensure that all objects participating in a link are feature-compatible and records the set of used features in the output binary for use by optimizers and other tools later in the toolchain. The "atomics" feature is always required or disallowed to prevent linking code with stripped atomics into multithreaded binaries. Other features are marked used if they are enabled globally or on any function in a module. Future CLs will add linker flags for ignoring feature compatibility checks and for specifying the set of allowed features, implement using the presence of the "atomics" feature to control the type of memory and segments in the linked binary, and add front-end flags for relaxing the linkage policy for atomics. Reviewers: aheejin, sbc100, dschuff Subscribers: jgravelle-google, hiraditya, sunfish, mgrang, jfb, jdoerfert, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D59173 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356610 91177308-0d34-0410-b5e6-96231b3b80d8
386 lines
13 KiB
C++
386 lines
13 KiB
C++
//===------ utils/wasm2yaml.cpp - obj2yaml conversion tool ------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "obj2yaml.h"
|
|
#include "llvm/Object/COFF.h"
|
|
#include "llvm/ObjectYAML/WasmYAML.h"
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
#include "llvm/Support/YAMLTraits.h"
|
|
|
|
using namespace llvm;
|
|
using object::WasmSection;
|
|
|
|
namespace {
|
|
|
|
class WasmDumper {
|
|
const object::WasmObjectFile &Obj;
|
|
|
|
public:
|
|
WasmDumper(const object::WasmObjectFile &O) : Obj(O) {}
|
|
|
|
ErrorOr<WasmYAML::Object *> dump();
|
|
|
|
std::unique_ptr<WasmYAML::CustomSection>
|
|
dumpCustomSection(const WasmSection &WasmSec);
|
|
};
|
|
|
|
} // namespace
|
|
|
|
static WasmYAML::Table makeTable(const wasm::WasmTable &Table) {
|
|
WasmYAML::Table T;
|
|
T.ElemType = Table.ElemType;
|
|
T.TableLimits.Flags = Table.Limits.Flags;
|
|
T.TableLimits.Initial = Table.Limits.Initial;
|
|
T.TableLimits.Maximum = Table.Limits.Maximum;
|
|
return T;
|
|
}
|
|
|
|
static WasmYAML::Limits makeLimits(const wasm::WasmLimits &Limits) {
|
|
WasmYAML::Limits L;
|
|
L.Flags = Limits.Flags;
|
|
L.Initial = Limits.Initial;
|
|
L.Maximum = Limits.Maximum;
|
|
return L;
|
|
}
|
|
|
|
std::unique_ptr<WasmYAML::CustomSection>
|
|
WasmDumper::dumpCustomSection(const WasmSection &WasmSec) {
|
|
std::unique_ptr<WasmYAML::CustomSection> CustomSec;
|
|
if (WasmSec.Name == "dylink") {
|
|
std::unique_ptr<WasmYAML::DylinkSection> DylinkSec =
|
|
make_unique<WasmYAML::DylinkSection>();
|
|
const wasm::WasmDylinkInfo& Info = Obj.dylinkInfo();
|
|
DylinkSec->MemorySize = Info.MemorySize;
|
|
DylinkSec->MemoryAlignment = Info.MemoryAlignment;
|
|
DylinkSec->TableSize = Info.TableSize;
|
|
DylinkSec->TableAlignment = Info.TableAlignment;
|
|
DylinkSec->Needed = Info.Needed;
|
|
CustomSec = std::move(DylinkSec);
|
|
} else if (WasmSec.Name == "name") {
|
|
std::unique_ptr<WasmYAML::NameSection> NameSec =
|
|
make_unique<WasmYAML::NameSection>();
|
|
for (const llvm::wasm::WasmFunctionName &Func : Obj.debugNames()) {
|
|
WasmYAML::NameEntry NameEntry;
|
|
NameEntry.Name = Func.Name;
|
|
NameEntry.Index = Func.Index;
|
|
NameSec->FunctionNames.push_back(NameEntry);
|
|
}
|
|
CustomSec = std::move(NameSec);
|
|
} else if (WasmSec.Name == "linking") {
|
|
std::unique_ptr<WasmYAML::LinkingSection> LinkingSec =
|
|
make_unique<WasmYAML::LinkingSection>();
|
|
LinkingSec->Version = Obj.linkingData().Version;
|
|
|
|
ArrayRef<StringRef> Comdats = Obj.linkingData().Comdats;
|
|
for (StringRef ComdatName : Comdats)
|
|
LinkingSec->Comdats.emplace_back(WasmYAML::Comdat{ComdatName, {}});
|
|
for (auto &Func : Obj.functions()) {
|
|
if (Func.Comdat != UINT32_MAX) {
|
|
LinkingSec->Comdats[Func.Comdat].Entries.emplace_back(
|
|
WasmYAML::ComdatEntry{wasm::WASM_COMDAT_FUNCTION, Func.Index});
|
|
}
|
|
}
|
|
|
|
uint32_t SegmentIndex = 0;
|
|
for (const object::WasmSegment &Segment : Obj.dataSegments()) {
|
|
if (!Segment.Data.Name.empty()) {
|
|
WasmYAML::SegmentInfo SegmentInfo;
|
|
SegmentInfo.Name = Segment.Data.Name;
|
|
SegmentInfo.Index = SegmentIndex;
|
|
SegmentInfo.Alignment = Segment.Data.Alignment;
|
|
SegmentInfo.Flags = Segment.Data.LinkerFlags;
|
|
LinkingSec->SegmentInfos.push_back(SegmentInfo);
|
|
}
|
|
if (Segment.Data.Comdat != UINT32_MAX) {
|
|
LinkingSec->Comdats[Segment.Data.Comdat].Entries.emplace_back(
|
|
WasmYAML::ComdatEntry{wasm::WASM_COMDAT_DATA, SegmentIndex});
|
|
}
|
|
SegmentIndex++;
|
|
}
|
|
|
|
uint32_t SymbolIndex = 0;
|
|
for (const wasm::WasmSymbolInfo &Symbol : Obj.linkingData().SymbolTable) {
|
|
WasmYAML::SymbolInfo Info;
|
|
Info.Index = SymbolIndex++;
|
|
Info.Kind = static_cast<uint32_t>(Symbol.Kind);
|
|
Info.Name = Symbol.Name;
|
|
Info.Flags = Symbol.Flags;
|
|
switch (Symbol.Kind) {
|
|
case wasm::WASM_SYMBOL_TYPE_DATA:
|
|
Info.DataRef = Symbol.DataRef;
|
|
break;
|
|
case wasm::WASM_SYMBOL_TYPE_FUNCTION:
|
|
case wasm::WASM_SYMBOL_TYPE_GLOBAL:
|
|
case wasm::WASM_SYMBOL_TYPE_EVENT:
|
|
Info.ElementIndex = Symbol.ElementIndex;
|
|
break;
|
|
case wasm::WASM_SYMBOL_TYPE_SECTION:
|
|
Info.ElementIndex = Symbol.ElementIndex;
|
|
break;
|
|
}
|
|
LinkingSec->SymbolTable.emplace_back(Info);
|
|
}
|
|
|
|
for (const wasm::WasmInitFunc &Func : Obj.linkingData().InitFunctions) {
|
|
WasmYAML::InitFunction F{Func.Priority, Func.Symbol};
|
|
LinkingSec->InitFunctions.emplace_back(F);
|
|
}
|
|
|
|
CustomSec = std::move(LinkingSec);
|
|
} else if (WasmSec.Name == "producers") {
|
|
std::unique_ptr<WasmYAML::ProducersSection> ProducersSec =
|
|
make_unique<WasmYAML::ProducersSection>();
|
|
const llvm::wasm::WasmProducerInfo &Info = Obj.getProducerInfo();
|
|
for (auto &E : Info.Languages) {
|
|
WasmYAML::ProducerEntry Producer;
|
|
Producer.Name = E.first;
|
|
Producer.Version = E.second;
|
|
ProducersSec->Languages.push_back(Producer);
|
|
}
|
|
for (auto &E : Info.Tools) {
|
|
WasmYAML::ProducerEntry Producer;
|
|
Producer.Name = E.first;
|
|
Producer.Version = E.second;
|
|
ProducersSec->Tools.push_back(Producer);
|
|
}
|
|
for (auto &E : Info.SDKs) {
|
|
WasmYAML::ProducerEntry Producer;
|
|
Producer.Name = E.first;
|
|
Producer.Version = E.second;
|
|
ProducersSec->SDKs.push_back(Producer);
|
|
}
|
|
CustomSec = std::move(ProducersSec);
|
|
} else if (WasmSec.Name == "target_features") {
|
|
std::unique_ptr<WasmYAML::TargetFeaturesSection> TargetFeaturesSec =
|
|
make_unique<WasmYAML::TargetFeaturesSection>();
|
|
for (auto &E : Obj.getTargetFeatures()) {
|
|
WasmYAML::FeatureEntry Feature;
|
|
Feature.Prefix = E.Prefix;
|
|
Feature.Name = E.Name;
|
|
TargetFeaturesSec->Features.push_back(Feature);
|
|
}
|
|
CustomSec = std::move(TargetFeaturesSec);
|
|
} else {
|
|
CustomSec = make_unique<WasmYAML::CustomSection>(WasmSec.Name);
|
|
}
|
|
CustomSec->Payload = yaml::BinaryRef(WasmSec.Content);
|
|
return CustomSec;
|
|
}
|
|
|
|
ErrorOr<WasmYAML::Object *> WasmDumper::dump() {
|
|
auto Y = make_unique<WasmYAML::Object>();
|
|
|
|
// Dump header
|
|
Y->Header.Version = Obj.getHeader().Version;
|
|
|
|
// Dump sections
|
|
for (const auto &Sec : Obj.sections()) {
|
|
const WasmSection &WasmSec = Obj.getWasmSection(Sec);
|
|
std::unique_ptr<WasmYAML::Section> S;
|
|
switch (WasmSec.Type) {
|
|
case wasm::WASM_SEC_CUSTOM: {
|
|
if (WasmSec.Name.startswith("reloc.")) {
|
|
// Relocations are attached the sections they apply to rather than
|
|
// being represented as a custom section in the YAML output.
|
|
continue;
|
|
}
|
|
S = dumpCustomSection(WasmSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_TYPE: {
|
|
auto TypeSec = make_unique<WasmYAML::TypeSection>();
|
|
uint32_t Index = 0;
|
|
for (const auto &FunctionSig : Obj.types()) {
|
|
WasmYAML::Signature Sig;
|
|
Sig.Index = Index++;
|
|
Sig.ReturnType = wasm::WASM_TYPE_NORESULT;
|
|
assert(FunctionSig.Returns.size() <= 1 &&
|
|
"Functions with multiple returns are not supported");
|
|
if (FunctionSig.Returns.size())
|
|
Sig.ReturnType = static_cast<uint32_t>(FunctionSig.Returns[0]);
|
|
for (const auto &ParamType : FunctionSig.Params)
|
|
Sig.ParamTypes.emplace_back(static_cast<uint32_t>(ParamType));
|
|
TypeSec->Signatures.push_back(Sig);
|
|
}
|
|
S = std::move(TypeSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_IMPORT: {
|
|
auto ImportSec = make_unique<WasmYAML::ImportSection>();
|
|
for (auto &Import : Obj.imports()) {
|
|
WasmYAML::Import Im;
|
|
Im.Module = Import.Module;
|
|
Im.Field = Import.Field;
|
|
Im.Kind = Import.Kind;
|
|
switch (Im.Kind) {
|
|
case wasm::WASM_EXTERNAL_FUNCTION:
|
|
Im.SigIndex = Import.SigIndex;
|
|
break;
|
|
case wasm::WASM_EXTERNAL_GLOBAL:
|
|
Im.GlobalImport.Type = Import.Global.Type;
|
|
Im.GlobalImport.Mutable = Import.Global.Mutable;
|
|
break;
|
|
case wasm::WASM_EXTERNAL_EVENT:
|
|
Im.EventImport.Attribute = Import.Event.Attribute;
|
|
Im.EventImport.SigIndex = Import.Event.SigIndex;
|
|
break;
|
|
case wasm::WASM_EXTERNAL_TABLE:
|
|
Im.TableImport = makeTable(Import.Table);
|
|
break;
|
|
case wasm::WASM_EXTERNAL_MEMORY:
|
|
Im.Memory = makeLimits(Import.Memory);
|
|
break;
|
|
}
|
|
ImportSec->Imports.push_back(Im);
|
|
}
|
|
S = std::move(ImportSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_FUNCTION: {
|
|
auto FuncSec = make_unique<WasmYAML::FunctionSection>();
|
|
for (const auto &Func : Obj.functionTypes()) {
|
|
FuncSec->FunctionTypes.push_back(Func);
|
|
}
|
|
S = std::move(FuncSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_TABLE: {
|
|
auto TableSec = make_unique<WasmYAML::TableSection>();
|
|
for (const wasm::WasmTable &Table : Obj.tables()) {
|
|
TableSec->Tables.push_back(makeTable(Table));
|
|
}
|
|
S = std::move(TableSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_MEMORY: {
|
|
auto MemorySec = make_unique<WasmYAML::MemorySection>();
|
|
for (const wasm::WasmLimits &Memory : Obj.memories()) {
|
|
MemorySec->Memories.push_back(makeLimits(Memory));
|
|
}
|
|
S = std::move(MemorySec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_GLOBAL: {
|
|
auto GlobalSec = make_unique<WasmYAML::GlobalSection>();
|
|
for (auto &Global : Obj.globals()) {
|
|
WasmYAML::Global G;
|
|
G.Index = Global.Index;
|
|
G.Type = Global.Type.Type;
|
|
G.Mutable = Global.Type.Mutable;
|
|
G.InitExpr = Global.InitExpr;
|
|
GlobalSec->Globals.push_back(G);
|
|
}
|
|
S = std::move(GlobalSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_EVENT: {
|
|
auto EventSec = make_unique<WasmYAML::EventSection>();
|
|
for (auto &Event : Obj.events()) {
|
|
WasmYAML::Event E;
|
|
E.Index = Event.Index;
|
|
E.Attribute = Event.Type.Attribute;
|
|
E.SigIndex = Event.Type.SigIndex;
|
|
EventSec->Events.push_back(E);
|
|
}
|
|
S = std::move(EventSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_START: {
|
|
auto StartSec = make_unique<WasmYAML::StartSection>();
|
|
StartSec->StartFunction = Obj.startFunction();
|
|
S = std::move(StartSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_EXPORT: {
|
|
auto ExportSec = make_unique<WasmYAML::ExportSection>();
|
|
for (auto &Export : Obj.exports()) {
|
|
WasmYAML::Export Ex;
|
|
Ex.Name = Export.Name;
|
|
Ex.Kind = Export.Kind;
|
|
Ex.Index = Export.Index;
|
|
ExportSec->Exports.push_back(Ex);
|
|
}
|
|
S = std::move(ExportSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_ELEM: {
|
|
auto ElemSec = make_unique<WasmYAML::ElemSection>();
|
|
for (auto &Segment : Obj.elements()) {
|
|
WasmYAML::ElemSegment Seg;
|
|
Seg.TableIndex = Segment.TableIndex;
|
|
Seg.Offset = Segment.Offset;
|
|
for (auto &Func : Segment.Functions) {
|
|
Seg.Functions.push_back(Func);
|
|
}
|
|
ElemSec->Segments.push_back(Seg);
|
|
}
|
|
S = std::move(ElemSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_CODE: {
|
|
auto CodeSec = make_unique<WasmYAML::CodeSection>();
|
|
for (auto &Func : Obj.functions()) {
|
|
WasmYAML::Function Function;
|
|
Function.Index = Func.Index;
|
|
for (auto &Local : Func.Locals) {
|
|
WasmYAML::LocalDecl LocalDecl;
|
|
LocalDecl.Type = Local.Type;
|
|
LocalDecl.Count = Local.Count;
|
|
Function.Locals.push_back(LocalDecl);
|
|
}
|
|
Function.Body = yaml::BinaryRef(Func.Body);
|
|
CodeSec->Functions.push_back(Function);
|
|
}
|
|
S = std::move(CodeSec);
|
|
break;
|
|
}
|
|
case wasm::WASM_SEC_DATA: {
|
|
auto DataSec = make_unique<WasmYAML::DataSection>();
|
|
for (const object::WasmSegment &Segment : Obj.dataSegments()) {
|
|
WasmYAML::DataSegment Seg;
|
|
Seg.SectionOffset = Segment.SectionOffset;
|
|
Seg.InitFlags = Segment.Data.InitFlags;
|
|
Seg.MemoryIndex = Segment.Data.MemoryIndex;
|
|
Seg.Offset = Segment.Data.Offset;
|
|
Seg.Content = yaml::BinaryRef(Segment.Data.Content);
|
|
DataSec->Segments.push_back(Seg);
|
|
}
|
|
S = std::move(DataSec);
|
|
break;
|
|
}
|
|
default:
|
|
llvm_unreachable("Unknown section type");
|
|
break;
|
|
}
|
|
for (const wasm::WasmRelocation &Reloc : WasmSec.Relocations) {
|
|
WasmYAML::Relocation R;
|
|
R.Type = Reloc.Type;
|
|
R.Index = Reloc.Index;
|
|
R.Offset = Reloc.Offset;
|
|
R.Addend = Reloc.Addend;
|
|
S->Relocations.push_back(R);
|
|
}
|
|
Y->Sections.push_back(std::move(S));
|
|
}
|
|
|
|
return Y.release();
|
|
}
|
|
|
|
std::error_code wasm2yaml(raw_ostream &Out, const object::WasmObjectFile &Obj) {
|
|
WasmDumper Dumper(Obj);
|
|
ErrorOr<WasmYAML::Object *> YAMLOrErr = Dumper.dump();
|
|
if (std::error_code EC = YAMLOrErr.getError())
|
|
return EC;
|
|
|
|
std::unique_ptr<WasmYAML::Object> YAML(YAMLOrErr.get());
|
|
yaml::Output Yout(Out);
|
|
Yout << *YAML;
|
|
|
|
return std::error_code();
|
|
}
|