1f12b8282SRafael Espindola //===- IRObjectFile.cpp - IR object file implementation ---------*- C++ -*-===//
2f12b8282SRafael Espindola //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f12b8282SRafael Espindola //
7f12b8282SRafael Espindola //===----------------------------------------------------------------------===//
8f12b8282SRafael Espindola //
9f12b8282SRafael Espindola // Part of the IRObjectFile class implementation.
10f12b8282SRafael Espindola //
11f12b8282SRafael Espindola //===----------------------------------------------------------------------===//
12f12b8282SRafael Espindola 
13ba79dba8SRafael Espindola #include "llvm/Object/IRObjectFile.h"
14*e72c195fSserge-sans-paille #include "llvm/ADT/ArrayRef.h"
15*e72c195fSserge-sans-paille #include "llvm/ADT/PointerUnion.h"
16264b5d9eSZachary Turner #include "llvm/BinaryFormat/Magic.h"
17ad17679aSTeresa Johnson #include "llvm/Bitcode/BitcodeReader.h"
18f12b8282SRafael Espindola #include "llvm/IR/Module.h"
1910039c02SPeter Collingbourne #include "llvm/Object/ObjectFile.h"
20f12b8282SRafael Espindola using namespace llvm;
21f12b8282SRafael Espindola using namespace object;
22f12b8282SRafael Espindola 
23*e72c195fSserge-sans-paille namespace llvm {
24*e72c195fSserge-sans-paille class LLVMContext;
25*e72c195fSserge-sans-paille class raw_ostream;
26*e72c195fSserge-sans-paille } // namespace llvm
27*e72c195fSserge-sans-paille 
IRObjectFile(MemoryBufferRef Object,std::vector<std::unique_ptr<Module>> Mods)2845102a24SPeter Collingbourne IRObjectFile::IRObjectFile(MemoryBufferRef Object,
2945102a24SPeter Collingbourne                            std::vector<std::unique_ptr<Module>> Mods)
3045102a24SPeter Collingbourne     : SymbolicFile(Binary::ID_IR, Object), Mods(std::move(Mods)) {
3145102a24SPeter Collingbourne   for (auto &M : this->Mods)
32863cbfbeSPeter Collingbourne     SymTab.addModule(M.get());
33f12b8282SRafael Espindola }
34f12b8282SRafael Espindola 
353a3cb929SKazu Hirata IRObjectFile::~IRObjectFile() = default;
3613b69d63SRafael Espindola 
getSym(DataRefImpl & Symb)37863cbfbeSPeter Collingbourne static ModuleSymbolTable::Symbol getSym(DataRefImpl &Symb) {
38863cbfbeSPeter Collingbourne   return *reinterpret_cast<ModuleSymbolTable::Symbol *>(Symb.p);
39863cbfbeSPeter Collingbourne }
40863cbfbeSPeter Collingbourne 
moveSymbolNext(DataRefImpl & Symb) const41f12b8282SRafael Espindola void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
42863cbfbeSPeter Collingbourne   Symb.p += sizeof(ModuleSymbolTable::Symbol);
43f12b8282SRafael Espindola }
44f12b8282SRafael Espindola 
printSymbolName(raw_ostream & OS,DataRefImpl Symb) const45e357ca82SFangrui Song Error IRObjectFile::printSymbolName(raw_ostream &OS, DataRefImpl Symb) const {
46863cbfbeSPeter Collingbourne   SymTab.printSymbolName(OS, getSym(Symb));
47e357ca82SFangrui Song   return Error::success();
48f12b8282SRafael Espindola }
49f12b8282SRafael Espindola 
getSymbolFlags(DataRefImpl Symb) const50ac00376aSvgxbj Expected<uint32_t> IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
51863cbfbeSPeter Collingbourne   return SymTab.getSymbolFlags(getSym(Symb));
52f12b8282SRafael Espindola }
53f12b8282SRafael Espindola 
symbol_begin() const54435890a4SPeter Collingbourne basic_symbol_iterator IRObjectFile::symbol_begin() const {
55f12b8282SRafael Espindola   DataRefImpl Ret;
56863cbfbeSPeter Collingbourne   Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data());
57f12b8282SRafael Espindola   return basic_symbol_iterator(BasicSymbolRef(Ret, this));
58f12b8282SRafael Espindola }
59f12b8282SRafael Espindola 
symbol_end() const60435890a4SPeter Collingbourne basic_symbol_iterator IRObjectFile::symbol_end() const {
61f12b8282SRafael Espindola   DataRefImpl Ret;
62863cbfbeSPeter Collingbourne   Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data() +
63863cbfbeSPeter Collingbourne                                       SymTab.symbols().size());
64f12b8282SRafael Espindola   return basic_symbol_iterator(BasicSymbolRef(Ret, this));
65f12b8282SRafael Espindola }
66f12b8282SRafael Espindola 
getTargetTriple() const6745102a24SPeter Collingbourne StringRef IRObjectFile::getTargetTriple() const {
6845102a24SPeter Collingbourne   // Each module must have the same target triple, so we arbitrarily access the
6945102a24SPeter Collingbourne   // first one.
7045102a24SPeter Collingbourne   return Mods[0]->getTargetTriple();
7145102a24SPeter Collingbourne }
72debb6f6cSPeter Collingbourne 
733500f5e3SRafael Espindola Expected<MemoryBufferRef>
findBitcodeInObject(const ObjectFile & Obj)743500f5e3SRafael Espindola IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
7510039c02SPeter Collingbourne   for (const SectionRef &Sec : Obj.sections()) {
76f2fe0141SSteven Wu     if (Sec.isBitcode()) {
77e183340cSFangrui Song       Expected<StringRef> Contents = Sec.getContents();
78e183340cSFangrui Song       if (!Contents)
79e183340cSFangrui Song         return Contents.takeError();
80e183340cSFangrui Song       if (Contents->size() <= 1)
815a593547SSteven Wu         return errorCodeToError(object_error::bitcode_section_not_found);
82e183340cSFangrui Song       return MemoryBufferRef(*Contents, Obj.getFileName());
8310039c02SPeter Collingbourne     }
8410039c02SPeter Collingbourne   }
8510039c02SPeter Collingbourne 
863500f5e3SRafael Espindola   return errorCodeToError(object_error::bitcode_section_not_found);
8710039c02SPeter Collingbourne }
8810039c02SPeter Collingbourne 
893500f5e3SRafael Espindola Expected<MemoryBufferRef>
findBitcodeInMemBuffer(MemoryBufferRef Object)903500f5e3SRafael Espindola IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
91264b5d9eSZachary Turner   file_magic Type = identify_magic(Object.getBuffer());
9210039c02SPeter Collingbourne   switch (Type) {
93264b5d9eSZachary Turner   case file_magic::bitcode:
9410039c02SPeter Collingbourne     return Object;
95264b5d9eSZachary Turner   case file_magic::elf_relocatable:
96264b5d9eSZachary Turner   case file_magic::macho_object:
972a68573aSSam Clegg   case file_magic::wasm_object:
98264b5d9eSZachary Turner   case file_magic::coff_object: {
993fcdf6aeSKevin Enderby     Expected<std::unique_ptr<ObjectFile>> ObjFile =
10010039c02SPeter Collingbourne         ObjectFile::createObjectFile(Object, Type);
10110039c02SPeter Collingbourne     if (!ObjFile)
1023500f5e3SRafael Espindola       return ObjFile.takeError();
10310039c02SPeter Collingbourne     return findBitcodeInObject(*ObjFile->get());
10410039c02SPeter Collingbourne   }
10510039c02SPeter Collingbourne   default:
1063500f5e3SRafael Espindola     return errorCodeToError(object_error::invalid_file_type);
10710039c02SPeter Collingbourne   }
10810039c02SPeter Collingbourne }
10910039c02SPeter Collingbourne 
110d9445c49SPeter Collingbourne Expected<std::unique_ptr<IRObjectFile>>
create(MemoryBufferRef Object,LLVMContext & Context)11145102a24SPeter Collingbourne IRObjectFile::create(MemoryBufferRef Object, LLVMContext &Context) {
1123500f5e3SRafael Espindola   Expected<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
11310039c02SPeter Collingbourne   if (!BCOrErr)
1143500f5e3SRafael Espindola     return BCOrErr.takeError();
11548af1c2aSRafael Espindola 
11645102a24SPeter Collingbourne   Expected<std::vector<BitcodeModule>> BMsOrErr =
11745102a24SPeter Collingbourne       getBitcodeModuleList(*BCOrErr);
11845102a24SPeter Collingbourne   if (!BMsOrErr)
11945102a24SPeter Collingbourne     return BMsOrErr.takeError();
12045102a24SPeter Collingbourne 
12145102a24SPeter Collingbourne   std::vector<std::unique_ptr<Module>> Mods;
12245102a24SPeter Collingbourne   for (auto BM : *BMsOrErr) {
123d9445c49SPeter Collingbourne     Expected<std::unique_ptr<Module>> MOrErr =
124a61f5e37STeresa Johnson         BM.getLazyModule(Context, /*ShouldLazyLoadMetadata*/ true,
125a61f5e37STeresa Johnson                          /*IsImporting*/ false);
126d9445c49SPeter Collingbourne     if (!MOrErr)
127d9445c49SPeter Collingbourne       return MOrErr.takeError();
128dddd1fd9SRafael Espindola 
12945102a24SPeter Collingbourne     Mods.push_back(std::move(*MOrErr));
13045102a24SPeter Collingbourne   }
13145102a24SPeter Collingbourne 
132c5fecb4fSPeter Collingbourne   return std::unique_ptr<IRObjectFile>(
13345102a24SPeter Collingbourne       new IRObjectFile(*BCOrErr, std::move(Mods)));
134f12b8282SRafael Espindola }
135c00c2b24SPeter Collingbourne 
readIRSymtab(MemoryBufferRef MBRef)136c00c2b24SPeter Collingbourne Expected<IRSymtabFile> object::readIRSymtab(MemoryBufferRef MBRef) {
137c00c2b24SPeter Collingbourne   IRSymtabFile F;
1383500f5e3SRafael Espindola   Expected<MemoryBufferRef> BCOrErr =
139c00c2b24SPeter Collingbourne       IRObjectFile::findBitcodeInMemBuffer(MBRef);
140c00c2b24SPeter Collingbourne   if (!BCOrErr)
1413500f5e3SRafael Espindola     return BCOrErr.takeError();
142c00c2b24SPeter Collingbourne 
1438dde4cbaSPeter Collingbourne   Expected<BitcodeFileContents> BFCOrErr = getBitcodeFileContents(*BCOrErr);
1448dde4cbaSPeter Collingbourne   if (!BFCOrErr)
1458dde4cbaSPeter Collingbourne     return BFCOrErr.takeError();
146c00c2b24SPeter Collingbourne 
1478dde4cbaSPeter Collingbourne   Expected<irsymtab::FileContents> FCOrErr = irsymtab::readBitcode(*BFCOrErr);
148c00c2b24SPeter Collingbourne   if (!FCOrErr)
149c00c2b24SPeter Collingbourne     return FCOrErr.takeError();
150c00c2b24SPeter Collingbourne 
1518dde4cbaSPeter Collingbourne   F.Mods = std::move(BFCOrErr->Mods);
152c00c2b24SPeter Collingbourne   F.Symtab = std::move(FCOrErr->Symtab);
153c00c2b24SPeter Collingbourne   F.Strtab = std::move(FCOrErr->Strtab);
154c00c2b24SPeter Collingbourne   F.TheReader = std::move(FCOrErr->TheReader);
155c55cf4afSBill Wendling   return std::move(F);
156c00c2b24SPeter Collingbourne }
157