From 332043264ee52b171b9164ae9c454b9ebe9e9f04 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 2 Nov 2002 00:11:12 +0000 Subject: [PATCH] * Eliminate Scalar node type (renumber other node types) * Allow DSNodeHandle::mergeWith to work if a node handle isn't pointing to a node yet git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4487 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/DSNode.h | 20 +++++++++++--------- include/llvm/Analysis/DataStructure/DSNode.h | 20 +++++++++++--------- 2 files changed, 22 insertions(+), 18 deletions(-) diff --git a/include/llvm/Analysis/DSNode.h b/include/llvm/Analysis/DSNode.h index 1050ca738c0..0d5a0dfa386 100644 --- a/include/llvm/Analysis/DSNode.h +++ b/include/llvm/Analysis/DSNode.h @@ -62,13 +62,12 @@ class DSNode { public: enum NodeTy { ShadowNode = 0, // Nothing is known about this node... - ScalarNode = 1 << 0, // Scalar of the current function contains this value - AllocaNode = 1 << 1, // This node was allocated with alloca - NewNode = 1 << 2, // This node was allocated with malloc - GlobalNode = 1 << 3, // This node was allocated by a global var decl - Incomplete = 1 << 4, // This node may not be complete - Modified = 1 << 5, // This node is modified in this context - Read = 1 << 6, // This node is read in this context + AllocaNode = 1 << 0, // This node was allocated with alloca + NewNode = 1 << 1, // This node was allocated with malloc + GlobalNode = 1 << 2, // This node was allocated by a global var decl + Incomplete = 1 << 3, // This node may not be complete + Modified = 1 << 4, // This node is modified in this context + Read = 1 << 5, // This node is read in this context }; /// NodeType - A union of the above bits. "Shadow" nodes do not add any flags @@ -294,8 +293,11 @@ inline void DSNodeHandle::addEdgeTo(unsigned LinkNo, const DSNodeHandle &Node) { /// pointed to by 'N'. /// inline void DSNodeHandle::mergeWith(const DSNodeHandle &Node) { - assert(N && "DSNodeHandle does not point to a node yet!"); - N->mergeWith(Node, Offset); + if (N != 0) + N->mergeWith(Node, Offset); + else { // No node to merge with, so just point to Node + *this = Node; + } } #endif diff --git a/include/llvm/Analysis/DataStructure/DSNode.h b/include/llvm/Analysis/DataStructure/DSNode.h index 1050ca738c0..0d5a0dfa386 100644 --- a/include/llvm/Analysis/DataStructure/DSNode.h +++ b/include/llvm/Analysis/DataStructure/DSNode.h @@ -62,13 +62,12 @@ class DSNode { public: enum NodeTy { ShadowNode = 0, // Nothing is known about this node... - ScalarNode = 1 << 0, // Scalar of the current function contains this value - AllocaNode = 1 << 1, // This node was allocated with alloca - NewNode = 1 << 2, // This node was allocated with malloc - GlobalNode = 1 << 3, // This node was allocated by a global var decl - Incomplete = 1 << 4, // This node may not be complete - Modified = 1 << 5, // This node is modified in this context - Read = 1 << 6, // This node is read in this context + AllocaNode = 1 << 0, // This node was allocated with alloca + NewNode = 1 << 1, // This node was allocated with malloc + GlobalNode = 1 << 2, // This node was allocated by a global var decl + Incomplete = 1 << 3, // This node may not be complete + Modified = 1 << 4, // This node is modified in this context + Read = 1 << 5, // This node is read in this context }; /// NodeType - A union of the above bits. "Shadow" nodes do not add any flags @@ -294,8 +293,11 @@ inline void DSNodeHandle::addEdgeTo(unsigned LinkNo, const DSNodeHandle &Node) { /// pointed to by 'N'. /// inline void DSNodeHandle::mergeWith(const DSNodeHandle &Node) { - assert(N && "DSNodeHandle does not point to a node yet!"); - N->mergeWith(Node, Offset); + if (N != 0) + N->mergeWith(Node, Offset); + else { // No node to merge with, so just point to Node + *this = Node; + } } #endif