1 //===-- llvm/SymbolTable.h - Implement a type planned symtab ------*- C++ -*-=//
3 // This file implements a symbol table that has planed broken up by type.
4 // Identical types may have overlapping symbol names as long as they are
7 // Note that this implements a chained symbol table. If a name being 'lookup'd
8 // isn't found in the current symbol table, then the parent symbol table is
11 // This chaining behavior does NOT affect iterators though: only the lookup
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_SYMBOL_TABLE_H
17 #define LLVM_SYMBOL_TABLE_H
19 #include "llvm/Value.h"
22 #ifndef NDEBUG // Only for assertions
23 #include "llvm/Type.h"
24 #include "llvm/ConstPoolVals.h"
30 // TODO: Change this back to vector<map<const string, Value *> >
31 // Make the vector be a data member, and base it on UniqueID's
32 // That should be much more efficient!
34 class SymbolTable : public AbstractTypeUser,
35 public map<const Type *, map<const string, Value *> > {
36 typedef map<const string, Value *> VarMap;
37 typedef map<const Type *, VarMap> super;
39 SymbolTable *ParentSymTab;
41 friend class SymTabValue;
42 inline void setParentSymTab(SymbolTable *P) { ParentSymTab = P; }
45 typedef VarMap::iterator type_iterator;
46 typedef VarMap::const_iterator type_const_iterator;
48 inline SymbolTable(SymbolTable *P = 0) { ParentSymTab = P; }
51 SymbolTable *getParentSymTab() { return ParentSymTab; }
53 // lookup - Returns null on failure...
54 Value *lookup(const Type *Ty, const string &name);
56 // find - returns end(Ty->getIDNumber()) on failure...
57 type_iterator type_find(const Type *Ty, const string &name);
58 type_iterator type_find(const Value *D);
60 // insert - Add named definition to the symbol table...
61 inline void insert(Value *N) {
62 assert(N->hasName() && "Value must be named to go into symbol table!");
63 insertEntry(N->getName(), N);
66 // insert - Insert a constant or type into the symbol table with the specified
67 // name... There can be a many to one mapping between names and
70 inline void insert(const string &Name, Value *V) {
71 assert((isa<Type>(V) || isa<ConstPoolVal>(V)) &&
72 "Can only insert types and constants here!");
76 void remove(Value *N);
77 Value *type_remove(const type_iterator &It);
79 // getUniqueName - Given a base name, return a string that is either equal to
80 // it (or derived from it) that does not already occur in the symbol table for
81 // the specified type.
83 string getUniqueName(const Type *Ty, const string &BaseName);
85 inline unsigned type_size(const Type *TypeID) const {
86 return find(TypeID)->second.size();
89 // Note that type_begin / type_end only work if you know that an element of
90 // TypeID is already in the symbol table!!!
92 inline type_iterator type_begin(const Type *TypeID) {
93 return find(TypeID)->second.begin();
95 inline type_const_iterator type_begin(const Type *TypeID) const {
96 return find(TypeID)->second.begin();
99 inline type_iterator type_end(const Type *TypeID) {
100 return find(TypeID)->second.end();
102 inline type_const_iterator type_end(const Type *TypeID) const {
103 return find(TypeID)->second.end();
107 // insertEntry - Insert a value into the symbol table with the specified
110 void insertEntry(const string &Name, Value *V);
112 // This function is called when one of the types in the type plane are refined
113 virtual void refineAbstractType(const DerivedType *OldTy, const Type *NewTy);