summaryrefslogtreecommitdiff
path: root/lib/Analysis
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2005-03-26 22:48:42 +0000
committerChris Lattner <sabre@nondot.org>2005-03-26 22:48:42 +0000
commit5a6a9d4f0c491d6a82316730dae51981f0f23909 (patch)
treee0cf8e5a6f472af2af003b169fa1db7531a5f250 /lib/Analysis
parentbc499de74fef014485e96ed3f34b9ddf6dfcb81c (diff)
remove some unsafe code that has long been dead
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20869 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
-rw-r--r--lib/Analysis/DataStructure/DataStructureAA.cpp24
1 files changed, 0 insertions, 24 deletions
diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp
index c2449c2b74a..63f0b4253ba 100644
--- a/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/lib/Analysis/DataStructure/DataStructureAA.cpp
@@ -100,19 +100,6 @@ DSGraph *DSAA::getGraphForValue(const Value *V) {
return 0;
}
-#if 0
-// isSinglePhysicalObject - For now, the only case that we know that there is
-// only one memory object in the node is when there is a single global in the
-// node, and the only composition bit set is Global.
-//
-static bool isSinglePhysicalObject(DSNode *N) {
- assert(N->isComplete() && "Can only tell if this is a complete object!");
- return N->isGlobalNode() && N->getGlobals().size() == 1 &&
- !N->isHeapNode() && !N->isAllocaNode() && !N->isUnknownNode();
-}
-#endif
-
-// alias - This is the only method here that does anything interesting...
AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size,
const Value *V2, unsigned V2Size) {
if (V1 == V2) return MustAlias;
@@ -141,17 +128,6 @@ AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size,
if (N1 != N2)
return NoAlias; // Completely different nodes.
-#if 0 // This does not correctly handle arrays!
- // Both point to the same node and same offset, and there is only one
- // physical memory object represented in the node, return must alias.
- //
- // FIXME: This isn't correct because we do not handle array indexing
- // correctly.
-
- if (O1 == O2 && isSinglePhysicalObject(N1))
- return MustAlias; // Exactly the same object & offset
-#endif
-
// See if they point to different offsets... if so, we may be able to
// determine that they do not alias...
if (O1 != O2) {