1 //===-- llvm/CodeGen/MachineModuleInfo.cpp ----------------------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "llvm/CodeGen/MachineModuleInfo.h" 11 #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" 16 #include "llvm/IR/Constants.h" 17 #include "llvm/IR/DerivedTypes.h" 18 #include "llvm/IR/GlobalVariable.h" 19 #include "llvm/IR/Module.h" 20 #include "llvm/MC/MCObjectFileInfo.h" 21 #include "llvm/MC/MCSymbol.h" 22 #include "llvm/Support/Dwarf.h" 23 #include "llvm/Support/ErrorHandling.h" 24 using namespace llvm; 25 using namespace llvm::dwarf; 26 27 // Handle the Pass registration stuff necessary to use DataLayout's. 28 INITIALIZE_PASS(MachineModuleInfo, "machinemoduleinfo", 29 "Machine Module Information", false, false) 30 char MachineModuleInfo::ID = 0; 31 32 // Out of line virtual method. 33 MachineModuleInfoImpl::~MachineModuleInfoImpl() {} 34 35 namespace llvm { 36 class MMIAddrLabelMapCallbackPtr : CallbackVH { 37 MMIAddrLabelMap *Map; 38 public: 39 MMIAddrLabelMapCallbackPtr() : Map(0) {} 40 MMIAddrLabelMapCallbackPtr(Value *V) : CallbackVH(V), Map(0) {} 41 42 void setPtr(BasicBlock *BB) { 43 ValueHandleBase::operator=(BB); 44 } 45 46 void setMap(MMIAddrLabelMap *map) { Map = map; } 47 48 virtual void deleted(); 49 virtual void allUsesReplacedWith(Value *V2); 50 }; 51 52 class MMIAddrLabelMap { 53 MCContext &Context; 54 struct AddrLabelSymEntry { 55 /// 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; 58 59 Function *Fn; // The containing function of the BasicBlock. 60 unsigned Index; // The index in BBCallbacks for the BasicBlock. 61 }; 62 63 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols; 64 65 /// 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. 67 std::vector<MMIAddrLabelMapCallbackPtr> BBCallbacks; 68 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; 75 public: 76 77 MMIAddrLabelMap(MCContext &context) : Context(context) {} 78 ~MMIAddrLabelMap() { 79 assert(DeletedAddrLabelsNeedingEmission.empty() && 80 "Some labels for deleted blocks never got emitted"); 81 82 // 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*>*>(); 87 } 88 89 MCSymbol *getAddrLabelSymbol(BasicBlock *BB); 90 std::vector<MCSymbol*> getAddrLabelSymbolToEmit(BasicBlock *BB); 91 92 void takeDeletedSymbolsForFunction(Function *F, 93 std::vector<MCSymbol*> &Result); 94 95 void UpdateForDeletedBlock(BasicBlock *BB); 96 void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New); 97 }; 98 } 99 100 MCSymbol *MMIAddrLabelMap::getAddrLabelSymbol(BasicBlock *BB) { 101 assert(BB->hasAddressTaken() && 102 "Shouldn't get label for block without address taken"); 103 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB]; 104 105 // If we already had an entry for this block, just return it. 106 if (!Entry.Symbols.isNull()) { 107 assert(BB->getParent() == Entry.Fn && "Parent changed"); 108 if (Entry.Symbols.is<MCSymbol*>()) 109 return Entry.Symbols.get<MCSymbol*>(); 110 return (*Entry.Symbols.get<std::vector<MCSymbol*>*>())[0]; 111 } 112 113 // 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; 118 Entry.Fn = BB->getParent(); 119 MCSymbol *Result = Context.CreateTempSymbol(); 120 Entry.Symbols = Result; 121 return Result; 122 } 123 124 std::vector<MCSymbol*> 125 MMIAddrLabelMap::getAddrLabelSymbolToEmit(BasicBlock *BB) { 126 assert(BB->hasAddressTaken() && 127 "Shouldn't get label for block without address taken"); 128 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB]; 129 130 std::vector<MCSymbol*> Result; 131 132 // 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 143 /// takeDeletedSymbolsForFunction - If we have any deleted symbols for F, return 144 /// them. 145 void MMIAddrLabelMap:: 146 takeDeletedSymbolsForFunction(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; 152 153 // Otherwise, take the list. 154 std::swap(Result, I->second); 155 DeletedAddrLabelsNeedingEmission.erase(I); 156 } 157 158 159 void 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); 165 assert(!Entry.Symbols.isNull() && "Didn't have a symbol, why a callback?"); 166 BBCallbacks[Entry.Index] = 0; // Clear the callback. 167 168 assert((BB->getParent() == 0 || BB->getParent() == Entry.Fn) && 169 "Block/parent mismatch"); 170 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; 175 176 // 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. 187 188 // 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 } 195 196 // The entry is deleted, free the memory associated with the symbol list. 197 delete Syms; 198 } 199 } 200 201 void 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); 205 assert(!OldEntry.Symbols.isNull() && "Didn't have a symbol, why a callback?"); 206 207 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New]; 208 209 // If New is not address taken, just move our symbol over to it. 210 if (NewEntry.Symbols.isNull()) { 211 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback. 212 NewEntry = OldEntry; // Set New's entry. 213 return; 214 } 215 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 } 225 226 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 } 234 235 // 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; 239 } 240 241 242 void MMIAddrLabelMapCallbackPtr::deleted() { 243 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr())); 244 } 245 246 void MMIAddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) { 247 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2)); 248 } 249 250 251 //===----------------------------------------------------------------------===// 252 253 MachineModuleInfo::MachineModuleInfo(const MCAsmInfo &MAI, 254 const MCRegisterInfo &MRI, 255 const MCObjectFileInfo *MOFI) 256 : ImmutablePass(ID), Context(MAI, MRI, MOFI, 0, false) { 257 initializeMachineModuleInfoPass(*PassRegistry::getPassRegistry()); 258 } 259 260 MachineModuleInfo::MachineModuleInfo() 261 : ImmutablePass(ID), 262 Context(*(MCAsmInfo*)0, *(MCRegisterInfo*)0, (MCObjectFileInfo*)0) { 263 llvm_unreachable("This MachineModuleInfo constructor should never be called, " 264 "MMI should always be explicitly constructed by " 265 "LLVMTargetMachine"); 266 } 267 268 MachineModuleInfo::~MachineModuleInfo() { 269 } 270 271 static 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 296 void 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 304 bool MachineModuleInfo::doInitialization(Module &M) { 305 306 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 320 bool MachineModuleInfo::doFinalization(Module &M) { 321 322 Personalities.clear(); 323 324 delete AddrLabelSymbols; 325 AddrLabelSymbols = 0; 326 327 Context.reset(); 328 329 delete ObjFileMMI; 330 ObjFileMMI = 0; 331 332 return false; 333 } 334 335 /// EndFunction - Discard function meta information. 336 /// 337 void MachineModuleInfo::EndFunction() { 338 // Clean up frame info. 339 FrameInstructions.clear(); 340 341 // Clean up exception info. 342 LandingPads.clear(); 343 CallSiteMap.clear(); 344 TypeInfos.clear(); 345 FilterIds.clear(); 346 FilterEnds.clear(); 347 CallsEHReturn = 0; 348 CallsUnwindInit = 0; 349 CompactUnwindEncoding = 0; 350 VariableDbgInfo.clear(); 351 } 352 353 /// AnalyzeModule - Scan the module for global debug information. 354 /// 355 void MachineModuleInfo::AnalyzeModule(const Module &M) { 356 // Insert functions in the llvm.used array (but not llvm.compiler.used) into 357 // UsedFunctions. 358 const GlobalVariable *GV = M.getGlobalVariable("llvm.used"); 359 if (!GV || !GV->hasInitializer()) return; 360 361 // Should be an array of 'i8*'. 362 const ConstantArray *InitList = cast<ConstantArray>(GV->getInitializer()); 363 364 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) 365 if (const Function *F = 366 dyn_cast<Function>(InitList->getOperand(i)->stripPointerCasts())) 367 UsedFunctions.insert(F); 368 } 369 370 //===- Address of Block Management ----------------------------------------===// 371 372 373 /// 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. 376 MCSymbol *MachineModuleInfo::getAddrLabelSymbol(const BasicBlock *BB) { 377 // Lazily create AddrLabelSymbols. 378 if (AddrLabelSymbols == 0) 379 AddrLabelSymbols = new MMIAddrLabelMap(Context); 380 return AddrLabelSymbols->getAddrLabelSymbol(const_cast<BasicBlock*>(BB)); 381 } 382 383 /// 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. 386 std::vector<MCSymbol*> MachineModuleInfo:: 387 getAddrLabelSymbolToEmit(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 395 /// 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. 399 void MachineModuleInfo:: 400 takeDeletedSymbolsForFunction(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 } 407 408 //===- EH -----------------------------------------------------------------===// 409 410 /// getOrCreateLandingPadInfo - Find or create an LandingPadInfo for the 411 /// specified MachineBasicBlock. 412 LandingPadInfo &MachineModuleInfo::getOrCreateLandingPadInfo 413 (MachineBasicBlock *LandingPad) { 414 unsigned N = LandingPads.size(); 415 for (unsigned i = 0; i < N; ++i) { 416 LandingPadInfo &LP = LandingPads[i]; 417 if (LP.LandingPadBlock == LandingPad) 418 return LP; 419 } 420 421 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. 427 void MachineModuleInfo::addInvoke(MachineBasicBlock *LandingPad, 428 MCSymbol *BeginLabel, MCSymbol *EndLabel) { 429 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 430 LP.BeginLabels.push_back(BeginLabel); 431 LP.EndLabels.push_back(EndLabel); 432 } 433 434 /// addLandingPad - Provide the label of a try LandingPad block. 435 /// 436 MCSymbol *MachineModuleInfo::addLandingPad(MachineBasicBlock *LandingPad) { 437 MCSymbol *LandingPadLabel = Context.CreateTempSymbol(); 438 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 439 LP.LandingPadLabel = LandingPadLabel; 440 return LandingPadLabel; 441 } 442 443 /// addPersonality - Provide the personality function for the exception 444 /// information. 445 void MachineModuleInfo::addPersonality(MachineBasicBlock *LandingPad, 446 const Function *Personality) { 447 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 448 LP.Personality = Personality; 449 450 for (unsigned i = 0; i < Personalities.size(); ++i) 451 if (Personalities[i] == Personality) 452 return; 453 454 // 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); 460 } 461 462 /// addCatchTypeInfo - Provide the catch typeinfo for a landing pad. 463 /// 464 void MachineModuleInfo:: 465 addCatchTypeInfo(MachineBasicBlock *LandingPad, 466 ArrayRef<const GlobalVariable *> TyInfo) { 467 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 468 for (unsigned N = TyInfo.size(); N; --N) 469 LP.TypeIds.push_back(getTypeIDFor(TyInfo[N - 1])); 470 } 471 472 /// addFilterTypeInfo - Provide the filter typeinfo for a landing pad. 473 /// 474 void MachineModuleInfo:: 475 addFilterTypeInfo(MachineBasicBlock *LandingPad, 476 ArrayRef<const GlobalVariable *> TyInfo) { 477 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 478 std::vector<unsigned> IdsInFilter(TyInfo.size()); 479 for (unsigned I = 0, E = TyInfo.size(); I != E; ++I) 480 IdsInFilter[I] = getTypeIDFor(TyInfo[I]); 481 LP.TypeIds.push_back(getFilterIDFor(IdsInFilter)); 482 } 483 484 /// addCleanup - Add a cleanup action for a landing pad. 485 /// 486 void MachineModuleInfo::addCleanup(MachineBasicBlock *LandingPad) { 487 LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 488 LP.TypeIds.push_back(0); 489 } 490 491 /// TidyLandingPads - Remap landing pad labels and remove any deleted landing 492 /// pads. 493 void MachineModuleInfo::TidyLandingPads(DenseMap<MCSymbol*, uintptr_t> *LPMap) { 494 for (unsigned i = 0; i != LandingPads.size(); ) { 495 LandingPadInfo &LandingPad = LandingPads[i]; 496 if (LandingPad.LandingPadLabel && 497 !LandingPad.LandingPadLabel->isDefined() && 498 (!LPMap || (*LPMap)[LandingPad.LandingPadLabel] == 0)) 499 LandingPad.LandingPadLabel = 0; 500 501 // Special case: we *should* emit LPs with null LP MBB. This indicates 502 // "nounwind" case. 503 if (!LandingPad.LandingPadLabel && LandingPad.LandingPadBlock) { 504 LandingPads.erase(LandingPads.begin() + i); 505 continue; 506 } 507 508 for (unsigned j = 0, e = LandingPads[i].BeginLabels.size(); j != e; ++j) { 509 MCSymbol *BeginLabel = LandingPad.BeginLabels[j]; 510 MCSymbol *EndLabel = LandingPad.EndLabels[j]; 511 if ((BeginLabel->isDefined() || 512 (LPMap && (*LPMap)[BeginLabel] != 0)) && 513 (EndLabel->isDefined() || 514 (LPMap && (*LPMap)[EndLabel] != 0))) continue; 515 516 LandingPad.BeginLabels.erase(LandingPad.BeginLabels.begin() + j); 517 LandingPad.EndLabels.erase(LandingPad.EndLabels.begin() + j); 518 --j, --e; 519 } 520 521 // Remove landing pads with no try-ranges. 522 if (LandingPads[i].BeginLabels.empty()) { 523 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(); 532 ++i; 533 } 534 } 535 536 /// setCallSiteLandingPad - Map the landing pad's EH symbol to the call site 537 /// indexes. 538 void MachineModuleInfo::setCallSiteLandingPad(MCSymbol *Sym, 539 ArrayRef<unsigned> Sites) { 540 LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end()); 541 } 542 543 /// getTypeIDFor - Return the type id for the specified typeinfo. This is 544 /// function wide. 545 unsigned MachineModuleInfo::getTypeIDFor(const GlobalVariable *TI) { 546 for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i) 547 if (TypeInfos[i] == TI) return i + 1; 548 549 TypeInfos.push_back(TI); 550 return TypeInfos.size(); 551 } 552 553 /// getFilterIDFor - Return the filter id for the specified typeinfos. This is 554 /// function wide. 555 int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) { 556 // 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) { 561 unsigned i = *I, j = TyIds.size(); 562 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); 570 571 try_next:; 572 } 573 574 // Add the new filter. 575 int FilterID = -(1 + FilterIds.size()); 576 FilterIds.reserve(FilterIds.size() + TyIds.size() + 1); 577 FilterIds.insert(FilterIds.end(), TyIds.begin(), TyIds.end()); 578 FilterEnds.push_back(FilterIds.size()); 579 FilterIds.push_back(0); // terminator 580 return FilterID; 581 } 582 583 /// getPersonality - Return the personality function for the current function. 584 const Function *MachineModuleInfo::getPersonality() const { 585 // FIXME: Until PR1414 will be fixed, we're using 1 personality function per 586 // function 587 return !LandingPads.empty() ? LandingPads[0].Personality : NULL; 588 } 589 590 /// getPersonalityIndex - Return unique index for current personality 591 /// function. NULL/first personality function should always get zero index. 592 unsigned MachineModuleInfo::getPersonalityIndex() const { 593 const Function* Personality = NULL; 594 595 // Scan landing pads. If there is at least one non-NULL personality - use it. 596 for (unsigned i = 0, e = LandingPads.size(); i != e; ++i) 597 if (LandingPads[i].Personality) { 598 Personality = LandingPads[i].Personality; 599 break; 600 } 601 602 for (unsigned i = 0, e = Personalities.size(); i < e; ++i) { 603 if (Personalities[i] == Personality) 604 return i; 605 } 606 607 // This will happen if the current personality function is 608 // in the zero index. 609 return 0; 610 } 611