blob: 76cb15630ae28cacefc8f9e0a91726178cd1e74d [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());
Mehdi Amini9ff43e42016-04-22 04:49:46 +000041 CollectAsmUndefinedRefs(
Mehdi Aminia0cb8902016-04-22 04:58:12 +000042 Triple(M->getTargetTriple()), M->getModuleInlineAsm(),
43 [this](StringRef Name, BasicSymbolRef::Flags Flags) {
Mehdi Amini9ff43e42016-04-22 04:49:46 +000044 AsmSymbols.push_back(
45 std::make_pair<std::string, uint32_t>(Name, std::move(Flags)));
46 });
Mehdi Aminie9cffaf2016-04-22 04:28:05 +000047}
Rafael Espindola13b69d62014-07-03 18:59:23 +000048
Mehdi Aminie9cffaf2016-04-22 04:28:05 +000049// Parse inline ASM and collect the list of symbols that are not defined in
50// the current module. This is inspired from IRObjectFile.
51void IRObjectFile::CollectAsmUndefinedRefs(
Mehdi Aminia0cb8902016-04-22 04:58:12 +000052 const Triple &TT, StringRef InlineAsm,
Mehdi Aminie9cffaf2016-04-22 04:28:05 +000053 const std::function<void(StringRef, BasicSymbolRef::Flags)> &
54 AsmUndefinedRefs) {
Rafael Espindola13b69d62014-07-03 18:59:23 +000055 if (InlineAsm.empty())
56 return;
57
Rafael Espindola13b69d62014-07-03 18:59:23 +000058 std::string Err;
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000059 const Target *T = TargetRegistry::lookupTarget(TT.str(), Err);
Rafael Espindola13b69d62014-07-03 18:59:23 +000060 if (!T)
61 return;
62
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000063 std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000064 if (!MRI)
65 return;
66
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000067 std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000068 if (!MAI)
69 return;
70
71 std::unique_ptr<MCSubtargetInfo> STI(
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000072 T->createMCSubtargetInfo(TT.str(), "", ""));
Rafael Espindola13b69d62014-07-03 18:59:23 +000073 if (!STI)
74 return;
75
76 std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
77 if (!MCII)
78 return;
79
80 MCObjectFileInfo MOFI;
81 MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000082 MOFI.InitMCObjectFileInfo(TT, Reloc::Default, CodeModel::Default, MCCtx);
Rafael Espindola13b69d62014-07-03 18:59:23 +000083 std::unique_ptr<RecordStreamer> Streamer(new RecordStreamer(MCCtx));
Peter Collingbourne20c72592015-02-19 00:45:02 +000084 T->createNullTargetStreamer(*Streamer);
Rafael Espindola13b69d62014-07-03 18:59:23 +000085
86 std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
87 SourceMgr SrcMgr;
David Blaikie1961f142014-08-21 20:44:56 +000088 SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
Rafael Espindola13b69d62014-07-03 18:59:23 +000089 std::unique_ptr<MCAsmParser> Parser(
90 createMCAsmParser(SrcMgr, MCCtx, *Streamer, *MAI));
91
92 MCTargetOptions MCOptions;
93 std::unique_ptr<MCTargetAsmParser> TAP(
94 T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
95 if (!TAP)
96 return;
97
98 Parser->setTargetParser(*TAP);
99 if (Parser->Run(false))
100 return;
101
102 for (auto &KV : *Streamer) {
103 StringRef Key = KV.first();
104 RecordStreamer::State Value = KV.second;
105 uint32_t Res = BasicSymbolRef::SF_None;
106 switch (Value) {
107 case RecordStreamer::NeverSeen:
108 llvm_unreachable("foo");
109 case RecordStreamer::DefinedGlobal:
110 Res |= BasicSymbolRef::SF_Global;
111 break;
112 case RecordStreamer::Defined:
113 break;
114 case RecordStreamer::Global:
115 case RecordStreamer::Used:
116 Res |= BasicSymbolRef::SF_Undefined;
117 Res |= BasicSymbolRef::SF_Global;
118 break;
119 }
Mehdi Aminie9cffaf2016-04-22 04:28:05 +0000120 AsmUndefinedRefs(Key, BasicSymbolRef::Flags(Res));
Rafael Espindola13b69d62014-07-03 18:59:23 +0000121 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000122}
123
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000124IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000125 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000126
Rafael Espindola527e8462014-12-09 16:13:59 +0000127static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000128 if ((Symb.p & 3) == 3)
129 return nullptr;
130
131 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000132}
133
134static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
135 if (I == M.alias_end())
136 return 3;
137 const GlobalValue *GV = &*I;
138 return reinterpret_cast<uintptr_t>(GV) | 2;
139}
140
141static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
142 if (I == M.global_end())
143 return skipEmpty(M.alias_begin(), M);
144 const GlobalValue *GV = &*I;
145 return reinterpret_cast<uintptr_t>(GV) | 1;
146}
147
148static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
149 if (I == M.end())
150 return skipEmpty(M.global_begin(), M);
151 const GlobalValue *GV = &*I;
152 return reinterpret_cast<uintptr_t>(GV) | 0;
153}
154
Rafael Espindola13b69d62014-07-03 18:59:23 +0000155static unsigned getAsmSymIndex(DataRefImpl Symb) {
156 assert((Symb.p & uintptr_t(3)) == 3);
157 uintptr_t Index = Symb.p & ~uintptr_t(3);
158 Index >>= 2;
159 return Index;
160}
161
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000162void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000163 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000164 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000165
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000166 switch (Symb.p & 3) {
167 case 0: {
168 Module::const_iterator Iter(static_cast<const Function*>(GV));
169 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000170 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000171 break;
172 }
173 case 1: {
174 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
175 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000176 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000177 break;
178 }
179 case 2: {
180 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
181 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000182 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000183 break;
184 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000185 case 3: {
186 unsigned Index = getAsmSymIndex(Symb);
187 assert(Index < AsmSymbols.size());
188 ++Index;
189 Res = (Index << 2) | 3;
190 break;
191 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000192 default:
193 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000194 }
195
196 Symb.p = Res;
197}
198
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000199std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
200 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000201 const GlobalValue *GV = getGV(Symb);
202 if (!GV) {
203 unsigned Index = getAsmSymIndex(Symb);
204 assert(Index <= AsmSymbols.size());
205 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000206 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000207 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000208
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000209 if (GV->hasDLLImportStorageClass())
210 OS << "__imp_";
211
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000212 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000213 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000214 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000215 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000216
Rui Ueyama7d099192015-06-09 15:20:42 +0000217 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000218}
219
220uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000221 const GlobalValue *GV = getGV(Symb);
222
223 if (!GV) {
224 unsigned Index = getAsmSymIndex(Symb);
225 assert(Index <= AsmSymbols.size());
226 return AsmSymbols[Index].second;
227 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000228
229 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000230 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000231 Res |= BasicSymbolRef::SF_Undefined;
Kevin Enderbydc0dbe12015-11-10 00:31:08 +0000232 else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
233 Res |= BasicSymbolRef::SF_Hidden;
234 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
235 if (GVar->isConstant())
236 Res |= BasicSymbolRef::SF_Const;
237 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000238 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000239 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000240 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000241 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000242 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000243 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola8d6fbc32016-02-29 14:26:06 +0000244 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
245 GV->hasExternalWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000246 Res |= BasicSymbolRef::SF_Weak;
247
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000248 if (GV->getName().startswith("llvm."))
249 Res |= BasicSymbolRef::SF_FormatSpecific;
250 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindolab674c172014-07-04 15:03:17 +0000251 if (Var->getSection() == StringRef("llvm.metadata"))
252 Res |= BasicSymbolRef::SF_FormatSpecific;
253 }
254
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000255 return Res;
256}
257
Rafael Espindola527e8462014-12-09 16:13:59 +0000258GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000259
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000260std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
261
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000262basic_symbol_iterator IRObjectFile::symbol_begin_impl() const {
263 Module::const_iterator I = M->begin();
264 DataRefImpl Ret;
265 Ret.p = skipEmpty(I, *M);
266 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
267}
268
269basic_symbol_iterator IRObjectFile::symbol_end_impl() const {
270 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000271 uint64_t NumAsm = AsmSymbols.size();
272 NumAsm <<= 2;
273 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000274 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
275}
276
Peter Collingbourne10039c02014-09-18 21:28:49 +0000277ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
278 for (const SectionRef &Sec : Obj.sections()) {
Steven Wuf2fe0142016-02-29 19:40:10 +0000279 if (Sec.isBitcode()) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000280 StringRef SecContents;
281 if (std::error_code EC = Sec.getContents(SecContents))
282 return EC;
283 return MemoryBufferRef(SecContents, Obj.getFileName());
284 }
285 }
286
287 return object_error::bitcode_section_not_found;
288}
289
290ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
291 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
292 switch (Type) {
293 case sys::fs::file_magic::bitcode:
294 return Object;
295 case sys::fs::file_magic::elf_relocatable:
296 case sys::fs::file_magic::macho_object:
297 case sys::fs::file_magic::coff_object: {
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000298 Expected<std::unique_ptr<ObjectFile>> ObjFile =
Peter Collingbourne10039c02014-09-18 21:28:49 +0000299 ObjectFile::createObjectFile(Object, Type);
300 if (!ObjFile)
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000301 return errorToErrorCode(ObjFile.takeError());
Peter Collingbourne10039c02014-09-18 21:28:49 +0000302 return findBitcodeInObject(*ObjFile->get());
303 }
304 default:
305 return object_error::invalid_file_type;
306 }
307}
308
David Blaikie10a27df2014-09-03 17:59:23 +0000309ErrorOr<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000310llvm::object::IRObjectFile::create(MemoryBufferRef Object,
311 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000312 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
313 if (!BCOrErr)
314 return BCOrErr.getError();
Rafael Espindola48af1c22014-08-19 18:44:46 +0000315
Rafael Espindolacf981622016-02-11 19:54:18 +0000316 std::unique_ptr<MemoryBuffer> Buff =
317 MemoryBuffer::getMemBuffer(BCOrErr.get(), false);
Rafael Espindola48af1c22014-08-19 18:44:46 +0000318
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000319 ErrorOr<std::unique_ptr<Module>> MOrErr =
Rafael Espindola9d2bfc42015-12-14 23:17:03 +0000320 getLazyBitcodeModule(std::move(Buff), Context,
Rafael Espindolacba833a2015-03-13 21:54:20 +0000321 /*ShouldLazyLoadMetadata*/ true);
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000322 if (std::error_code EC = MOrErr.getError())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000323 return EC;
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000324
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000325 std::unique_ptr<Module> &M = MOrErr.get();
David Blaikie10a27df2014-09-03 17:59:23 +0000326 return llvm::make_unique<IRObjectFile>(Object, std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000327}