blob: 9f5132e9062c0f215a63c4d08faacf3d643b9afc [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)) {
Rafael Espindolac233f742015-06-23 13:59:29 +000040 Mang.reset(new Mangler());
Rafael Espindola13b69d62014-07-03 18:59:23 +000041
42 const std::string &InlineAsm = M->getModuleInlineAsm();
43 if (InlineAsm.empty())
44 return;
45
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000046 Triple TT(M->getTargetTriple());
Rafael Espindola13b69d62014-07-03 18:59:23 +000047 std::string Err;
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000048 const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
Rafael Espindola13b69d62014-07-03 18:59:23 +000049 if (!T)
50 return;
51
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000052 std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000053 if (!MRI)
54 return;
55
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000056 std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000057 if (!MAI)
58 return;
59
60 std::unique_ptr<MCSubtargetInfo> STI(
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000061 T->createMCSubtargetInfo(TT.str(), "", ""));
Rafael Espindola13b69d62014-07-03 18:59:23 +000062 if (!STI)
63 return;
64
65 std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
66 if (!MCII)
67 return;
68
69 MCObjectFileInfo MOFI;
70 MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000071 MOFI.InitMCObjectFileInfo(TT, Reloc::Default, CodeModel::Default, MCCtx);
Rafael Espindola13b69d62014-07-03 18:59:23 +000072 std::unique_ptr<RecordStreamer> Streamer(new RecordStreamer(MCCtx));
Peter Collingbourne20c72592015-02-19 00:45:02 +000073 T->createNullTargetStreamer(*Streamer);
Rafael Espindola13b69d62014-07-03 18:59:23 +000074
75 std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
76 SourceMgr SrcMgr;
David Blaikie1961f142014-08-21 20:44:56 +000077 SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
Rafael Espindola13b69d62014-07-03 18:59:23 +000078 std::unique_ptr<MCAsmParser> Parser(
79 createMCAsmParser(SrcMgr, MCCtx, *Streamer, *MAI));
80
81 MCTargetOptions MCOptions;
82 std::unique_ptr<MCTargetAsmParser> TAP(
83 T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
84 if (!TAP)
85 return;
86
87 Parser->setTargetParser(*TAP);
88 if (Parser->Run(false))
89 return;
90
91 for (auto &KV : *Streamer) {
92 StringRef Key = KV.first();
93 RecordStreamer::State Value = KV.second;
94 uint32_t Res = BasicSymbolRef::SF_None;
95 switch (Value) {
96 case RecordStreamer::NeverSeen:
97 llvm_unreachable("foo");
98 case RecordStreamer::DefinedGlobal:
99 Res |= BasicSymbolRef::SF_Global;
100 break;
101 case RecordStreamer::Defined:
102 break;
103 case RecordStreamer::Global:
104 case RecordStreamer::Used:
105 Res |= BasicSymbolRef::SF_Undefined;
106 Res |= BasicSymbolRef::SF_Global;
107 break;
108 }
109 AsmSymbols.push_back(
110 std::make_pair<std::string, uint32_t>(Key, std::move(Res)));
111 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000112}
113
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000114IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000115 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000116
Rafael Espindola527e8462014-12-09 16:13:59 +0000117static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000118 if ((Symb.p & 3) == 3)
119 return nullptr;
120
121 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000122}
123
124static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
125 if (I == M.alias_end())
126 return 3;
127 const GlobalValue *GV = &*I;
128 return reinterpret_cast<uintptr_t>(GV) | 2;
129}
130
131static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
132 if (I == M.global_end())
133 return skipEmpty(M.alias_begin(), M);
134 const GlobalValue *GV = &*I;
135 return reinterpret_cast<uintptr_t>(GV) | 1;
136}
137
138static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
139 if (I == M.end())
140 return skipEmpty(M.global_begin(), M);
141 const GlobalValue *GV = &*I;
142 return reinterpret_cast<uintptr_t>(GV) | 0;
143}
144
Rafael Espindola13b69d62014-07-03 18:59:23 +0000145static unsigned getAsmSymIndex(DataRefImpl Symb) {
146 assert((Symb.p & uintptr_t(3)) == 3);
147 uintptr_t Index = Symb.p & ~uintptr_t(3);
148 Index >>= 2;
149 return Index;
150}
151
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000152void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000153 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000154 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000155
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000156 switch (Symb.p & 3) {
157 case 0: {
158 Module::const_iterator Iter(static_cast<const Function*>(GV));
159 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000160 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000161 break;
162 }
163 case 1: {
164 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
165 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000166 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000167 break;
168 }
169 case 2: {
170 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
171 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000172 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000173 break;
174 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000175 case 3: {
176 unsigned Index = getAsmSymIndex(Symb);
177 assert(Index < AsmSymbols.size());
178 ++Index;
179 Res = (Index << 2) | 3;
180 break;
181 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000182 default:
183 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000184 }
185
186 Symb.p = Res;
187}
188
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000189std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
190 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000191 const GlobalValue *GV = getGV(Symb);
192 if (!GV) {
193 unsigned Index = getAsmSymIndex(Symb);
194 assert(Index <= AsmSymbols.size());
195 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000196 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000197 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000198
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000199 if (GV->hasDLLImportStorageClass())
200 OS << "__imp_";
201
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000202 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000203 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000204 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000205 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000206
Rui Ueyama7d099192015-06-09 15:20:42 +0000207 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000208}
209
210uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000211 const GlobalValue *GV = getGV(Symb);
212
213 if (!GV) {
214 unsigned Index = getAsmSymIndex(Symb);
215 assert(Index <= AsmSymbols.size());
216 return AsmSymbols[Index].second;
217 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000218
219 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000220 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000221 Res |= BasicSymbolRef::SF_Undefined;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000222 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000223 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000224 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000225 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000226 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000227 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000228 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000229 Res |= BasicSymbolRef::SF_Weak;
230
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000231 if (GV->getName().startswith("llvm."))
232 Res |= BasicSymbolRef::SF_FormatSpecific;
233 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindolab674c172014-07-04 15:03:17 +0000234 if (Var->getSection() == StringRef("llvm.metadata"))
235 Res |= BasicSymbolRef::SF_FormatSpecific;
236 }
237
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000238 return Res;
239}
240
Rafael Espindola527e8462014-12-09 16:13:59 +0000241GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000242
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000243std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
244
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000245basic_symbol_iterator IRObjectFile::symbol_begin_impl() const {
246 Module::const_iterator I = M->begin();
247 DataRefImpl Ret;
248 Ret.p = skipEmpty(I, *M);
249 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
250}
251
252basic_symbol_iterator IRObjectFile::symbol_end_impl() const {
253 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000254 uint64_t NumAsm = AsmSymbols.size();
255 NumAsm <<= 2;
256 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000257 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
258}
259
Peter Collingbourne10039c02014-09-18 21:28:49 +0000260ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
261 for (const SectionRef &Sec : Obj.sections()) {
262 StringRef SecName;
263 if (std::error_code EC = Sec.getName(SecName))
264 return EC;
265 if (SecName == ".llvmbc") {
266 StringRef SecContents;
267 if (std::error_code EC = Sec.getContents(SecContents))
268 return EC;
269 return MemoryBufferRef(SecContents, Obj.getFileName());
270 }
271 }
272
273 return object_error::bitcode_section_not_found;
274}
275
276ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
277 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
278 switch (Type) {
279 case sys::fs::file_magic::bitcode:
280 return Object;
281 case sys::fs::file_magic::elf_relocatable:
282 case sys::fs::file_magic::macho_object:
283 case sys::fs::file_magic::coff_object: {
284 ErrorOr<std::unique_ptr<ObjectFile>> ObjFile =
285 ObjectFile::createObjectFile(Object, Type);
286 if (!ObjFile)
287 return ObjFile.getError();
288 return findBitcodeInObject(*ObjFile->get());
289 }
290 default:
291 return object_error::invalid_file_type;
292 }
293}
294
David Blaikie10a27df2014-09-03 17:59:23 +0000295ErrorOr<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000296llvm::object::IRObjectFile::create(MemoryBufferRef Object,
297 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000298 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
299 if (!BCOrErr)
300 return BCOrErr.getError();
Rafael Espindola48af1c22014-08-19 18:44:46 +0000301
Peter Collingbourne10039c02014-09-18 21:28:49 +0000302 std::unique_ptr<MemoryBuffer> Buff(
303 MemoryBuffer::getMemBuffer(BCOrErr.get(), false));
Rafael Espindola48af1c22014-08-19 18:44:46 +0000304
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000305 ErrorOr<std::unique_ptr<Module>> MOrErr =
Rafael Espindolacba833a2015-03-13 21:54:20 +0000306 getLazyBitcodeModule(std::move(Buff), Context, nullptr,
307 /*ShouldLazyLoadMetadata*/ true);
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000308 if (std::error_code EC = MOrErr.getError())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000309 return EC;
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000310
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000311 std::unique_ptr<Module> &M = MOrErr.get();
David Blaikie10a27df2014-09-03 17:59:23 +0000312 return llvm::make_unique<IRObjectFile>(Object, std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000313}