blob: 74cf9f50df04a094316eef6356ca4f118bc10772 [file] [log] [blame]
Jim Laskey6da18642007-01-26 21:38:26 +00001//===-- llvm/CodeGen/MachineModuleInfo.cpp ----------------------*- C++ -*-===//
Jim Laskey6af56812006-01-04 13:36:38 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Jim Laskey6af56812006-01-04 13:36:38 +00007//
8//===----------------------------------------------------------------------===//
Jim Laskey6af56812006-01-04 13:36:38 +00009
Jim Laskey6da18642007-01-26 21:38:26 +000010#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000011#include "llvm/ADT/PointerUnion.h"
12#include "llvm/Analysis/ValueTracking.h"
13#include "llvm/CodeGen/MachineFunction.h"
14#include "llvm/CodeGen/MachineFunctionPass.h"
15#include "llvm/CodeGen/Passes.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000016#include "llvm/IR/Constants.h"
17#include "llvm/IR/DerivedTypes.h"
18#include "llvm/IR/GlobalVariable.h"
19#include "llvm/IR/Module.h"
Evan Chenge76a33b2011-07-20 05:58:47 +000020#include "llvm/MC/MCObjectFileInfo.h"
Chris Lattner16112732010-03-14 01:41:15 +000021#include "llvm/MC/MCSymbol.h"
Jim Laskeyb3e789a2006-01-26 20:21:46 +000022#include "llvm/Support/Dwarf.h"
Torok Edwinc25e7582009-07-11 20:10:48 +000023#include "llvm/Support/ErrorHandling.h"
Jim Laskey6af56812006-01-04 13:36:38 +000024using namespace llvm;
Jim Laskey9c4447a2006-03-01 20:39:36 +000025using namespace llvm::dwarf;
Jim Laskey6af56812006-01-04 13:36:38 +000026
Micah Villmow3574eca2012-10-08 16:38:25 +000027// Handle the Pass registration stuff necessary to use DataLayout's.
Owen Andersond13db2c2010-07-21 22:09:45 +000028INITIALIZE_PASS(MachineModuleInfo, "machinemoduleinfo",
Owen Andersonce665bd2010-10-07 22:25:06 +000029 "Machine Module Information", false, false)
Devang Patel19974732007-05-03 01:11:54 +000030char MachineModuleInfo::ID = 0;
Jim Laskey063e7652006-01-17 17:31:53 +000031
Chris Lattnera70e2e32009-09-15 22:44:26 +000032// Out of line virtual method.
33MachineModuleInfoImpl::~MachineModuleInfoImpl() {}
34
Chris Lattner0220ba72010-03-15 19:09:43 +000035namespace llvm {
36class MMIAddrLabelMapCallbackPtr : CallbackVH {
37 MMIAddrLabelMap *Map;
38public:
39 MMIAddrLabelMapCallbackPtr() : Map(0) {}
40 MMIAddrLabelMapCallbackPtr(Value *V) : CallbackVH(V), Map(0) {}
Michael J. Spencere70c5262010-10-16 08:25:21 +000041
Chris Lattnerea16ea52010-03-22 23:15:57 +000042 void setPtr(BasicBlock *BB) {
43 ValueHandleBase::operator=(BB);
44 }
Michael J. Spencere70c5262010-10-16 08:25:21 +000045
Chris Lattner0220ba72010-03-15 19:09:43 +000046 void setMap(MMIAddrLabelMap *map) { Map = map; }
Michael J. Spencere70c5262010-10-16 08:25:21 +000047
Chris Lattner0220ba72010-03-15 19:09:43 +000048 virtual void deleted();
49 virtual void allUsesReplacedWith(Value *V2);
50};
Michael J. Spencere70c5262010-10-16 08:25:21 +000051
Chris Lattner0220ba72010-03-15 19:09:43 +000052class MMIAddrLabelMap {
53 MCContext &Context;
54 struct AddrLabelSymEntry {
Chris Lattner999aee22010-03-16 00:29:39 +000055 /// Symbols - The symbols for the label. This is a pointer union that is
56 /// either one symbol (the common case) or a list of symbols.
57 PointerUnion<MCSymbol *, std::vector<MCSymbol*>*> Symbols;
Michael J. Spencere70c5262010-10-16 08:25:21 +000058
Chris Lattner9cc0da92010-03-15 20:39:00 +000059 Function *Fn; // The containing function of the BasicBlock.
60 unsigned Index; // The index in BBCallbacks for the BasicBlock.
Chris Lattner0220ba72010-03-15 19:09:43 +000061 };
Michael J. Spencere70c5262010-10-16 08:25:21 +000062
Chris Lattner0220ba72010-03-15 19:09:43 +000063 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
Michael J. Spencere70c5262010-10-16 08:25:21 +000064
Chris Lattner9cc0da92010-03-15 20:39:00 +000065 /// BBCallbacks - Callbacks for the BasicBlock's that we have entries for. We
66 /// use this so we get notified if a block is deleted or RAUWd.
Chris Lattner0220ba72010-03-15 19:09:43 +000067 std::vector<MMIAddrLabelMapCallbackPtr> BBCallbacks;
Chris Lattner9cc0da92010-03-15 20:39:00 +000068
69 /// DeletedAddrLabelsNeedingEmission - This is a per-function list of symbols
70 /// whose corresponding BasicBlock got deleted. These symbols need to be
71 /// emitted at some point in the file, so AsmPrinter emits them after the
72 /// function body.
73 DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> >
74 DeletedAddrLabelsNeedingEmission;
Chris Lattner0220ba72010-03-15 19:09:43 +000075public:
Michael J. Spencere70c5262010-10-16 08:25:21 +000076
Chris Lattner0220ba72010-03-15 19:09:43 +000077 MMIAddrLabelMap(MCContext &context) : Context(context) {}
Chris Lattner9cc0da92010-03-15 20:39:00 +000078 ~MMIAddrLabelMap() {
79 assert(DeletedAddrLabelsNeedingEmission.empty() &&
80 "Some labels for deleted blocks never got emitted");
Michael J. Spencere70c5262010-10-16 08:25:21 +000081
Chris Lattner999aee22010-03-16 00:29:39 +000082 // Deallocate any of the 'list of symbols' case.
83 for (DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry>::iterator
84 I = AddrLabelSymbols.begin(), E = AddrLabelSymbols.end(); I != E; ++I)
85 if (I->second.Symbols.is<std::vector<MCSymbol*>*>())
86 delete I->second.Symbols.get<std::vector<MCSymbol*>*>();
Chris Lattner9cc0da92010-03-15 20:39:00 +000087 }
Michael J. Spencere70c5262010-10-16 08:25:21 +000088
Chris Lattner999aee22010-03-16 00:29:39 +000089 MCSymbol *getAddrLabelSymbol(BasicBlock *BB);
90 std::vector<MCSymbol*> getAddrLabelSymbolToEmit(BasicBlock *BB);
91
Michael J. Spencere70c5262010-10-16 08:25:21 +000092 void takeDeletedSymbolsForFunction(Function *F,
Chris Lattner9cc0da92010-03-15 20:39:00 +000093 std::vector<MCSymbol*> &Result);
94
Chris Lattner0220ba72010-03-15 19:09:43 +000095 void UpdateForDeletedBlock(BasicBlock *BB);
96 void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New);
97};
98}
99
100MCSymbol *MMIAddrLabelMap::getAddrLabelSymbol(BasicBlock *BB) {
101 assert(BB->hasAddressTaken() &&
102 "Shouldn't get label for block without address taken");
103 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
Michael J. Spencere70c5262010-10-16 08:25:21 +0000104
Chris Lattner0220ba72010-03-15 19:09:43 +0000105 // If we already had an entry for this block, just return it.
Chris Lattner999aee22010-03-16 00:29:39 +0000106 if (!Entry.Symbols.isNull()) {
Chris Lattner9cc0da92010-03-15 20:39:00 +0000107 assert(BB->getParent() == Entry.Fn && "Parent changed");
Chris Lattner999aee22010-03-16 00:29:39 +0000108 if (Entry.Symbols.is<MCSymbol*>())
109 return Entry.Symbols.get<MCSymbol*>();
110 return (*Entry.Symbols.get<std::vector<MCSymbol*>*>())[0];
Chris Lattner9cc0da92010-03-15 20:39:00 +0000111 }
Michael J. Spencere70c5262010-10-16 08:25:21 +0000112
Chris Lattner0220ba72010-03-15 19:09:43 +0000113 // Otherwise, this is a new entry, create a new symbol for it and add an
114 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
115 BBCallbacks.push_back(BB);
116 BBCallbacks.back().setMap(this);
117 Entry.Index = BBCallbacks.size()-1;
Chris Lattner9cc0da92010-03-15 20:39:00 +0000118 Entry.Fn = BB->getParent();
Chris Lattner999aee22010-03-16 00:29:39 +0000119 MCSymbol *Result = Context.CreateTempSymbol();
120 Entry.Symbols = Result;
121 return Result;
Chris Lattner0220ba72010-03-15 19:09:43 +0000122}
123
Chris Lattner999aee22010-03-16 00:29:39 +0000124std::vector<MCSymbol*>
125MMIAddrLabelMap::getAddrLabelSymbolToEmit(BasicBlock *BB) {
126 assert(BB->hasAddressTaken() &&
127 "Shouldn't get label for block without address taken");
128 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
Michael J. Spencere70c5262010-10-16 08:25:21 +0000129
Chris Lattner999aee22010-03-16 00:29:39 +0000130 std::vector<MCSymbol*> Result;
Michael J. Spencere70c5262010-10-16 08:25:21 +0000131
Chris Lattner999aee22010-03-16 00:29:39 +0000132 // If we already had an entry for this block, just return it.
133 if (Entry.Symbols.isNull())
134 Result.push_back(getAddrLabelSymbol(BB));
135 else if (MCSymbol *Sym = Entry.Symbols.dyn_cast<MCSymbol*>())
136 Result.push_back(Sym);
137 else
138 Result = *Entry.Symbols.get<std::vector<MCSymbol*>*>();
139 return Result;
140}
141
142
Chris Lattner9cc0da92010-03-15 20:39:00 +0000143/// takeDeletedSymbolsForFunction - If we have any deleted symbols for F, return
144/// them.
145void MMIAddrLabelMap::
146takeDeletedSymbolsForFunction(Function *F, std::vector<MCSymbol*> &Result) {
147 DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> >::iterator I =
148 DeletedAddrLabelsNeedingEmission.find(F);
149
150 // If there are no entries for the function, just return.
151 if (I == DeletedAddrLabelsNeedingEmission.end()) return;
Michael J. Spencere70c5262010-10-16 08:25:21 +0000152
Chris Lattner9cc0da92010-03-15 20:39:00 +0000153 // Otherwise, take the list.
154 std::swap(Result, I->second);
155 DeletedAddrLabelsNeedingEmission.erase(I);
156}
157
158
Chris Lattner0220ba72010-03-15 19:09:43 +0000159void MMIAddrLabelMap::UpdateForDeletedBlock(BasicBlock *BB) {
160 // If the block got deleted, there is no need for the symbol. If the symbol
161 // was already emitted, we can just forget about it, otherwise we need to
162 // queue it up for later emission when the function is output.
163 AddrLabelSymEntry Entry = AddrLabelSymbols[BB];
164 AddrLabelSymbols.erase(BB);
Chris Lattner999aee22010-03-16 00:29:39 +0000165 assert(!Entry.Symbols.isNull() && "Didn't have a symbol, why a callback?");
Chris Lattner0220ba72010-03-15 19:09:43 +0000166 BBCallbacks[Entry.Index] = 0; // Clear the callback.
167
Chris Lattner9cc0da92010-03-15 20:39:00 +0000168 assert((BB->getParent() == 0 || BB->getParent() == Entry.Fn) &&
169 "Block/parent mismatch");
Chris Lattner999aee22010-03-16 00:29:39 +0000170
171 // Handle both the single and the multiple symbols cases.
172 if (MCSymbol *Sym = Entry.Symbols.dyn_cast<MCSymbol*>()) {
173 if (Sym->isDefined())
174 return;
Michael J. Spencere70c5262010-10-16 08:25:21 +0000175
Chris Lattner999aee22010-03-16 00:29:39 +0000176 // If the block is not yet defined, we need to emit it at the end of the
177 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
178 // for the containing Function. Since the block is being deleted, its
179 // parent may already be removed, we have to get the function from 'Entry'.
180 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
181 } else {
182 std::vector<MCSymbol*> *Syms = Entry.Symbols.get<std::vector<MCSymbol*>*>();
183
184 for (unsigned i = 0, e = Syms->size(); i != e; ++i) {
185 MCSymbol *Sym = (*Syms)[i];
186 if (Sym->isDefined()) continue; // Ignore already emitted labels.
Michael J. Spencere70c5262010-10-16 08:25:21 +0000187
Chris Lattner999aee22010-03-16 00:29:39 +0000188 // If the block is not yet defined, we need to emit it at the end of the
189 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
190 // for the containing Function. Since the block is being deleted, its
191 // parent may already be removed, we have to get the function from
192 // 'Entry'.
193 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
194 }
Michael J. Spencere70c5262010-10-16 08:25:21 +0000195
Chris Lattner999aee22010-03-16 00:29:39 +0000196 // The entry is deleted, free the memory associated with the symbol list.
197 delete Syms;
198 }
Chris Lattner0220ba72010-03-15 19:09:43 +0000199}
200
201void MMIAddrLabelMap::UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New) {
202 // Get the entry for the RAUW'd block and remove it from our map.
203 AddrLabelSymEntry OldEntry = AddrLabelSymbols[Old];
204 AddrLabelSymbols.erase(Old);
Chris Lattner999aee22010-03-16 00:29:39 +0000205 assert(!OldEntry.Symbols.isNull() && "Didn't have a symbol, why a callback?");
206
207 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
208
Chris Lattner0220ba72010-03-15 19:09:43 +0000209 // If New is not address taken, just move our symbol over to it.
Chris Lattner999aee22010-03-16 00:29:39 +0000210 if (NewEntry.Symbols.isNull()) {
Chris Lattnerea16ea52010-03-22 23:15:57 +0000211 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
Chris Lattner999aee22010-03-16 00:29:39 +0000212 NewEntry = OldEntry; // Set New's entry.
213 return;
Chris Lattner0220ba72010-03-15 19:09:43 +0000214 }
Chris Lattner999aee22010-03-16 00:29:39 +0000215
216 BBCallbacks[OldEntry.Index] = 0; // Update the callback.
217
218 // Otherwise, we need to add the old symbol to the new block's set. If it is
219 // just a single entry, upgrade it to a symbol list.
220 if (MCSymbol *PrevSym = NewEntry.Symbols.dyn_cast<MCSymbol*>()) {
221 std::vector<MCSymbol*> *SymList = new std::vector<MCSymbol*>();
222 SymList->push_back(PrevSym);
223 NewEntry.Symbols = SymList;
224 }
Michael J. Spencere70c5262010-10-16 08:25:21 +0000225
Chris Lattner999aee22010-03-16 00:29:39 +0000226 std::vector<MCSymbol*> *SymList =
227 NewEntry.Symbols.get<std::vector<MCSymbol*>*>();
228
229 // If the old entry was a single symbol, add it.
230 if (MCSymbol *Sym = OldEntry.Symbols.dyn_cast<MCSymbol*>()) {
231 SymList->push_back(Sym);
232 return;
233 }
Michael J. Spencere70c5262010-10-16 08:25:21 +0000234
Chris Lattner999aee22010-03-16 00:29:39 +0000235 // Otherwise, concatenate the list.
236 std::vector<MCSymbol*> *Syms =OldEntry.Symbols.get<std::vector<MCSymbol*>*>();
237 SymList->insert(SymList->end(), Syms->begin(), Syms->end());
238 delete Syms;
Chris Lattner0220ba72010-03-15 19:09:43 +0000239}
240
241
242void MMIAddrLabelMapCallbackPtr::deleted() {
243 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
244}
245
246void MMIAddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
247 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
248}
249
250
Jim Laskeyb3e789a2006-01-26 20:21:46 +0000251//===----------------------------------------------------------------------===//
Eric Christophercf296972009-08-26 21:27:09 +0000252
Rafael Espindola89b93722010-12-10 07:39:47 +0000253MachineModuleInfo::MachineModuleInfo(const MCAsmInfo &MAI,
Evan Cheng0e6a0522011-07-18 20:57:22 +0000254 const MCRegisterInfo &MRI,
Evan Cheng203576a2011-07-20 19:50:42 +0000255 const MCObjectFileInfo *MOFI)
Pedro Artigas873a1dd2012-12-06 22:12:44 +0000256 : ImmutablePass(ID), Context(MAI, MRI, MOFI, 0, false) {
Owen Anderson081c34b2010-10-19 17:21:58 +0000257 initializeMachineModuleInfoPass(*PassRegistry::getPassRegistry());
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000258}
Jim Laskeyb3e789a2006-01-26 20:21:46 +0000259
Chris Lattner11d53c12010-03-13 20:55:24 +0000260MachineModuleInfo::MachineModuleInfo()
Evan Chenge76a33b2011-07-20 05:58:47 +0000261 : ImmutablePass(ID),
Evan Cheng203576a2011-07-20 19:50:42 +0000262 Context(*(MCAsmInfo*)0, *(MCRegisterInfo*)0, (MCObjectFileInfo*)0) {
Craig Topper5e25ee82012-02-05 08:31:47 +0000263 llvm_unreachable("This MachineModuleInfo constructor should never be called, "
264 "MMI should always be explicitly constructed by "
265 "LLVMTargetMachine");
Chris Lattner11d53c12010-03-13 20:55:24 +0000266}
267
Chris Lattnera70e2e32009-09-15 22:44:26 +0000268MachineModuleInfo::~MachineModuleInfo() {
Pedro Artigasd1abec32012-12-05 17:12:22 +0000269}
Michael J. Spencere70c5262010-10-16 08:25:21 +0000270
Rafael Espindola4a971702013-05-13 01:16:13 +0000271static MCCFIInstruction convertMoveToCFI(const MCRegisterInfo &MRI,
272 MCSymbol *Label,
273 const MachineLocation &Dst,
274 const MachineLocation &Src) {
275 // If advancing cfa.
276 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
277 if (Src.getReg() == MachineLocation::VirtualFP)
278 return MCCFIInstruction::createDefCfaOffset(Label, Src.getOffset());
279 // Reg + Offset
280 return MCCFIInstruction::createDefCfa(
281 Label, MRI.getDwarfRegNum(Src.getReg(), true), -Src.getOffset());
282 }
283
284 if (Src.isReg() && Src.getReg() == MachineLocation::VirtualFP) {
285 assert(Dst.isReg() && "Machine move not supported yet.");
286 return MCCFIInstruction::createDefCfaRegister(
287 Label, MRI.getDwarfRegNum(Dst.getReg(), true));
288 }
289
290 assert(!Dst.isReg() && "Machine move not supported yet.");
291 return MCCFIInstruction::createOffset(
292 Label, MRI.getDwarfRegNum(Src.getReg(), true), Dst.getOffset());
293}
294
295
296void MachineModuleInfo::addFrameMove(MCSymbol *Label,
297 const MachineLocation &Dst,
298 const MachineLocation &Src) {
299 MCCFIInstruction I =
300 convertMoveToCFI(Context.getRegisterInfo(), Label, Dst, Src);
301 FrameInstructions.push_back(I);
302}
303
Pedro Artigasd1abec32012-12-05 17:12:22 +0000304bool MachineModuleInfo::doInitialization(Module &M) {
Pedro Artigas873a1dd2012-12-06 22:12:44 +0000305
Pedro Artigasd1abec32012-12-05 17:12:22 +0000306 ObjFileMMI = 0;
307 CompactUnwindEncoding = 0;
308 CurCallSite = 0;
309 CallsEHReturn = 0;
310 CallsUnwindInit = 0;
311 DbgInfoAvailable = UsesVAFloatArgument = false;
312 // Always emit some info, by default "no personality" info.
313 Personalities.push_back(NULL);
314 AddrLabelSymbols = 0;
315 TheModule = 0;
316
317 return false;
318}
319
320bool MachineModuleInfo::doFinalization(Module &M) {
321
322 Personalities.clear();
323
Chris Lattner0220ba72010-03-15 19:09:43 +0000324 delete AddrLabelSymbols;
325 AddrLabelSymbols = 0;
Pedro Artigasd1abec32012-12-05 17:12:22 +0000326
Pedro Artigas5399d252012-12-12 22:59:46 +0000327 Context.reset();
Pedro Artigas873a1dd2012-12-06 22:12:44 +0000328
Pedro Artigasb9d10052013-01-04 18:04:42 +0000329 delete ObjFileMMI;
330 ObjFileMMI = 0;
331
Pedro Artigasd1abec32012-12-05 17:12:22 +0000332 return false;
Jim Laskeyb3e789a2006-01-26 20:21:46 +0000333}
334
Jim Laskey6da18642007-01-26 21:38:26 +0000335/// EndFunction - Discard function meta information.
Jim Laskey41886992006-04-07 16:34:46 +0000336///
Jim Laskey6da18642007-01-26 21:38:26 +0000337void MachineModuleInfo::EndFunction() {
Jim Laskey41886992006-04-07 16:34:46 +0000338 // Clean up frame info.
Rafael Espindola4a971702013-05-13 01:16:13 +0000339 FrameInstructions.clear();
Eric Christophercf296972009-08-26 21:27:09 +0000340
Jim Laskey59667fe2007-02-21 22:38:31 +0000341 // Clean up exception info.
342 LandingPads.clear();
Jim Grosbachca752c92010-01-28 01:45:32 +0000343 CallSiteMap.clear();
Jim Laskey59667fe2007-02-21 22:38:31 +0000344 TypeInfos.clear();
Duncan Sands73ef58a2007-06-02 16:53:42 +0000345 FilterIds.clear();
Duncan Sands14da32a2007-07-05 15:15:01 +0000346 FilterEnds.clear();
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000347 CallsEHReturn = 0;
348 CallsUnwindInit = 0;
Bill Wendling7d365342011-07-19 00:00:58 +0000349 CompactUnwindEncoding = 0;
Devang Patel85d29e22009-10-08 20:41:17 +0000350 VariableDbgInfo.clear();
Jim Laskey41886992006-04-07 16:34:46 +0000351}
352
Jim Laskeyb3e789a2006-01-26 20:21:46 +0000353/// AnalyzeModule - Scan the module for global debug information.
354///
Dan Gohman46510a72010-04-15 01:51:59 +0000355void MachineModuleInfo::AnalyzeModule(const Module &M) {
Chris Lattner401e10c2009-07-20 06:14:25 +0000356 // Insert functions in the llvm.used array (but not llvm.compiler.used) into
357 // UsedFunctions.
Dan Gohman46510a72010-04-15 01:51:59 +0000358 const GlobalVariable *GV = M.getGlobalVariable("llvm.used");
Dale Johannesen48ae02f2008-01-16 19:59:28 +0000359 if (!GV || !GV->hasInitializer()) return;
360
361 // Should be an array of 'i8*'.
Rafael Espindolacde25b42013-04-22 14:58:02 +0000362 const ConstantArray *InitList = cast<ConstantArray>(GV->getInitializer());
Dale Johannesen48ae02f2008-01-16 19:59:28 +0000363
Chris Lattner1d5c4932009-07-20 06:05:50 +0000364 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i)
Dan Gohman46510a72010-04-15 01:51:59 +0000365 if (const Function *F =
Chris Lattner1d5c4932009-07-20 06:05:50 +0000366 dyn_cast<Function>(InitList->getOperand(i)->stripPointerCasts()))
367 UsedFunctions.insert(F);
Jim Laskeyb3e789a2006-01-26 20:21:46 +0000368}
369
Chris Lattner0220ba72010-03-15 19:09:43 +0000370//===- Address of Block Management ----------------------------------------===//
371
372
Chris Lattner3b9d6212010-03-14 17:53:23 +0000373/// getAddrLabelSymbol - Return the symbol to be used for the specified basic
374/// block when its address is taken. This cannot be its normal LBB label
375/// because the block may be accessed outside its containing function.
376MCSymbol *MachineModuleInfo::getAddrLabelSymbol(const BasicBlock *BB) {
Chris Lattner0220ba72010-03-15 19:09:43 +0000377 // Lazily create AddrLabelSymbols.
378 if (AddrLabelSymbols == 0)
379 AddrLabelSymbols = new MMIAddrLabelMap(Context);
380 return AddrLabelSymbols->getAddrLabelSymbol(const_cast<BasicBlock*>(BB));
Chris Lattner3b9d6212010-03-14 17:53:23 +0000381}
382
Chris Lattner999aee22010-03-16 00:29:39 +0000383/// getAddrLabelSymbolToEmit - Return the symbol to be used for the specified
384/// basic block when its address is taken. If other blocks were RAUW'd to
385/// this one, we may have to emit them as well, return the whole set.
386std::vector<MCSymbol*> MachineModuleInfo::
387getAddrLabelSymbolToEmit(const BasicBlock *BB) {
388 // Lazily create AddrLabelSymbols.
389 if (AddrLabelSymbols == 0)
390 AddrLabelSymbols = new MMIAddrLabelMap(Context);
391 return AddrLabelSymbols->getAddrLabelSymbolToEmit(const_cast<BasicBlock*>(BB));
392}
393
394
Chris Lattner9cc0da92010-03-15 20:39:00 +0000395/// takeDeletedSymbolsForFunction - If the specified function has had any
396/// references to address-taken blocks generated, but the block got deleted,
397/// return the symbol now so we can emit it. This prevents emitting a
398/// reference to a symbol that has no definition.
399void MachineModuleInfo::
400takeDeletedSymbolsForFunction(const Function *F,
401 std::vector<MCSymbol*> &Result) {
402 // If no blocks have had their addresses taken, we're done.
403 if (AddrLabelSymbols == 0) return;
404 return AddrLabelSymbols->
405 takeDeletedSymbolsForFunction(const_cast<Function*>(F), Result);
406}
Chris Lattner3b9d6212010-03-14 17:53:23 +0000407
Chris Lattner0220ba72010-03-15 19:09:43 +0000408//===- EH -----------------------------------------------------------------===//
Jim Laskey59667fe2007-02-21 22:38:31 +0000409
410/// getOrCreateLandingPadInfo - Find or create an LandingPadInfo for the
411/// specified MachineBasicBlock.
Bill Wendling10fff602008-07-03 22:53:42 +0000412LandingPadInfo &MachineModuleInfo::getOrCreateLandingPadInfo
413 (MachineBasicBlock *LandingPad) {
Jim Laskey59667fe2007-02-21 22:38:31 +0000414 unsigned N = LandingPads.size();
415 for (unsigned i = 0; i < N; ++i) {
Jim Laskey59e84342007-03-01 20:25:32 +0000416 LandingPadInfo &LP = LandingPads[i];
417 if (LP.LandingPadBlock == LandingPad)
418 return LP;
Jim Laskey59667fe2007-02-21 22:38:31 +0000419 }
Eric Christophercf296972009-08-26 21:27:09 +0000420
Jim Laskey59667fe2007-02-21 22:38:31 +0000421 LandingPads.push_back(LandingPadInfo(LandingPad));
422 return LandingPads[N];
423}
424
425/// addInvoke - Provide the begin and end labels of an invoke style call and
426/// associate it with a try landing pad block.
427void MachineModuleInfo::addInvoke(MachineBasicBlock *LandingPad,
Chris Lattner16112732010-03-14 01:41:15 +0000428 MCSymbol *BeginLabel, MCSymbol *EndLabel) {
Jim Laskey59e84342007-03-01 20:25:32 +0000429 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
Anton Korobeynikoveeb37e02007-05-10 22:34:59 +0000430 LP.BeginLabels.push_back(BeginLabel);
431 LP.EndLabels.push_back(EndLabel);
Jim Laskey59667fe2007-02-21 22:38:31 +0000432}
433
434/// addLandingPad - Provide the label of a try LandingPad block.
435///
Chris Lattner7561d482010-03-14 02:33:54 +0000436MCSymbol *MachineModuleInfo::addLandingPad(MachineBasicBlock *LandingPad) {
Chris Lattner63d78362010-03-14 08:36:50 +0000437 MCSymbol *LandingPadLabel = Context.CreateTempSymbol();
Jim Laskey59e84342007-03-01 20:25:32 +0000438 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
Eric Christophercf296972009-08-26 21:27:09 +0000439 LP.LandingPadLabel = LandingPadLabel;
Chris Lattner7561d482010-03-14 02:33:54 +0000440 return LandingPadLabel;
Jim Laskey59667fe2007-02-21 22:38:31 +0000441}
442
443/// addPersonality - Provide the personality function for the exception
444/// information.
445void MachineModuleInfo::addPersonality(MachineBasicBlock *LandingPad,
Dan Gohman46510a72010-04-15 01:51:59 +0000446 const Function *Personality) {
Jim Laskey59e84342007-03-01 20:25:32 +0000447 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000448 LP.Personality = Personality;
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +0000449
Bill Wendling10fff602008-07-03 22:53:42 +0000450 for (unsigned i = 0; i < Personalities.size(); ++i)
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000451 if (Personalities[i] == Personality)
452 return;
Eric Christophercf296972009-08-26 21:27:09 +0000453
Eric Christopherd44fff72009-08-26 21:30:49 +0000454 // If this is the first personality we're adding go
455 // ahead and add it at the beginning.
456 if (Personalities[0] == NULL)
457 Personalities[0] = Personality;
458 else
459 Personalities.push_back(Personality);
Jim Laskey59667fe2007-02-21 22:38:31 +0000460}
461
462/// addCatchTypeInfo - Provide the catch typeinfo for a landing pad.
463///
Bill Wendling1ddaa9c2011-07-28 21:25:33 +0000464void MachineModuleInfo::
465addCatchTypeInfo(MachineBasicBlock *LandingPad,
466 ArrayRef<const GlobalVariable *> TyInfo) {
Jim Laskey59e84342007-03-01 20:25:32 +0000467 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
Jim Laskey59667fe2007-02-21 22:38:31 +0000468 for (unsigned N = TyInfo.size(); N; --N)
Jim Laskey59e84342007-03-01 20:25:32 +0000469 LP.TypeIds.push_back(getTypeIDFor(TyInfo[N - 1]));
Jim Laskey59667fe2007-02-21 22:38:31 +0000470}
Duncan Sands73ef58a2007-06-02 16:53:42 +0000471
472/// addFilterTypeInfo - Provide the filter typeinfo for a landing pad.
Jim Laskey59e84342007-03-01 20:25:32 +0000473///
Bill Wendling1ddaa9c2011-07-28 21:25:33 +0000474void MachineModuleInfo::
475addFilterTypeInfo(MachineBasicBlock *LandingPad,
476 ArrayRef<const GlobalVariable *> TyInfo) {
Jim Laskey59e84342007-03-01 20:25:32 +0000477 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
Bill Wendling49255672008-07-07 21:41:57 +0000478 std::vector<unsigned> IdsInFilter(TyInfo.size());
Bill Wendling10fff602008-07-03 22:53:42 +0000479 for (unsigned I = 0, E = TyInfo.size(); I != E; ++I)
Duncan Sands73ef58a2007-06-02 16:53:42 +0000480 IdsInFilter[I] = getTypeIDFor(TyInfo[I]);
481 LP.TypeIds.push_back(getFilterIDFor(IdsInFilter));
Jim Laskey59e84342007-03-01 20:25:32 +0000482}
483
Duncan Sands6590b042007-08-27 15:47:50 +0000484/// addCleanup - Add a cleanup action for a landing pad.
485///
486void MachineModuleInfo::addCleanup(MachineBasicBlock *LandingPad) {
487 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
488 LP.TypeIds.push_back(0);
489}
490
Jim Laskey59667fe2007-02-21 22:38:31 +0000491/// TidyLandingPads - Remap landing pad labels and remove any deleted landing
492/// pads.
Bill Wendling47639fc2010-04-16 08:46:10 +0000493void MachineModuleInfo::TidyLandingPads(DenseMap<MCSymbol*, uintptr_t> *LPMap) {
Jim Laskey59667fe2007-02-21 22:38:31 +0000494 for (unsigned i = 0; i != LandingPads.size(); ) {
495 LandingPadInfo &LandingPad = LandingPads[i];
Bill Wendling47639fc2010-04-16 08:46:10 +0000496 if (LandingPad.LandingPadLabel &&
497 !LandingPad.LandingPadLabel->isDefined() &&
498 (!LPMap || (*LPMap)[LandingPad.LandingPadLabel] == 0))
Chris Lattnera34ec2292010-03-09 01:51:43 +0000499 LandingPad.LandingPadLabel = 0;
Anton Korobeynikoveeb37e02007-05-10 22:34:59 +0000500
Anton Korobeynikov070280e2007-05-23 11:08:31 +0000501 // Special case: we *should* emit LPs with null LP MBB. This indicates
Duncan Sands481dc722007-12-19 07:36:31 +0000502 // "nounwind" case.
Anton Korobeynikov070280e2007-05-23 11:08:31 +0000503 if (!LandingPad.LandingPadLabel && LandingPad.LandingPadBlock) {
Jim Laskey59667fe2007-02-21 22:38:31 +0000504 LandingPads.erase(LandingPads.begin() + i);
505 continue;
506 }
Duncan Sands57810cd2007-09-05 11:27:52 +0000507
Chris Lattner16112732010-03-14 01:41:15 +0000508 for (unsigned j = 0, e = LandingPads[i].BeginLabels.size(); j != e; ++j) {
509 MCSymbol *BeginLabel = LandingPad.BeginLabels[j];
510 MCSymbol *EndLabel = LandingPad.EndLabels[j];
Bill Wendling47639fc2010-04-16 08:46:10 +0000511 if ((BeginLabel->isDefined() ||
512 (LPMap && (*LPMap)[BeginLabel] != 0)) &&
513 (EndLabel->isDefined() ||
514 (LPMap && (*LPMap)[EndLabel] != 0))) continue;
Michael J. Spencere70c5262010-10-16 08:25:21 +0000515
Chris Lattner16112732010-03-14 01:41:15 +0000516 LandingPad.BeginLabels.erase(LandingPad.BeginLabels.begin() + j);
517 LandingPad.EndLabels.erase(LandingPad.EndLabels.begin() + j);
518 --j, --e;
Anton Korobeynikoveeb37e02007-05-10 22:34:59 +0000519 }
Duncan Sands57810cd2007-09-05 11:27:52 +0000520
521 // Remove landing pads with no try-ranges.
Dan Gohman30359592008-01-29 13:02:09 +0000522 if (LandingPads[i].BeginLabels.empty()) {
Duncan Sands57810cd2007-09-05 11:27:52 +0000523 LandingPads.erase(LandingPads.begin() + i);
524 continue;
525 }
526
527 // If there is no landing pad, ensure that the list of typeids is empty.
528 // If the only typeid is a cleanup, this is the same as having no typeids.
529 if (!LandingPad.LandingPadBlock ||
530 (LandingPad.TypeIds.size() == 1 && !LandingPad.TypeIds[0]))
531 LandingPad.TypeIds.clear();
Jim Laskey59667fe2007-02-21 22:38:31 +0000532 ++i;
533 }
534}
535
Bill Wendling84fb7dd2011-10-05 22:20:38 +0000536/// setCallSiteLandingPad - Map the landing pad's EH symbol to the call site
537/// indexes.
538void MachineModuleInfo::setCallSiteLandingPad(MCSymbol *Sym,
539 ArrayRef<unsigned> Sites) {
Benjamin Kramerfc52a522012-02-14 10:29:27 +0000540 LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end());
Bill Wendling84fb7dd2011-10-05 22:20:38 +0000541}
542
Eric Christophercf296972009-08-26 21:27:09 +0000543/// getTypeIDFor - Return the type id for the specified typeinfo. This is
Jim Laskey59667fe2007-02-21 22:38:31 +0000544/// function wide.
Dan Gohman46510a72010-04-15 01:51:59 +0000545unsigned MachineModuleInfo::getTypeIDFor(const GlobalVariable *TI) {
Bill Wendling10fff602008-07-03 22:53:42 +0000546 for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i)
547 if (TypeInfos[i] == TI) return i + 1;
Jim Laskey59667fe2007-02-21 22:38:31 +0000548
549 TypeInfos.push_back(TI);
550 return TypeInfos.size();
551}
552
Duncan Sands73ef58a2007-06-02 16:53:42 +0000553/// getFilterIDFor - Return the filter id for the specified typeinfos. This is
554/// function wide.
Bill Wendling914c9702008-06-27 01:27:56 +0000555int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) {
Duncan Sands14da32a2007-07-05 15:15:01 +0000556 // If the new filter coincides with the tail of an existing filter, then
557 // re-use the existing filter. Folding filters more than this requires
558 // re-ordering filters and/or their elements - probably not worth it.
559 for (std::vector<unsigned>::iterator I = FilterEnds.begin(),
560 E = FilterEnds.end(); I != E; ++I) {
Bill Wendling914c9702008-06-27 01:27:56 +0000561 unsigned i = *I, j = TyIds.size();
Duncan Sands14da32a2007-07-05 15:15:01 +0000562
563 while (i && j)
564 if (FilterIds[--i] != TyIds[--j])
565 goto try_next;
566
567 if (!j)
568 // The new filter coincides with range [i, end) of the existing filter.
569 return -(1 + i);
Bill Wendling914c9702008-06-27 01:27:56 +0000570
Duncan Sands14da32a2007-07-05 15:15:01 +0000571try_next:;
572 }
573
574 // Add the new filter.
Bill Wendling914c9702008-06-27 01:27:56 +0000575 int FilterID = -(1 + FilterIds.size());
576 FilterIds.reserve(FilterIds.size() + TyIds.size() + 1);
Benjamin Kramerfc52a522012-02-14 10:29:27 +0000577 FilterIds.insert(FilterIds.end(), TyIds.begin(), TyIds.end());
Bill Wendling914c9702008-06-27 01:27:56 +0000578 FilterEnds.push_back(FilterIds.size());
Duncan Sands73ef58a2007-06-02 16:53:42 +0000579 FilterIds.push_back(0); // terminator
580 return FilterID;
581}
582
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000583/// getPersonality - Return the personality function for the current function.
Dan Gohman46510a72010-04-15 01:51:59 +0000584const Function *MachineModuleInfo::getPersonality() const {
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +0000585 // FIXME: Until PR1414 will be fixed, we're using 1 personality function per
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000586 // function
587 return !LandingPads.empty() ? LandingPads[0].Personality : NULL;
Jim Laskey59667fe2007-02-21 22:38:31 +0000588}
589
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000590/// getPersonalityIndex - Return unique index for current personality
Eric Christopher5e365e22009-08-26 21:44:57 +0000591/// function. NULL/first personality function should always get zero index.
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000592unsigned MachineModuleInfo::getPersonalityIndex() const {
Anton Korobeynikov070280e2007-05-23 11:08:31 +0000593 const Function* Personality = NULL;
Eric Christophercf296972009-08-26 21:27:09 +0000594
Anton Korobeynikov070280e2007-05-23 11:08:31 +0000595 // Scan landing pads. If there is at least one non-NULL personality - use it.
Bill Wendling150a3712012-02-13 23:45:26 +0000596 for (unsigned i = 0, e = LandingPads.size(); i != e; ++i)
Anton Korobeynikov070280e2007-05-23 11:08:31 +0000597 if (LandingPads[i].Personality) {
598 Personality = LandingPads[i].Personality;
599 break;
600 }
Eric Christophercf296972009-08-26 21:27:09 +0000601
Bill Wendling150a3712012-02-13 23:45:26 +0000602 for (unsigned i = 0, e = Personalities.size(); i < e; ++i) {
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000603 if (Personalities[i] == Personality)
604 return i;
Bill Wendling10fff602008-07-03 22:53:42 +0000605 }
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000606
Eric Christopher5e365e22009-08-26 21:44:57 +0000607 // This will happen if the current personality function is
608 // in the zero index.
Anton Korobeynikov8c7c1732007-05-13 15:42:26 +0000609 return 0;
610}