blob: c2b4b289315ce91cd407c6704dbdc12b93c3451e [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"
Teresa Johnsonad176792016-11-11 05:34:58 +000017#include "llvm/Bitcode/BitcodeReader.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);
Mehdi Aminib6a11a72016-11-09 01:45:13 +000057 if (!T)
58 return;
Rafael Espindola13b69d62014-07-03 18:59:23 +000059
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:
Davide Italianocc1aa052016-09-16 16:07:19 +0000105 llvm_unreachable("NeverSeen should have been replaced earlier");
Rafael Espindola13b69d62014-07-03 18:59:23 +0000106 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 Italianof7518492016-09-15 17:54:22 +0000116 case RecordStreamer::DefinedWeak:
Davide Italianoec7e29e2016-06-22 20:48:15 +0000117 Res |= BasicSymbolRef::SF_Weak;
118 Res |= BasicSymbolRef::SF_Global;
Davide Italiano36c54fb2016-06-23 00:07:31 +0000119 break;
Davide Italianof7518492016-09-15 17:54:22 +0000120 case RecordStreamer::UndefinedWeak:
121 Res |= BasicSymbolRef::SF_Weak;
122 Res |= BasicSymbolRef::SF_Undefined;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000123 }
Mehdi Aminie9cffaf2016-04-22 04:28:05 +0000124 AsmUndefinedRefs(Key, BasicSymbolRef::Flags(Res));
Rafael Espindola13b69d62014-07-03 18:59:23 +0000125 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000126}
127
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000128IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000129 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000130
Rafael Espindola527e8462014-12-09 16:13:59 +0000131static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000132 if ((Symb.p & 3) == 3)
133 return nullptr;
134
135 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000136}
137
138static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
139 if (I == M.alias_end())
140 return 3;
141 const GlobalValue *GV = &*I;
142 return reinterpret_cast<uintptr_t>(GV) | 2;
143}
144
145static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
146 if (I == M.global_end())
147 return skipEmpty(M.alias_begin(), M);
148 const GlobalValue *GV = &*I;
149 return reinterpret_cast<uintptr_t>(GV) | 1;
150}
151
152static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
153 if (I == M.end())
154 return skipEmpty(M.global_begin(), M);
155 const GlobalValue *GV = &*I;
156 return reinterpret_cast<uintptr_t>(GV) | 0;
157}
158
Rafael Espindola13b69d62014-07-03 18:59:23 +0000159static unsigned getAsmSymIndex(DataRefImpl Symb) {
160 assert((Symb.p & uintptr_t(3)) == 3);
161 uintptr_t Index = Symb.p & ~uintptr_t(3);
162 Index >>= 2;
163 return Index;
164}
165
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000166void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000167 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000168 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000169
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000170 switch (Symb.p & 3) {
171 case 0: {
172 Module::const_iterator Iter(static_cast<const Function*>(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 }
177 case 1: {
178 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
179 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000180 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000181 break;
182 }
183 case 2: {
184 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
185 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000186 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000187 break;
188 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000189 case 3: {
190 unsigned Index = getAsmSymIndex(Symb);
191 assert(Index < AsmSymbols.size());
192 ++Index;
193 Res = (Index << 2) | 3;
194 break;
195 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000196 default:
197 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000198 }
199
200 Symb.p = Res;
201}
202
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000203std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
204 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000205 const GlobalValue *GV = getGV(Symb);
206 if (!GV) {
207 unsigned Index = getAsmSymIndex(Symb);
208 assert(Index <= AsmSymbols.size());
209 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000210 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000211 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000212
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000213 if (GV->hasDLLImportStorageClass())
214 OS << "__imp_";
215
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000216 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000217 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000218 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000219 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000220
Rui Ueyama7d099192015-06-09 15:20:42 +0000221 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000222}
223
224uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000225 const GlobalValue *GV = getGV(Symb);
226
227 if (!GV) {
228 unsigned Index = getAsmSymIndex(Symb);
229 assert(Index <= AsmSymbols.size());
230 return AsmSymbols[Index].second;
231 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000232
233 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000234 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000235 Res |= BasicSymbolRef::SF_Undefined;
Kevin Enderbydc0dbe12015-11-10 00:31:08 +0000236 else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
237 Res |= BasicSymbolRef::SF_Hidden;
238 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
239 if (GVar->isConstant())
240 Res |= BasicSymbolRef::SF_Const;
241 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000242 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000243 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000244 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000245 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000246 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000247 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola8d6fbc32016-02-29 14:26:06 +0000248 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
249 GV->hasExternalWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000250 Res |= BasicSymbolRef::SF_Weak;
251
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000252 if (GV->getName().startswith("llvm."))
253 Res |= BasicSymbolRef::SF_FormatSpecific;
254 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindola83658d62016-05-11 18:21:59 +0000255 if (Var->getSection() == "llvm.metadata")
Rafael Espindolab674c172014-07-04 15:03:17 +0000256 Res |= BasicSymbolRef::SF_FormatSpecific;
257 }
258
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000259 return Res;
260}
261
Rafael Espindola527e8462014-12-09 16:13:59 +0000262GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000263
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000264std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
265
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000266basic_symbol_iterator IRObjectFile::symbol_begin_impl() const {
267 Module::const_iterator I = M->begin();
268 DataRefImpl Ret;
269 Ret.p = skipEmpty(I, *M);
270 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
271}
272
273basic_symbol_iterator IRObjectFile::symbol_end_impl() const {
274 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000275 uint64_t NumAsm = AsmSymbols.size();
276 NumAsm <<= 2;
277 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000278 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
279}
280
Peter Collingbourne10039c02014-09-18 21:28:49 +0000281ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
282 for (const SectionRef &Sec : Obj.sections()) {
Steven Wuf2fe0142016-02-29 19:40:10 +0000283 if (Sec.isBitcode()) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000284 StringRef SecContents;
285 if (std::error_code EC = Sec.getContents(SecContents))
286 return EC;
287 return MemoryBufferRef(SecContents, Obj.getFileName());
288 }
289 }
290
291 return object_error::bitcode_section_not_found;
292}
293
294ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
295 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
296 switch (Type) {
297 case sys::fs::file_magic::bitcode:
298 return Object;
299 case sys::fs::file_magic::elf_relocatable:
300 case sys::fs::file_magic::macho_object:
301 case sys::fs::file_magic::coff_object: {
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000302 Expected<std::unique_ptr<ObjectFile>> ObjFile =
Peter Collingbourne10039c02014-09-18 21:28:49 +0000303 ObjectFile::createObjectFile(Object, Type);
304 if (!ObjFile)
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000305 return errorToErrorCode(ObjFile.takeError());
Peter Collingbourne10039c02014-09-18 21:28:49 +0000306 return findBitcodeInObject(*ObjFile->get());
307 }
308 default:
309 return object_error::invalid_file_type;
310 }
311}
312
David Blaikie10a27df2014-09-03 17:59:23 +0000313ErrorOr<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000314llvm::object::IRObjectFile::create(MemoryBufferRef Object,
315 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000316 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
317 if (!BCOrErr)
318 return BCOrErr.getError();
Rafael Espindola48af1c22014-08-19 18:44:46 +0000319
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000320 ErrorOr<std::unique_ptr<Module>> MOrErr =
Peter Collingbournee2dcf7c2016-11-08 06:03:43 +0000321 getLazyBitcodeModule(*BCOrErr, 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();
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000327 return llvm::make_unique<IRObjectFile>(BCOrErr.get(), std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000328}