WasmInitExpr Offset;
ArrayRef<uint8_t> Content;
StringRef Name;
+ uint32_t Alignment;
+ uint32_t Flags;
};
struct WasmElemSegment {
struct WasmLinkingData {
uint32_t DataSize;
- uint32_t DataAlignment;
};
enum : unsigned {
WASM_SYMBOL_INFO = 0x2,
WASM_DATA_SIZE = 0x3,
WASM_DATA_ALIGNMENT = 0x4,
- WASM_SEGMENT_NAMES = 0x5,
+ WASM_SEGMENT_INFO = 0x5,
};
const unsigned WASM_SYMBOL_BINDING_MASK = 0x3;
StringRef Name;
};
+struct SegmentInfo {
+ uint32_t Index;
+ StringRef Name;
+ uint32_t Alignment;
+ uint32_t Flags;
+};
+
struct Signature {
uint32_t Index;
SignatureForm Form = wasm::WASM_TYPE_FUNC;
}
uint32_t DataSize;
- uint32_t DataAlignment;
std::vector<SymbolInfo> SymbolInfos;
- std::vector<NameEntry> SegmentNames;
+ std::vector<SegmentInfo> SegmentInfos;
};
struct TypeSection : Section {
LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::WasmYAML::LocalDecl)
LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::WasmYAML::Relocation)
LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::WasmYAML::NameEntry)
+LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::WasmYAML::SegmentInfo)
LLVM_YAML_IS_SEQUENCE_VECTOR(llvm::WasmYAML::SymbolInfo)
namespace llvm {
static void mapping(IO &IO, WasmYAML::NameEntry &NameEntry);
};
+template <> struct MappingTraits<WasmYAML::SegmentInfo> {
+ static void mapping(IO &IO, WasmYAML::SegmentInfo &SegmentInfo);
+};
+
template <> struct MappingTraits<WasmYAML::LocalDecl> {
static void mapping(IO &IO, WasmYAML::LocalDecl &LocalDecl);
};
MCSectionWasm *Section;
StringRef Name;
uint32_t Offset;
+ uint32_t Alignment;
+ uint32_t Flags;
SmallVector<char, 4> Data;
};
void writeDataRelocSection();
void writeLinkingMetaDataSection(
ArrayRef<WasmDataSegment> Segments, uint32_t DataSize,
- uint32_t DataAlignment,
SmallVector<std::pair<StringRef, uint32_t>, 4> SymbolFlags,
bool HasStackPointer, uint32_t StackPointerGlobal);
}
static void addData(SmallVectorImpl<char> &DataBytes,
- MCSectionWasm &DataSection, uint32_t &DataAlignment) {
- DataBytes.resize(alignTo(DataBytes.size(), DataSection.getAlignment()));
- DataAlignment = std::max(DataAlignment, DataSection.getAlignment());
+ MCSectionWasm &DataSection) {
DEBUG(errs() << "addData: " << DataSection.getSectionName() << "\n");
+ DataBytes.resize(alignTo(DataBytes.size(), DataSection.getAlignment()));
+
for (const MCFragment &Frag : DataSection) {
if (Frag.hasInstructions())
report_fatal_error("only data supported in data sections");
void WasmObjectWriter::writeLinkingMetaDataSection(
ArrayRef<WasmDataSegment> Segments, uint32_t DataSize,
- uint32_t DataAlignment,
SmallVector<std::pair<StringRef, uint32_t>, 4> SymbolFlags,
bool HasStackPointer, uint32_t StackPointerGlobal) {
SectionBookkeeping Section;
startSection(SubSection, wasm::WASM_DATA_SIZE);
encodeULEB128(DataSize, getStream());
endSection(SubSection);
-
- startSection(SubSection, wasm::WASM_DATA_ALIGNMENT);
- encodeULEB128(DataAlignment, getStream());
- endSection(SubSection);
}
if (Segments.size()) {
- startSection(SubSection, wasm::WASM_SEGMENT_NAMES);
+ startSection(SubSection, wasm::WASM_SEGMENT_INFO);
encodeULEB128(Segments.size(), getStream());
- for (const WasmDataSegment &Segment : Segments)
+ for (const WasmDataSegment &Segment : Segments) {
writeString(Segment.Name);
+ encodeULEB128(Segment.Alignment, getStream());
+ encodeULEB128(Segment.Flags, getStream());
+ }
endSection(SubSection);
}
SmallPtrSet<const MCSymbolWasm *, 4> IsAddressTaken;
unsigned NumFuncImports = 0;
SmallVector<WasmDataSegment, 4> DataSegments;
- uint32_t DataAlignment = 1;
uint32_t StackPointerGlobal = 0;
uint32_t DataSize = 0;
bool HasStackPointer = false;
Segment.Name = Section.getSectionName();
Segment.Offset = DataSize;
Segment.Section = &Section;
- addData(Segment.Data, Section, DataAlignment);
+ addData(Segment.Data, Section);
+ Segment.Alignment = Section.getAlignment();
+ Segment.Flags = 0;
DataSize += Segment.Data.size();
Section.setMemoryOffset(Segment.Offset);
}
writeNameSection(Functions, Imports, NumFuncImports);
writeCodeRelocSection();
writeDataRelocSection();
- writeLinkingMetaDataSection(DataSegments, DataSize, DataAlignment,
- SymbolFlags, HasStackPointer, StackPointerGlobal);
+ writeLinkingMetaDataSection(DataSegments, DataSize, SymbolFlags,
+ HasStackPointer, StackPointerGlobal);
// TODO: Translate the .comment section to the output.
// TODO: Translate debug sections to the output.
WasmObjectFile::WasmObjectFile(MemoryBufferRef Buffer, Error &Err)
: ObjectFile(Binary::ID_Wasm, Buffer) {
- LinkingData.DataAlignment = 0;
LinkingData.DataSize = 0;
ErrorAsOutParameter ErrAsOutParam(&Err);
case wasm::WASM_DATA_SIZE:
LinkingData.DataSize = readVaruint32(Ptr);
break;
- case wasm::WASM_DATA_ALIGNMENT:
- LinkingData.DataAlignment = readVaruint32(Ptr);
- break;
- case wasm::WASM_SEGMENT_NAMES: {
+ case wasm::WASM_SEGMENT_INFO: {
uint32_t Count = readVaruint32(Ptr);
if (Count > DataSegments.size())
return make_error<GenericBinaryError>("Too many segment names",
object_error::parse_failed);
- for (uint32_t i = 0; i < Count; i++)
+ for (uint32_t i = 0; i < Count; i++) {
DataSegments[i].Data.Name = readString(Ptr);
+ DataSegments[i].Data.Alignment = readVaruint32(Ptr);
+ DataSegments[i].Data.Flags = readVaruint32(Ptr);
+ }
break;
}
case wasm::WASM_STACK_POINTER:
return Err;
uint32_t Size = readVaruint32(Ptr);
Segment.Data.Content = ArrayRef<uint8_t>(Ptr, Size);
+ Segment.Data.Alignment = 0;
+ Segment.Data.Flags = 0;
Segment.SectionOffset = Ptr - Start;
Ptr += Size;
DataSegments.push_back(Segment);
commonSectionMapping(IO, Section);
IO.mapRequired("Name", Section.Name);
IO.mapRequired("DataSize", Section.DataSize);
- IO.mapRequired("DataAlignment", Section.DataAlignment);
IO.mapOptional("SymbolInfo", Section.SymbolInfos);
- IO.mapOptional("SegmentNames", Section.SegmentNames);
+ IO.mapOptional("SegmentInfo", Section.SegmentInfos);
}
static void sectionMapping(IO &IO, WasmYAML::CustomSection &Section) {
IO.mapRequired("Name", NameEntry.Name);
}
+void MappingTraits<WasmYAML::SegmentInfo>::mapping(
+ IO &IO, WasmYAML::SegmentInfo &SegmentInfo) {
+ IO.mapRequired("Index", SegmentInfo.Index);
+ IO.mapRequired("Name", SegmentInfo.Name);
+ IO.mapRequired("Alignment", SegmentInfo.Alignment);
+ IO.mapRequired("Flags", SegmentInfo.Flags);
+}
+
void MappingTraits<WasmYAML::LocalDecl>::mapping(
IO &IO, WasmYAML::LocalDecl &LocalDecl) {
IO.mapRequired("Type", LocalDecl.Type);
; CHECK: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 2
-; CHECK-NEXT: DataAlignment: 1
-; CHECK-NEXT: SegmentNames:
+; CHECK-NEXT: SegmentInfo:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: .data
+; CHECK-NEXT: Alignment: 1
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: ...
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 4
-; CHECK-NEXT: DataAlignment: 4
-; CHECK-NEXT: SegmentNames:
+; CHECK-NEXT: SegmentInfo:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: .bss.g0
+; CHECK-NEXT: Alignment: 4
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: ...
; CHECK: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 28
-; CHECK-NEXT: DataAlignment: 8
-; CHECK-NEXT: SegmentNames:
+; CHECK-NEXT: SegmentInfo:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: .data.global0
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: .sec1
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: .sec2
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: ...
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 28
-; CHECK-NEXT: DataAlignment: 8
; CHECK-NEXT: SymbolInfo:
; CHECK-NEXT: - Name: .L.str1
; CHECK-NEXT: Flags: 2
; CHECK-NEXT: - Name: .L.str2
; CHECK-NEXT: Flags: 2
-; CHECK-NEXT: SegmentNames:
+; CHECK-NEXT: SegmentInfo:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: .rodata..L.str1
+; CHECK-NEXT: Alignment: 1
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: .rodata..L.str2
+; CHECK-NEXT: Alignment: 1
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 2
; CHECK-NEXT: Name: .data.a
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 3
; CHECK-NEXT: Name: .data.b
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK_NEXT: ...
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 12
-; CHECK-NEXT: DataAlignment: 8
; CHECK-NEXT: SymbolInfo:
; CHECK-NEXT: - Name: foo_alias
; CHECK-NEXT: Flags: 1
; CHECK-NEXT: - Name: bar_alias
; CHECK-NEXT: Flags: 1
-; CHECK-NEXT: SegmentNames:
+; CHECK-NEXT: SegmentInfo:
; CHECK-NEXT: - Index: 0
; CHECK-NEXT: Name: .data.bar
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: - Index: 1
; CHECK-NEXT: Name: .data.bar_alias_address
+; CHECK-NEXT: Alignment: 8
+; CHECK-NEXT: Flags: 0
; CHECK-NEXT: ...
; CHECK-SYMS: SYMBOL TABLE:
; CHECK-NEXT: - Type: CUSTOM
; CHECK-NEXT: Name: linking
; CHECK-NEXT: DataSize: 0
-; CHECK-NEXT: DataAlignment: 0
; CHECK-NEXT: SymbolInfo:
; CHECK-NEXT: - Name: weak_external_data
; CHECK-NEXT: Flags: 1
- Type: CUSTOM
Name: linking
DataSize: 10
- DataAlignment: 2
SymbolInfo:
- Name: function_export
Flags: 1
# CHECK: - Type: CUSTOM
# CHECK: Name: linking
# CHECK: DataSize: 10
-# CHECK: DataAlignment: 2
# CHECK: SymbolInfo:
# CHECK: - Name: function_export
# CHECK: Flags: 1
- Type: CUSTOM
Name: "linking"
DataSize: 0
- DataAlignment: 0
# CHECK: 00000400 D bar
# CHECK-NEXT: U fimport
- Type: CUSTOM
Name: "linking"
DataSize: 0
- DataAlignment: 0
# CHECK: U bar
# CHECK: U foo
- Type: CUSTOM
Name: linking
DataSize: 0
- DataAlignment: 2
SymbolInfo:
- Name: weak_global_func
Flags: 1
WASM-NEXT: Offset: 257
WASM-NEXT: Name: linking
WASM-NEXT: DataSize: 13
-WASM-NEXT: DataAlignment: 1
WASM-NEXT: }
WASM-NEXT: ]
if (WasmSec.Name == "linking") {
const wasm::WasmLinkingData &LinkingData = Obj->linkingData();
W.printNumber("DataSize", LinkingData.DataSize);
- if (LinkingData.DataAlignment)
- W.printNumber("DataAlignment", LinkingData.DataAlignment);
}
break;
case wasm::WASM_SEC_DATA: {
size_t Index = 0;
for (const object::WasmSegment &Segment : Obj.dataSegments()) {
if (!Segment.Data.Name.empty()) {
- WasmYAML::NameEntry NameEntry;
- NameEntry.Name = Segment.Data.Name;
- NameEntry.Index = Index;
- LinkingSec->SegmentNames.push_back(NameEntry);
+ WasmYAML::SegmentInfo SegmentInfo;
+ SegmentInfo.Name = Segment.Data.Name;
+ SegmentInfo.Index = Index;
+ SegmentInfo.Alignment = Segment.Data.Alignment;
+ SegmentInfo.Flags = Segment.Data.Flags;
+ LinkingSec->SegmentInfos.push_back(SegmentInfo);
}
Index++;
}
}
}
LinkingSec->DataSize = Obj.linkingData().DataSize;
- LinkingSec->DataAlignment = Obj.linkingData().DataAlignment;
CustomSec = std::move(LinkingSec);
} else {
CustomSec = make_unique<WasmYAML::CustomSection>(WasmSec.Name);
encodeULEB128(Section.DataSize, SubSection.GetStream());
SubSection.Done();
- // DATA_ALIGNMENT subsection
- encodeULEB128(wasm::WASM_DATA_ALIGNMENT, OS);
- encodeULEB128(Section.DataAlignment, SubSection.GetStream());
- SubSection.Done();
-
// SYMBOL_INFO subsection
if (Section.SymbolInfos.size()) {
encodeULEB128(wasm::WASM_SYMBOL_INFO, OS);
}
// SEGMENT_NAMES subsection
- if (Section.SegmentNames.size()) {
- encodeULEB128(wasm::WASM_SEGMENT_NAMES, OS);
- encodeULEB128(Section.SegmentNames.size(), SubSection.GetStream());
- for (const WasmYAML::NameEntry &NameEntry : Section.SegmentNames) {
- encodeULEB128(NameEntry.Index, SubSection.GetStream());
- writeStringRef(NameEntry.Name, SubSection.GetStream());
+ if (Section.SegmentInfos.size()) {
+ encodeULEB128(wasm::WASM_SEGMENT_INFO, OS);
+ encodeULEB128(Section.SegmentInfos.size(), SubSection.GetStream());
+ for (const WasmYAML::SegmentInfo &SegmentInfo : Section.SegmentInfos) {
+ encodeULEB128(SegmentInfo.Index, SubSection.GetStream());
+ writeStringRef(SegmentInfo.Name, SubSection.GetStream());
+ encodeULEB128(SegmentInfo.Alignment, SubSection.GetStream());
+ encodeULEB128(SegmentInfo.Flags, SubSection.GetStream());
}
SubSection.Done();
}