This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
representing symbolic expressions like 'x'+3 and 'x'+'y'. The design is
subjected to change later when we fix the class hierarchy of symbolic
expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67678 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index efc7cd3..33d6a57 100644
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -74,6 +74,47 @@
return SymbolCounter++;
}
+SymbolRef SymbolManager::getSymIntExpr(SymbolRef lhs,BinaryOperator::Opcode op,
+ const llvm::APSInt& v, QualType t) {
+ llvm::FoldingSetNodeID ID;
+ SymIntExpr::Profile(ID, lhs, op, v, t);
+ void* InsertPos;
+
+ SymbolData* data = DataSet.FindNodeOrInsertPos(ID, InsertPos);
+
+ if (data)
+ return data->getSymbol();
+
+ data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>();
+ new (data) SymIntExpr(SymbolCounter, lhs, op, v, t);
+
+ DataSet.InsertNode(data, InsertPos);
+ DataMap[SymbolCounter] = data;
+
+ return SymbolCounter++;
+}
+
+SymbolRef SymbolManager::getSymSymExpr(SymbolRef lhs, BinaryOperator::Opcode op,
+ SymbolRef rhs, QualType t) {
+ llvm::FoldingSetNodeID ID;
+ SymSymExpr::Profile(ID, lhs, op, rhs, t);
+ void* InsertPos;
+
+ SymbolData* data = DataSet.FindNodeOrInsertPos(ID, InsertPos);
+
+ if (data)
+ return data->getSymbol();
+
+ data = (SymSymExpr*) BPAlloc.Allocate<SymSymExpr>();
+ new (data) SymSymExpr(SymbolCounter, lhs, op, rhs, t);
+
+ DataSet.InsertNode(data, InsertPos);
+ DataMap[SymbolCounter] = data;
+
+ return SymbolCounter++;
+}
+
+
const SymbolData& SymbolManager::getSymbolData(SymbolRef Sym) const {
DataMapTy::const_iterator I = DataMap.find(Sym);
assert (I != DataMap.end());