191bc56edSDimitry Andric //===- IRObjectFile.cpp - IR object file implementation ---------*- C++ -*-===//
291bc56edSDimitry Andric //
391bc56edSDimitry Andric // The LLVM Compiler Infrastructure
491bc56edSDimitry Andric //
591bc56edSDimitry Andric // This file is distributed under the University of Illinois Open Source
691bc56edSDimitry Andric // License. See LICENSE.TXT for details.
791bc56edSDimitry Andric //
891bc56edSDimitry Andric //===----------------------------------------------------------------------===//
991bc56edSDimitry Andric //
1091bc56edSDimitry Andric // Part of the IRObjectFile class implementation.
1191bc56edSDimitry Andric //
1291bc56edSDimitry Andric //===----------------------------------------------------------------------===//
1391bc56edSDimitry Andric
1491bc56edSDimitry Andric #include "llvm/Object/IRObjectFile.h"
15ff0cc061SDimitry Andric #include "llvm/ADT/STLExtras.h"
16db17bf38SDimitry Andric #include "llvm/BinaryFormat/Magic.h"
17d88c1a5aSDimitry Andric #include "llvm/Bitcode/BitcodeReader.h"
1891bc56edSDimitry Andric #include "llvm/IR/GVMaterializer.h"
1939d628a0SDimitry Andric #include "llvm/IR/LLVMContext.h"
2091bc56edSDimitry Andric #include "llvm/IR/Mangler.h"
2191bc56edSDimitry Andric #include "llvm/IR/Module.h"
2239d628a0SDimitry Andric #include "llvm/Object/ObjectFile.h"
2391bc56edSDimitry Andric #include "llvm/Support/MemoryBuffer.h"
2491bc56edSDimitry Andric #include "llvm/Support/TargetRegistry.h"
2591bc56edSDimitry Andric #include "llvm/Support/raw_ostream.h"
2691bc56edSDimitry Andric using namespace llvm;
2791bc56edSDimitry Andric using namespace object;
2891bc56edSDimitry Andric
IRObjectFile(MemoryBufferRef Object,std::vector<std::unique_ptr<Module>> Mods)29d88c1a5aSDimitry Andric IRObjectFile::IRObjectFile(MemoryBufferRef Object,
30d88c1a5aSDimitry Andric std::vector<std::unique_ptr<Module>> Mods)
31d88c1a5aSDimitry Andric : SymbolicFile(Binary::ID_IR, Object), Mods(std::move(Mods)) {
32d88c1a5aSDimitry Andric for (auto &M : this->Mods)
33d88c1a5aSDimitry Andric SymTab.addModule(M.get());
343ca95b02SDimitry Andric }
3591bc56edSDimitry Andric
~IRObjectFile()36d88c1a5aSDimitry Andric IRObjectFile::~IRObjectFile() {}
3791bc56edSDimitry Andric
getSym(DataRefImpl & Symb)38d88c1a5aSDimitry Andric static ModuleSymbolTable::Symbol getSym(DataRefImpl &Symb) {
39d88c1a5aSDimitry Andric return *reinterpret_cast<ModuleSymbolTable::Symbol *>(Symb.p);
4091bc56edSDimitry Andric }
4191bc56edSDimitry Andric
moveSymbolNext(DataRefImpl & Symb) const4291bc56edSDimitry Andric void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
43d88c1a5aSDimitry Andric Symb.p += sizeof(ModuleSymbolTable::Symbol);
4491bc56edSDimitry Andric }
4591bc56edSDimitry Andric
printSymbolName(raw_ostream & OS,DataRefImpl Symb) const4691bc56edSDimitry Andric std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
4791bc56edSDimitry Andric DataRefImpl Symb) const {
48d88c1a5aSDimitry Andric SymTab.printSymbolName(OS, getSym(Symb));
4997bc6c73SDimitry Andric return std::error_code();
5091bc56edSDimitry Andric }
5191bc56edSDimitry Andric
getSymbolFlags(DataRefImpl Symb) const5291bc56edSDimitry Andric uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
53d88c1a5aSDimitry Andric return SymTab.getSymbolFlags(getSym(Symb));
5491bc56edSDimitry Andric }
5591bc56edSDimitry Andric
symbol_begin() const56d88c1a5aSDimitry Andric basic_symbol_iterator IRObjectFile::symbol_begin() const {
5791bc56edSDimitry Andric DataRefImpl Ret;
58d88c1a5aSDimitry Andric Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data());
5991bc56edSDimitry Andric return basic_symbol_iterator(BasicSymbolRef(Ret, this));
6091bc56edSDimitry Andric }
6191bc56edSDimitry Andric
symbol_end() const62d88c1a5aSDimitry Andric basic_symbol_iterator IRObjectFile::symbol_end() const {
6391bc56edSDimitry Andric DataRefImpl Ret;
64d88c1a5aSDimitry Andric Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data() +
65d88c1a5aSDimitry Andric SymTab.symbols().size());
6691bc56edSDimitry Andric return basic_symbol_iterator(BasicSymbolRef(Ret, this));
6791bc56edSDimitry Andric }
6891bc56edSDimitry Andric
getTargetTriple() const69d88c1a5aSDimitry Andric StringRef IRObjectFile::getTargetTriple() const {
70d88c1a5aSDimitry Andric // Each module must have the same target triple, so we arbitrarily access the
71d88c1a5aSDimitry Andric // first one.
72d88c1a5aSDimitry Andric return Mods[0]->getTargetTriple();
73d88c1a5aSDimitry Andric }
74d88c1a5aSDimitry Andric
75*2cab237bSDimitry Andric Expected<MemoryBufferRef>
findBitcodeInObject(const ObjectFile & Obj)76*2cab237bSDimitry Andric IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
7739d628a0SDimitry Andric for (const SectionRef &Sec : Obj.sections()) {
783ca95b02SDimitry Andric if (Sec.isBitcode()) {
7939d628a0SDimitry Andric StringRef SecContents;
8039d628a0SDimitry Andric if (std::error_code EC = Sec.getContents(SecContents))
81*2cab237bSDimitry Andric return errorCodeToError(EC);
8239d628a0SDimitry Andric return MemoryBufferRef(SecContents, Obj.getFileName());
8339d628a0SDimitry Andric }
8439d628a0SDimitry Andric }
8539d628a0SDimitry Andric
86*2cab237bSDimitry Andric return errorCodeToError(object_error::bitcode_section_not_found);
8739d628a0SDimitry Andric }
8839d628a0SDimitry Andric
89*2cab237bSDimitry Andric Expected<MemoryBufferRef>
findBitcodeInMemBuffer(MemoryBufferRef Object)90*2cab237bSDimitry Andric IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
91db17bf38SDimitry Andric file_magic Type = identify_magic(Object.getBuffer());
9239d628a0SDimitry Andric switch (Type) {
93db17bf38SDimitry Andric case file_magic::bitcode:
9439d628a0SDimitry Andric return Object;
95db17bf38SDimitry Andric case file_magic::elf_relocatable:
96db17bf38SDimitry Andric case file_magic::macho_object:
97db17bf38SDimitry Andric case file_magic::coff_object: {
983ca95b02SDimitry Andric Expected<std::unique_ptr<ObjectFile>> ObjFile =
9939d628a0SDimitry Andric ObjectFile::createObjectFile(Object, Type);
10039d628a0SDimitry Andric if (!ObjFile)
101*2cab237bSDimitry Andric return ObjFile.takeError();
10239d628a0SDimitry Andric return findBitcodeInObject(*ObjFile->get());
10339d628a0SDimitry Andric }
10439d628a0SDimitry Andric default:
105*2cab237bSDimitry Andric return errorCodeToError(object_error::invalid_file_type);
10639d628a0SDimitry Andric }
10739d628a0SDimitry Andric }
10839d628a0SDimitry Andric
109d88c1a5aSDimitry Andric Expected<std::unique_ptr<IRObjectFile>>
create(MemoryBufferRef Object,LLVMContext & Context)110d88c1a5aSDimitry Andric IRObjectFile::create(MemoryBufferRef Object, LLVMContext &Context) {
111*2cab237bSDimitry Andric Expected<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
11239d628a0SDimitry Andric if (!BCOrErr)
113*2cab237bSDimitry Andric return BCOrErr.takeError();
11439d628a0SDimitry Andric
115d88c1a5aSDimitry Andric Expected<std::vector<BitcodeModule>> BMsOrErr =
116d88c1a5aSDimitry Andric getBitcodeModuleList(*BCOrErr);
117d88c1a5aSDimitry Andric if (!BMsOrErr)
118d88c1a5aSDimitry Andric return BMsOrErr.takeError();
11939d628a0SDimitry Andric
120d88c1a5aSDimitry Andric std::vector<std::unique_ptr<Module>> Mods;
121d88c1a5aSDimitry Andric for (auto BM : *BMsOrErr) {
122d88c1a5aSDimitry Andric Expected<std::unique_ptr<Module>> MOrErr =
123d88c1a5aSDimitry Andric BM.getLazyModule(Context, /*ShouldLazyLoadMetadata*/ true,
124d88c1a5aSDimitry Andric /*IsImporting*/ false);
125d88c1a5aSDimitry Andric if (!MOrErr)
126d88c1a5aSDimitry Andric return MOrErr.takeError();
12791bc56edSDimitry Andric
128d88c1a5aSDimitry Andric Mods.push_back(std::move(*MOrErr));
129d88c1a5aSDimitry Andric }
130d88c1a5aSDimitry Andric
131d88c1a5aSDimitry Andric return std::unique_ptr<IRObjectFile>(
132d88c1a5aSDimitry Andric new IRObjectFile(*BCOrErr, std::move(Mods)));
13391bc56edSDimitry Andric }
134db17bf38SDimitry Andric
readIRSymtab(MemoryBufferRef MBRef)135db17bf38SDimitry Andric Expected<IRSymtabFile> object::readIRSymtab(MemoryBufferRef MBRef) {
136db17bf38SDimitry Andric IRSymtabFile F;
137*2cab237bSDimitry Andric Expected<MemoryBufferRef> BCOrErr =
138db17bf38SDimitry Andric IRObjectFile::findBitcodeInMemBuffer(MBRef);
139db17bf38SDimitry Andric if (!BCOrErr)
140*2cab237bSDimitry Andric return BCOrErr.takeError();
141db17bf38SDimitry Andric
142db17bf38SDimitry Andric Expected<BitcodeFileContents> BFCOrErr = getBitcodeFileContents(*BCOrErr);
143db17bf38SDimitry Andric if (!BFCOrErr)
144db17bf38SDimitry Andric return BFCOrErr.takeError();
145db17bf38SDimitry Andric
146db17bf38SDimitry Andric Expected<irsymtab::FileContents> FCOrErr = irsymtab::readBitcode(*BFCOrErr);
147db17bf38SDimitry Andric if (!FCOrErr)
148db17bf38SDimitry Andric return FCOrErr.takeError();
149db17bf38SDimitry Andric
150db17bf38SDimitry Andric F.Mods = std::move(BFCOrErr->Mods);
151db17bf38SDimitry Andric F.Symtab = std::move(FCOrErr->Symtab);
152db17bf38SDimitry Andric F.Strtab = std::move(FCOrErr->Strtab);
153db17bf38SDimitry Andric F.TheReader = std::move(FCOrErr->TheReader);
154db17bf38SDimitry Andric return std::move(F);
155db17bf38SDimitry Andric }
156