blob: bf55398f92242fbaefdb947c3f6a5bd040ed9116 [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);
Teresa Johnson3624bdf2016-11-14 17:12:32 +000057 assert(T && T->hasMCAsmParser());
Rafael Espindola13b69d62014-07-03 18:59:23 +000058
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000059 std::unique_ptr<MCRegisterInfo> MRI(T->createMCRegInfo(TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000060 if (!MRI)
61 return;
62
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000063 std::unique_ptr<MCAsmInfo> MAI(T->createMCAsmInfo(*MRI, TT.str()));
Rafael Espindola13b69d62014-07-03 18:59:23 +000064 if (!MAI)
65 return;
66
67 std::unique_ptr<MCSubtargetInfo> STI(
Daniel Sanders8d8b13d2015-06-16 12:18:07 +000068 T->createMCSubtargetInfo(TT.str(), "", ""));
Rafael Espindola13b69d62014-07-03 18:59:23 +000069 if (!STI)
70 return;
71
72 std::unique_ptr<MCInstrInfo> MCII(T->createMCInstrInfo());
73 if (!MCII)
74 return;
75
76 MCObjectFileInfo MOFI;
77 MCContext MCCtx(MAI.get(), MRI.get(), &MOFI);
Rafael Espindola699281c2016-05-18 11:58:50 +000078 MOFI.InitMCObjectFileInfo(TT, /*PIC*/ false, CodeModel::Default, MCCtx);
Peter Collingbourne63e10c92016-11-18 03:20:36 +000079 RecordStreamer Streamer(MCCtx);
80 T->createNullTargetStreamer(Streamer);
Rafael Espindola13b69d62014-07-03 18:59:23 +000081
82 std::unique_ptr<MemoryBuffer> Buffer(MemoryBuffer::getMemBuffer(InlineAsm));
83 SourceMgr SrcMgr;
David Blaikie1961f142014-08-21 20:44:56 +000084 SrcMgr.AddNewSourceBuffer(std::move(Buffer), SMLoc());
Rafael Espindola13b69d62014-07-03 18:59:23 +000085 std::unique_ptr<MCAsmParser> Parser(
Peter Collingbourne63e10c92016-11-18 03:20:36 +000086 createMCAsmParser(SrcMgr, MCCtx, Streamer, *MAI));
Rafael Espindola13b69d62014-07-03 18:59:23 +000087
88 MCTargetOptions MCOptions;
89 std::unique_ptr<MCTargetAsmParser> TAP(
90 T->createMCAsmParser(*STI, *Parser, *MCII, MCOptions));
91 if (!TAP)
92 return;
93
94 Parser->setTargetParser(*TAP);
95 if (Parser->Run(false))
96 return;
97
Peter Collingbourne63e10c92016-11-18 03:20:36 +000098 for (auto &KV : Streamer) {
Rafael Espindola13b69d62014-07-03 18:59:23 +000099 StringRef Key = KV.first();
100 RecordStreamer::State Value = KV.second;
101 uint32_t Res = BasicSymbolRef::SF_None;
102 switch (Value) {
103 case RecordStreamer::NeverSeen:
Davide Italianocc1aa052016-09-16 16:07:19 +0000104 llvm_unreachable("NeverSeen should have been replaced earlier");
Rafael Espindola13b69d62014-07-03 18:59:23 +0000105 case RecordStreamer::DefinedGlobal:
106 Res |= BasicSymbolRef::SF_Global;
107 break;
108 case RecordStreamer::Defined:
109 break;
110 case RecordStreamer::Global:
111 case RecordStreamer::Used:
112 Res |= BasicSymbolRef::SF_Undefined;
113 Res |= BasicSymbolRef::SF_Global;
114 break;
Davide Italianof7518492016-09-15 17:54:22 +0000115 case RecordStreamer::DefinedWeak:
Davide Italianoec7e29e2016-06-22 20:48:15 +0000116 Res |= BasicSymbolRef::SF_Weak;
117 Res |= BasicSymbolRef::SF_Global;
Davide Italiano36c54fb2016-06-23 00:07:31 +0000118 break;
Davide Italianof7518492016-09-15 17:54:22 +0000119 case RecordStreamer::UndefinedWeak:
120 Res |= BasicSymbolRef::SF_Weak;
121 Res |= BasicSymbolRef::SF_Undefined;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000122 }
Mehdi Aminie9cffaf2016-04-22 04:28:05 +0000123 AsmUndefinedRefs(Key, BasicSymbolRef::Flags(Res));
Rafael Espindola13b69d62014-07-03 18:59:23 +0000124 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000125}
126
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000127IRObjectFile::~IRObjectFile() {
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000128 }
Rafael Espindolac3f9b5a2014-06-23 21:53:12 +0000129
Rafael Espindola527e8462014-12-09 16:13:59 +0000130static GlobalValue *getGV(DataRefImpl &Symb) {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000131 if ((Symb.p & 3) == 3)
132 return nullptr;
133
134 return reinterpret_cast<GlobalValue*>(Symb.p & ~uintptr_t(3));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000135}
136
137static uintptr_t skipEmpty(Module::const_alias_iterator I, const Module &M) {
138 if (I == M.alias_end())
139 return 3;
140 const GlobalValue *GV = &*I;
141 return reinterpret_cast<uintptr_t>(GV) | 2;
142}
143
144static uintptr_t skipEmpty(Module::const_global_iterator I, const Module &M) {
145 if (I == M.global_end())
146 return skipEmpty(M.alias_begin(), M);
147 const GlobalValue *GV = &*I;
148 return reinterpret_cast<uintptr_t>(GV) | 1;
149}
150
151static uintptr_t skipEmpty(Module::const_iterator I, const Module &M) {
152 if (I == M.end())
153 return skipEmpty(M.global_begin(), M);
154 const GlobalValue *GV = &*I;
155 return reinterpret_cast<uintptr_t>(GV) | 0;
156}
157
Rafael Espindola13b69d62014-07-03 18:59:23 +0000158static unsigned getAsmSymIndex(DataRefImpl Symb) {
159 assert((Symb.p & uintptr_t(3)) == 3);
160 uintptr_t Index = Symb.p & ~uintptr_t(3);
161 Index >>= 2;
162 return Index;
163}
164
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000165void IRObjectFile::moveSymbolNext(DataRefImpl &Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000166 const GlobalValue *GV = getGV(Symb);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000167 uintptr_t Res;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000168
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000169 switch (Symb.p & 3) {
170 case 0: {
171 Module::const_iterator Iter(static_cast<const Function*>(GV));
172 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000173 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000174 break;
175 }
176 case 1: {
177 Module::const_global_iterator Iter(static_cast<const GlobalVariable*>(GV));
178 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000179 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000180 break;
181 }
182 case 2: {
183 Module::const_alias_iterator Iter(static_cast<const GlobalAlias*>(GV));
184 ++Iter;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000185 Res = skipEmpty(Iter, *M);
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000186 break;
187 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000188 case 3: {
189 unsigned Index = getAsmSymIndex(Symb);
190 assert(Index < AsmSymbols.size());
191 ++Index;
192 Res = (Index << 2) | 3;
193 break;
194 }
Michael Ilsemanaddddc42014-12-15 18:48:43 +0000195 default:
196 llvm_unreachable("unreachable case");
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000197 }
198
199 Symb.p = Res;
200}
201
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000202std::error_code IRObjectFile::printSymbolName(raw_ostream &OS,
203 DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000204 const GlobalValue *GV = getGV(Symb);
205 if (!GV) {
206 unsigned Index = getAsmSymIndex(Symb);
207 assert(Index <= AsmSymbols.size());
208 OS << AsmSymbols[Index].first;
Rui Ueyama7d099192015-06-09 15:20:42 +0000209 return std::error_code();
Rafael Espindola13b69d62014-07-03 18:59:23 +0000210 }
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000211
Peter Collingbourne82e657b2015-06-11 21:42:18 +0000212 if (GV->hasDLLImportStorageClass())
213 OS << "__imp_";
214
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000215 if (Mang)
Rafael Espindola13b69d62014-07-03 18:59:23 +0000216 Mang->getNameWithPrefix(OS, GV, false);
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000217 else
Rafael Espindola13b69d62014-07-03 18:59:23 +0000218 OS << GV->getName();
Rafael Espindolaa51f0f82014-02-28 02:17:23 +0000219
Rui Ueyama7d099192015-06-09 15:20:42 +0000220 return std::error_code();
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000221}
222
223uint32_t IRObjectFile::getSymbolFlags(DataRefImpl Symb) const {
Rafael Espindola13b69d62014-07-03 18:59:23 +0000224 const GlobalValue *GV = getGV(Symb);
225
226 if (!GV) {
227 unsigned Index = getAsmSymIndex(Symb);
228 assert(Index <= AsmSymbols.size());
229 return AsmSymbols[Index].second;
230 }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000231
232 uint32_t Res = BasicSymbolRef::SF_None;
Rafael Espindolad4bcefc2014-10-24 18:13:04 +0000233 if (GV->isDeclarationForLinker())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000234 Res |= BasicSymbolRef::SF_Undefined;
Kevin Enderbydc0dbe12015-11-10 00:31:08 +0000235 else if (GV->hasHiddenVisibility() && !GV->hasLocalLinkage())
236 Res |= BasicSymbolRef::SF_Hidden;
237 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) {
238 if (GVar->isConstant())
239 Res |= BasicSymbolRef::SF_Const;
240 }
Rafael Espindola13b69d62014-07-03 18:59:23 +0000241 if (GV->hasPrivateLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000242 Res |= BasicSymbolRef::SF_FormatSpecific;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000243 if (!GV->hasLocalLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000244 Res |= BasicSymbolRef::SF_Global;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000245 if (GV->hasCommonLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000246 Res |= BasicSymbolRef::SF_Common;
Rafael Espindola8d6fbc32016-02-29 14:26:06 +0000247 if (GV->hasLinkOnceLinkage() || GV->hasWeakLinkage() ||
248 GV->hasExternalWeakLinkage())
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000249 Res |= BasicSymbolRef::SF_Weak;
250
Rafael Espindola2dc0d9b2014-07-04 19:08:22 +0000251 if (GV->getName().startswith("llvm."))
252 Res |= BasicSymbolRef::SF_FormatSpecific;
253 else if (auto *Var = dyn_cast<GlobalVariable>(GV)) {
Rafael Espindola83658d62016-05-11 18:21:59 +0000254 if (Var->getSection() == "llvm.metadata")
Rafael Espindolab674c172014-07-04 15:03:17 +0000255 Res |= BasicSymbolRef::SF_FormatSpecific;
256 }
257
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000258 return Res;
259}
260
Rafael Espindola527e8462014-12-09 16:13:59 +0000261GlobalValue *IRObjectFile::getSymbolGV(DataRefImpl Symb) { return getGV(Symb); }
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000262
Rafael Espindola25a7e0a2014-12-09 16:18:11 +0000263std::unique_ptr<Module> IRObjectFile::takeModule() { return std::move(M); }
264
Peter Collingbourne435890a2016-11-22 03:38:40 +0000265basic_symbol_iterator IRObjectFile::symbol_begin() const {
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000266 Module::const_iterator I = M->begin();
267 DataRefImpl Ret;
268 Ret.p = skipEmpty(I, *M);
269 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
270}
271
Peter Collingbourne435890a2016-11-22 03:38:40 +0000272basic_symbol_iterator IRObjectFile::symbol_end() const {
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000273 DataRefImpl Ret;
Rafael Espindola13b69d62014-07-03 18:59:23 +0000274 uint64_t NumAsm = AsmSymbols.size();
275 NumAsm <<= 2;
276 Ret.p = 3 | NumAsm;
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000277 return basic_symbol_iterator(BasicSymbolRef(Ret, this));
278}
279
Peter Collingbourne10039c02014-09-18 21:28:49 +0000280ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInObject(const ObjectFile &Obj) {
281 for (const SectionRef &Sec : Obj.sections()) {
Steven Wuf2fe0142016-02-29 19:40:10 +0000282 if (Sec.isBitcode()) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000283 StringRef SecContents;
284 if (std::error_code EC = Sec.getContents(SecContents))
285 return EC;
286 return MemoryBufferRef(SecContents, Obj.getFileName());
287 }
288 }
289
290 return object_error::bitcode_section_not_found;
291}
292
293ErrorOr<MemoryBufferRef> IRObjectFile::findBitcodeInMemBuffer(MemoryBufferRef Object) {
294 sys::fs::file_magic Type = sys::fs::identify_magic(Object.getBuffer());
295 switch (Type) {
296 case sys::fs::file_magic::bitcode:
297 return Object;
298 case sys::fs::file_magic::elf_relocatable:
299 case sys::fs::file_magic::macho_object:
300 case sys::fs::file_magic::coff_object: {
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000301 Expected<std::unique_ptr<ObjectFile>> ObjFile =
Peter Collingbourne10039c02014-09-18 21:28:49 +0000302 ObjectFile::createObjectFile(Object, Type);
303 if (!ObjFile)
Kevin Enderby3fcdf6a2016-04-06 22:14:09 +0000304 return errorToErrorCode(ObjFile.takeError());
Peter Collingbourne10039c02014-09-18 21:28:49 +0000305 return findBitcodeInObject(*ObjFile->get());
306 }
307 default:
308 return object_error::invalid_file_type;
309 }
310}
311
Peter Collingbourned9445c42016-11-13 07:00:17 +0000312Expected<std::unique_ptr<IRObjectFile>>
Rafael Espindola5dec7ea2014-12-09 20:36:13 +0000313llvm::object::IRObjectFile::create(MemoryBufferRef Object,
314 LLVMContext &Context) {
Peter Collingbourne10039c02014-09-18 21:28:49 +0000315 ErrorOr<MemoryBufferRef> BCOrErr = findBitcodeInMemBuffer(Object);
316 if (!BCOrErr)
Peter Collingbourned9445c42016-11-13 07:00:17 +0000317 return errorCodeToError(BCOrErr.getError());
Rafael Espindola48af1c22014-08-19 18:44:46 +0000318
Peter Collingbourned9445c42016-11-13 07:00:17 +0000319 Expected<std::unique_ptr<Module>> MOrErr =
Peter Collingbournee2dcf7c2016-11-08 06:03:43 +0000320 getLazyBitcodeModule(*BCOrErr, Context,
Rafael Espindolacba833a2015-03-13 21:54:20 +0000321 /*ShouldLazyLoadMetadata*/ true);
Peter Collingbourned9445c42016-11-13 07:00:17 +0000322 if (!MOrErr)
323 return MOrErr.takeError();
Rafael Espindoladddd1fd2014-07-04 18:40:36 +0000324
Rafael Espindoladcd1dca2015-06-16 22:27:55 +0000325 std::unique_ptr<Module> &M = MOrErr.get();
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000326 return llvm::make_unique<IRObjectFile>(BCOrErr.get(), std::move(M));
Rafael Espindolaf12b8282014-02-21 20:10:59 +0000327}