1*0b57cec5SDimitry Andric //===- IRObjectFile.cpp - IR object file implementation ---------*- C++ -*-===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // Part of the IRObjectFile class implementation.
10*0b57cec5SDimitry Andric //
11*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
12*0b57cec5SDimitry Andric 
13*0b57cec5SDimitry Andric #include "llvm/Object/IRObjectFile.h"
1481ad6265SDimitry Andric #include "llvm/ADT/ArrayRef.h"
15*0b57cec5SDimitry Andric #include "llvm/BinaryFormat/Magic.h"
16*0b57cec5SDimitry Andric #include "llvm/Bitcode/BitcodeReader.h"
17*0b57cec5SDimitry Andric #include "llvm/IR/Module.h"
18*0b57cec5SDimitry Andric #include "llvm/Object/ObjectFile.h"
19*0b57cec5SDimitry Andric using namespace llvm;
20*0b57cec5SDimitry Andric using namespace object;
21*0b57cec5SDimitry Andric 
2281ad6265SDimitry Andric namespace llvm {
2381ad6265SDimitry Andric class LLVMContext;
2481ad6265SDimitry Andric class raw_ostream;
2581ad6265SDimitry Andric } // namespace llvm
2681ad6265SDimitry Andric 
IRObjectFile(MemoryBufferRef Object,std::vector<std::unique_ptr<Module>> Mods)27*0b57cec5SDimitry Andric IRObjectFile::IRObjectFile(MemoryBufferRef Object,
28*0b57cec5SDimitry Andric                            std::vector<std::unique_ptr<Module>> Mods)
29*0b57cec5SDimitry Andric     : SymbolicFile(Binary::ID_IR, Object), Mods(std::move(Mods)) {
30*0b57cec5SDimitry Andric   for (auto &M : this->Mods)
31*0b57cec5SDimitry Andric     SymTab.addModule(M.get());
32*0b57cec5SDimitry Andric }
33*0b57cec5SDimitry Andric 
3481ad6265SDimitry Andric IRObjectFile::~IRObjectFile() = default;
35*0b57cec5SDimitry Andric 
getSym(DataRefImpl & Symb)36*0b57cec5SDimitry Andric static ModuleSymbolTable::Symbol getSym(DataRefImpl &Symb) {
37*0b57cec5SDimitry Andric   return *reinterpret_cast<ModuleSymbolTable::Symbol *>(Symb.p);
38*0b57cec5SDimitry Andric }
39*0b57cec5SDimitry Andric 
moveSymbolNext(DataRefImpl & Symb) const40*0b57cec5SDimitry Andric void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
41*0b57cec5SDimitry Andric   Symb.p += sizeof(ModuleSymbolTable::Symbol);
42*0b57cec5SDimitry Andric }
43*0b57cec5SDimitry Andric 
printSymbolName(raw_ostream & OS,DataRefImpl Symb) const44*0b57cec5SDimitry Andric Error IRObjectFile::printSymbolName(raw_ostream &OS, DataRefImpl Symb) const {
45*0b57cec5SDimitry Andric   SymTab.printSymbolName(OS, getSym(Symb));
46*0b57cec5SDimitry Andric   return Error::success();
47*0b57cec5SDimitry Andric }
48*0b57cec5SDimitry Andric 
getSymbolFlags(DataRefImpl Symb) const495ffd83dbSDimitry Andric Expected<uint32_t> IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
50*0b57cec5SDimitry Andric   return SymTab.getSymbolFlags(getSym(Symb));
51*0b57cec5SDimitry Andric }
52*0b57cec5SDimitry Andric 
symbol_begin() const53*0b57cec5SDimitry Andric basic_symbol_iterator IRObjectFile::symbol_begin() const {
54*0b57cec5SDimitry Andric   DataRefImpl Ret;
55*0b57cec5SDimitry Andric   Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data());
56*0b57cec5SDimitry Andric   return basic_symbol_iterator(BasicSymbolRef(Ret, this));
57*0b57cec5SDimitry Andric }
58*0b57cec5SDimitry Andric 
symbol_end() const59*0b57cec5SDimitry Andric basic_symbol_iterator IRObjectFile::symbol_end() const {
60*0b57cec5SDimitry Andric   DataRefImpl Ret;
61*0b57cec5SDimitry Andric   Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data() +
62*0b57cec5SDimitry Andric                                       SymTab.symbols().size());
63*0b57cec5SDimitry Andric   return basic_symbol_iterator(BasicSymbolRef(Ret, this));
64*0b57cec5SDimitry Andric }
65*0b57cec5SDimitry Andric 
getTargetTriple() const66*0b57cec5SDimitry Andric StringRef IRObjectFile::getTargetTriple() const {
67*0b57cec5SDimitry Andric   // Each module must have the same target triple, so we arbitrarily access the
68*0b57cec5SDimitry Andric   // first one.
69*0b57cec5SDimitry Andric   return Mods[0]->getTargetTriple();
70*0b57cec5SDimitry Andric }
71*0b57cec5SDimitry Andric 
72*0b57cec5SDimitry Andric Expected<MemoryBufferRef>
findBitcodeInObject(const ObjectFile & Obj)73*0b57cec5SDimitry Andric IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
74*0b57cec5SDimitry Andric   for (const SectionRef &Sec : Obj.sections()) {
75*0b57cec5SDimitry Andric     if (Sec.isBitcode()) {
76*0b57cec5SDimitry Andric       Expected<StringRef> Contents = Sec.getContents();
77*0b57cec5SDimitry Andric       if (!Contents)
78*0b57cec5SDimitry Andric         return Contents.takeError();
79*0b57cec5SDimitry Andric       if (Contents->size() <= 1)
80*0b57cec5SDimitry Andric         return errorCodeToError(object_error::bitcode_section_not_found);
81*0b57cec5SDimitry Andric       return MemoryBufferRef(*Contents, Obj.getFileName());
82*0b57cec5SDimitry Andric     }
83*0b57cec5SDimitry Andric   }
84*0b57cec5SDimitry Andric 
85*0b57cec5SDimitry Andric   return errorCodeToError(object_error::bitcode_section_not_found);
86*0b57cec5SDimitry Andric }
87*0b57cec5SDimitry Andric 
88*0b57cec5SDimitry Andric Expected<MemoryBufferRef>
findBitcodeInMemBuffer(MemoryBufferRef Object)89*0b57cec5SDimitry Andric IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
90*0b57cec5SDimitry Andric   file_magic Type = identify_magic(Object.getBuffer());
91*0b57cec5SDimitry Andric   switch (Type) {
92*0b57cec5SDimitry Andric   case file_magic::bitcode:
93*0b57cec5SDimitry Andric     return Object;
94*0b57cec5SDimitry Andric   case file_magic::elf_relocatable:
95*0b57cec5SDimitry Andric   case file_magic::macho_object:
965ffd83dbSDimitry Andric   case file_magic::wasm_object:
97*0b57cec5SDimitry Andric   case file_magic::coff_object: {
98*0b57cec5SDimitry Andric     Expected<std::unique_ptr<ObjectFile>> ObjFile =
99*0b57cec5SDimitry Andric         ObjectFile::createObjectFile(Object, Type);
100*0b57cec5SDimitry Andric     if (!ObjFile)
101*0b57cec5SDimitry Andric       return ObjFile.takeError();
102*0b57cec5SDimitry Andric     return findBitcodeInObject(*ObjFile->get());
103*0b57cec5SDimitry Andric   }
104*0b57cec5SDimitry Andric   default:
105*0b57cec5SDimitry Andric     return errorCodeToError(object_error::invalid_file_type);
106*0b57cec5SDimitry Andric   }
107*0b57cec5SDimitry Andric }
108*0b57cec5SDimitry Andric 
109*0b57cec5SDimitry Andric Expected<std::unique_ptr<IRObjectFile>>
create(MemoryBufferRef Object,LLVMContext & Context)110*0b57cec5SDimitry Andric IRObjectFile::create(MemoryBufferRef Object, LLVMContext &Context) {
111*0b57cec5SDimitry Andric   Expected<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
112*0b57cec5SDimitry Andric   if (!BCOrErr)
113*0b57cec5SDimitry Andric     return BCOrErr.takeError();
114*0b57cec5SDimitry Andric 
115*0b57cec5SDimitry Andric   Expected<std::vector<BitcodeModule>> BMsOrErr =
116*0b57cec5SDimitry Andric       getBitcodeModuleList(*BCOrErr);
117*0b57cec5SDimitry Andric   if (!BMsOrErr)
118*0b57cec5SDimitry Andric     return BMsOrErr.takeError();
119*0b57cec5SDimitry Andric 
120*0b57cec5SDimitry Andric   std::vector<std::unique_ptr<Module>> Mods;
121*0b57cec5SDimitry Andric   for (auto BM : *BMsOrErr) {
122*0b57cec5SDimitry Andric     Expected<std::unique_ptr<Module>> MOrErr =
123*0b57cec5SDimitry Andric         BM.getLazyModule(Context, /*ShouldLazyLoadMetadata*/ true,
124*0b57cec5SDimitry Andric                          /*IsImporting*/ false);
125*0b57cec5SDimitry Andric     if (!MOrErr)
126*0b57cec5SDimitry Andric       return MOrErr.takeError();
127*0b57cec5SDimitry Andric 
128*0b57cec5SDimitry Andric     Mods.push_back(std::move(*MOrErr));
129*0b57cec5SDimitry Andric   }
130*0b57cec5SDimitry Andric 
131*0b57cec5SDimitry Andric   return std::unique_ptr<IRObjectFile>(
132*0b57cec5SDimitry Andric       new IRObjectFile(*BCOrErr, std::move(Mods)));
133*0b57cec5SDimitry Andric }
134*0b57cec5SDimitry Andric 
readIRSymtab(MemoryBufferRef MBRef)135*0b57cec5SDimitry Andric Expected<IRSymtabFile> object::readIRSymtab(MemoryBufferRef MBRef) {
136*0b57cec5SDimitry Andric   IRSymtabFile F;
137*0b57cec5SDimitry Andric   Expected<MemoryBufferRef> BCOrErr =
138*0b57cec5SDimitry Andric       IRObjectFile::findBitcodeInMemBuffer(MBRef);
139*0b57cec5SDimitry Andric   if (!BCOrErr)
140*0b57cec5SDimitry Andric     return BCOrErr.takeError();
141*0b57cec5SDimitry Andric 
142*0b57cec5SDimitry Andric   Expected<BitcodeFileContents> BFCOrErr = getBitcodeFileContents(*BCOrErr);
143*0b57cec5SDimitry Andric   if (!BFCOrErr)
144*0b57cec5SDimitry Andric     return BFCOrErr.takeError();
145*0b57cec5SDimitry Andric 
146*0b57cec5SDimitry Andric   Expected<irsymtab::FileContents> FCOrErr = irsymtab::readBitcode(*BFCOrErr);
147*0b57cec5SDimitry Andric   if (!FCOrErr)
148*0b57cec5SDimitry Andric     return FCOrErr.takeError();
149*0b57cec5SDimitry Andric 
150*0b57cec5SDimitry Andric   F.Mods = std::move(BFCOrErr->Mods);
151*0b57cec5SDimitry Andric   F.Symtab = std::move(FCOrErr->Symtab);
152*0b57cec5SDimitry Andric   F.Strtab = std::move(FCOrErr->Strtab);
153*0b57cec5SDimitry Andric   F.TheReader = std::move(FCOrErr->TheReader);
154*0b57cec5SDimitry Andric   return std::move(F);
155*0b57cec5SDimitry Andric }
156