blob: 42c8ecd62da82932bae5041e047c812541cfcf35 [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"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000027#include "llvm/MC/MCParser/MCTargetAsmParser.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000028#include "llvm/MC/MCRegisterInfo.h"
Pete Cooper81902a32015-05-15 22:19:42 +000029#include "llvm/MC/MCSubtargetInfo.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());
Benjamin Kramerb0b52fc2016-07-01 11:05:15 +000041 CollectAsmUndefinedRefs(Triple(M->getTargetTriple()), M->getModuleInlineAsm(),
42 [this](StringRef Name, BasicSymbolRef::Flags Flags) {
43 AsmSymbols.emplace_back(Name, std::move(Flags));
44 });
Mehdi Aminie9cffaf2016-04-22 04:28:05 +000045}
Rafael Espindola13b69d62014-07-03 18:59:23 +000046
Mehdi Aminie9cffaf2016-04-22 04:28:05 +000047// Parse inline ASM and collect the list of symbols that are not defined in
48// the current module. This is inspired from IRObjectFile.
49void IRObjectFile::CollectAsmUndefinedRefs(
Mehdi Aminia0cb8902016-04-22 04:58:12 +000050 const Triple &TT, StringRef InlineAsm,
Benjamin Kramerb0b52fc2016-07-01 11:05:15 +000051 function_ref<void(StringRef, BasicSymbolRef::Flags)> AsmUndefinedRefs) {
Rafael Espindola13b69d62014-07-03 18:59:23 +000052 if (InlineAsm.empty())
53 return;
54
Rafael Espindola13b69d62014-07-03 18:59:23 +000055 std::string Err;
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000056 const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
Rafael Espindola13b69d62014-07-03 18:59:23 +000057 if (!T)
58 return;
59
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000060 std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000061 if (!MRI)
62 return;
63
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000064 std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000065 if (!MAI)
66 return;
67
68 std::unique_ptr<MCSubtargetInfo> STI(
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000069 T->createMCSubtargetInfo(TT.str(), "", ""));
Rafael Espindola13b69d62014-07-03 18:59:23 +000070 if (!STI)
71 return;
72
73 std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
74 if (!MCII)
75 return;
76
77 MCObjectFileInfo MOFI;
78 MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
Rafael Espindola699281c2016-05-18 11:58:50 +000079 MOFI.InitMCObjectFileInfo(TT, /*PIC*/ false, CodeModel::Default, MCCtx);
Rafael Espindola13b69d62014-07-03 18:59:23 +000080 std::unique_ptr<RecordStreamer> Streamer(new RecordStreamer(MCCtx));
Peter Collingbourne20c72592015-02-19 00:45:02 +000081 T->createNullTargetStreamer(*Streamer);
Rafael Espindola13b69d62014-07-03 18:59:23 +000082
83 std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
84 SourceMgr SrcMgr;
David Blaikie1961f142014-08-21 20:44:56 +000085 SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
Rafael Espindola13b69d62014-07-03 18:59:23 +000086 std::unique_ptr<MCAsmParser> Parser(
87 createMCAsmParser(SrcMgr, MCCtx, *Streamer, *MAI));
88
89 MCTargetOptions MCOptions;
90 std::unique_ptr<MCTargetAsmParser> TAP(
91 T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
92 if (!TAP)
93 return;
94
95 Parser->setTargetParser(*TAP);
96 if (Parser->Run(false))
97 return;
98
99 for (auto &KV : *Streamer) {
100 StringRef Key = KV.first();
101 RecordStreamer::State Value = KV.second;
102 uint32_t Res = BasicSymbolRef::SF_None;
103 switch (Value) {
104 case RecordStreamer::NeverSeen:
105 llvm_unreachable("foo");
106 case RecordStreamer::DefinedGlobal:
107 Res |= BasicSymbolRef::SF_Global;
108 break;
109 case RecordStreamer::Defined:
110 break;
111 case RecordStreamer::Global:
112 case RecordStreamer::Used:
113 Res |= BasicSymbolRef::SF_Undefined;
114 Res |= BasicSymbolRef::SF_Global;
115 break;
Davide Italianoec7e29e2016-06-22 20:48:15 +0000116 case RecordStreamer::GlobalWeak:
117 Res |= BasicSymbolRef::SF_Weak;
118 Res |= BasicSymbolRef::SF_Global;
Davide Italiano36c54fb2016-06-23 00:07:31 +0000119 break;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000120 }
Mehdi Aminie9cffaf2016-04-22 04:28:05 +0000121 AsmUndefinedRefs(Key, BasicSymbolRef::Flags(Res));
Rafael Espindola13b69d62014-07-03 18:59:23 +0000122 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000123}
124
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000125IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000126 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000127
Rafael Espindola527e8462014-12-09 16:13:59 +0000128static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000129 if ((Symb.p & 3) == 3)
130 return nullptr;
131
132 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000133}
134
135static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
136 if (I == M.alias_end())
137 return 3;
138 const GlobalValue *GV = &*I;
139 return reinterpret_cast<uintptr_t>(GV) | 2;
140}
141
142static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
143 if (I == M.global_end())
144 return skipEmpty(M.alias_begin(), M);
145 const GlobalValue *GV = &*I;
146 return reinterpret_cast<uintptr_t>(GV) | 1;
147}
148
149static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
150 if (I == M.end())
151 return skipEmpty(M.global_begin(), M);
152 const GlobalValue *GV = &*I;
153 return reinterpret_cast<uintptr_t>(GV) | 0;
154}
155
Rafael Espindola13b69d62014-07-03 18:59:23 +0000156static unsigned getAsmSymIndex(DataRefImpl Symb) {
157 assert((Symb.p & uintptr_t(3)) == 3);
158 uintptr_t Index = Symb.p & ~uintptr_t(3);
159 Index >>= 2;
160 return Index;
161}
162
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000163void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000164 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000165 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000166
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000167 switch (Symb.p & 3) {
168 case 0: {
169 Module::const_iterator Iter(static_cast<const Function*>(GV));
170 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000171 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000172 break;
173 }
174 case 1: {
175 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
176 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000177 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000178 break;
179 }
180 case 2: {
181 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
182 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000183 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000184 break;
185 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000186 case 3: {
187 unsigned Index = getAsmSymIndex(Symb);
188 assert(Index < AsmSymbols.size());
189 ++Index;
190 Res = (Index << 2) | 3;
191 break;
192 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000193 default:
194 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000195 }
196
197 Symb.p = Res;
198}
199
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000200std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
201 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000202 const GlobalValue *GV = getGV(Symb);
203 if (!GV) {
204 unsigned Index = getAsmSymIndex(Symb);
205 assert(Index <= AsmSymbols.size());
206 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000207 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000208 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000209
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000210 if (GV->hasDLLImportStorageClass())
211 OS << "__imp_";
212
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000213 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000214 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000215 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000216 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000217
Rui Ueyama7d099192015-06-09 15:20:42 +0000218 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000219}
220
221uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000222 const GlobalValue *GV = getGV(Symb);
223
224 if (!GV) {
225 unsigned Index = getAsmSymIndex(Symb);
226 assert(Index <= AsmSymbols.size());
227 return AsmSymbols[Index].second;
228 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000229
230 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000231 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000232 Res |= BasicSymbolRef::SF_Undefined;
Kevin Enderbydc0dbe12015-11-10 00:31:08 +0000233 else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
234 Res |= BasicSymbolRef::SF_Hidden;
235 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
236 if (GVar->isConstant())
237 Res |= BasicSymbolRef::SF_Const;
238 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000239 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000240 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000241 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000242 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000243 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000244 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola8d6fbc32016-02-29 14:26:06 +0000245 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
246 GV->hasExternalWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000247 Res |= BasicSymbolRef::SF_Weak;
248
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000249 if (GV->getName().startswith("llvm."))
250 Res |= BasicSymbolRef::SF_FormatSpecific;
251 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindola83658d62016-05-11 18:21:59 +0000252 if (Var->getSection() == "llvm.metadata")
Rafael Espindolab674c172014-07-04 15:03:17 +0000253 Res |= BasicSymbolRef::SF_FormatSpecific;
254 }
255
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000256 return Res;
257}
258
Rafael Espindola527e8462014-12-09 16:13:59 +0000259GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000260
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000261std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
262
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000263basic_symbol_iterator IRObjectFile::symbol_begin_impl() const {
264 Module::const_iterator I = M->begin();
265 DataRefImpl Ret;
266 Ret.p = skipEmpty(I, *M);
267 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
268}
269
270basic_symbol_iterator IRObjectFile::symbol_end_impl() const {
271 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000272 uint64_t NumAsm = AsmSymbols.size();
273 NumAsm <<= 2;
274 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000275 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
276}
277
Peter Collingbourne10039c02014-09-18 21:28:49 +0000278ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
279 for (const SectionRef &Sec : Obj.sections()) {
Steven Wuf2fe0142016-02-29 19:40:10 +0000280 if (Sec.isBitcode()) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000281 StringRef SecContents;
282 if (std::error_code EC = Sec.getContents(SecContents))
283 return EC;
284 return MemoryBufferRef(SecContents, Obj.getFileName());
285 }
286 }
287
288 return object_error::bitcode_section_not_found;
289}
290
291ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
292 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
293 switch (Type) {
294 case sys::fs::file_magic::bitcode:
295 return Object;
296 case sys::fs::file_magic::elf_relocatable:
297 case sys::fs::file_magic::macho_object:
298 case sys::fs::file_magic::coff_object: {
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000299 Expected<std::unique_ptr<ObjectFile>> ObjFile =
Peter Collingbourne10039c02014-09-18 21:28:49 +0000300 ObjectFile::createObjectFile(Object, Type);
301 if (!ObjFile)
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000302 return errorToErrorCode(ObjFile.takeError());
Peter Collingbourne10039c02014-09-18 21:28:49 +0000303 return findBitcodeInObject(*ObjFile->get());
304 }
305 default:
306 return object_error::invalid_file_type;
307 }
308}
309
David Blaikie10a27df2014-09-03 17:59:23 +0000310ErrorOr<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000311llvm::object::IRObjectFile::create(MemoryBufferRef Object,
312 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000313 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
314 if (!BCOrErr)
315 return BCOrErr.getError();
Rafael Espindola48af1c22014-08-19 18:44:46 +0000316
Rafael Espindolacf981622016-02-11 19:54:18 +0000317 std::unique_ptr<MemoryBuffer> Buff =
318 MemoryBuffer::getMemBuffer(BCOrErr.get(), false);
Rafael Espindola48af1c22014-08-19 18:44:46 +0000319
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000320 ErrorOr<std::unique_ptr<Module>> MOrErr =
Rafael Espindola9d2bfc42015-12-14 23:17:03 +0000321 getLazyBitcodeModule(std::move(Buff), Context,
Rafael Espindolacba833a2015-03-13 21:54:20 +0000322 /*ShouldLazyLoadMetadata*/ true);
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000323 if (std::error_code EC = MOrErr.getError())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000324 return EC;
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000325
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000326 std::unique_ptr<Module> &M = MOrErr.get();
David Blaikie10a27df2014-09-03 17:59:23 +0000327 return llvm::make_unique<IRObjectFile>(Object, std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000328}