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" 12ff0cc061SDimitry Andric #include "llvm/Analysis/LibCallSemantics.h" 13f22ef01cSRoman Divacky #include "llvm/Analysis/ValueTracking.h" 14f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineFunction.h" 15139f7f9bSDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h" 16f22ef01cSRoman Divacky #include "llvm/CodeGen/Passes.h" 17ff0cc061SDimitry Andric #include "llvm/CodeGen/WinEHFuncInfo.h" 18139f7f9bSDimitry Andric #include "llvm/IR/Constants.h" 19139f7f9bSDimitry Andric #include "llvm/IR/DerivedTypes.h" 20139f7f9bSDimitry Andric #include "llvm/IR/GlobalVariable.h" 21139f7f9bSDimitry Andric #include "llvm/IR/Module.h" 226122f3e6SDimitry Andric #include "llvm/MC/MCObjectFileInfo.h" 23f22ef01cSRoman Divacky #include "llvm/MC/MCSymbol.h" 24f22ef01cSRoman Divacky #include "llvm/Support/Dwarf.h" 25f22ef01cSRoman Divacky #include "llvm/Support/ErrorHandling.h" 26f22ef01cSRoman Divacky using namespace llvm; 27f22ef01cSRoman Divacky using namespace llvm::dwarf; 28f22ef01cSRoman Divacky 293861d79fSDimitry Andric // Handle the Pass registration stuff necessary to use DataLayout's. 30e580952dSDimitry Andric INITIALIZE_PASS(MachineModuleInfo, "machinemoduleinfo", 312754fe60SDimitry Andric "Machine Module Information", false, false) 32f22ef01cSRoman Divacky char MachineModuleInfo::ID = 0; 33f22ef01cSRoman Divacky 34f22ef01cSRoman Divacky // Out of line virtual method. 35f22ef01cSRoman Divacky MachineModuleInfoImpl::~MachineModuleInfoImpl() {} 36f22ef01cSRoman Divacky 37f22ef01cSRoman Divacky namespace llvm { 38f22ef01cSRoman Divacky class MMIAddrLabelMapCallbackPtr : CallbackVH { 39f22ef01cSRoman Divacky MMIAddrLabelMap *Map; 40f22ef01cSRoman Divacky public: 4191bc56edSDimitry Andric MMIAddrLabelMapCallbackPtr() : Map(nullptr) {} 4291bc56edSDimitry Andric MMIAddrLabelMapCallbackPtr(Value *V) : CallbackVH(V), Map(nullptr) {} 43f22ef01cSRoman Divacky 44f22ef01cSRoman Divacky void setPtr(BasicBlock *BB) { 45f22ef01cSRoman Divacky ValueHandleBase::operator=(BB); 46f22ef01cSRoman Divacky } 47f22ef01cSRoman Divacky 48f22ef01cSRoman Divacky void setMap(MMIAddrLabelMap *map) { Map = map; } 49f22ef01cSRoman Divacky 5091bc56edSDimitry Andric void deleted() override; 5191bc56edSDimitry Andric void allUsesReplacedWith(Value *V2) override; 52f22ef01cSRoman Divacky }; 53f22ef01cSRoman Divacky 54f22ef01cSRoman Divacky class MMIAddrLabelMap { 55f22ef01cSRoman Divacky MCContext &Context; 56f22ef01cSRoman Divacky struct AddrLabelSymEntry { 573dac3a9bSDimitry Andric /// Symbols - The symbols for the label. 583dac3a9bSDimitry Andric TinyPtrVector<MCSymbol *> Symbols; 59f22ef01cSRoman Divacky 60f22ef01cSRoman Divacky Function *Fn; // The containing function of the BasicBlock. 61f22ef01cSRoman Divacky unsigned Index; // The index in BBCallbacks for the BasicBlock. 62f22ef01cSRoman Divacky }; 63f22ef01cSRoman Divacky 64f22ef01cSRoman Divacky DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols; 65f22ef01cSRoman Divacky 66f22ef01cSRoman Divacky /// BBCallbacks - Callbacks for the BasicBlock's that we have entries for. We 67f22ef01cSRoman Divacky /// use this so we get notified if a block is deleted or RAUWd. 68f22ef01cSRoman Divacky std::vector<MMIAddrLabelMapCallbackPtr> BBCallbacks; 69f22ef01cSRoman Divacky 70f22ef01cSRoman Divacky /// DeletedAddrLabelsNeedingEmission - This is a per-function list of symbols 71f22ef01cSRoman Divacky /// whose corresponding BasicBlock got deleted. These symbols need to be 72f22ef01cSRoman Divacky /// emitted at some point in the file, so AsmPrinter emits them after the 73f22ef01cSRoman Divacky /// function body. 74f22ef01cSRoman Divacky DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> > 75f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission; 76f22ef01cSRoman Divacky public: 77f22ef01cSRoman Divacky 78f22ef01cSRoman Divacky MMIAddrLabelMap(MCContext &context) : Context(context) {} 79f22ef01cSRoman Divacky ~MMIAddrLabelMap() { 80f22ef01cSRoman Divacky assert(DeletedAddrLabelsNeedingEmission.empty() && 81f22ef01cSRoman Divacky "Some labels for deleted blocks never got emitted"); 82f22ef01cSRoman Divacky } 83f22ef01cSRoman Divacky 843dac3a9bSDimitry Andric ArrayRef<MCSymbol *> getAddrLabelSymbolToEmit(BasicBlock *BB); 85f22ef01cSRoman Divacky 86f22ef01cSRoman Divacky void takeDeletedSymbolsForFunction(Function *F, 87f22ef01cSRoman Divacky std::vector<MCSymbol*> &Result); 88f22ef01cSRoman Divacky 89f22ef01cSRoman Divacky void UpdateForDeletedBlock(BasicBlock *BB); 90f22ef01cSRoman Divacky void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New); 91f22ef01cSRoman Divacky }; 923dac3a9bSDimitry Andric } 93f22ef01cSRoman Divacky 943dac3a9bSDimitry Andric ArrayRef<MCSymbol *> MMIAddrLabelMap::getAddrLabelSymbolToEmit(BasicBlock *BB) { 95f22ef01cSRoman Divacky assert(BB->hasAddressTaken() && 96f22ef01cSRoman Divacky "Shouldn't get label for block without address taken"); 97f22ef01cSRoman Divacky AddrLabelSymEntry &Entry = AddrLabelSymbols[BB]; 98f22ef01cSRoman Divacky 99f22ef01cSRoman Divacky // If we already had an entry for this block, just return it. 1003dac3a9bSDimitry Andric if (!Entry.Symbols.empty()) { 101f22ef01cSRoman Divacky assert(BB->getParent() == Entry.Fn && "Parent changed"); 1023dac3a9bSDimitry Andric return Entry.Symbols; 103f22ef01cSRoman Divacky } 104f22ef01cSRoman Divacky 105f22ef01cSRoman Divacky // Otherwise, this is a new entry, create a new symbol for it and add an 106f22ef01cSRoman Divacky // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd. 10797bc6c73SDimitry Andric BBCallbacks.emplace_back(BB); 108f22ef01cSRoman Divacky BBCallbacks.back().setMap(this); 109f22ef01cSRoman Divacky Entry.Index = BBCallbacks.size() - 1; 110f22ef01cSRoman Divacky Entry.Fn = BB->getParent(); 1113dac3a9bSDimitry Andric Entry.Symbols.push_back(Context.createTempSymbol()); 1123dac3a9bSDimitry Andric return Entry.Symbols; 113f22ef01cSRoman Divacky } 114f22ef01cSRoman Divacky 115f22ef01cSRoman Divacky /// takeDeletedSymbolsForFunction - If we have any deleted symbols for F, return 116f22ef01cSRoman Divacky /// them. 117f22ef01cSRoman Divacky void MMIAddrLabelMap:: 118f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(Function *F, std::vector<MCSymbol*> &Result) { 119f22ef01cSRoman Divacky DenseMap<AssertingVH<Function>, std::vector<MCSymbol*> >::iterator I = 120f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission.find(F); 121f22ef01cSRoman Divacky 122f22ef01cSRoman Divacky // If there are no entries for the function, just return. 123f22ef01cSRoman Divacky if (I == DeletedAddrLabelsNeedingEmission.end()) return; 124f22ef01cSRoman Divacky 125f22ef01cSRoman Divacky // Otherwise, take the list. 126f22ef01cSRoman Divacky std::swap(Result, I->second); 127f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission.erase(I); 128f22ef01cSRoman Divacky } 129f22ef01cSRoman Divacky 130f22ef01cSRoman Divacky 131f22ef01cSRoman Divacky void MMIAddrLabelMap::UpdateForDeletedBlock(BasicBlock *BB) { 132f22ef01cSRoman Divacky // If the block got deleted, there is no need for the symbol. If the symbol 133f22ef01cSRoman Divacky // was already emitted, we can just forget about it, otherwise we need to 134f22ef01cSRoman Divacky // queue it up for later emission when the function is output. 1353dac3a9bSDimitry Andric AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]); 136f22ef01cSRoman Divacky AddrLabelSymbols.erase(BB); 1373dac3a9bSDimitry Andric assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?"); 13891bc56edSDimitry Andric BBCallbacks[Entry.Index] = nullptr; // Clear the callback. 139f22ef01cSRoman Divacky 14091bc56edSDimitry Andric assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) && 141f22ef01cSRoman Divacky "Block/parent mismatch"); 142f22ef01cSRoman Divacky 1433dac3a9bSDimitry Andric for (MCSymbol *Sym : Entry.Symbols) { 144f22ef01cSRoman Divacky if (Sym->isDefined()) 145f22ef01cSRoman Divacky return; 146f22ef01cSRoman Divacky 147f22ef01cSRoman Divacky // If the block is not yet defined, we need to emit it at the end of the 148f22ef01cSRoman Divacky // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list 149f22ef01cSRoman Divacky // for the containing Function. Since the block is being deleted, its 150f22ef01cSRoman Divacky // parent may already be removed, we have to get the function from 'Entry'. 151f22ef01cSRoman Divacky DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym); 152f22ef01cSRoman Divacky } 153f22ef01cSRoman Divacky } 154f22ef01cSRoman Divacky 155f22ef01cSRoman Divacky void MMIAddrLabelMap::UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New) { 156f22ef01cSRoman Divacky // Get the entry for the RAUW'd block and remove it from our map. 1573dac3a9bSDimitry Andric AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]); 158f22ef01cSRoman Divacky AddrLabelSymbols.erase(Old); 1593dac3a9bSDimitry Andric assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?"); 160f22ef01cSRoman Divacky 161f22ef01cSRoman Divacky AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New]; 162f22ef01cSRoman Divacky 163f22ef01cSRoman Divacky // If New is not address taken, just move our symbol over to it. 1643dac3a9bSDimitry Andric if (NewEntry.Symbols.empty()) { 165f22ef01cSRoman Divacky BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback. 1663dac3a9bSDimitry Andric NewEntry = std::move(OldEntry); // Set New's entry. 167f22ef01cSRoman Divacky return; 168f22ef01cSRoman Divacky } 169f22ef01cSRoman Divacky 17091bc56edSDimitry Andric BBCallbacks[OldEntry.Index] = nullptr; // Update the callback. 171f22ef01cSRoman Divacky 1723dac3a9bSDimitry Andric // Otherwise, we need to add the old symbols to the new block's set. 1733dac3a9bSDimitry Andric NewEntry.Symbols.insert(NewEntry.Symbols.end(), OldEntry.Symbols.begin(), 1743dac3a9bSDimitry Andric OldEntry.Symbols.end()); 175f22ef01cSRoman Divacky } 176f22ef01cSRoman Divacky 177f22ef01cSRoman Divacky 178f22ef01cSRoman Divacky void MMIAddrLabelMapCallbackPtr::deleted() { 179f22ef01cSRoman Divacky Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr())); 180f22ef01cSRoman Divacky } 181f22ef01cSRoman Divacky 182f22ef01cSRoman Divacky void MMIAddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) { 183f22ef01cSRoman Divacky Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2)); 184f22ef01cSRoman Divacky } 185f22ef01cSRoman Divacky 186f22ef01cSRoman Divacky 187f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 188f22ef01cSRoman Divacky 1892754fe60SDimitry Andric MachineModuleInfo::MachineModuleInfo(const MCAsmInfo &MAI, 1906122f3e6SDimitry Andric const MCRegisterInfo &MRI, 1916122f3e6SDimitry Andric const MCObjectFileInfo *MOFI) 19291bc56edSDimitry Andric : ImmutablePass(ID), Context(&MAI, &MRI, MOFI, nullptr, false) { 1932754fe60SDimitry Andric initializeMachineModuleInfoPass(*PassRegistry::getPassRegistry()); 194f22ef01cSRoman Divacky } 195f22ef01cSRoman Divacky 196f22ef01cSRoman Divacky MachineModuleInfo::MachineModuleInfo() 19791bc56edSDimitry Andric : ImmutablePass(ID), Context(nullptr, nullptr, nullptr) { 198dff0c46cSDimitry Andric llvm_unreachable("This MachineModuleInfo constructor should never be called, " 199dff0c46cSDimitry Andric "MMI should always be explicitly constructed by " 200dff0c46cSDimitry Andric "LLVMTargetMachine"); 201f22ef01cSRoman Divacky } 202f22ef01cSRoman Divacky 203f22ef01cSRoman Divacky MachineModuleInfo::~MachineModuleInfo() { 204f22ef01cSRoman Divacky } 205f22ef01cSRoman Divacky 206139f7f9bSDimitry Andric bool MachineModuleInfo::doInitialization(Module &M) { 207139f7f9bSDimitry Andric 20891bc56edSDimitry Andric ObjFileMMI = nullptr; 209139f7f9bSDimitry Andric CurCallSite = 0; 2103dac3a9bSDimitry Andric CallsEHReturn = false; 2113dac3a9bSDimitry Andric CallsUnwindInit = false; 21239d628a0SDimitry Andric DbgInfoAvailable = UsesVAFloatArgument = UsesMorestackAddr = false; 213139f7f9bSDimitry Andric // Always emit some info, by default "no personality" info. 21491bc56edSDimitry Andric Personalities.push_back(nullptr); 215ff0cc061SDimitry Andric PersonalityTypeCache = EHPersonality::Unknown; 21691bc56edSDimitry Andric AddrLabelSymbols = nullptr; 21791bc56edSDimitry Andric TheModule = nullptr; 218139f7f9bSDimitry Andric 219f22ef01cSRoman Divacky return false; 220f22ef01cSRoman Divacky } 221f22ef01cSRoman Divacky 222139f7f9bSDimitry Andric bool MachineModuleInfo::doFinalization(Module &M) { 223139f7f9bSDimitry Andric 224139f7f9bSDimitry Andric Personalities.clear(); 225139f7f9bSDimitry Andric 226f22ef01cSRoman Divacky delete AddrLabelSymbols; 22791bc56edSDimitry Andric AddrLabelSymbols = nullptr; 228139f7f9bSDimitry Andric 229139f7f9bSDimitry Andric Context.reset(); 230139f7f9bSDimitry Andric 231139f7f9bSDimitry Andric delete ObjFileMMI; 23291bc56edSDimitry Andric ObjFileMMI = nullptr; 233139f7f9bSDimitry Andric 234f22ef01cSRoman Divacky return false; 235f22ef01cSRoman Divacky } 236f22ef01cSRoman Divacky 237f22ef01cSRoman Divacky /// EndFunction - Discard function meta information. 238f22ef01cSRoman Divacky /// 239f22ef01cSRoman Divacky void MachineModuleInfo::EndFunction() { 240f22ef01cSRoman Divacky // Clean up frame info. 241f785676fSDimitry Andric FrameInstructions.clear(); 242f22ef01cSRoman Divacky 243f22ef01cSRoman Divacky // Clean up exception info. 244f22ef01cSRoman Divacky LandingPads.clear(); 24597bc6c73SDimitry Andric PersonalityTypeCache = EHPersonality::Unknown; 246f22ef01cSRoman Divacky CallSiteMap.clear(); 247f22ef01cSRoman Divacky TypeInfos.clear(); 248f22ef01cSRoman Divacky FilterIds.clear(); 249f22ef01cSRoman Divacky FilterEnds.clear(); 2503dac3a9bSDimitry Andric CallsEHReturn = false; 2513dac3a9bSDimitry Andric CallsUnwindInit = false; 25291bc56edSDimitry Andric VariableDbgInfos.clear(); 253f22ef01cSRoman Divacky } 254f22ef01cSRoman Divacky 255f22ef01cSRoman Divacky //===- Address of Block Management ----------------------------------------===// 256f22ef01cSRoman Divacky 257f22ef01cSRoman Divacky /// getAddrLabelSymbolToEmit - Return the symbol to be used for the specified 258f22ef01cSRoman Divacky /// basic block when its address is taken. If other blocks were RAUW'd to 259f22ef01cSRoman Divacky /// this one, we may have to emit them as well, return the whole set. 2603dac3a9bSDimitry Andric ArrayRef<MCSymbol *> 2613dac3a9bSDimitry Andric MachineModuleInfo::getAddrLabelSymbolToEmit(const BasicBlock *BB) { 262f22ef01cSRoman Divacky // Lazily create AddrLabelSymbols. 26391bc56edSDimitry Andric if (!AddrLabelSymbols) 264f22ef01cSRoman Divacky AddrLabelSymbols = new MMIAddrLabelMap(Context); 265f22ef01cSRoman Divacky return AddrLabelSymbols->getAddrLabelSymbolToEmit(const_cast<BasicBlock*>(BB)); 266f22ef01cSRoman Divacky } 267f22ef01cSRoman Divacky 268f22ef01cSRoman Divacky 269f22ef01cSRoman Divacky /// takeDeletedSymbolsForFunction - If the specified function has had any 270f22ef01cSRoman Divacky /// references to address-taken blocks generated, but the block got deleted, 271f22ef01cSRoman Divacky /// return the symbol now so we can emit it. This prevents emitting a 272f22ef01cSRoman Divacky /// reference to a symbol that has no definition. 273f22ef01cSRoman Divacky void MachineModuleInfo:: 274f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(const Function *F, 275f22ef01cSRoman Divacky std::vector<MCSymbol*> &Result) { 276f22ef01cSRoman Divacky // If no blocks have had their addresses taken, we're done. 27791bc56edSDimitry Andric if (!AddrLabelSymbols) return; 278f22ef01cSRoman Divacky return AddrLabelSymbols-> 279f22ef01cSRoman Divacky takeDeletedSymbolsForFunction(const_cast<Function*>(F), Result); 280f22ef01cSRoman Divacky } 281f22ef01cSRoman Divacky 282f22ef01cSRoman Divacky //===- EH -----------------------------------------------------------------===// 283f22ef01cSRoman Divacky 284f22ef01cSRoman Divacky /// getOrCreateLandingPadInfo - Find or create an LandingPadInfo for the 285f22ef01cSRoman Divacky /// specified MachineBasicBlock. 286f22ef01cSRoman Divacky LandingPadInfo &MachineModuleInfo::getOrCreateLandingPadInfo 287f22ef01cSRoman Divacky (MachineBasicBlock *LandingPad) { 288f22ef01cSRoman Divacky unsigned N = LandingPads.size(); 289f22ef01cSRoman Divacky for (unsigned i = 0; i < N; ++i) { 290f22ef01cSRoman Divacky LandingPadInfo &LP = LandingPads[i]; 291f22ef01cSRoman Divacky if (LP.LandingPadBlock == LandingPad) 292f22ef01cSRoman Divacky return LP; 293f22ef01cSRoman Divacky } 294f22ef01cSRoman Divacky 295f22ef01cSRoman Divacky LandingPads.push_back(LandingPadInfo(LandingPad)); 296f22ef01cSRoman Divacky return LandingPads[N]; 297f22ef01cSRoman Divacky } 298f22ef01cSRoman Divacky 299f22ef01cSRoman Divacky /// addInvoke - Provide the begin and end labels of an invoke style call and 300f22ef01cSRoman Divacky /// associate it with a try landing pad block. 301f22ef01cSRoman Divacky void MachineModuleInfo::addInvoke(MachineBasicBlock *LandingPad, 302f22ef01cSRoman Divacky MCSymbol *BeginLabel, MCSymbol *EndLabel) { 303f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 304f22ef01cSRoman Divacky LP.BeginLabels.push_back(BeginLabel); 305f22ef01cSRoman Divacky LP.EndLabels.push_back(EndLabel); 306f22ef01cSRoman Divacky } 307f22ef01cSRoman Divacky 308f22ef01cSRoman Divacky /// addLandingPad - Provide the label of a try LandingPad block. 309f22ef01cSRoman Divacky /// 310f22ef01cSRoman Divacky MCSymbol *MachineModuleInfo::addLandingPad(MachineBasicBlock *LandingPad) { 311ff0cc061SDimitry Andric MCSymbol *LandingPadLabel = Context.createTempSymbol(); 312f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 313f22ef01cSRoman Divacky LP.LandingPadLabel = LandingPadLabel; 314f22ef01cSRoman Divacky return LandingPadLabel; 315f22ef01cSRoman Divacky } 316f22ef01cSRoman Divacky 317f22ef01cSRoman Divacky /// addPersonality - Provide the personality function for the exception 318f22ef01cSRoman Divacky /// information. 319f22ef01cSRoman Divacky void MachineModuleInfo::addPersonality(MachineBasicBlock *LandingPad, 320f22ef01cSRoman Divacky const Function *Personality) { 321f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 322f22ef01cSRoman Divacky LP.Personality = Personality; 323875ed548SDimitry Andric addPersonality(Personality); 324875ed548SDimitry Andric } 325f22ef01cSRoman Divacky 326875ed548SDimitry Andric void MachineModuleInfo::addPersonality(const Function *Personality) { 327f22ef01cSRoman Divacky for (unsigned i = 0; i < Personalities.size(); ++i) 328f22ef01cSRoman Divacky if (Personalities[i] == Personality) 329f22ef01cSRoman Divacky return; 330f22ef01cSRoman Divacky 331f22ef01cSRoman Divacky // If this is the first personality we're adding go 332f22ef01cSRoman Divacky // ahead and add it at the beginning. 33391bc56edSDimitry Andric if (!Personalities[0]) 334f22ef01cSRoman Divacky Personalities[0] = Personality; 335f22ef01cSRoman Divacky else 336f22ef01cSRoman Divacky Personalities.push_back(Personality); 337f22ef01cSRoman Divacky } 338f22ef01cSRoman Divacky 339ff0cc061SDimitry Andric void MachineModuleInfo::addWinEHState(MachineBasicBlock *LandingPad, 340ff0cc061SDimitry Andric int State) { 341ff0cc061SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 342ff0cc061SDimitry Andric LP.WinEHState = State; 343ff0cc061SDimitry Andric } 344ff0cc061SDimitry Andric 345f22ef01cSRoman Divacky /// addCatchTypeInfo - Provide the catch typeinfo for a landing pad. 346f22ef01cSRoman Divacky /// 3476122f3e6SDimitry Andric void MachineModuleInfo:: 3486122f3e6SDimitry Andric addCatchTypeInfo(MachineBasicBlock *LandingPad, 34939d628a0SDimitry Andric ArrayRef<const GlobalValue *> TyInfo) { 350f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 351f22ef01cSRoman Divacky for (unsigned N = TyInfo.size(); N; --N) 352f22ef01cSRoman Divacky LP.TypeIds.push_back(getTypeIDFor(TyInfo[N - 1])); 353f22ef01cSRoman Divacky } 354f22ef01cSRoman Divacky 355f22ef01cSRoman Divacky /// addFilterTypeInfo - Provide the filter typeinfo for a landing pad. 356f22ef01cSRoman Divacky /// 3576122f3e6SDimitry Andric void MachineModuleInfo:: 3586122f3e6SDimitry Andric addFilterTypeInfo(MachineBasicBlock *LandingPad, 35939d628a0SDimitry Andric ArrayRef<const GlobalValue *> TyInfo) { 360f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 361f22ef01cSRoman Divacky std::vector<unsigned> IdsInFilter(TyInfo.size()); 362f22ef01cSRoman Divacky for (unsigned I = 0, E = TyInfo.size(); I != E; ++I) 363f22ef01cSRoman Divacky IdsInFilter[I] = getTypeIDFor(TyInfo[I]); 364f22ef01cSRoman Divacky LP.TypeIds.push_back(getFilterIDFor(IdsInFilter)); 365f22ef01cSRoman Divacky } 366f22ef01cSRoman Divacky 367f22ef01cSRoman Divacky /// addCleanup - Add a cleanup action for a landing pad. 368f22ef01cSRoman Divacky /// 369f22ef01cSRoman Divacky void MachineModuleInfo::addCleanup(MachineBasicBlock *LandingPad) { 370f22ef01cSRoman Divacky LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 371f22ef01cSRoman Divacky LP.TypeIds.push_back(0); 372f22ef01cSRoman Divacky } 373f22ef01cSRoman Divacky 374ff0cc061SDimitry Andric void MachineModuleInfo::addSEHCatchHandler(MachineBasicBlock *LandingPad, 375ff0cc061SDimitry Andric const Function *Filter, 376ff0cc061SDimitry Andric const BlockAddress *RecoverBA) { 377ff0cc061SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 378ff0cc061SDimitry Andric SEHHandler Handler; 379ff0cc061SDimitry Andric Handler.FilterOrFinally = Filter; 380ff0cc061SDimitry Andric Handler.RecoverBA = RecoverBA; 381ff0cc061SDimitry Andric LP.SEHHandlers.push_back(Handler); 382ff0cc061SDimitry Andric } 383ff0cc061SDimitry Andric 384ff0cc061SDimitry Andric void MachineModuleInfo::addSEHCleanupHandler(MachineBasicBlock *LandingPad, 385ff0cc061SDimitry Andric const Function *Cleanup) { 386ff0cc061SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 387ff0cc061SDimitry Andric SEHHandler Handler; 388ff0cc061SDimitry Andric Handler.FilterOrFinally = Cleanup; 389ff0cc061SDimitry Andric Handler.RecoverBA = nullptr; 390ff0cc061SDimitry Andric LP.SEHHandlers.push_back(Handler); 391ff0cc061SDimitry Andric } 392ff0cc061SDimitry Andric 393f22ef01cSRoman Divacky /// TidyLandingPads - Remap landing pad labels and remove any deleted landing 394f22ef01cSRoman Divacky /// pads. 395f22ef01cSRoman Divacky void MachineModuleInfo::TidyLandingPads(DenseMap<MCSymbol*, uintptr_t> *LPMap) { 396f22ef01cSRoman Divacky for (unsigned i = 0; i != LandingPads.size(); ) { 397f22ef01cSRoman Divacky LandingPadInfo &LandingPad = LandingPads[i]; 398f22ef01cSRoman Divacky if (LandingPad.LandingPadLabel && 399f22ef01cSRoman Divacky !LandingPad.LandingPadLabel->isDefined() && 400f22ef01cSRoman Divacky (!LPMap || (*LPMap)[LandingPad.LandingPadLabel] == 0)) 40191bc56edSDimitry Andric LandingPad.LandingPadLabel = nullptr; 402f22ef01cSRoman Divacky 403f22ef01cSRoman Divacky // Special case: we *should* emit LPs with null LP MBB. This indicates 404f22ef01cSRoman Divacky // "nounwind" case. 405f22ef01cSRoman Divacky if (!LandingPad.LandingPadLabel && LandingPad.LandingPadBlock) { 406f22ef01cSRoman Divacky LandingPads.erase(LandingPads.begin() + i); 407f22ef01cSRoman Divacky continue; 408f22ef01cSRoman Divacky } 409f22ef01cSRoman Divacky 410f22ef01cSRoman Divacky for (unsigned j = 0, e = LandingPads[i].BeginLabels.size(); j != e; ++j) { 411f22ef01cSRoman Divacky MCSymbol *BeginLabel = LandingPad.BeginLabels[j]; 412f22ef01cSRoman Divacky MCSymbol *EndLabel = LandingPad.EndLabels[j]; 413f22ef01cSRoman Divacky if ((BeginLabel->isDefined() || 414f22ef01cSRoman Divacky (LPMap && (*LPMap)[BeginLabel] != 0)) && 415f22ef01cSRoman Divacky (EndLabel->isDefined() || 416f22ef01cSRoman Divacky (LPMap && (*LPMap)[EndLabel] != 0))) continue; 417f22ef01cSRoman Divacky 418f22ef01cSRoman Divacky LandingPad.BeginLabels.erase(LandingPad.BeginLabels.begin() + j); 419f22ef01cSRoman Divacky LandingPad.EndLabels.erase(LandingPad.EndLabels.begin() + j); 420f22ef01cSRoman Divacky --j, --e; 421f22ef01cSRoman Divacky } 422f22ef01cSRoman Divacky 423f22ef01cSRoman Divacky // Remove landing pads with no try-ranges. 424f22ef01cSRoman Divacky if (LandingPads[i].BeginLabels.empty()) { 425f22ef01cSRoman Divacky LandingPads.erase(LandingPads.begin() + i); 426f22ef01cSRoman Divacky continue; 427f22ef01cSRoman Divacky } 428f22ef01cSRoman Divacky 429f22ef01cSRoman Divacky // If there is no landing pad, ensure that the list of typeids is empty. 430f22ef01cSRoman Divacky // If the only typeid is a cleanup, this is the same as having no typeids. 431f22ef01cSRoman Divacky if (!LandingPad.LandingPadBlock || 432f22ef01cSRoman Divacky (LandingPad.TypeIds.size() == 1 && !LandingPad.TypeIds[0])) 433f22ef01cSRoman Divacky LandingPad.TypeIds.clear(); 434f22ef01cSRoman Divacky ++i; 435f22ef01cSRoman Divacky } 436f22ef01cSRoman Divacky } 437f22ef01cSRoman Divacky 4386122f3e6SDimitry Andric /// setCallSiteLandingPad - Map the landing pad's EH symbol to the call site 4396122f3e6SDimitry Andric /// indexes. 4406122f3e6SDimitry Andric void MachineModuleInfo::setCallSiteLandingPad(MCSymbol *Sym, 4416122f3e6SDimitry Andric ArrayRef<unsigned> Sites) { 442dff0c46cSDimitry Andric LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end()); 4436122f3e6SDimitry Andric } 4446122f3e6SDimitry Andric 445f22ef01cSRoman Divacky /// getTypeIDFor - Return the type id for the specified typeinfo. This is 446f22ef01cSRoman Divacky /// function wide. 44739d628a0SDimitry Andric unsigned MachineModuleInfo::getTypeIDFor(const GlobalValue *TI) { 448f22ef01cSRoman Divacky for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i) 449f22ef01cSRoman Divacky if (TypeInfos[i] == TI) return i + 1; 450f22ef01cSRoman Divacky 451f22ef01cSRoman Divacky TypeInfos.push_back(TI); 452f22ef01cSRoman Divacky return TypeInfos.size(); 453f22ef01cSRoman Divacky } 454f22ef01cSRoman Divacky 455f22ef01cSRoman Divacky /// getFilterIDFor - Return the filter id for the specified typeinfos. This is 456f22ef01cSRoman Divacky /// function wide. 457f22ef01cSRoman Divacky int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) { 458f22ef01cSRoman Divacky // If the new filter coincides with the tail of an existing filter, then 459f22ef01cSRoman Divacky // re-use the existing filter. Folding filters more than this requires 460f22ef01cSRoman Divacky // re-ordering filters and/or their elements - probably not worth it. 461f22ef01cSRoman Divacky for (std::vector<unsigned>::iterator I = FilterEnds.begin(), 462f22ef01cSRoman Divacky E = FilterEnds.end(); I != E; ++I) { 463f22ef01cSRoman Divacky unsigned i = *I, j = TyIds.size(); 464f22ef01cSRoman Divacky 465f22ef01cSRoman Divacky while (i && j) 466f22ef01cSRoman Divacky if (FilterIds[--i] != TyIds[--j]) 467f22ef01cSRoman Divacky goto try_next; 468f22ef01cSRoman Divacky 469f22ef01cSRoman Divacky if (!j) 470f22ef01cSRoman Divacky // The new filter coincides with range [i, end) of the existing filter. 471f22ef01cSRoman Divacky return -(1 + i); 472f22ef01cSRoman Divacky 473f22ef01cSRoman Divacky try_next:; 474f22ef01cSRoman Divacky } 475f22ef01cSRoman Divacky 476f22ef01cSRoman Divacky // Add the new filter. 477f22ef01cSRoman Divacky int FilterID = -(1 + FilterIds.size()); 478f22ef01cSRoman Divacky FilterIds.reserve(FilterIds.size() + TyIds.size() + 1); 479dff0c46cSDimitry Andric FilterIds.insert(FilterIds.end(), TyIds.begin(), TyIds.end()); 480f22ef01cSRoman Divacky FilterEnds.push_back(FilterIds.size()); 481f22ef01cSRoman Divacky FilterIds.push_back(0); // terminator 482f22ef01cSRoman Divacky return FilterID; 483f22ef01cSRoman Divacky } 484f22ef01cSRoman Divacky 485f22ef01cSRoman Divacky /// getPersonality - Return the personality function for the current function. 486f22ef01cSRoman Divacky const Function *MachineModuleInfo::getPersonality() const { 487ff0cc061SDimitry Andric for (const LandingPadInfo &LPI : LandingPads) 488ff0cc061SDimitry Andric if (LPI.Personality) 489ff0cc061SDimitry Andric return LPI.Personality; 490ff0cc061SDimitry Andric return nullptr; 491ff0cc061SDimitry Andric } 492ff0cc061SDimitry Andric 493ff0cc061SDimitry Andric EHPersonality MachineModuleInfo::getPersonalityType() { 494ff0cc061SDimitry Andric if (PersonalityTypeCache == EHPersonality::Unknown) { 495ff0cc061SDimitry Andric if (const Function *F = getPersonality()) 496ff0cc061SDimitry Andric PersonalityTypeCache = classifyEHPersonality(F); 497ff0cc061SDimitry Andric } 498ff0cc061SDimitry Andric return PersonalityTypeCache; 499f22ef01cSRoman Divacky } 500f22ef01cSRoman Divacky 501f22ef01cSRoman Divacky /// getPersonalityIndex - Return unique index for current personality 502f22ef01cSRoman Divacky /// function. NULL/first personality function should always get zero index. 503f22ef01cSRoman Divacky unsigned MachineModuleInfo::getPersonalityIndex() const { 50491bc56edSDimitry Andric const Function* Personality = nullptr; 505f22ef01cSRoman Divacky 506f22ef01cSRoman Divacky // Scan landing pads. If there is at least one non-NULL personality - use it. 507dff0c46cSDimitry Andric for (unsigned i = 0, e = LandingPads.size(); i != e; ++i) 508f22ef01cSRoman Divacky if (LandingPads[i].Personality) { 509f22ef01cSRoman Divacky Personality = LandingPads[i].Personality; 510f22ef01cSRoman Divacky break; 511f22ef01cSRoman Divacky } 512f22ef01cSRoman Divacky 513dff0c46cSDimitry Andric for (unsigned i = 0, e = Personalities.size(); i < e; ++i) { 514f22ef01cSRoman Divacky if (Personalities[i] == Personality) 515f22ef01cSRoman Divacky return i; 516f22ef01cSRoman Divacky } 517f22ef01cSRoman Divacky 518f22ef01cSRoman Divacky // This will happen if the current personality function is 519f22ef01cSRoman Divacky // in the zero index. 520f22ef01cSRoman Divacky return 0; 521f22ef01cSRoman Divacky } 522ff0cc061SDimitry Andric 523ff0cc061SDimitry Andric const Function *MachineModuleInfo::getWinEHParent(const Function *F) const { 524ff0cc061SDimitry Andric StringRef WinEHParentName = 525ff0cc061SDimitry Andric F->getFnAttribute("wineh-parent").getValueAsString(); 526ff0cc061SDimitry Andric if (WinEHParentName.empty() || WinEHParentName == F->getName()) 527ff0cc061SDimitry Andric return F; 528ff0cc061SDimitry Andric return F->getParent()->getFunction(WinEHParentName); 529ff0cc061SDimitry Andric } 530ff0cc061SDimitry Andric 531ff0cc061SDimitry Andric WinEHFuncInfo &MachineModuleInfo::getWinEHFuncInfo(const Function *F) { 532ff0cc061SDimitry Andric auto &Ptr = FuncInfoMap[getWinEHParent(F)]; 533ff0cc061SDimitry Andric if (!Ptr) 534ff0cc061SDimitry Andric Ptr.reset(new WinEHFuncInfo); 535ff0cc061SDimitry Andric return *Ptr; 536ff0cc061SDimitry Andric } 537