From a53d49e1b547a9658be46865d687aeb481b3b32c Mon Sep 17 00:00:00 2001 From: Mehdi Amini Date: Sat, 17 Sep 2016 06:00:02 +0000 Subject: [PATCH] Don't create a SymbolTable in Function when the LLVMContext discards value names (NFC) The ValueSymbolTable is used to detect name conflict and rename instructions automatically. This is not needed when the value names are automatically discarded by the LLVMContext. No functional change intended, just saving a little bit of memory. This is a recommit of r281806 after fixing the accessor to return a pointer instead of a reference and updating all the call-sites. llvm-svn: 281813 --- llvm/include/llvm/IR/Function.h | 11 +++++++---- llvm/lib/AsmParser/LLParser.cpp | 6 +++--- llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | 3 ++- llvm/lib/CodeGen/MIRParser/MIParser.cpp | 6 +++--- llvm/lib/CodeGen/MIRParser/MIRParser.cpp | 2 +- llvm/lib/IR/BasicBlock.cpp | 2 +- llvm/lib/IR/Function.cpp | 6 ++++-- llvm/lib/IR/Value.cpp | 6 +++--- llvm/lib/Transforms/IPO/StripSymbols.cpp | 3 ++- llvm/tools/bugpoint/CrashDebugger.cpp | 9 +++------ 10 files changed, 29 insertions(+), 25 deletions(-) diff --git a/llvm/include/llvm/IR/Function.h b/llvm/include/llvm/IR/Function.h index 129ba308004f..44ac826839d0 100644 --- a/llvm/include/llvm/IR/Function.h +++ b/llvm/include/llvm/IR/Function.h @@ -50,7 +50,8 @@ private: // Important things that make up a function! BasicBlockListType BasicBlocks; ///< The basic blocks mutable ArgumentListType ArgumentList; ///< The formal arguments - ValueSymbolTable *SymTab; ///< Symbol table of args/instructions + std::unique_ptr + SymTab; ///< Symbol table of args/instructions AttributeSet AttributeSets; ///< Parameter attributes /* @@ -493,10 +494,12 @@ public: //===--------------------------------------------------------------------===// // Symbol Table Accessing functions... - /// getSymbolTable() - Return the symbol table... + /// getSymbolTable() - Return the symbol table if any, otherwise nullptr. /// - inline ValueSymbolTable &getValueSymbolTable() { return *SymTab; } - inline const ValueSymbolTable &getValueSymbolTable() const { return *SymTab; } + inline ValueSymbolTable *getValueSymbolTable() { return SymTab.get(); } + inline const ValueSymbolTable *getValueSymbolTable() const { + return SymTab.get(); + } //===--------------------------------------------------------------------===// // BasicBlock iterator forwarding functions diff --git a/llvm/lib/AsmParser/LLParser.cpp b/llvm/lib/AsmParser/LLParser.cpp index 0e154b265780..18f5bbe65998 100644 --- a/llvm/lib/AsmParser/LLParser.cpp +++ b/llvm/lib/AsmParser/LLParser.cpp @@ -2504,7 +2504,7 @@ bool LLParser::PerFunctionState::FinishFunction() { Value *LLParser::PerFunctionState::GetVal(const std::string &Name, Type *Ty, LocTy Loc) { // Look this name up in the normal function symbol table. - Value *Val = F.getValueSymbolTable().lookup(Name); + Value *Val = F.getValueSymbolTable()->lookup(Name); // If this is a forward reference for the value, see if we already created a // forward ref record. @@ -2922,7 +2922,7 @@ bool LLParser::ParseValID(ValID &ID, PerFunctionState *PFS) { return Error(Label.Loc, "cannot take address of numeric label after " "the function is defined"); BB = dyn_cast_or_null( - F->getValueSymbolTable().lookup(Label.StrVal)); + F->getValueSymbolTable()->lookup(Label.StrVal)); if (!BB) return Error(Label.Loc, "referenced value is not a basic block"); } @@ -6507,7 +6507,7 @@ bool LLParser::ParseUseListOrderBB() { return Error(Label.Loc, "invalid numeric label in uselistorder_bb"); if (Label.Kind != ValID::t_LocalName) return Error(Label.Loc, "expected basic block name in uselistorder_bb"); - Value *V = F->getValueSymbolTable().lookup(Label.StrVal); + Value *V = F->getValueSymbolTable()->lookup(Label.StrVal); if (!V) return Error(Label.Loc, "invalid basic block in uselistorder_bb"); if (!isa(V)) diff --git a/llvm/lib/Bitcode/Writer/BitcodeWriter.cpp b/llvm/lib/Bitcode/Writer/BitcodeWriter.cpp index da6a89103187..0fd239f71ccd 100644 --- a/llvm/lib/Bitcode/Writer/BitcodeWriter.cpp +++ b/llvm/lib/Bitcode/Writer/BitcodeWriter.cpp @@ -2999,7 +2999,8 @@ void ModuleBitcodeWriter::writeFunction( } // Emit names for all the instructions etc. - writeValueSymbolTable(F.getValueSymbolTable()); + if (auto *Symtab = F.getValueSymbolTable()) + writeValueSymbolTable(*Symtab); if (NeedsMetadataAttachment) writeFunctionMetadataAttachment(F); diff --git a/llvm/lib/CodeGen/MIRParser/MIParser.cpp b/llvm/lib/CodeGen/MIRParser/MIParser.cpp index 2f4410ba7cd5..915e1098132b 100644 --- a/llvm/lib/CodeGen/MIRParser/MIParser.cpp +++ b/llvm/lib/CodeGen/MIRParser/MIParser.cpp @@ -364,7 +364,7 @@ bool MIParser::parseBasicBlockDefinition( if (!Name.empty()) { BB = dyn_cast_or_null( - MF.getFunction()->getValueSymbolTable().lookup(Name)); + MF.getFunction()->getValueSymbolTable()->lookup(Name)); if (!BB) return error(Loc, Twine("basic block '") + Name + "' is not defined in the function '" + @@ -1383,7 +1383,7 @@ bool MIParser::parseIRBlock(BasicBlock *&BB, const Function &F) { switch (Token.kind()) { case MIToken::NamedIRBlock: { BB = dyn_cast_or_null( - F.getValueSymbolTable().lookup(Token.stringValue())); + F.getValueSymbolTable()->lookup(Token.stringValue())); if (!BB) return error(Twine("use of undefined IR block '") + Token.range() + "'"); break; @@ -1729,7 +1729,7 @@ bool MIParser::parseOperandsOffset(MachineOperand &Op) { bool MIParser::parseIRValue(const Value *&V) { switch (Token.kind()) { case MIToken::NamedIRValue: { - V = MF.getFunction()->getValueSymbolTable().lookup(Token.stringValue()); + V = MF.getFunction()->getValueSymbolTable()->lookup(Token.stringValue()); break; } case MIToken::IRValue: { diff --git a/llvm/lib/CodeGen/MIRParser/MIRParser.cpp b/llvm/lib/CodeGen/MIRParser/MIRParser.cpp index 9b0c50996800..519a08f21981 100644 --- a/llvm/lib/CodeGen/MIRParser/MIRParser.cpp +++ b/llvm/lib/CodeGen/MIRParser/MIRParser.cpp @@ -552,7 +552,7 @@ bool MIRParserImpl::initializeFrameInfo(PerFunctionMIParsingState &PFS, const yaml::StringValue &Name = Object.Name; if (!Name.Value.empty()) { Alloca = dyn_cast_or_null( - F.getValueSymbolTable().lookup(Name.Value)); + F.getValueSymbolTable()->lookup(Name.Value)); if (!Alloca) return error(Name.SourceRange.Start, "alloca instruction named '" + Name.Value + diff --git a/llvm/lib/IR/BasicBlock.cpp b/llvm/lib/IR/BasicBlock.cpp index 4640b4f9d413..19e784923658 100644 --- a/llvm/lib/IR/BasicBlock.cpp +++ b/llvm/lib/IR/BasicBlock.cpp @@ -26,7 +26,7 @@ using namespace llvm; ValueSymbolTable *BasicBlock::getValueSymbolTable() { if (Function *F = getParent()) - return &F->getValueSymbolTable(); + return F->getValueSymbolTable(); return nullptr; } diff --git a/llvm/lib/IR/Function.cpp b/llvm/lib/IR/Function.cpp index fa34158e9c55..f9f33fef4524 100644 --- a/llvm/lib/IR/Function.cpp +++ b/llvm/lib/IR/Function.cpp @@ -258,7 +258,10 @@ Function::Function(FunctionType *Ty, LinkageTypes Linkage, const Twine &name, assert(FunctionType::isValidReturnType(getReturnType()) && "invalid return type"); setGlobalObjectSubClassData(0); - SymTab = new ValueSymbolTable(); + + // We only need a symbol table for a function if the context keeps value names + if (!getContext().shouldDiscardValueNames()) + SymTab = make_unique(); // If the function has arguments, mark them as lazily built. if (Ty->getNumParams()) @@ -279,7 +282,6 @@ Function::~Function() { // Delete all of the method arguments and unlink from symbol table... ArgumentList.clear(); - delete SymTab; // Remove the function from the on-the-side GC table. clearGC(); diff --git a/llvm/lib/IR/Value.cpp b/llvm/lib/IR/Value.cpp index a1dfb37bf90e..451cb09ea9f8 100644 --- a/llvm/lib/IR/Value.cpp +++ b/llvm/lib/IR/Value.cpp @@ -143,16 +143,16 @@ static bool getSymTab(Value *V, ValueSymbolTable *&ST) { if (Instruction *I = dyn_cast(V)) { if (BasicBlock *P = I->getParent()) if (Function *PP = P->getParent()) - ST = &PP->getValueSymbolTable(); + ST = PP->getValueSymbolTable(); } else if (BasicBlock *BB = dyn_cast(V)) { if (Function *P = BB->getParent()) - ST = &P->getValueSymbolTable(); + ST = P->getValueSymbolTable(); } else if (GlobalValue *GV = dyn_cast(V)) { if (Module *P = GV->getParent()) ST = &P->getValueSymbolTable(); } else if (Argument *A = dyn_cast(V)) { if (Function *P = A->getParent()) - ST = &P->getValueSymbolTable(); + ST = P->getValueSymbolTable(); } else { assert(isa(V) && "Unknown value type!"); return true; // no name is setable for this. diff --git a/llvm/lib/Transforms/IPO/StripSymbols.cpp b/llvm/lib/Transforms/IPO/StripSymbols.cpp index 51c2103e0e5e..5cb8ff56584b 100644 --- a/llvm/lib/Transforms/IPO/StripSymbols.cpp +++ b/llvm/lib/Transforms/IPO/StripSymbols.cpp @@ -219,7 +219,8 @@ static bool StripSymbolNames(Module &M, bool PreserveDbgInfo) { if (I.hasLocalLinkage() && llvmUsedValues.count(&I) == 0) if (!PreserveDbgInfo || !I.getName().startswith("llvm.dbg")) I.setName(""); // Internal symbols can't participate in linkage - StripSymtab(I.getValueSymbolTable(), PreserveDbgInfo); + if (auto *Symtab = I.getValueSymbolTable()) + StripSymtab(*Symtab, PreserveDbgInfo); } // Remove all names from types. diff --git a/llvm/tools/bugpoint/CrashDebugger.cpp b/llvm/tools/bugpoint/CrashDebugger.cpp index e7367392337e..cdbf57f90e89 100644 --- a/llvm/tools/bugpoint/CrashDebugger.cpp +++ b/llvm/tools/bugpoint/CrashDebugger.cpp @@ -461,8 +461,7 @@ bool ReduceCrashingBlocks::TestBlocks(std::vector &BBs) { const ValueSymbolTable &GST = M->getValueSymbolTable(); for (unsigned i = 0, e = BlockInfo.size(); i != e; ++i) { Function *F = cast(GST.lookup(BlockInfo[i].first)); - ValueSymbolTable &ST = F->getValueSymbolTable(); - Value *V = ST.lookup(BlockInfo[i].second); + Value *V = F->getValueSymbolTable()->lookup(BlockInfo[i].second); if (V && V->getType() == Type::getLabelTy(V->getContext())) BBs.push_back(cast(V)); } @@ -572,8 +571,7 @@ bool ReduceCrashingConditionals::TestBlocks( const ValueSymbolTable &GST = M->getValueSymbolTable(); for (auto &BI : BlockInfo) { auto *F = cast(GST.lookup(BI.first)); - ValueSymbolTable &ST = F->getValueSymbolTable(); - Value *V = ST.lookup(BI.second); + Value *V = F->getValueSymbolTable()->lookup(BI.second); if (V && V->getType() == Type::getLabelTy(V->getContext())) BBs.push_back(cast(V)); } @@ -666,8 +664,7 @@ bool ReduceSimplifyCFG::TestBlocks(std::vector &BBs) { const ValueSymbolTable &GST = M->getValueSymbolTable(); for (auto &BI : BlockInfo) { auto *F = cast(GST.lookup(BI.first)); - ValueSymbolTable &ST = F->getValueSymbolTable(); - Value *V = ST.lookup(BI.second); + Value *V = F->getValueSymbolTable()->lookup(BI.second); if (V && V->getType() == Type::getLabelTy(V->getContext())) BBs.push_back(cast(V)); }