blob: e90e08d786f101d63d33ac9e9db141f866510e4a [file] [log] [blame]
Rafael Espindolaf12b8282014-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 Espindolaba79dba2014-07-04 22:44:18 +000014#include "llvm/Object/IRObjectFile.h"
15#include "RecordStreamer.h"
Benjamin Kramer0a446fd2015-03-01 21:28:53 +000016#include "llvm/ADT/STLExtras.h"
Rafael Espindolaf12b8282014-02-21 20:10:59 +000017#include "llvm/Bitcode/ReaderWriter.h"
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +000018#include "llvm/IR/GVMaterializer.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000019#include "llvm/IR/LLVMContext.h"
Rafael Espindolaa51f0f82014-02-28 02:17:23 +000020#include "llvm/IR/Mangler.h"
Rafael Espindolaf12b8282014-02-21 20:10:59 +000021#include "llvm/IR/Module.h"
Rafael Espindola13b69d62014-07-03 18:59:23 +000022#include "llvm/MC/MCAsmInfo.h"
23#include "llvm/MC/MCContext.h"
24#include "llvm/MC/MCInstrInfo.h"
25#include "llvm/MC/MCObjectFileInfo.h"
Rafael Espindola13b69d62014-07-03 18:59:23 +000026#include "llvm/MC/MCParser/MCAsmParser.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000027#include "llvm/MC/MCRegisterInfo.h"
Pete Cooper81902a32015-05-15 22:19:42 +000028#include "llvm/MC/MCSubtargetInfo.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000029#include "llvm/MC/MCTargetAsmParser.h"
Peter Collingbourne10039c02014-09-18 21:28:49 +000030#include "llvm/Object/ObjectFile.h"
Rafael Espindola2e60ca92014-06-24 13:56:32 +000031#include "llvm/Support/MemoryBuffer.h"
Rafael Espindola13b69d62014-07-03 18:59:23 +000032#include "llvm/Support/SourceMgr.h"
33#include "llvm/Support/TargetRegistry.h"
Rafael Espindola23f04062014-02-21 20:21:55 +000034#include "llvm/Support/raw_ostream.h"
Rafael Espindolaf12b8282014-02-21 20:10:59 +000035using namespace llvm;
36using namespace object;
37
Rafael Espindola48af1c22014-08-19 18:44:46 +000038IRObjectFile::IRObjectFile(MemoryBufferRef Object, std::unique_ptr<Module> Mod)
39 : SymbolicFile(Binary::ID_IR, Object), M(std::move(Mod)) {
Mehdi Amini46a43552015-03-04 18:43:29 +000040 // Setup a mangler with the DataLayout.
41 const DataLayout &DL = M->getDataLayout();
42 Mang.reset(new Mangler(&DL));
Rafael Espindola13b69d62014-07-03 18:59:23 +000043
44 const std::string &InlineAsm = M->getModuleInlineAsm();
45 if (InlineAsm.empty())
46 return;
47
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000048 Triple TT(M->getTargetTriple());
Rafael Espindola13b69d62014-07-03 18:59:23 +000049 std::string Err;
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000050 const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
Rafael Espindola13b69d62014-07-03 18:59:23 +000051 if (!T)
52 return;
53
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000054 std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000055 if (!MRI)
56 return;
57
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000058 std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000059 if (!MAI)
60 return;
61
62 std::unique_ptr<MCSubtargetInfo> STI(
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000063 T->createMCSubtargetInfo(TT.str(), "", ""));
Rafael Espindola13b69d62014-07-03 18:59:23 +000064 if (!STI)
65 return;
66
67 std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
68 if (!MCII)
69 return;
70
71 MCObjectFileInfo MOFI;
72 MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000073 MOFI.InitMCObjectFileInfo(TT, Reloc::Default, CodeModel::Default, MCCtx);
Rafael Espindola13b69d62014-07-03 18:59:23 +000074 std::unique_ptr<RecordStreamer> Streamer(new RecordStreamer(MCCtx));
Peter Collingbourne20c72592015-02-19 00:45:02 +000075 T->createNullTargetStreamer(*Streamer);
Rafael Espindola13b69d62014-07-03 18:59:23 +000076
77 std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
78 SourceMgr SrcMgr;
David Blaikie1961f142014-08-21 20:44:56 +000079 SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
Rafael Espindola13b69d62014-07-03 18:59:23 +000080 std::unique_ptr<MCAsmParser> Parser(
81 createMCAsmParser(SrcMgr, MCCtx, *Streamer, *MAI));
82
83 MCTargetOptions MCOptions;
84 std::unique_ptr<MCTargetAsmParser> TAP(
85 T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
86 if (!TAP)
87 return;
88
89 Parser->setTargetParser(*TAP);
90 if (Parser->Run(false))
91 return;
92
93 for (auto &KV : *Streamer) {
94 StringRef Key = KV.first();
95 RecordStreamer::State Value = KV.second;
96 uint32_t Res = BasicSymbolRef::SF_None;
97 switch (Value) {
98 case RecordStreamer::NeverSeen:
99 llvm_unreachable("foo");
100 case RecordStreamer::DefinedGlobal:
101 Res |= BasicSymbolRef::SF_Global;
102 break;
103 case RecordStreamer::Defined:
104 break;
105 case RecordStreamer::Global:
106 case RecordStreamer::Used:
107 Res |= BasicSymbolRef::SF_Undefined;
108 Res |= BasicSymbolRef::SF_Global;
109 break;
110 }
111 AsmSymbols.push_back(
112 std::make_pair<std::string, uint32_t>(Key, std::move(Res)));
113 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000114}
115
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000116IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000117 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000118
Rafael Espindola527e8462014-12-09 16:13:59 +0000119static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000120 if ((Symb.p & 3) == 3)
121 return nullptr;
122
123 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000124}
125
126static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
127 if (I == M.alias_end())
128 return 3;
129 const GlobalValue *GV = &*I;
130 return reinterpret_cast<uintptr_t>(GV) | 2;
131}
132
133static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
134 if (I == M.global_end())
135 return skipEmpty(M.alias_begin(), M);
136 const GlobalValue *GV = &*I;
137 return reinterpret_cast<uintptr_t>(GV) | 1;
138}
139
140static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
141 if (I == M.end())
142 return skipEmpty(M.global_begin(), M);
143 const GlobalValue *GV = &*I;
144 return reinterpret_cast<uintptr_t>(GV) | 0;
145}
146
Rafael Espindola13b69d62014-07-03 18:59:23 +0000147static unsigned getAsmSymIndex(DataRefImpl Symb) {
148 assert((Symb.p & uintptr_t(3)) == 3);
149 uintptr_t Index = Symb.p & ~uintptr_t(3);
150 Index >>= 2;
151 return Index;
152}
153
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000154void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000155 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000156 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000157
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000158 switch (Symb.p & 3) {
159 case 0: {
160 Module::const_iterator Iter(static_cast<const Function*>(GV));
161 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000162 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000163 break;
164 }
165 case 1: {
166 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
167 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000168 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000169 break;
170 }
171 case 2: {
172 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
173 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000174 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000175 break;
176 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000177 case 3: {
178 unsigned Index = getAsmSymIndex(Symb);
179 assert(Index < AsmSymbols.size());
180 ++Index;
181 Res = (Index << 2) | 3;
182 break;
183 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000184 default:
185 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000186 }
187
188 Symb.p = Res;
189}
190
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000191std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
192 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000193 const GlobalValue *GV = getGV(Symb);
194 if (!GV) {
195 unsigned Index = getAsmSymIndex(Symb);
196 assert(Index <= AsmSymbols.size());
197 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000198 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000199 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000200
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000201 if (GV->hasDLLImportStorageClass())
202 OS << "__imp_";
203
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000204 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000205 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000206 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000207 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000208
Rui Ueyama7d099192015-06-09 15:20:42 +0000209 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000210}
211
212uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000213 const GlobalValue *GV = getGV(Symb);
214
215 if (!GV) {
216 unsigned Index = getAsmSymIndex(Symb);
217 assert(Index <= AsmSymbols.size());
218 return AsmSymbols[Index].second;
219 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000220
221 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000222 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000223 Res |= BasicSymbolRef::SF_Undefined;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000224 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000225 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000226 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000227 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000228 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000229 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000230 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000231 Res |= BasicSymbolRef::SF_Weak;
232
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000233 if (GV->getName().startswith("llvm."))
234 Res |= BasicSymbolRef::SF_FormatSpecific;
235 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindolab674c172014-07-04 15:03:17 +0000236 if (Var->getSection() == StringRef("llvm.metadata"))
237 Res |= BasicSymbolRef::SF_FormatSpecific;
238 }
239
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000240 return Res;
241}
242
Rafael Espindola527e8462014-12-09 16:13:59 +0000243GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000244
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000245std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
246
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000247basic_symbol_iterator IRObjectFile::symbol_begin_impl() const {
248 Module::const_iterator I = M->begin();
249 DataRefImpl Ret;
250 Ret.p = skipEmpty(I, *M);
251 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
252}
253
254basic_symbol_iterator IRObjectFile::symbol_end_impl() const {
255 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000256 uint64_t NumAsm = AsmSymbols.size();
257 NumAsm <<= 2;
258 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000259 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
260}
261
Peter Collingbourne10039c02014-09-18 21:28:49 +0000262ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
263 for (const SectionRef &Sec : Obj.sections()) {
264 StringRef SecName;
265 if (std::error_code EC = Sec.getName(SecName))
266 return EC;
267 if (SecName == ".llvmbc") {
268 StringRef SecContents;
269 if (std::error_code EC = Sec.getContents(SecContents))
270 return EC;
271 return MemoryBufferRef(SecContents, Obj.getFileName());
272 }
273 }
274
275 return object_error::bitcode_section_not_found;
276}
277
278ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
279 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
280 switch (Type) {
281 case sys::fs::file_magic::bitcode:
282 return Object;
283 case sys::fs::file_magic::elf_relocatable:
284 case sys::fs::file_magic::macho_object:
285 case sys::fs::file_magic::coff_object: {
286 ErrorOr<std::unique_ptr<ObjectFile>> ObjFile =
287 ObjectFile::createObjectFile(Object, Type);
288 if (!ObjFile)
289 return ObjFile.getError();
290 return findBitcodeInObject(*ObjFile->get());
291 }
292 default:
293 return object_error::invalid_file_type;
294 }
295}
296
David Blaikie10a27df2014-09-03 17:59:23 +0000297ErrorOr<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000298llvm::object::IRObjectFile::create(MemoryBufferRef Object,
299 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000300 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
301 if (!BCOrErr)
302 return BCOrErr.getError();
Rafael Espindola48af1c22014-08-19 18:44:46 +0000303
Peter Collingbourne10039c02014-09-18 21:28:49 +0000304 std::unique_ptr<MemoryBuffer> Buff(
305 MemoryBuffer::getMemBuffer(BCOrErr.get(), false));
Rafael Espindola48af1c22014-08-19 18:44:46 +0000306
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000307 ErrorOr<std::unique_ptr<Module>> MOrErr =
Rafael Espindolacba833a2015-03-13 21:54:20 +0000308 getLazyBitcodeModule(std::move(Buff), Context, nullptr,
309 /*ShouldLazyLoadMetadata*/ true);
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000310 if (std::error_code EC = MOrErr.getError())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000311 return EC;
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000312
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000313 std::unique_ptr<Module> &M = MOrErr.get();
David Blaikie10a27df2014-09-03 17:59:23 +0000314 return llvm::make_unique<IRObjectFile>(Object, std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000315}