blob: 1ecb26d60bcea34a9d8b96831cad528541b6259a [file] [log] [blame]
Rafael Espindola91f86b72014-02-21 20:10:59 +00001//===- IRObjectFile.cpp - IR object file implementation ---------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Part of the IRObjectFile class implementation.
11//
12//===----------------------------------------------------------------------===//
13
Rafael Espindola05608842014-07-04 22:44:18 +000014#include "llvm/Object/IRObjectFile.h"
Benjamin Kramerd59c5f92015-03-01 21:28:53 +000015#include "llvm/ADT/STLExtras.h"
Zachary Turner19ca2b02017-06-07 03:48:56 +000016#include "llvm/BinaryFormat/Magic.h"
Teresa Johnsona5479192016-11-11 05:34:58 +000017#include "llvm/Bitcode/BitcodeReader.h"
Rafael Espindola1f659322014-06-23 21:53:12 +000018#include "llvm/IR/GVMaterializer.h"
Chandler Carruth1b279142015-01-14 11:23:27 +000019#include "llvm/IR/LLVMContext.h"
Rafael Espindola0ff25b32014-02-28 02:17:23 +000020#include "llvm/IR/Mangler.h"
Rafael Espindola91f86b72014-02-21 20:10:59 +000021#include "llvm/IR/Module.h"
Peter Collingbourne394be6c2014-09-18 21:28:49 +000022#include "llvm/Object/ObjectFile.h"
Rafael Espindola0d505982014-06-24 13:56:32 +000023#include "llvm/Support/MemoryBuffer.h"
Rafael Espindola0a7a2ef2014-07-03 18:59:23 +000024#include "llvm/Support/TargetRegistry.h"
Rafael Espindola1e084302014-02-21 20:21:55 +000025#include "llvm/Support/raw_ostream.h"
Rafael Espindola91f86b72014-02-21 20:10:59 +000026using namespace llvm;
27using namespace object;
28
Peter Collingbourne265ab522016-12-13 20:20:17 +000029IRObjectFile::IRObjectFile(MemoryBufferRef Object,
30 std::vector<std::unique_ptr<Module>> Mods)
31 : SymbolicFile(Binary::ID_IR, Object), Mods(std::move(Mods)) {
32 for (auto &M : this->Mods)
33 SymTab.addModule(M.get());
Rafael Espindola91f86b72014-02-21 20:10:59 +000034}
35
Peter Collingbourne4384b552016-11-24 00:41:05 +000036IRObjectFile::~IRObjectFile() {}
Rafael Espindola0a7a2ef2014-07-03 18:59:23 +000037
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000038static ModuleSymbolTable::Symbol getSym(DataRefImpl &Symb) {
39 return *reinterpret_cast<ModuleSymbolTable::Symbol *>(Symb.p);
40}
41
Rafael Espindola91f86b72014-02-21 20:10:59 +000042void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000043 Symb.p += sizeof(ModuleSymbolTable::Symbol);
Rafael Espindola91f86b72014-02-21 20:10:59 +000044}
45
Rafael Espindola4e2b9222014-06-13 02:24:39 +000046std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
47 DataRefImpl Symb) const {
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000048 SymTab.printSymbolName(OS, getSym(Symb));
Rui Ueyamaeae46732015-06-09 15:20:42 +000049 return std::error_code();
Rafael Espindola91f86b72014-02-21 20:10:59 +000050}
51
52uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000053 return SymTab.getSymbolFlags(getSym(Symb));
Rafael Espindola91f86b72014-02-21 20:10:59 +000054}
55
Peter Collingbourneb9b39082016-11-22 03:38:40 +000056basic_symbol_iterator IRObjectFile::symbol_begin() const {
Rafael Espindola91f86b72014-02-21 20:10:59 +000057 DataRefImpl Ret;
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000058 Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data());
Rafael Espindola91f86b72014-02-21 20:10:59 +000059 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
60}
61
Peter Collingbourneb9b39082016-11-22 03:38:40 +000062basic_symbol_iterator IRObjectFile::symbol_end() const {
Rafael Espindola91f86b72014-02-21 20:10:59 +000063 DataRefImpl Ret;
Peter Collingbournedc61d3e2016-12-01 06:51:47 +000064 Ret.p = reinterpret_cast<uintptr_t>(SymTab.symbols().data() +
65 SymTab.symbols().size());
Rafael Espindola91f86b72014-02-21 20:10:59 +000066 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
67}
68
Peter Collingbourne265ab522016-12-13 20:20:17 +000069StringRef IRObjectFile::getTargetTriple() const {
70 // Each module must have the same target triple, so we arbitrarily access the
71 // first one.
72 return Mods[0]->getTargetTriple();
73}
Peter Collingbourne045ffc42016-11-24 01:13:09 +000074
Rafael Espindolaf45980e2017-10-11 18:07:18 +000075Expected<MemoryBufferRef>
76IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
Peter Collingbourne394be6c2014-09-18 21:28:49 +000077 for (const SectionRef &Sec : Obj.sections()) {
Steven Wub9de1972016-02-29 19:40:10 +000078 if (Sec.isBitcode()) {
Peter Collingbourne394be6c2014-09-18 21:28:49 +000079 StringRef SecContents;
80 if (std::error_code EC = Sec.getContents(SecContents))
Rafael Espindolaf45980e2017-10-11 18:07:18 +000081 return errorCodeToError(EC);
Peter Collingbourne394be6c2014-09-18 21:28:49 +000082 return MemoryBufferRef(SecContents, Obj.getFileName());
83 }
84 }
85
Rafael Espindolaf45980e2017-10-11 18:07:18 +000086 return errorCodeToError(object_error::bitcode_section_not_found);
Peter Collingbourne394be6c2014-09-18 21:28:49 +000087}
88
Rafael Espindolaf45980e2017-10-11 18:07:18 +000089Expected<MemoryBufferRef>
90IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
Zachary Turner19ca2b02017-06-07 03:48:56 +000091 file_magic Type = identify_magic(Object.getBuffer());
Peter Collingbourne394be6c2014-09-18 21:28:49 +000092 switch (Type) {
Zachary Turner19ca2b02017-06-07 03:48:56 +000093 case file_magic::bitcode:
Peter Collingbourne394be6c2014-09-18 21:28:49 +000094 return Object;
Zachary Turner19ca2b02017-06-07 03:48:56 +000095 case file_magic::elf_relocatable:
96 case file_magic::macho_object:
97 case file_magic::coff_object: {
Kevin Enderbyc6bf9be2016-04-06 22:14:09 +000098 Expected<std::unique_ptr<ObjectFile>> ObjFile =
Peter Collingbourne394be6c2014-09-18 21:28:49 +000099 ObjectFile::createObjectFile(Object, Type);
100 if (!ObjFile)
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000101 return ObjFile.takeError();
Peter Collingbourne394be6c2014-09-18 21:28:49 +0000102 return findBitcodeInObject(*ObjFile->get());
103 }
104 default:
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000105 return errorCodeToError(object_error::invalid_file_type);
Peter Collingbourne394be6c2014-09-18 21:28:49 +0000106 }
107}
108
Peter Collingbournedead0812016-11-13 07:00:17 +0000109Expected<std::unique_ptr<IRObjectFile>>
Peter Collingbourne265ab522016-12-13 20:20:17 +0000110IRObjectFile::create(MemoryBufferRef Object, LLVMContext &Context) {
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000111 Expected<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
Peter Collingbourne394be6c2014-09-18 21:28:49 +0000112 if (!BCOrErr)
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000113 return BCOrErr.takeError();
Rafael Espindola548f2b62014-08-19 18:44:46 +0000114
Peter Collingbourne265ab522016-12-13 20:20:17 +0000115 Expected<std::vector<BitcodeModule>> BMsOrErr =
116 getBitcodeModuleList(*BCOrErr);
117 if (!BMsOrErr)
118 return BMsOrErr.takeError();
Rafael Espindola1c9687e2014-07-04 18:40:36 +0000119
Peter Collingbourne265ab522016-12-13 20:20:17 +0000120 std::vector<std::unique_ptr<Module>> Mods;
121 for (auto BM : *BMsOrErr) {
122 Expected<std::unique_ptr<Module>> MOrErr =
Teresa Johnsonf6380132016-12-16 21:25:01 +0000123 BM.getLazyModule(Context, /*ShouldLazyLoadMetadata*/ true,
124 /*IsImporting*/ false);
Peter Collingbourne265ab522016-12-13 20:20:17 +0000125 if (!MOrErr)
126 return MOrErr.takeError();
127
128 Mods.push_back(std::move(*MOrErr));
129 }
130
Peter Collingbournee976df12016-12-13 20:10:22 +0000131 return std::unique_ptr<IRObjectFile>(
Peter Collingbourne265ab522016-12-13 20:20:17 +0000132 new IRObjectFile(*BCOrErr, std::move(Mods)));
Rafael Espindola91f86b72014-02-21 20:10:59 +0000133}
Peter Collingbournef040d162017-06-08 01:26:14 +0000134
135Expected<IRSymtabFile> object::readIRSymtab(MemoryBufferRef MBRef) {
136 IRSymtabFile F;
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000137 Expected<MemoryBufferRef> BCOrErr =
Peter Collingbournef040d162017-06-08 01:26:14 +0000138 IRObjectFile::findBitcodeInMemBuffer(MBRef);
139 if (!BCOrErr)
Rafael Espindolaf45980e2017-10-11 18:07:18 +0000140 return BCOrErr.takeError();
Peter Collingbournef040d162017-06-08 01:26:14 +0000141
Peter Collingbourneb9fc96d2017-06-08 22:00:24 +0000142 Expected<BitcodeFileContents> BFCOrErr = getBitcodeFileContents(*BCOrErr);
143 if (!BFCOrErr)
144 return BFCOrErr.takeError();
Peter Collingbournef040d162017-06-08 01:26:14 +0000145
Peter Collingbourneb9fc96d2017-06-08 22:00:24 +0000146 Expected<irsymtab::FileContents> FCOrErr = irsymtab::readBitcode(*BFCOrErr);
Peter Collingbournef040d162017-06-08 01:26:14 +0000147 if (!FCOrErr)
148 return FCOrErr.takeError();
149
Peter Collingbourneb9fc96d2017-06-08 22:00:24 +0000150 F.Mods = std::move(BFCOrErr->Mods);
Peter Collingbournef040d162017-06-08 01:26:14 +0000151 F.Symtab = std::move(FCOrErr->Symtab);
152 F.Strtab = std::move(FCOrErr->Strtab);
153 F.TheReader = std::move(FCOrErr->TheReader);
154 return std::move(F);
155}