Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions llvm/include/llvm-c/Object.h
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,7 @@ typedef enum {
LLVMBinaryTypeMachO64B, /**< MachO 64-bit, big endian. */
LLVMBinaryTypeWasm, /**< Web Assembly. */
LLVMBinaryTypeOffload, /**< Offloading fatbinary. */
LLVMBinaryTypeDXcontainer, /**< DirectX Binary Container. */

} LLVMBinaryType;

Expand Down
3 changes: 3 additions & 0 deletions llvm/include/llvm/Object/Binary.h
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,7 @@ class LLVM_ABI Binary {

ID_GOFF,
ID_Wasm,
ID_DXContainer,

ID_EndObjects
};
Expand Down Expand Up @@ -161,6 +162,8 @@ class LLVM_ABI Binary {

bool isWinRes() const { return TypeID == ID_WinRes; }

bool isDXContainer() const { return TypeID == ID_DXContainer; }

Triple::ObjectFormatType getTripleObjectFormat() const {
if (isCOFF())
return Triple::COFF;
Expand Down
81 changes: 81 additions & 0 deletions llvm/include/llvm/Object/DXContainer.h
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@
#include "llvm/ADT/Twine.h"
#include "llvm/BinaryFormat/DXContainer.h"
#include "llvm/Object/Error.h"
#include "llvm/Object/ObjectFile.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/Endian.h"
#include "llvm/Support/Error.h"
Expand Down Expand Up @@ -499,6 +500,7 @@ class DXContainer {
} IteratorState;

friend class DXContainer;
friend class DXContainerObjectFile;

PartIterator(const DXContainer &C,
SmallVectorImpl<uint32_t>::const_iterator It)
Expand Down Expand Up @@ -584,6 +586,85 @@ class DXContainer {
}
};

class DXContainerObjectFile : public ObjectFile {
private:
friend class ObjectFile;
DXContainer Container;

using PartData = DXContainer::PartIterator::PartData;
llvm::SmallVector<PartData> Parts;
using PartIterator = llvm::SmallVector<PartData>::iterator;

DXContainerObjectFile(DXContainer C)
: ObjectFile(ID_DXContainer, MemoryBufferRef(C.getData(), "")),
Container(C) {
for (auto &P : C)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

const & surely? Also, it's far from obvious what the type of Pis from this immediate code, so auto is inappropriate, in my mind.

Parts.push_back(P);
}

public:
static bool classof(const Binary *v) { return v->isDXContainer(); }

Expected<StringRef> getSymbolName(DataRefImpl) const override { return ""; }
Expected<uint64_t> getSymbolAddress(DataRefImpl Symb) const override;
uint64_t getSymbolValueImpl(DataRefImpl Symb) const override { return 0; }
uint64_t getCommonSymbolSizeImpl(DataRefImpl Symb) const override {
return 0;
}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These can probably be replaced with llvm_unreachable("DXContainer does not have symbols") or something like that. Similarly for getSymbolFlags and moveSymbolNext below - they should never actually be called since the symbol iterator is an empty list.

Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override {
return SymbolRef::Type::ST_Unknown;
}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can getSymbolName and getSymbolType return errors like the other symbol-related Expected<T> functions here? Alternatively, the specific symbol APIs could probably all be made llvm_unreachable() as in my other suggestion, as I don't think they should be dynamically reachable.


Expected<section_iterator> getSymbolSection(DataRefImpl Symb) const override;
void moveSectionNext(DataRefImpl &Sec) const override;
Expected<StringRef> getSectionName(DataRefImpl Sec) const override;
uint64_t getSectionAddress(DataRefImpl Sec) const override;
uint64_t getSectionIndex(DataRefImpl Sec) const override;
uint64_t getSectionSize(DataRefImpl Sec) const override;
Expected<ArrayRef<uint8_t>>
getSectionContents(DataRefImpl Sec) const override;

uint64_t getSectionAlignment(DataRefImpl Sec) const override;
bool isSectionCompressed(DataRefImpl Sec) const override;
bool isSectionText(DataRefImpl Sec) const override;
bool isSectionData(DataRefImpl Sec) const override;
bool isSectionBSS(DataRefImpl Sec) const override;
bool isSectionVirtual(DataRefImpl Sec) const override;

relocation_iterator section_rel_begin(DataRefImpl Sec) const override;
relocation_iterator section_rel_end(DataRefImpl Sec) const override;

void moveRelocationNext(DataRefImpl &Rel) const override;
uint64_t getRelocationOffset(DataRefImpl Rel) const override;
symbol_iterator getRelocationSymbol(DataRefImpl Rel) const override;
uint64_t getRelocationType(DataRefImpl Rel) const override;
void getRelocationTypeName(DataRefImpl Rel,
SmallVectorImpl<char> &Result) const override;

section_iterator section_begin() const override;
section_iterator section_end() const override;

uint8_t getBytesInAddress() const override;
StringRef getFileFormatName() const override;
Triple::ArchType getArch() const override;
Expected<SubtargetFeatures> getFeatures() const override;

void moveSymbolNext(DataRefImpl &Symb) const override {}
Error printSymbolName(raw_ostream &OS, DataRefImpl Symb) const override;
Expected<uint32_t> getSymbolFlags(DataRefImpl Symb) const override {
return 0;
}
basic_symbol_iterator symbol_begin() const override {
return basic_symbol_iterator(SymbolRef());
}
basic_symbol_iterator symbol_end() const override {
return basic_symbol_iterator(SymbolRef());
}
bool is64Bit() const override { return 0; }
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
bool is64Bit() const override { return 0; }
bool is64Bit() const override { return false; }


bool isRelocatableObject() const override { return false; }
};

} // namespace object
} // namespace llvm

Expand Down
4 changes: 4 additions & 0 deletions llvm/include/llvm/Object/ObjectFile.h
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,7 @@ class SectionRef;
class SymbolRef;
class symbol_iterator;
class WasmObjectFile;
class DXContainerObjectFile;

using section_iterator = content_iterator<SectionRef>;

Expand Down Expand Up @@ -401,6 +402,9 @@ class LLVM_ABI ObjectFile : public SymbolicFile {

static Expected<std::unique_ptr<WasmObjectFile>>
createWasmObjectFile(MemoryBufferRef Object);

static Expected<std::unique_ptr<DXContainerObjectFile>>
createDXContainerObjectFile(MemoryBufferRef Object);
};

/// A filtered iterator for SectionRefs that skips sections based on some given
Expand Down
2 changes: 1 addition & 1 deletion llvm/lib/Object/Binary.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,7 @@ Expected<std::unique_ptr<Binary>> object::createBinary(MemoryBufferRef Buffer,
case file_magic::xcoff_object_32:
case file_magic::xcoff_object_64:
case file_magic::wasm_object:
case file_magic::dxcontainer_object:
return ObjectFile::createSymbolicFile(Buffer, Type, Context, InitContent);
case file_magic::macho_universal_binary:
return MachOUniversalBinary::create(Buffer);
Expand All @@ -87,7 +88,6 @@ Expected<std::unique_ptr<Binary>> object::createBinary(MemoryBufferRef Buffer,
case file_magic::clang_ast:
case file_magic::cuda_fatbinary:
case file_magic::coff_cl_gl_object:
case file_magic::dxcontainer_object:
case file_magic::offload_bundle:
case file_magic::offload_bundle_compressed:
case file_magic::spirv_object:
Expand Down
155 changes: 155 additions & 0 deletions llvm/lib/Object/DXContainer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@
#include "llvm/Object/Error.h"
#include "llvm/Support/Endian.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/TargetParser/SubtargetFeature.h"

using namespace llvm;
using namespace llvm::object;
Expand Down Expand Up @@ -515,3 +516,157 @@ uint8_t DirectX::PSVRuntimeInfo::getSigPatchOrPrimCount() const {
return P->SigPatchOrPrimElements;
return 0;
}

class DXNotSupportedError : public ErrorInfo<DXNotSupportedError> {
public:
static char ID;

DXNotSupportedError(StringRef S) : FeatureString(S) {}

void log(raw_ostream &OS) const override {
OS << "DXContainer does not support " << FeatureString;
}

std::error_code convertToErrorCode() const override {
return inconvertibleErrorCode();
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There's an errc::not_supported value, which seems more appropriate?

}

private:
StringRef FeatureString;
};

char DXNotSupportedError::ID = 0;

Expected<section_iterator>
DXContainerObjectFile::getSymbolSection(DataRefImpl Symb) const {
return make_error<DXNotSupportedError>("Symbol sections");
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These should all be lower-case 's' for "Symbol".

}

Expected<uint64_t>
DXContainerObjectFile::getSymbolAddress(DataRefImpl Symb) const {
return make_error<DXNotSupportedError>("Symbol addresses");
}

void DXContainerObjectFile::moveSectionNext(DataRefImpl &Sec) const {
PartIterator It = reinterpret_cast<PartIterator>(Sec.p);
if (It == Parts.end())
return;

It++;
Sec.p = reinterpret_cast<uintptr_t>(It);
}

Expected<StringRef>
DXContainerObjectFile::getSectionName(DataRefImpl Sec) const {
PartIterator It = reinterpret_cast<PartIterator>(Sec.p);
return StringRef(It->Part.getName());
}

uint64_t DXContainerObjectFile::getSectionAddress(DataRefImpl Sec) const {
PartIterator It = reinterpret_cast<PartIterator>(Sec.p);
return It->Offset;
}

uint64_t DXContainerObjectFile::getSectionIndex(DataRefImpl Sec) const {
return (Sec.p - reinterpret_cast<uintptr_t>(Parts.begin())) /
sizeof(PartIterator);
}

uint64_t DXContainerObjectFile::getSectionSize(DataRefImpl Sec) const {
PartIterator It = reinterpret_cast<PartIterator>(Sec.p);
return It->Data.size();
}
Expected<ArrayRef<uint8_t>>
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: blank line between functions.

DXContainerObjectFile::getSectionContents(DataRefImpl Sec) const {
PartIterator It = reinterpret_cast<PartIterator>(Sec.p);
return ArrayRef<uint8_t>(It->Data.bytes_begin(), It->Data.size());
}

uint64_t DXContainerObjectFile::getSectionAlignment(DataRefImpl Sec) const {
return 1;
}

bool DXContainerObjectFile::isSectionCompressed(DataRefImpl Sec) const {
return false;
}

bool DXContainerObjectFile::isSectionText(DataRefImpl Sec) const {
return false;
}

bool DXContainerObjectFile::isSectionData(DataRefImpl Sec) const {
return false;
}
Comment on lines +610 to +616
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't actually see where these APIs are used, but arguably the DXIL section could be text and the other sections data I think.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I really wasn't sure what to do about DXIL. I'm not sure if it should be Text or Bitcode (both are potentially reasonable). My gut is actually bitcode so we can create an IRObject from it to disassemble, but I'd like to defer that.

I suppose we could make everything else data sections. It isn't really what they traditionally mean by data because it isn't constant data referred to by the program.

These are mostly used during symbol dumping to denote what type of section a symbol points into. Are you okay pushing off any work on this into subsequent changes when we can figure out how to handle other features? Alternatively I could just make isSectionData return true for now and then everything is just data.


bool DXContainerObjectFile::isSectionBSS(DataRefImpl Sec) const {
return false;
}

bool DXContainerObjectFile::isSectionVirtual(DataRefImpl Sec) const {
return false;
}

relocation_iterator
DXContainerObjectFile::section_rel_begin(DataRefImpl Sec) const {
return relocation_iterator(RelocationRef());
}

relocation_iterator
DXContainerObjectFile::section_rel_end(DataRefImpl Sec) const {
return relocation_iterator(RelocationRef());
}

void DXContainerObjectFile::moveRelocationNext(DataRefImpl &Rel) const {}

uint64_t DXContainerObjectFile::getRelocationOffset(DataRefImpl Rel) const {
return 0;
}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Relocation APIs could probably also be unreachable.


symbol_iterator
DXContainerObjectFile::getRelocationSymbol(DataRefImpl Rel) const {
return symbol_iterator(SymbolRef());
}

uint64_t DXContainerObjectFile::getRelocationType(DataRefImpl Rel) const {
return 0;
}

void DXContainerObjectFile::getRelocationTypeName(
DataRefImpl Rel, SmallVectorImpl<char> &Result) const {}

section_iterator DXContainerObjectFile::section_begin() const {
DataRefImpl Sec;
Sec.p = reinterpret_cast<uintptr_t>(Parts.begin());
return section_iterator(SectionRef(Sec, this));
}
section_iterator DXContainerObjectFile::section_end() const {
DataRefImpl Sec;
Sec.p = reinterpret_cast<uintptr_t>(Parts.end());
return section_iterator(SectionRef(Sec, this));
}

uint8_t DXContainerObjectFile::getBytesInAddress() const { return 4; }

StringRef DXContainerObjectFile::getFileFormatName() const {
return "DirectX Container";
}

Triple::ArchType DXContainerObjectFile::getArch() const { return Triple::dxil; }

Expected<SubtargetFeatures> DXContainerObjectFile::getFeatures() const {
return SubtargetFeatures();
}

Error DXContainerObjectFile::printSymbolName(raw_ostream &OS,
DataRefImpl Symb) const {
return make_error<DXNotSupportedError>("Symbol names");
}

Expected<std::unique_ptr<DXContainerObjectFile>>
ObjectFile::createDXContainerObjectFile(MemoryBufferRef Object) {
auto ExC = DXContainer::create(Object);
if (!ExC)
return ExC.takeError();
std::unique_ptr<DXContainerObjectFile> Obj(new DXContainerObjectFile(*ExC));
return std::move(Obj);
}
2 changes: 2 additions & 0 deletions llvm/lib/Object/Object.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,8 @@ LLVMBinaryType LLVMBinaryGetType(LLVMBinaryRef BR) {
return LLVMBinaryTypeOffload;
case ID_Wasm:
return LLVMBinaryTypeWasm;
case ID_DXContainer:
return LLVMBinaryTypeDXcontainer;
case ID_StartObjects:
case ID_EndObjects:
llvm_unreachable("Marker types are not valid binary kinds!");
Expand Down
4 changes: 3 additions & 1 deletion llvm/lib/Object/ObjectFile.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
#include "llvm/BinaryFormat/Magic.h"
#include "llvm/Object/Binary.h"
#include "llvm/Object/COFF.h"
#include "llvm/Object/DXContainer.h"
#include "llvm/Object/Error.h"
#include "llvm/Object/MachO.h"
#include "llvm/Object/Wasm.h"
Expand Down Expand Up @@ -165,7 +166,6 @@ ObjectFile::createObjectFile(MemoryBufferRef Object, file_magic Type,
case file_magic::goff_object:
case file_magic::cuda_fatbinary:
case file_magic::offload_binary:
case file_magic::dxcontainer_object:
case file_magic::offload_bundle:
case file_magic::offload_bundle_compressed:
case file_magic::spirv_object:
Expand Down Expand Up @@ -201,6 +201,8 @@ ObjectFile::createObjectFile(MemoryBufferRef Object, file_magic Type,
return createXCOFFObjectFile(Object, Binary::ID_XCOFF64);
case file_magic::wasm_object:
return createWasmObjectFile(Object);
case file_magic::dxcontainer_object:
return createDXContainerObjectFile(Object);
}
llvm_unreachable("Unexpected Object File Type");
}
Expand Down
2 changes: 2 additions & 0 deletions llvm/lib/Object/SymbolicFile.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -68,6 +68,7 @@ SymbolicFile::createSymbolicFile(MemoryBufferRef Object, file_magic Type,
case file_magic::xcoff_object_32:
case file_magic::xcoff_object_64:
case file_magic::wasm_object:
case file_magic::dxcontainer_object:
return ObjectFile::createObjectFile(Object, Type, InitContent);
case file_magic::coff_import_library:
return std::unique_ptr<SymbolicFile>(new COFFImportFile(Object));
Expand Down Expand Up @@ -123,6 +124,7 @@ bool SymbolicFile::isSymbolicFile(file_magic Type, const LLVMContext *Context) {
case file_magic::elf_relocatable:
case file_magic::macho_object:
case file_magic::coff_object:
case file_magic::dxcontainer_object:
return true;
default:
return false;
Expand Down
Loading