1f22ef01cSRoman Divacky //===-- llvm/CodeGen/MachineModuleInfo.cpp ----------------------*- C++ -*-===// 2f22ef01cSRoman Divacky // 3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure 4f22ef01cSRoman Divacky // 5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source 6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details. 7f22ef01cSRoman Divacky // 8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 9f22ef01cSRoman Divacky 10f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineModuleInfo.h" 11139f7f9bSDimitry Andric #include "llvm/ADT/PointerUnion.h" 12f22ef01cSRoman Divacky #include "llvm/Analysis/ValueTracking.h" 13f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineFunction.h" 14139f7f9bSDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h" 15f22ef01cSRoman Divacky #include "llvm/CodeGen/Passes.h" 16139f7f9bSDimitry Andric #include "llvm/IR/Constants.h" 17139f7f9bSDimitry Andric #include "llvm/IR/DerivedTypes.h" 18139f7f9bSDimitry Andric #include "llvm/IR/GlobalVariable.h" 19139f7f9bSDimitry Andric #include "llvm/IR/Module.h" 206122f3e6SDimitry Andric #include "llvm/MC/MCObjectFileInfo.h" 21f22ef01cSRoman Divacky #include "llvm/MC/MCSymbol.h" 22f22ef01cSRoman Divacky #include "llvm/Support/Dwarf.h" 23f22ef01cSRoman Divacky #include "llvm/Support/ErrorHandling.h" 24f22ef01cSRoman Divacky using namespace llvm; 25f22ef01cSRoman Divacky using namespace llvm::dwarf; 26f22ef01cSRoman Divacky 273861d79fSDimitry Andric // Handle the Pass registration stuff necessary to use DataLayout's. 28e580952dSDimitry Andric INITIALIZE_PASS(MachineModuleInfo, "machinemoduleinfo", 292754fe60SDimitry Andric "Machine Module Information", false, false) 30f22ef01cSRoman Divacky char MachineModuleInfo::ID = 0; 31f22ef01cSRoman Divacky 32f22ef01cSRoman Divacky // Out of line virtual method. 33f22ef01cSRoman Divacky MachineModuleInfoImpl::~MachineModuleInfoImpl() {} 34f22ef01cSRoman Divacky 35f22ef01cSRoman Divacky namespace llvm { 36f22ef01cSRoman Divacky class MMIAddrLabelMapCallbackPtr : CallbackVH { 37f22ef01cSRoman Divacky MMIAddrLabelMap *Map; 38f22ef01cSRoman Divacky public: 3991bc56edSDimitry Andric MMIAddrLabelMapCallbackPtr() : Map(nullptr) {} 4091bc56edSDimitry Andric MMIAddrLabelMapCallbackPtr(Value *V) : CallbackVH(V), Map(nullptr) {} 41f22ef01cSRoman Divacky 42f22ef01cSRoman Divacky void setPtr(BasicBlock *BB) { 43f22ef01cSRoman Divacky ValueHandleBase::operator=(BB); 44f22ef01cSRoman Divacky } 45f22ef01cSRoman Divacky 46f22ef01cSRoman Divacky void setMap(MMIAddrLabelMap *map) { Map = map; } 47f22ef01cSRoman Divacky 4891bc56edSDimitry Andric void deleted() override; 4991bc56edSDimitry Andric void allUsesReplacedWith(Value *V2) override; 50f22ef01cSRoman Divacky }; 51f22ef01cSRoman Divacky 52f22ef01cSRoman Divacky class MMIAddrLabelMap { 53f22ef01cSRoman Divacky MCContext &Context; 54f22ef01cSRoman Divacky struct AddrLabelSymEntry { 55f22ef01cSRoman Divacky /// Symbols - The symbols for the label. This is a pointer union that is 56f22ef01cSRoman Divacky /// either one symbol (the common case) or a list of symbols. 57f22ef01cSRoman Divacky PointerUnion<MCSymbol *, std::vector<MCSymbol*>*> Symbols; 58f22ef01cSRoman Divacky 59f22ef01cSRoman Divacky Function *Fn; // The containing function of the BasicBlock. 60f22ef01cSRoman Divacky unsigned Index; // The index in BBCallbacks for the BasicBlock. 61f22ef01cSRoman Divacky }; 62f22ef01cSRoman Divacky 63f22ef01cSRoman Divacky DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols; 64f22ef01cSRoman Divacky 65f22ef01cSRoman Divacky /// BBCallbacks - Callbacks for the BasicBlock's that we have entries for. We 66f22ef01cSRoman Divacky /// use this so we get notified if a block is deleted or RAUWd. 67f22ef01cSRoman Divacky std::vector<MMIAddrLabelMapCallbackPtr> BBCallbacks; 68f22ef01cSRoman Divacky 69f22ef01cSRoman Divacky /// DeletedAddrLabelsNeedingEmission - This is a per-function list of symbols 70f22ef01cSRoman Divacky /// whose corresponding BasicBlock got deleted. These symbols need to be 71f22ef01cSRoman Divacky /// emitted at some point in the file, so AsmPrinter emits them after the 72f22ef01cSRoman Divacky /// function body. 73f22ef01cSRoman Divacky DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> > 74f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission; 75f22ef01cSRoman Divacky public: 76f22ef01cSRoman Divacky 77f22ef01cSRoman Divacky MMIAddrLabelMap(MCContext &context) : Context(context) {} 78f22ef01cSRoman Divacky ~MMIAddrLabelMap() { 79f22ef01cSRoman Divacky assert(DeletedAddrLabelsNeedingEmission.empty() && 80f22ef01cSRoman Divacky "Some labels for deleted blocks never got emitted"); 81f22ef01cSRoman Divacky 82f22ef01cSRoman Divacky // Deallocate any of the 'list of symbols' case. 83f22ef01cSRoman Divacky for (DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry>::iterator 84f22ef01cSRoman Divacky I = AddrLabelSymbols.begin(), E = AddrLabelSymbols.end(); I != E; ++I) 85f22ef01cSRoman Divacky if (I->second.Symbols.is<std::vector<MCSymbol*>*>()) 86f22ef01cSRoman Divacky delete I->second.Symbols.get<std::vector<MCSymbol*>*>(); 87f22ef01cSRoman Divacky } 88f22ef01cSRoman Divacky 89f22ef01cSRoman Divacky MCSymbol *getAddrLabelSymbol(BasicBlock *BB); 90f22ef01cSRoman Divacky std::vector<MCSymbol*> getAddrLabelSymbolToEmit(BasicBlock *BB); 91f22ef01cSRoman Divacky 92f22ef01cSRoman Divacky void takeDeletedSymbolsForFunction(Function *F, 93f22ef01cSRoman Divacky std::vector<MCSymbol*> &Result); 94f22ef01cSRoman Divacky 95f22ef01cSRoman Divacky void UpdateForDeletedBlock(BasicBlock *BB); 96f22ef01cSRoman Divacky void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New); 97f22ef01cSRoman Divacky }; 98f22ef01cSRoman Divacky } 99f22ef01cSRoman Divacky 100f22ef01cSRoman Divacky MCSymbol *MMIAddrLabelMap::getAddrLabelSymbol(BasicBlock *BB) { 101f22ef01cSRoman Divacky assert(BB->hasAddressTaken() && 102f22ef01cSRoman Divacky "Shouldn't get label for block without address taken"); 103f22ef01cSRoman Divacky AddrLabelSymEntry &Entry = AddrLabelSymbols[BB]; 104f22ef01cSRoman Divacky 105f22ef01cSRoman Divacky // If we already had an entry for this block, just return it. 106f22ef01cSRoman Divacky if (!Entry.Symbols.isNull()) { 107f22ef01cSRoman Divacky assert(BB->getParent() == Entry.Fn && "Parent changed"); 108f22ef01cSRoman Divacky if (Entry.Symbols.is<MCSymbol*>()) 109f22ef01cSRoman Divacky return Entry.Symbols.get<MCSymbol*>(); 110f22ef01cSRoman Divacky return (*Entry.Symbols.get<std::vector<MCSymbol*>*>())[0]; 111f22ef01cSRoman Divacky } 112f22ef01cSRoman Divacky 113f22ef01cSRoman Divacky // Otherwise, this is a new entry, create a new symbol for it and add an 114f22ef01cSRoman Divacky // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd. 115f22ef01cSRoman Divacky BBCallbacks.push_back(BB); 116f22ef01cSRoman Divacky BBCallbacks.back().setMap(this); 117f22ef01cSRoman Divacky Entry.Index = BBCallbacks.size()-1; 118f22ef01cSRoman Divacky Entry.Fn = BB->getParent(); 119f22ef01cSRoman Divacky MCSymbol *Result = Context.CreateTempSymbol(); 120f22ef01cSRoman Divacky Entry.Symbols = Result; 121f22ef01cSRoman Divacky return Result; 122f22ef01cSRoman Divacky } 123f22ef01cSRoman Divacky 124f22ef01cSRoman Divacky std::vector<MCSymbol*> 125f22ef01cSRoman Divacky MMIAddrLabelMap::getAddrLabelSymbolToEmit(BasicBlock *BB) { 126f22ef01cSRoman Divacky assert(BB->hasAddressTaken() && 127f22ef01cSRoman Divacky "Shouldn't get label for block without address taken"); 128f22ef01cSRoman Divacky AddrLabelSymEntry &Entry = AddrLabelSymbols[BB]; 129f22ef01cSRoman Divacky 130f22ef01cSRoman Divacky std::vector<MCSymbol*> Result; 131f22ef01cSRoman Divacky 132f22ef01cSRoman Divacky // If we already had an entry for this block, just return it. 133f22ef01cSRoman Divacky if (Entry.Symbols.isNull()) 134f22ef01cSRoman Divacky Result.push_back(getAddrLabelSymbol(BB)); 135f22ef01cSRoman Divacky else if (MCSymbol *Sym = Entry.Symbols.dyn_cast<MCSymbol*>()) 136f22ef01cSRoman Divacky Result.push_back(Sym); 137f22ef01cSRoman Divacky else 138f22ef01cSRoman Divacky Result = *Entry.Symbols.get<std::vector<MCSymbol*>*>(); 139f22ef01cSRoman Divacky return Result; 140f22ef01cSRoman Divacky } 141f22ef01cSRoman Divacky 142f22ef01cSRoman Divacky 143f22ef01cSRoman Divacky /// takeDeletedSymbolsForFunction - If we have any deleted symbols for F, return 144f22ef01cSRoman Divacky /// them. 145f22ef01cSRoman Divacky void MMIAddrLabelMap:: 146f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(Function *F, std::vector<MCSymbol*> &Result) { 147f22ef01cSRoman Divacky DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> >::iterator I = 148f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission.find(F); 149f22ef01cSRoman Divacky 150f22ef01cSRoman Divacky // If there are no entries for the function, just return. 151f22ef01cSRoman Divacky if (I == DeletedAddrLabelsNeedingEmission.end()) return; 152f22ef01cSRoman Divacky 153f22ef01cSRoman Divacky // Otherwise, take the list. 154f22ef01cSRoman Divacky std::swap(Result, I->second); 155f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission.erase(I); 156f22ef01cSRoman Divacky } 157f22ef01cSRoman Divacky 158f22ef01cSRoman Divacky 159f22ef01cSRoman Divacky void MMIAddrLabelMap::UpdateForDeletedBlock(BasicBlock *BB) { 160f22ef01cSRoman Divacky // If the block got deleted, there is no need for the symbol. If the symbol 161f22ef01cSRoman Divacky // was already emitted, we can just forget about it, otherwise we need to 162f22ef01cSRoman Divacky // queue it up for later emission when the function is output. 163f22ef01cSRoman Divacky AddrLabelSymEntry Entry = AddrLabelSymbols[BB]; 164f22ef01cSRoman Divacky AddrLabelSymbols.erase(BB); 165f22ef01cSRoman Divacky assert(!Entry.Symbols.isNull() && "Didn't have a symbol, why a callback?"); 16691bc56edSDimitry Andric BBCallbacks[Entry.Index] = nullptr; // Clear the callback. 167f22ef01cSRoman Divacky 16891bc56edSDimitry Andric assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) && 169f22ef01cSRoman Divacky "Block/parent mismatch"); 170f22ef01cSRoman Divacky 171f22ef01cSRoman Divacky // Handle both the single and the multiple symbols cases. 172f22ef01cSRoman Divacky if (MCSymbol *Sym = Entry.Symbols.dyn_cast<MCSymbol*>()) { 173f22ef01cSRoman Divacky if (Sym->isDefined()) 174f22ef01cSRoman Divacky return; 175f22ef01cSRoman Divacky 176f22ef01cSRoman Divacky // If the block is not yet defined, we need to emit it at the end of the 177f22ef01cSRoman Divacky // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list 178f22ef01cSRoman Divacky // for the containing Function. Since the block is being deleted, its 179f22ef01cSRoman Divacky // parent may already be removed, we have to get the function from 'Entry'. 180f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym); 181f22ef01cSRoman Divacky } else { 182f22ef01cSRoman Divacky std::vector<MCSymbol*> *Syms = Entry.Symbols.get<std::vector<MCSymbol*>*>(); 183f22ef01cSRoman Divacky 184f22ef01cSRoman Divacky for (unsigned i = 0, e = Syms->size(); i != e; ++i) { 185f22ef01cSRoman Divacky MCSymbol *Sym = (*Syms)[i]; 186f22ef01cSRoman Divacky if (Sym->isDefined()) continue; // Ignore already emitted labels. 187f22ef01cSRoman Divacky 188f22ef01cSRoman Divacky // If the block is not yet defined, we need to emit it at the end of the 189f22ef01cSRoman Divacky // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list 190f22ef01cSRoman Divacky // for the containing Function. Since the block is being deleted, its 191f22ef01cSRoman Divacky // parent may already be removed, we have to get the function from 192f22ef01cSRoman Divacky // 'Entry'. 193f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym); 194f22ef01cSRoman Divacky } 195f22ef01cSRoman Divacky 196f22ef01cSRoman Divacky // The entry is deleted, free the memory associated with the symbol list. 197f22ef01cSRoman Divacky delete Syms; 198f22ef01cSRoman Divacky } 199f22ef01cSRoman Divacky } 200f22ef01cSRoman Divacky 201f22ef01cSRoman Divacky void MMIAddrLabelMap::UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New) { 202f22ef01cSRoman Divacky // Get the entry for the RAUW'd block and remove it from our map. 203f22ef01cSRoman Divacky AddrLabelSymEntry OldEntry = AddrLabelSymbols[Old]; 204f22ef01cSRoman Divacky AddrLabelSymbols.erase(Old); 205f22ef01cSRoman Divacky assert(!OldEntry.Symbols.isNull() && "Didn't have a symbol, why a callback?"); 206f22ef01cSRoman Divacky 207f22ef01cSRoman Divacky AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New]; 208f22ef01cSRoman Divacky 209f22ef01cSRoman Divacky // If New is not address taken, just move our symbol over to it. 210f22ef01cSRoman Divacky if (NewEntry.Symbols.isNull()) { 211f22ef01cSRoman Divacky BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback. 212f22ef01cSRoman Divacky NewEntry = OldEntry; // Set New's entry. 213f22ef01cSRoman Divacky return; 214f22ef01cSRoman Divacky } 215f22ef01cSRoman Divacky 21691bc56edSDimitry Andric BBCallbacks[OldEntry.Index] = nullptr; // Update the callback. 217f22ef01cSRoman Divacky 218f22ef01cSRoman Divacky // Otherwise, we need to add the old symbol to the new block's set. If it is 219f22ef01cSRoman Divacky // just a single entry, upgrade it to a symbol list. 220f22ef01cSRoman Divacky if (MCSymbol *PrevSym = NewEntry.Symbols.dyn_cast<MCSymbol*>()) { 221f22ef01cSRoman Divacky std::vector<MCSymbol*> *SymList = new std::vector<MCSymbol*>(); 222f22ef01cSRoman Divacky SymList->push_back(PrevSym); 223f22ef01cSRoman Divacky NewEntry.Symbols = SymList; 224f22ef01cSRoman Divacky } 225f22ef01cSRoman Divacky 226f22ef01cSRoman Divacky std::vector<MCSymbol*> *SymList = 227f22ef01cSRoman Divacky NewEntry.Symbols.get<std::vector<MCSymbol*>*>(); 228f22ef01cSRoman Divacky 229f22ef01cSRoman Divacky // If the old entry was a single symbol, add it. 230f22ef01cSRoman Divacky if (MCSymbol *Sym = OldEntry.Symbols.dyn_cast<MCSymbol*>()) { 231f22ef01cSRoman Divacky SymList->push_back(Sym); 232f22ef01cSRoman Divacky return; 233f22ef01cSRoman Divacky } 234f22ef01cSRoman Divacky 235f22ef01cSRoman Divacky // Otherwise, concatenate the list. 236f22ef01cSRoman Divacky std::vector<MCSymbol*> *Syms =OldEntry.Symbols.get<std::vector<MCSymbol*>*>(); 237f22ef01cSRoman Divacky SymList->insert(SymList->end(), Syms->begin(), Syms->end()); 238f22ef01cSRoman Divacky delete Syms; 239f22ef01cSRoman Divacky } 240f22ef01cSRoman Divacky 241f22ef01cSRoman Divacky 242f22ef01cSRoman Divacky void MMIAddrLabelMapCallbackPtr::deleted() { 243f22ef01cSRoman Divacky Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr())); 244f22ef01cSRoman Divacky } 245f22ef01cSRoman Divacky 246f22ef01cSRoman Divacky void MMIAddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) { 247f22ef01cSRoman Divacky Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2)); 248f22ef01cSRoman Divacky } 249f22ef01cSRoman Divacky 250f22ef01cSRoman Divacky 251f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 252f22ef01cSRoman Divacky 2532754fe60SDimitry Andric MachineModuleInfo::MachineModuleInfo(const MCAsmInfo &MAI, 2546122f3e6SDimitry Andric const MCRegisterInfo &MRI, 2556122f3e6SDimitry Andric const MCObjectFileInfo *MOFI) 25691bc56edSDimitry Andric : ImmutablePass(ID), Context(&MAI, &MRI, MOFI, nullptr, false) { 2572754fe60SDimitry Andric initializeMachineModuleInfoPass(*PassRegistry::getPassRegistry()); 258f22ef01cSRoman Divacky } 259f22ef01cSRoman Divacky 260f22ef01cSRoman Divacky MachineModuleInfo::MachineModuleInfo() 26191bc56edSDimitry Andric : ImmutablePass(ID), Context(nullptr, nullptr, nullptr) { 262dff0c46cSDimitry Andric llvm_unreachable("This MachineModuleInfo constructor should never be called, " 263dff0c46cSDimitry Andric "MMI should always be explicitly constructed by " 264dff0c46cSDimitry Andric "LLVMTargetMachine"); 265f22ef01cSRoman Divacky } 266f22ef01cSRoman Divacky 267f22ef01cSRoman Divacky MachineModuleInfo::~MachineModuleInfo() { 268f22ef01cSRoman Divacky } 269f22ef01cSRoman Divacky 270139f7f9bSDimitry Andric bool MachineModuleInfo::doInitialization(Module &M) { 271139f7f9bSDimitry Andric 27291bc56edSDimitry Andric ObjFileMMI = nullptr; 273139f7f9bSDimitry Andric CurCallSite = 0; 274139f7f9bSDimitry Andric CallsEHReturn = 0; 275139f7f9bSDimitry Andric CallsUnwindInit = 0; 27639d628a0SDimitry Andric DbgInfoAvailable = UsesVAFloatArgument = UsesMorestackAddr = false; 277139f7f9bSDimitry Andric // Always emit some info, by default "no personality" info. 27891bc56edSDimitry Andric Personalities.push_back(nullptr); 27991bc56edSDimitry Andric AddrLabelSymbols = nullptr; 28091bc56edSDimitry Andric TheModule = nullptr; 281139f7f9bSDimitry Andric 282f22ef01cSRoman Divacky return false; 283f22ef01cSRoman Divacky } 284f22ef01cSRoman Divacky 285139f7f9bSDimitry Andric bool MachineModuleInfo::doFinalization(Module &M) { 286139f7f9bSDimitry Andric 287139f7f9bSDimitry Andric Personalities.clear(); 288139f7f9bSDimitry Andric 289f22ef01cSRoman Divacky delete AddrLabelSymbols; 29091bc56edSDimitry Andric AddrLabelSymbols = nullptr; 291139f7f9bSDimitry Andric 292139f7f9bSDimitry Andric Context.reset(); 293139f7f9bSDimitry Andric 294139f7f9bSDimitry Andric delete ObjFileMMI; 29591bc56edSDimitry Andric ObjFileMMI = nullptr; 296139f7f9bSDimitry Andric 297f22ef01cSRoman Divacky return false; 298f22ef01cSRoman Divacky } 299f22ef01cSRoman Divacky 300f22ef01cSRoman Divacky /// EndFunction - Discard function meta information. 301f22ef01cSRoman Divacky /// 302f22ef01cSRoman Divacky void MachineModuleInfo::EndFunction() { 303f22ef01cSRoman Divacky // Clean up frame info. 304f785676fSDimitry Andric FrameInstructions.clear(); 305f22ef01cSRoman Divacky 306f22ef01cSRoman Divacky // Clean up exception info. 307f22ef01cSRoman Divacky LandingPads.clear(); 308f22ef01cSRoman Divacky CallSiteMap.clear(); 309f22ef01cSRoman Divacky TypeInfos.clear(); 310f22ef01cSRoman Divacky FilterIds.clear(); 311f22ef01cSRoman Divacky FilterEnds.clear(); 312f22ef01cSRoman Divacky CallsEHReturn = 0; 313f22ef01cSRoman Divacky CallsUnwindInit = 0; 31491bc56edSDimitry Andric VariableDbgInfos.clear(); 315f22ef01cSRoman Divacky } 316f22ef01cSRoman Divacky 317f22ef01cSRoman Divacky /// AnalyzeModule - Scan the module for global debug information. 318f22ef01cSRoman Divacky /// 319f22ef01cSRoman Divacky void MachineModuleInfo::AnalyzeModule(const Module &M) { 320f22ef01cSRoman Divacky // Insert functions in the llvm.used array (but not llvm.compiler.used) into 321f22ef01cSRoman Divacky // UsedFunctions. 322f22ef01cSRoman Divacky const GlobalVariable *GV = M.getGlobalVariable("llvm.used"); 323f22ef01cSRoman Divacky if (!GV || !GV->hasInitializer()) return; 324f22ef01cSRoman Divacky 325f22ef01cSRoman Divacky // Should be an array of 'i8*'. 326284c1978SDimitry Andric const ConstantArray *InitList = cast<ConstantArray>(GV->getInitializer()); 327f22ef01cSRoman Divacky 328f22ef01cSRoman Divacky for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) 329f22ef01cSRoman Divacky if (const Function *F = 330f22ef01cSRoman Divacky dyn_cast<Function>(InitList->getOperand(i)->stripPointerCasts())) 331f22ef01cSRoman Divacky UsedFunctions.insert(F); 332f22ef01cSRoman Divacky } 333f22ef01cSRoman Divacky 334f22ef01cSRoman Divacky //===- Address of Block Management ----------------------------------------===// 335f22ef01cSRoman Divacky 336f22ef01cSRoman Divacky 337f22ef01cSRoman Divacky /// getAddrLabelSymbol - Return the symbol to be used for the specified basic 338f22ef01cSRoman Divacky /// block when its address is taken. This cannot be its normal LBB label 339f22ef01cSRoman Divacky /// because the block may be accessed outside its containing function. 340f22ef01cSRoman Divacky MCSymbol *MachineModuleInfo::getAddrLabelSymbol(const BasicBlock *BB) { 341f22ef01cSRoman Divacky // Lazily create AddrLabelSymbols. 34291bc56edSDimitry Andric if (!AddrLabelSymbols) 343f22ef01cSRoman Divacky AddrLabelSymbols = new MMIAddrLabelMap(Context); 344f22ef01cSRoman Divacky return AddrLabelSymbols->getAddrLabelSymbol(const_cast<BasicBlock*>(BB)); 345f22ef01cSRoman Divacky } 346f22ef01cSRoman Divacky 347f22ef01cSRoman Divacky /// getAddrLabelSymbolToEmit - Return the symbol to be used for the specified 348f22ef01cSRoman Divacky /// basic block when its address is taken. If other blocks were RAUW'd to 349f22ef01cSRoman Divacky /// this one, we may have to emit them as well, return the whole set. 350f22ef01cSRoman Divacky std::vector<MCSymbol*> MachineModuleInfo:: 351f22ef01cSRoman Divacky getAddrLabelSymbolToEmit(const BasicBlock *BB) { 352f22ef01cSRoman Divacky // Lazily create AddrLabelSymbols. 35391bc56edSDimitry Andric if (!AddrLabelSymbols) 354f22ef01cSRoman Divacky AddrLabelSymbols = new MMIAddrLabelMap(Context); 355f22ef01cSRoman Divacky return AddrLabelSymbols->getAddrLabelSymbolToEmit(const_cast<BasicBlock*>(BB)); 356f22ef01cSRoman Divacky } 357f22ef01cSRoman Divacky 358f22ef01cSRoman Divacky 359f22ef01cSRoman Divacky /// takeDeletedSymbolsForFunction - If the specified function has had any 360f22ef01cSRoman Divacky /// references to address-taken blocks generated, but the block got deleted, 361f22ef01cSRoman Divacky /// return the symbol now so we can emit it. This prevents emitting a 362f22ef01cSRoman Divacky /// reference to a symbol that has no definition. 363f22ef01cSRoman Divacky void MachineModuleInfo:: 364f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(const Function *F, 365f22ef01cSRoman Divacky std::vector<MCSymbol*> &Result) { 366f22ef01cSRoman Divacky // If no blocks have had their addresses taken, we're done. 36791bc56edSDimitry Andric if (!AddrLabelSymbols) return; 368f22ef01cSRoman Divacky return AddrLabelSymbols-> 369f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(const_cast<Function*>(F), Result); 370f22ef01cSRoman Divacky } 371f22ef01cSRoman Divacky 372f22ef01cSRoman Divacky //===- EH -----------------------------------------------------------------===// 373f22ef01cSRoman Divacky 374f22ef01cSRoman Divacky /// getOrCreateLandingPadInfo - Find or create an LandingPadInfo for the 375f22ef01cSRoman Divacky /// specified MachineBasicBlock. 376f22ef01cSRoman Divacky LandingPadInfo &MachineModuleInfo::getOrCreateLandingPadInfo 377f22ef01cSRoman Divacky (MachineBasicBlock *LandingPad) { 378f22ef01cSRoman Divacky unsigned N = LandingPads.size(); 379f22ef01cSRoman Divacky for (unsigned i = 0; i < N; ++i) { 380f22ef01cSRoman Divacky LandingPadInfo &LP = LandingPads[i]; 381f22ef01cSRoman Divacky if (LP.LandingPadBlock == LandingPad) 382f22ef01cSRoman Divacky return LP; 383f22ef01cSRoman Divacky } 384f22ef01cSRoman Divacky 385f22ef01cSRoman Divacky LandingPads.push_back(LandingPadInfo(LandingPad)); 386f22ef01cSRoman Divacky return LandingPads[N]; 387f22ef01cSRoman Divacky } 388f22ef01cSRoman Divacky 389f22ef01cSRoman Divacky /// addInvoke - Provide the begin and end labels of an invoke style call and 390f22ef01cSRoman Divacky /// associate it with a try landing pad block. 391f22ef01cSRoman Divacky void MachineModuleInfo::addInvoke(MachineBasicBlock *LandingPad, 392f22ef01cSRoman Divacky MCSymbol *BeginLabel, MCSymbol *EndLabel) { 393f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 394f22ef01cSRoman Divacky LP.BeginLabels.push_back(BeginLabel); 395f22ef01cSRoman Divacky LP.EndLabels.push_back(EndLabel); 396f22ef01cSRoman Divacky } 397f22ef01cSRoman Divacky 398f22ef01cSRoman Divacky /// addLandingPad - Provide the label of a try LandingPad block. 399f22ef01cSRoman Divacky /// 400f22ef01cSRoman Divacky MCSymbol *MachineModuleInfo::addLandingPad(MachineBasicBlock *LandingPad) { 401f22ef01cSRoman Divacky MCSymbol *LandingPadLabel = Context.CreateTempSymbol(); 402f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 403f22ef01cSRoman Divacky LP.LandingPadLabel = LandingPadLabel; 404f22ef01cSRoman Divacky return LandingPadLabel; 405f22ef01cSRoman Divacky } 406f22ef01cSRoman Divacky 407f22ef01cSRoman Divacky /// addPersonality - Provide the personality function for the exception 408f22ef01cSRoman Divacky /// information. 409f22ef01cSRoman Divacky void MachineModuleInfo::addPersonality(MachineBasicBlock *LandingPad, 410f22ef01cSRoman Divacky const Function *Personality) { 411f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 412f22ef01cSRoman Divacky LP.Personality = Personality; 413f22ef01cSRoman Divacky 414f22ef01cSRoman Divacky for (unsigned i = 0; i < Personalities.size(); ++i) 415f22ef01cSRoman Divacky if (Personalities[i] == Personality) 416f22ef01cSRoman Divacky return; 417f22ef01cSRoman Divacky 418f22ef01cSRoman Divacky // If this is the first personality we're adding go 419f22ef01cSRoman Divacky // ahead and add it at the beginning. 42091bc56edSDimitry Andric if (!Personalities[0]) 421f22ef01cSRoman Divacky Personalities[0] = Personality; 422f22ef01cSRoman Divacky else 423f22ef01cSRoman Divacky Personalities.push_back(Personality); 424f22ef01cSRoman Divacky } 425f22ef01cSRoman Divacky 426f22ef01cSRoman Divacky /// addCatchTypeInfo - Provide the catch typeinfo for a landing pad. 427f22ef01cSRoman Divacky /// 4286122f3e6SDimitry Andric void MachineModuleInfo:: 4296122f3e6SDimitry Andric addCatchTypeInfo(MachineBasicBlock *LandingPad, 43039d628a0SDimitry Andric ArrayRef<const GlobalValue *> TyInfo) { 431f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 432f22ef01cSRoman Divacky for (unsigned N = TyInfo.size(); N; --N) 433f22ef01cSRoman Divacky LP.TypeIds.push_back(getTypeIDFor(TyInfo[N - 1])); 434f22ef01cSRoman Divacky } 435f22ef01cSRoman Divacky 436f22ef01cSRoman Divacky /// addFilterTypeInfo - Provide the filter typeinfo for a landing pad. 437f22ef01cSRoman Divacky /// 4386122f3e6SDimitry Andric void MachineModuleInfo:: 4396122f3e6SDimitry Andric addFilterTypeInfo(MachineBasicBlock *LandingPad, 44039d628a0SDimitry Andric ArrayRef<const GlobalValue *> TyInfo) { 441f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 442f22ef01cSRoman Divacky std::vector<unsigned> IdsInFilter(TyInfo.size()); 443f22ef01cSRoman Divacky for (unsigned I = 0, E = TyInfo.size(); I != E; ++I) 444f22ef01cSRoman Divacky IdsInFilter[I] = getTypeIDFor(TyInfo[I]); 445f22ef01cSRoman Divacky LP.TypeIds.push_back(getFilterIDFor(IdsInFilter)); 446f22ef01cSRoman Divacky } 447f22ef01cSRoman Divacky 448f22ef01cSRoman Divacky /// addCleanup - Add a cleanup action for a landing pad. 449f22ef01cSRoman Divacky /// 450f22ef01cSRoman Divacky void MachineModuleInfo::addCleanup(MachineBasicBlock *LandingPad) { 451f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 452f22ef01cSRoman Divacky LP.TypeIds.push_back(0); 453f22ef01cSRoman Divacky } 454f22ef01cSRoman Divacky 45539d628a0SDimitry Andric MCSymbol * 45639d628a0SDimitry Andric MachineModuleInfo::addClauseForLandingPad(MachineBasicBlock *LandingPad) { 45739d628a0SDimitry Andric MCSymbol *ClauseLabel = Context.CreateTempSymbol(); 45839d628a0SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 45939d628a0SDimitry Andric LP.ClauseLabels.push_back(ClauseLabel); 46039d628a0SDimitry Andric return ClauseLabel; 46139d628a0SDimitry Andric } 46239d628a0SDimitry Andric 463f22ef01cSRoman Divacky /// TidyLandingPads - Remap landing pad labels and remove any deleted landing 464f22ef01cSRoman Divacky /// pads. 465f22ef01cSRoman Divacky void MachineModuleInfo::TidyLandingPads(DenseMap<MCSymbol*, uintptr_t> *LPMap) { 466f22ef01cSRoman Divacky for (unsigned i = 0; i != LandingPads.size(); ) { 467f22ef01cSRoman Divacky LandingPadInfo &LandingPad = LandingPads[i]; 468f22ef01cSRoman Divacky if (LandingPad.LandingPadLabel && 469f22ef01cSRoman Divacky !LandingPad.LandingPadLabel->isDefined() && 470f22ef01cSRoman Divacky (!LPMap || (*LPMap)[LandingPad.LandingPadLabel] == 0)) 47191bc56edSDimitry Andric LandingPad.LandingPadLabel = nullptr; 472f22ef01cSRoman Divacky 473f22ef01cSRoman Divacky // Special case: we *should* emit LPs with null LP MBB. This indicates 474f22ef01cSRoman Divacky // "nounwind" case. 475f22ef01cSRoman Divacky if (!LandingPad.LandingPadLabel && LandingPad.LandingPadBlock) { 476f22ef01cSRoman Divacky LandingPads.erase(LandingPads.begin() + i); 477f22ef01cSRoman Divacky continue; 478f22ef01cSRoman Divacky } 479f22ef01cSRoman Divacky 480f22ef01cSRoman Divacky for (unsigned j = 0, e = LandingPads[i].BeginLabels.size(); j != e; ++j) { 481f22ef01cSRoman Divacky MCSymbol *BeginLabel = LandingPad.BeginLabels[j]; 482f22ef01cSRoman Divacky MCSymbol *EndLabel = LandingPad.EndLabels[j]; 483f22ef01cSRoman Divacky if ((BeginLabel->isDefined() || 484f22ef01cSRoman Divacky (LPMap && (*LPMap)[BeginLabel] != 0)) && 485f22ef01cSRoman Divacky (EndLabel->isDefined() || 486f22ef01cSRoman Divacky (LPMap && (*LPMap)[EndLabel] != 0))) continue; 487f22ef01cSRoman Divacky 488f22ef01cSRoman Divacky LandingPad.BeginLabels.erase(LandingPad.BeginLabels.begin() + j); 489f22ef01cSRoman Divacky LandingPad.EndLabels.erase(LandingPad.EndLabels.begin() + j); 490f22ef01cSRoman Divacky --j, --e; 491f22ef01cSRoman Divacky } 492f22ef01cSRoman Divacky 493f22ef01cSRoman Divacky // Remove landing pads with no try-ranges. 494f22ef01cSRoman Divacky if (LandingPads[i].BeginLabels.empty()) { 495f22ef01cSRoman Divacky LandingPads.erase(LandingPads.begin() + i); 496f22ef01cSRoman Divacky continue; 497f22ef01cSRoman Divacky } 498f22ef01cSRoman Divacky 499f22ef01cSRoman Divacky // If there is no landing pad, ensure that the list of typeids is empty. 500f22ef01cSRoman Divacky // If the only typeid is a cleanup, this is the same as having no typeids. 501f22ef01cSRoman Divacky if (!LandingPad.LandingPadBlock || 502f22ef01cSRoman Divacky (LandingPad.TypeIds.size() == 1 && !LandingPad.TypeIds[0])) 503f22ef01cSRoman Divacky LandingPad.TypeIds.clear(); 504f22ef01cSRoman Divacky ++i; 505f22ef01cSRoman Divacky } 506f22ef01cSRoman Divacky } 507f22ef01cSRoman Divacky 5086122f3e6SDimitry Andric /// setCallSiteLandingPad - Map the landing pad's EH symbol to the call site 5096122f3e6SDimitry Andric /// indexes. 5106122f3e6SDimitry Andric void MachineModuleInfo::setCallSiteLandingPad(MCSymbol *Sym, 5116122f3e6SDimitry Andric ArrayRef<unsigned> Sites) { 512dff0c46cSDimitry Andric LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end()); 5136122f3e6SDimitry Andric } 5146122f3e6SDimitry Andric 515f22ef01cSRoman Divacky /// getTypeIDFor - Return the type id for the specified typeinfo. This is 516f22ef01cSRoman Divacky /// function wide. 51739d628a0SDimitry Andric unsigned MachineModuleInfo::getTypeIDFor(const GlobalValue *TI) { 518f22ef01cSRoman Divacky for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i) 519f22ef01cSRoman Divacky if (TypeInfos[i] == TI) return i + 1; 520f22ef01cSRoman Divacky 521f22ef01cSRoman Divacky TypeInfos.push_back(TI); 522f22ef01cSRoman Divacky return TypeInfos.size(); 523f22ef01cSRoman Divacky } 524f22ef01cSRoman Divacky 525f22ef01cSRoman Divacky /// getFilterIDFor - Return the filter id for the specified typeinfos. This is 526f22ef01cSRoman Divacky /// function wide. 527f22ef01cSRoman Divacky int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) { 528f22ef01cSRoman Divacky // If the new filter coincides with the tail of an existing filter, then 529f22ef01cSRoman Divacky // re-use the existing filter. Folding filters more than this requires 530f22ef01cSRoman Divacky // re-ordering filters and/or their elements - probably not worth it. 531f22ef01cSRoman Divacky for (std::vector<unsigned>::iterator I = FilterEnds.begin(), 532f22ef01cSRoman Divacky E = FilterEnds.end(); I != E; ++I) { 533f22ef01cSRoman Divacky unsigned i = *I, j = TyIds.size(); 534f22ef01cSRoman Divacky 535f22ef01cSRoman Divacky while (i && j) 536f22ef01cSRoman Divacky if (FilterIds[--i] != TyIds[--j]) 537f22ef01cSRoman Divacky goto try_next; 538f22ef01cSRoman Divacky 539f22ef01cSRoman Divacky if (!j) 540f22ef01cSRoman Divacky // The new filter coincides with range [i, end) of the existing filter. 541f22ef01cSRoman Divacky return -(1 + i); 542f22ef01cSRoman Divacky 543f22ef01cSRoman Divacky try_next:; 544f22ef01cSRoman Divacky } 545f22ef01cSRoman Divacky 546f22ef01cSRoman Divacky // Add the new filter. 547f22ef01cSRoman Divacky int FilterID = -(1 + FilterIds.size()); 548f22ef01cSRoman Divacky FilterIds.reserve(FilterIds.size() + TyIds.size() + 1); 549dff0c46cSDimitry Andric FilterIds.insert(FilterIds.end(), TyIds.begin(), TyIds.end()); 550f22ef01cSRoman Divacky FilterEnds.push_back(FilterIds.size()); 551f22ef01cSRoman Divacky FilterIds.push_back(0); // terminator 552f22ef01cSRoman Divacky return FilterID; 553f22ef01cSRoman Divacky } 554f22ef01cSRoman Divacky 555f22ef01cSRoman Divacky /// getPersonality - Return the personality function for the current function. 556f22ef01cSRoman Divacky const Function *MachineModuleInfo::getPersonality() const { 557f22ef01cSRoman Divacky // FIXME: Until PR1414 will be fixed, we're using 1 personality function per 558f22ef01cSRoman Divacky // function 55991bc56edSDimitry Andric return !LandingPads.empty() ? LandingPads[0].Personality : nullptr; 560f22ef01cSRoman Divacky } 561f22ef01cSRoman Divacky 562f22ef01cSRoman Divacky /// getPersonalityIndex - Return unique index for current personality 563f22ef01cSRoman Divacky /// function. NULL/first personality function should always get zero index. 564f22ef01cSRoman Divacky unsigned MachineModuleInfo::getPersonalityIndex() const { 56591bc56edSDimitry Andric const Function* Personality = nullptr; 566f22ef01cSRoman Divacky 567f22ef01cSRoman Divacky // Scan landing pads. If there is at least one non-NULL personality - use it. 568dff0c46cSDimitry Andric for (unsigned i = 0, e = LandingPads.size(); i != e; ++i) 569f22ef01cSRoman Divacky if (LandingPads[i].Personality) { 570f22ef01cSRoman Divacky Personality = LandingPads[i].Personality; 571f22ef01cSRoman Divacky break; 572f22ef01cSRoman Divacky } 573f22ef01cSRoman Divacky 574dff0c46cSDimitry Andric for (unsigned i = 0, e = Personalities.size(); i < e; ++i) { 575f22ef01cSRoman Divacky if (Personalities[i] == Personality) 576f22ef01cSRoman Divacky return i; 577f22ef01cSRoman Divacky } 578f22ef01cSRoman Divacky 579f22ef01cSRoman Divacky // This will happen if the current personality function is 580f22ef01cSRoman Divacky // in the zero index. 581f22ef01cSRoman Divacky return 0; 582f22ef01cSRoman Divacky } 583