Remove support for the MultiObject flag, which was just fundamentally broken

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6839 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/llvm/Analysis/DSNode.h b/include/llvm/Analysis/DSNode.h
index c4118244545d5f8f3a0cb08d384aeae1ae79b1d0..956bcbdab9f52b47ced5efac6cf8e9a942c95e8c 100644 (file)
--- a/include/llvm/Analysis/DSNode.h
+++ b/include/llvm/Analysis/DSNode.h
@@ -7,9 +7,6 @@
 #ifndef LLVM_ANALYSIS_DSNODE_H
 #define LLVM_ANALYSIS_DSNODE_H
 
-#include <assert.h>
-
-#include "llvm/Analysis/DSSupport.h"
 template<typename BaseType>
 class DSNodeIterator;          // Data structure graph traversal iterator
 
@@ -74,9 +71,8 @@ public:
     Read        = 1 << 6,   // This node is read in this context
 
     Array       = 1 << 7,   // This node is treated like an array
-    MultiObject = 1 << 8,   // This node represents > 1 object (may alias)
     //#ifndef NDEBUG
-    DEAD        = 1 << 9,   // This node is dead and should not be pointed to
+    DEAD        = 1 << 8,   // This node is dead and should not be pointed to
     //#endif
 
     Composition = AllocaNode | HeapNode | GlobalNode | UnknownNode,
@@ -250,13 +246,12 @@ public:
   bool isRead() const       { return NodeType & Read; }
 
   bool isIncomplete() const { return NodeType & Incomplete; }
-  bool isMultiObject() const { return NodeType & MultiObject; }
   bool isDeadNode() const   { return NodeType & DEAD; }
 
-  DSNode *setAllocaNodeMarker()  { return setCompositionMarker(AllocaNode); }
-  DSNode *setHeapNodeMarker()    { return setCompositionMarker(HeapNode); }
-  DSNode *setGlobalNodeMarker()  { return setCompositionMarker(GlobalNode); }
-  DSNode *setUnknownNodeMarker() { return setCompositionMarker(UnknownNode); }
+  DSNode *setAllocaNodeMarker()  { NodeType |= AllocaNode;  return this; }
+  DSNode *setHeapNodeMarker()    { NodeType |= HeapNode;    return this; }
+  DSNode *setGlobalNodeMarker()  { NodeType |= GlobalNode;  return this; }
+  DSNode *setUnknownNodeMarker() { NodeType |= UnknownNode; return this; }
 
   DSNode *setIncompleteMarker() { NodeType |= Incomplete; return this; }
   DSNode *setModifiedMarker()   { NodeType |= Modified;   return this; }
@@ -297,12 +292,6 @@ public:
 private:
   friend class DSNodeHandle;
 
-  DSNode *setCompositionMarker(unsigned Marker) {
-    if (NodeType & Composition) Marker |= MultiObject;
-    NodeType |= Marker;
-    return this;
-  }
-
   // static mergeNodes - Helper for mergeWith()
   static void MergeNodes(DSNodeHandle& CurNodeH, DSNodeHandle& NH);
 };

diff --git a/include/llvm/Analysis/DataStructure/DSNode.h b/include/llvm/Analysis/DataStructure/DSNode.h
index c4118244545d5f8f3a0cb08d384aeae1ae79b1d0..956bcbdab9f52b47ced5efac6cf8e9a942c95e8c 100644 (file)
--- a/include/llvm/Analysis/DataStructure/DSNode.h
+++ b/include/llvm/Analysis/DataStructure/DSNode.h
@@ -7,9 +7,6 @@
 #ifndef LLVM_ANALYSIS_DSNODE_H
 #define LLVM_ANALYSIS_DSNODE_H
 
-#include <assert.h>
-
-#include "llvm/Analysis/DSSupport.h"
 template<typename BaseType>
 class DSNodeIterator;          // Data structure graph traversal iterator
 
@@ -74,9 +71,8 @@ public:
     Read        = 1 << 6,   // This node is read in this context
 
     Array       = 1 << 7,   // This node is treated like an array
-    MultiObject = 1 << 8,   // This node represents > 1 object (may alias)
     //#ifndef NDEBUG
-    DEAD        = 1 << 9,   // This node is dead and should not be pointed to
+    DEAD        = 1 << 8,   // This node is dead and should not be pointed to
     //#endif
 
     Composition = AllocaNode | HeapNode | GlobalNode | UnknownNode,
@@ -250,13 +246,12 @@ public:
   bool isRead() const       { return NodeType & Read; }
 
   bool isIncomplete() const { return NodeType & Incomplete; }
-  bool isMultiObject() const { return NodeType & MultiObject; }
   bool isDeadNode() const   { return NodeType & DEAD; }
 
-  DSNode *setAllocaNodeMarker()  { return setCompositionMarker(AllocaNode); }
-  DSNode *setHeapNodeMarker()    { return setCompositionMarker(HeapNode); }
-  DSNode *setGlobalNodeMarker()  { return setCompositionMarker(GlobalNode); }
-  DSNode *setUnknownNodeMarker() { return setCompositionMarker(UnknownNode); }
+  DSNode *setAllocaNodeMarker()  { NodeType |= AllocaNode;  return this; }
+  DSNode *setHeapNodeMarker()    { NodeType |= HeapNode;    return this; }
+  DSNode *setGlobalNodeMarker()  { NodeType |= GlobalNode;  return this; }
+  DSNode *setUnknownNodeMarker() { NodeType |= UnknownNode; return this; }
 
   DSNode *setIncompleteMarker() { NodeType |= Incomplete; return this; }
   DSNode *setModifiedMarker()   { NodeType |= Modified;   return this; }
@@ -297,12 +292,6 @@ public:
 private:
   friend class DSNodeHandle;
 
-  DSNode *setCompositionMarker(unsigned Marker) {
-    if (NodeType & Composition) Marker |= MultiObject;
-    NodeType |= Marker;
-    return this;
-  }
-
   // static mergeNodes - Helper for mergeWith()
   static void MergeNodes(DSNodeHandle& CurNodeH, DSNodeHandle& NH);
 };