1b227925fa313428045f554187b0136d084d723f6Chris Lattner//===-- DebugLoc.cpp - Implement DebugLoc class ---------------------------===// 2b227925fa313428045f554187b0136d084d723f6Chris Lattner// 3b227925fa313428045f554187b0136d084d723f6Chris Lattner// The LLVM Compiler Infrastructure 4b227925fa313428045f554187b0136d084d723f6Chris Lattner// 5b227925fa313428045f554187b0136d084d723f6Chris Lattner// This file is distributed under the University of Illinois Open Source 6b227925fa313428045f554187b0136d084d723f6Chris Lattner// License. See LICENSE.TXT for details. 7b227925fa313428045f554187b0136d084d723f6Chris Lattner// 8b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 9b227925fa313428045f554187b0136d084d723f6Chris Lattner 10b227925fa313428045f554187b0136d084d723f6Chris Lattner#include "llvm/Support/DebugLoc.h" 11b227925fa313428045f554187b0136d084d723f6Chris Lattner#include "LLVMContextImpl.h" 12d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/DenseMapInfo.h" 13d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/DebugInfo.h" 14b227925fa313428045f554187b0136d084d723f6Chris Lattnerusing namespace llvm; 15b227925fa313428045f554187b0136d084d723f6Chris Lattner 16b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 17b227925fa313428045f554187b0136d084d723f6Chris Lattner// DebugLoc Implementation 18b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 19b227925fa313428045f554187b0136d084d723f6Chris Lattner 2084e679beea11ac55ed7871eec4deaccdf393de3eChris LattnerMDNode *DebugLoc::getScope(const LLVMContext &Ctx) const { 21b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeIdx == 0) return 0; 22b227925fa313428045f554187b0136d084d723f6Chris Lattner 23b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeIdx > 0) { 24b227925fa313428045f554187b0136d084d723f6Chris Lattner // Positive ScopeIdx is an index into ScopeRecords, which has no inlined-at 25b227925fa313428045f554187b0136d084d723f6Chris Lattner // position specified. 26b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(ScopeIdx) <= Ctx.pImpl->ScopeRecords.size() && 27b227925fa313428045f554187b0136d084d723f6Chris Lattner "Invalid ScopeIdx!"); 28b227925fa313428045f554187b0136d084d723f6Chris Lattner return Ctx.pImpl->ScopeRecords[ScopeIdx-1].get(); 29b227925fa313428045f554187b0136d084d723f6Chris Lattner } 30b227925fa313428045f554187b0136d084d723f6Chris Lattner 31b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, the index is in the ScopeInlinedAtRecords array. 32b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(-ScopeIdx) <= Ctx.pImpl->ScopeInlinedAtRecords.size() && 33b227925fa313428045f554187b0136d084d723f6Chris Lattner "Invalid ScopeIdx"); 34b227925fa313428045f554187b0136d084d723f6Chris Lattner return Ctx.pImpl->ScopeInlinedAtRecords[-ScopeIdx-1].first.get(); 35b227925fa313428045f554187b0136d084d723f6Chris Lattner} 36b227925fa313428045f554187b0136d084d723f6Chris Lattner 3784e679beea11ac55ed7871eec4deaccdf393de3eChris LattnerMDNode *DebugLoc::getInlinedAt(const LLVMContext &Ctx) const { 38b227925fa313428045f554187b0136d084d723f6Chris Lattner // Positive ScopeIdx is an index into ScopeRecords, which has no inlined-at 39b227925fa313428045f554187b0136d084d723f6Chris Lattner // position specified. Zero is invalid. 40b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeIdx >= 0) return 0; 41b227925fa313428045f554187b0136d084d723f6Chris Lattner 42b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, the index is in the ScopeInlinedAtRecords array. 43b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(-ScopeIdx) <= Ctx.pImpl->ScopeInlinedAtRecords.size() && 44b227925fa313428045f554187b0136d084d723f6Chris Lattner "Invalid ScopeIdx"); 45b227925fa313428045f554187b0136d084d723f6Chris Lattner return Ctx.pImpl->ScopeInlinedAtRecords[-ScopeIdx-1].second.get(); 46b227925fa313428045f554187b0136d084d723f6Chris Lattner} 47b227925fa313428045f554187b0136d084d723f6Chris Lattner 48b227925fa313428045f554187b0136d084d723f6Chris Lattner/// Return both the Scope and the InlinedAt values. 4984e679beea11ac55ed7871eec4deaccdf393de3eChris Lattnervoid DebugLoc::getScopeAndInlinedAt(MDNode *&Scope, MDNode *&IA, 5084e679beea11ac55ed7871eec4deaccdf393de3eChris Lattner const LLVMContext &Ctx) const { 51b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeIdx == 0) { 52b227925fa313428045f554187b0136d084d723f6Chris Lattner Scope = IA = 0; 53b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 54b227925fa313428045f554187b0136d084d723f6Chris Lattner } 55b227925fa313428045f554187b0136d084d723f6Chris Lattner 56b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeIdx > 0) { 57b227925fa313428045f554187b0136d084d723f6Chris Lattner // Positive ScopeIdx is an index into ScopeRecords, which has no inlined-at 58b227925fa313428045f554187b0136d084d723f6Chris Lattner // position specified. 59b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(ScopeIdx) <= Ctx.pImpl->ScopeRecords.size() && 60b227925fa313428045f554187b0136d084d723f6Chris Lattner "Invalid ScopeIdx!"); 61b227925fa313428045f554187b0136d084d723f6Chris Lattner Scope = Ctx.pImpl->ScopeRecords[ScopeIdx-1].get(); 62b227925fa313428045f554187b0136d084d723f6Chris Lattner IA = 0; 63b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 64b227925fa313428045f554187b0136d084d723f6Chris Lattner } 65b227925fa313428045f554187b0136d084d723f6Chris Lattner 66b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, the index is in the ScopeInlinedAtRecords array. 67b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(-ScopeIdx) <= Ctx.pImpl->ScopeInlinedAtRecords.size() && 68b227925fa313428045f554187b0136d084d723f6Chris Lattner "Invalid ScopeIdx"); 69b227925fa313428045f554187b0136d084d723f6Chris Lattner Scope = Ctx.pImpl->ScopeInlinedAtRecords[-ScopeIdx-1].first.get(); 70b227925fa313428045f554187b0136d084d723f6Chris Lattner IA = Ctx.pImpl->ScopeInlinedAtRecords[-ScopeIdx-1].second.get(); 71b227925fa313428045f554187b0136d084d723f6Chris Lattner} 72b227925fa313428045f554187b0136d084d723f6Chris Lattner 73b227925fa313428045f554187b0136d084d723f6Chris Lattner 7484e679beea11ac55ed7871eec4deaccdf393de3eChris LattnerDebugLoc DebugLoc::get(unsigned Line, unsigned Col, 7584e679beea11ac55ed7871eec4deaccdf393de3eChris Lattner MDNode *Scope, MDNode *InlinedAt) { 7684e679beea11ac55ed7871eec4deaccdf393de3eChris Lattner DebugLoc Result; 77b227925fa313428045f554187b0136d084d723f6Chris Lattner 78b227925fa313428045f554187b0136d084d723f6Chris Lattner // If no scope is available, this is an unknown location. 79b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Scope == 0) return Result; 80b227925fa313428045f554187b0136d084d723f6Chris Lattner 81b227925fa313428045f554187b0136d084d723f6Chris Lattner // Saturate line and col to "unknown". 82b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Col > 255) Col = 0; 83b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Line >= (1 << 24)) Line = 0; 84b227925fa313428045f554187b0136d084d723f6Chris Lattner Result.LineCol = Line | (Col << 24); 85b227925fa313428045f554187b0136d084d723f6Chris Lattner 86b227925fa313428045f554187b0136d084d723f6Chris Lattner LLVMContext &Ctx = Scope->getContext(); 87b227925fa313428045f554187b0136d084d723f6Chris Lattner 88b227925fa313428045f554187b0136d084d723f6Chris Lattner // If there is no inlined-at location, use the ScopeRecords array. 89b227925fa313428045f554187b0136d084d723f6Chris Lattner if (InlinedAt == 0) 90b227925fa313428045f554187b0136d084d723f6Chris Lattner Result.ScopeIdx = Ctx.pImpl->getOrAddScopeRecordIdxEntry(Scope, 0); 91b227925fa313428045f554187b0136d084d723f6Chris Lattner else 92b227925fa313428045f554187b0136d084d723f6Chris Lattner Result.ScopeIdx = Ctx.pImpl->getOrAddScopeInlinedAtIdxEntry(Scope, 93b227925fa313428045f554187b0136d084d723f6Chris Lattner InlinedAt, 0); 94b227925fa313428045f554187b0136d084d723f6Chris Lattner 95b227925fa313428045f554187b0136d084d723f6Chris Lattner return Result; 96b227925fa313428045f554187b0136d084d723f6Chris Lattner} 97b227925fa313428045f554187b0136d084d723f6Chris Lattner 98b227925fa313428045f554187b0136d084d723f6Chris Lattner/// getAsMDNode - This method converts the compressed DebugLoc node into a 99b227925fa313428045f554187b0136d084d723f6Chris Lattner/// DILocation compatible MDNode. 10084e679beea11ac55ed7871eec4deaccdf393de3eChris LattnerMDNode *DebugLoc::getAsMDNode(const LLVMContext &Ctx) const { 101b227925fa313428045f554187b0136d084d723f6Chris Lattner if (isUnknown()) return 0; 102b227925fa313428045f554187b0136d084d723f6Chris Lattner 103b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *Scope, *IA; 104b227925fa313428045f554187b0136d084d723f6Chris Lattner getScopeAndInlinedAt(Scope, IA, Ctx); 105b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(Scope && "If scope is null, this should be isUnknown()"); 106b227925fa313428045f554187b0136d084d723f6Chris Lattner 107b227925fa313428045f554187b0136d084d723f6Chris Lattner LLVMContext &Ctx2 = Scope->getContext(); 108db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner Type *Int32 = Type::getInt32Ty(Ctx2); 109b227925fa313428045f554187b0136d084d723f6Chris Lattner Value *Elts[] = { 110b227925fa313428045f554187b0136d084d723f6Chris Lattner ConstantInt::get(Int32, getLine()), ConstantInt::get(Int32, getCol()), 111b227925fa313428045f554187b0136d084d723f6Chris Lattner Scope, IA 112b227925fa313428045f554187b0136d084d723f6Chris Lattner }; 113ec9186bcf975c9ffa3ec7ca97867f0ec6eb55115Jay Foad return MDNode::get(Ctx2, Elts); 114b227925fa313428045f554187b0136d084d723f6Chris Lattner} 115b227925fa313428045f554187b0136d084d723f6Chris Lattner 11684e679beea11ac55ed7871eec4deaccdf393de3eChris Lattner/// getFromDILocation - Translate the DILocation quad into a DebugLoc. 11784e679beea11ac55ed7871eec4deaccdf393de3eChris LattnerDebugLoc DebugLoc::getFromDILocation(MDNode *N) { 1189cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling DILocation Loc(N); 1199cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling MDNode *Scope = Loc.getScope(); 12084e679beea11ac55ed7871eec4deaccdf393de3eChris Lattner if (Scope == 0) return DebugLoc(); 1219cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling return get(Loc.getLineNumber(), Loc.getColumnNumber(), Scope, 1229cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling Loc.getOrigLocation()); 12368c551349947e659a79eb0d4782d0487756020b5Chris Lattner} 124b227925fa313428045f554187b0136d084d723f6Chris Lattner 125d77ec6208cef2a8e615181c2bf0fc5a50a37a20bDevang Patel/// getFromDILexicalBlock - Translate the DILexicalBlock into a DebugLoc. 126d77ec6208cef2a8e615181c2bf0fc5a50a37a20bDevang PatelDebugLoc DebugLoc::getFromDILexicalBlock(MDNode *N) { 1279cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling DILexicalBlock LexBlock(N); 1289cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling MDNode *Scope = LexBlock.getContext(); 129d77ec6208cef2a8e615181c2bf0fc5a50a37a20bDevang Patel if (Scope == 0) return DebugLoc(); 1309cb22d6c8c71dc79f0903ca4c105c3e727e2ce24Bill Wendling return get(LexBlock.getLineNumber(), LexBlock.getColumnNumber(), Scope, NULL); 131d77ec6208cef2a8e615181c2bf0fc5a50a37a20bDevang Patel} 132d77ec6208cef2a8e615181c2bf0fc5a50a37a20bDevang Patel 1333dcb4ef757127d69c3748dec92787520e039bd53Devang Patelvoid DebugLoc::dump(const LLVMContext &Ctx) const { 1343dcb4ef757127d69c3748dec92787520e039bd53Devang Patel#ifndef NDEBUG 1353dcb4ef757127d69c3748dec92787520e039bd53Devang Patel if (!isUnknown()) { 1363dcb4ef757127d69c3748dec92787520e039bd53Devang Patel dbgs() << getLine(); 1373dcb4ef757127d69c3748dec92787520e039bd53Devang Patel if (getCol() != 0) 1383dcb4ef757127d69c3748dec92787520e039bd53Devang Patel dbgs() << ',' << getCol(); 1393dcb4ef757127d69c3748dec92787520e039bd53Devang Patel DebugLoc InlinedAtDL = DebugLoc::getFromDILocation(getInlinedAt(Ctx)); 1403dcb4ef757127d69c3748dec92787520e039bd53Devang Patel if (!InlinedAtDL.isUnknown()) { 1413dcb4ef757127d69c3748dec92787520e039bd53Devang Patel dbgs() << " @ "; 1423dcb4ef757127d69c3748dec92787520e039bd53Devang Patel InlinedAtDL.dump(Ctx); 1433dcb4ef757127d69c3748dec92787520e039bd53Devang Patel } else 1443dcb4ef757127d69c3748dec92787520e039bd53Devang Patel dbgs() << "\n"; 1453dcb4ef757127d69c3748dec92787520e039bd53Devang Patel } 1463dcb4ef757127d69c3748dec92787520e039bd53Devang Patel#endif 1473dcb4ef757127d69c3748dec92787520e039bd53Devang Patel} 1483dcb4ef757127d69c3748dec92787520e039bd53Devang Patel 149b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 150af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky// DenseMap specialization 151af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky//===----------------------------------------------------------------------===// 152af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky 153af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewyckyunsigned DenseMapInfo<DebugLoc>::getHashValue(const DebugLoc &Key) { 1547484920cf5d95b21fa750229f8ce0d1624c918ecBenjamin Kramer return static_cast<unsigned>(hash_combine(Key.LineCol, Key.ScopeIdx)); 155af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky} 156af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky 157af4db5fc95f5d846c48e80f4266687a34a2975f4Nick Lewycky//===----------------------------------------------------------------------===// 158b227925fa313428045f554187b0136d084d723f6Chris Lattner// LLVMContextImpl Implementation 159b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 160b227925fa313428045f554187b0136d084d723f6Chris Lattner 161b227925fa313428045f554187b0136d084d723f6Chris Lattnerint LLVMContextImpl::getOrAddScopeRecordIdxEntry(MDNode *Scope, 162b227925fa313428045f554187b0136d084d723f6Chris Lattner int ExistingIdx) { 163b227925fa313428045f554187b0136d084d723f6Chris Lattner // If we already have an entry for this scope, return it. 164b227925fa313428045f554187b0136d084d723f6Chris Lattner int &Idx = ScopeRecordIdx[Scope]; 165b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx) return Idx; 166b227925fa313428045f554187b0136d084d723f6Chris Lattner 167b227925fa313428045f554187b0136d084d723f6Chris Lattner // If we don't have an entry, but ExistingIdx is specified, use it. 168b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ExistingIdx) 169b227925fa313428045f554187b0136d084d723f6Chris Lattner return Idx = ExistingIdx; 170b227925fa313428045f554187b0136d084d723f6Chris Lattner 171b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise add a new entry. 172b227925fa313428045f554187b0136d084d723f6Chris Lattner 173b227925fa313428045f554187b0136d084d723f6Chris Lattner // Start out ScopeRecords with a minimal reasonable size to avoid 174b227925fa313428045f554187b0136d084d723f6Chris Lattner // excessive reallocation starting out. 175b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeRecords.empty()) 176b227925fa313428045f554187b0136d084d723f6Chris Lattner ScopeRecords.reserve(128); 177b227925fa313428045f554187b0136d084d723f6Chris Lattner 178b227925fa313428045f554187b0136d084d723f6Chris Lattner // Index is biased by 1 for index. 179b227925fa313428045f554187b0136d084d723f6Chris Lattner Idx = ScopeRecords.size()+1; 180b227925fa313428045f554187b0136d084d723f6Chris Lattner ScopeRecords.push_back(DebugRecVH(Scope, this, Idx)); 181b227925fa313428045f554187b0136d084d723f6Chris Lattner return Idx; 182b227925fa313428045f554187b0136d084d723f6Chris Lattner} 183b227925fa313428045f554187b0136d084d723f6Chris Lattner 184b227925fa313428045f554187b0136d084d723f6Chris Lattnerint LLVMContextImpl::getOrAddScopeInlinedAtIdxEntry(MDNode *Scope, MDNode *IA, 185b227925fa313428045f554187b0136d084d723f6Chris Lattner int ExistingIdx) { 186b227925fa313428045f554187b0136d084d723f6Chris Lattner // If we already have an entry, return it. 187b227925fa313428045f554187b0136d084d723f6Chris Lattner int &Idx = ScopeInlinedAtIdx[std::make_pair(Scope, IA)]; 188b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx) return Idx; 189b227925fa313428045f554187b0136d084d723f6Chris Lattner 190b227925fa313428045f554187b0136d084d723f6Chris Lattner // If we don't have an entry, but ExistingIdx is specified, use it. 191b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ExistingIdx) 192b227925fa313428045f554187b0136d084d723f6Chris Lattner return Idx = ExistingIdx; 193b227925fa313428045f554187b0136d084d723f6Chris Lattner 194b227925fa313428045f554187b0136d084d723f6Chris Lattner // Start out ScopeInlinedAtRecords with a minimal reasonable size to avoid 195b227925fa313428045f554187b0136d084d723f6Chris Lattner // excessive reallocation starting out. 196b227925fa313428045f554187b0136d084d723f6Chris Lattner if (ScopeInlinedAtRecords.empty()) 197b227925fa313428045f554187b0136d084d723f6Chris Lattner ScopeInlinedAtRecords.reserve(128); 198b227925fa313428045f554187b0136d084d723f6Chris Lattner 199b227925fa313428045f554187b0136d084d723f6Chris Lattner // Index is biased by 1 and negated. 200b227925fa313428045f554187b0136d084d723f6Chris Lattner Idx = -ScopeInlinedAtRecords.size()-1; 201b227925fa313428045f554187b0136d084d723f6Chris Lattner ScopeInlinedAtRecords.push_back(std::make_pair(DebugRecVH(Scope, this, Idx), 202b227925fa313428045f554187b0136d084d723f6Chris Lattner DebugRecVH(IA, this, Idx))); 203b227925fa313428045f554187b0136d084d723f6Chris Lattner return Idx; 204b227925fa313428045f554187b0136d084d723f6Chris Lattner} 205b227925fa313428045f554187b0136d084d723f6Chris Lattner 206b227925fa313428045f554187b0136d084d723f6Chris Lattner 207b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 208b227925fa313428045f554187b0136d084d723f6Chris Lattner// DebugRecVH Implementation 209b227925fa313428045f554187b0136d084d723f6Chris Lattner//===----------------------------------------------------------------------===// 210b227925fa313428045f554187b0136d084d723f6Chris Lattner 211b227925fa313428045f554187b0136d084d723f6Chris Lattner/// deleted - The MDNode this is pointing to got deleted, so this pointer needs 212b227925fa313428045f554187b0136d084d723f6Chris Lattner/// to drop to null and we need remove our entry from the DenseMap. 213b227925fa313428045f554187b0136d084d723f6Chris Lattnervoid DebugRecVH::deleted() { 2140f691977d7d0543b29cf37aec6b7fe0346857b8bEric Christopher // If this is a non-canonical reference, just drop the value to null, we know 215b227925fa313428045f554187b0136d084d723f6Chris Lattner // it doesn't have a map entry. 216b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx == 0) { 217b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(0); 218b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 219b227925fa313428045f554187b0136d084d723f6Chris Lattner } 220b227925fa313428045f554187b0136d084d723f6Chris Lattner 221b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *Cur = get(); 222b227925fa313428045f554187b0136d084d723f6Chris Lattner 223b227925fa313428045f554187b0136d084d723f6Chris Lattner // If the index is positive, it is an entry in ScopeRecords. 224b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx > 0) { 225b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(Ctx->ScopeRecordIdx[Cur] == Idx && "Mapping out of date!"); 226b227925fa313428045f554187b0136d084d723f6Chris Lattner Ctx->ScopeRecordIdx.erase(Cur); 227b227925fa313428045f554187b0136d084d723f6Chris Lattner // Reset this VH to null and we're done. 228b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(0); 229b227925fa313428045f554187b0136d084d723f6Chris Lattner Idx = 0; 230b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 231b227925fa313428045f554187b0136d084d723f6Chris Lattner } 232b227925fa313428045f554187b0136d084d723f6Chris Lattner 233b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, it is an entry in ScopeInlinedAtRecords, we don't know if it 234b227925fa313428045f554187b0136d084d723f6Chris Lattner // is the scope or the inlined-at record entry. 235b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(-Idx-1) < Ctx->ScopeInlinedAtRecords.size()); 236b227925fa313428045f554187b0136d084d723f6Chris Lattner std::pair<DebugRecVH, DebugRecVH> &Entry = Ctx->ScopeInlinedAtRecords[-Idx-1]; 237b227925fa313428045f554187b0136d084d723f6Chris Lattner assert((this == &Entry.first || this == &Entry.second) && 238b227925fa313428045f554187b0136d084d723f6Chris Lattner "Mapping out of date!"); 239b227925fa313428045f554187b0136d084d723f6Chris Lattner 240b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *OldScope = Entry.first.get(); 241b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *OldInlinedAt = Entry.second.get(); 242b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(OldScope != 0 && OldInlinedAt != 0 && 243b227925fa313428045f554187b0136d084d723f6Chris Lattner "Entry should be non-canonical if either val dropped to null"); 244b227925fa313428045f554187b0136d084d723f6Chris Lattner 245b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, we do have an entry in it, nuke it and we're done. 246b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(Ctx->ScopeInlinedAtIdx[std::make_pair(OldScope, OldInlinedAt)] == Idx&& 247b227925fa313428045f554187b0136d084d723f6Chris Lattner "Mapping out of date"); 248b227925fa313428045f554187b0136d084d723f6Chris Lattner Ctx->ScopeInlinedAtIdx.erase(std::make_pair(OldScope, OldInlinedAt)); 249b227925fa313428045f554187b0136d084d723f6Chris Lattner 250175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner // Reset this VH to null. Drop both 'Idx' values to null to indicate that 251175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner // we're in non-canonical form now. 252b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(0); 253175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner Entry.first.Idx = Entry.second.Idx = 0; 254b227925fa313428045f554187b0136d084d723f6Chris Lattner} 255b227925fa313428045f554187b0136d084d723f6Chris Lattner 256b227925fa313428045f554187b0136d084d723f6Chris Lattnervoid DebugRecVH::allUsesReplacedWith(Value *NewVa) { 257b227925fa313428045f554187b0136d084d723f6Chris Lattner // If being replaced with a non-mdnode value (e.g. undef) handle this as if 258b227925fa313428045f554187b0136d084d723f6Chris Lattner // the mdnode got deleted. 259b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *NewVal = dyn_cast<MDNode>(NewVa); 260b227925fa313428045f554187b0136d084d723f6Chris Lattner if (NewVal == 0) return deleted(); 261b227925fa313428045f554187b0136d084d723f6Chris Lattner 262b227925fa313428045f554187b0136d084d723f6Chris Lattner // If this is a non-canonical reference, just change it, we know it already 263b227925fa313428045f554187b0136d084d723f6Chris Lattner // doesn't have a map entry. 264b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx == 0) { 265b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(NewVa); 266b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 267b227925fa313428045f554187b0136d084d723f6Chris Lattner } 268b227925fa313428045f554187b0136d084d723f6Chris Lattner 269b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *OldVal = get(); 270b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(OldVal != NewVa && "Node replaced with self?"); 271b227925fa313428045f554187b0136d084d723f6Chris Lattner 272b227925fa313428045f554187b0136d084d723f6Chris Lattner // If the index is positive, it is an entry in ScopeRecords. 273b227925fa313428045f554187b0136d084d723f6Chris Lattner if (Idx > 0) { 274b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(Ctx->ScopeRecordIdx[OldVal] == Idx && "Mapping out of date!"); 275b227925fa313428045f554187b0136d084d723f6Chris Lattner Ctx->ScopeRecordIdx.erase(OldVal); 276b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(NewVal); 277b227925fa313428045f554187b0136d084d723f6Chris Lattner 278b227925fa313428045f554187b0136d084d723f6Chris Lattner int NewEntry = Ctx->getOrAddScopeRecordIdxEntry(NewVal, Idx); 279b227925fa313428045f554187b0136d084d723f6Chris Lattner 280b227925fa313428045f554187b0136d084d723f6Chris Lattner // If NewVal already has an entry, this becomes a non-canonical reference, 281b227925fa313428045f554187b0136d084d723f6Chris Lattner // just drop Idx to 0 to signify this. 282b227925fa313428045f554187b0136d084d723f6Chris Lattner if (NewEntry != Idx) 283b227925fa313428045f554187b0136d084d723f6Chris Lattner Idx = 0; 284b227925fa313428045f554187b0136d084d723f6Chris Lattner return; 285b227925fa313428045f554187b0136d084d723f6Chris Lattner } 286b227925fa313428045f554187b0136d084d723f6Chris Lattner 287b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, it is an entry in ScopeInlinedAtRecords, we don't know if it 288b227925fa313428045f554187b0136d084d723f6Chris Lattner // is the scope or the inlined-at record entry. 289b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(unsigned(-Idx-1) < Ctx->ScopeInlinedAtRecords.size()); 290b227925fa313428045f554187b0136d084d723f6Chris Lattner std::pair<DebugRecVH, DebugRecVH> &Entry = Ctx->ScopeInlinedAtRecords[-Idx-1]; 291b227925fa313428045f554187b0136d084d723f6Chris Lattner assert((this == &Entry.first || this == &Entry.second) && 292b227925fa313428045f554187b0136d084d723f6Chris Lattner "Mapping out of date!"); 293b227925fa313428045f554187b0136d084d723f6Chris Lattner 294b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *OldScope = Entry.first.get(); 295b227925fa313428045f554187b0136d084d723f6Chris Lattner MDNode *OldInlinedAt = Entry.second.get(); 296b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(OldScope != 0 && OldInlinedAt != 0 && 297b227925fa313428045f554187b0136d084d723f6Chris Lattner "Entry should be non-canonical if either val dropped to null"); 298b227925fa313428045f554187b0136d084d723f6Chris Lattner 299b227925fa313428045f554187b0136d084d723f6Chris Lattner // Otherwise, we do have an entry in it, nuke it and we're done. 300b227925fa313428045f554187b0136d084d723f6Chris Lattner assert(Ctx->ScopeInlinedAtIdx[std::make_pair(OldScope, OldInlinedAt)] == Idx&& 301b227925fa313428045f554187b0136d084d723f6Chris Lattner "Mapping out of date"); 302b227925fa313428045f554187b0136d084d723f6Chris Lattner Ctx->ScopeInlinedAtIdx.erase(std::make_pair(OldScope, OldInlinedAt)); 303b227925fa313428045f554187b0136d084d723f6Chris Lattner 304b227925fa313428045f554187b0136d084d723f6Chris Lattner // Reset this VH to the new value. 305b227925fa313428045f554187b0136d084d723f6Chris Lattner setValPtr(NewVal); 306b227925fa313428045f554187b0136d084d723f6Chris Lattner 307b227925fa313428045f554187b0136d084d723f6Chris Lattner int NewIdx = Ctx->getOrAddScopeInlinedAtIdxEntry(Entry.first.get(), 308b227925fa313428045f554187b0136d084d723f6Chris Lattner Entry.second.get(), Idx); 309b227925fa313428045f554187b0136d084d723f6Chris Lattner // If NewVal already has an entry, this becomes a non-canonical reference, 310b227925fa313428045f554187b0136d084d723f6Chris Lattner // just drop Idx to 0 to signify this. 311175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner if (NewIdx != Idx) { 312175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner std::pair<DebugRecVH, DebugRecVH> &Entry=Ctx->ScopeInlinedAtRecords[-Idx-1]; 313175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner Entry.first.Idx = Entry.second.Idx = 0; 314175edf2c78ca009bc7eb66fe513559155af0f454Chris Lattner } 315b227925fa313428045f554187b0136d084d723f6Chris Lattner} 316