maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

remove some unsafe code that has long been dead 

llvm-svn: 20869
This commit is contained in:
Chris Lattner 2005-03-26 22:48:42 +00:00
parent 9cc932d3b3
commit 1a02d15dab
1 changed files with 0 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
llvm/lib/Analysis/DataStructure/DataStructureAA.cpp
View File

@ -100,19 +100,6 @@ DSGraph *DSAA::getGraphForValue(const Value *V) {
return 0; 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, AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size,
const Value *V2, unsigned V2Size) { const Value *V2, unsigned V2Size) {
if (V1 == V2) return MustAlias; if (V1 == V2) return MustAlias;
@ -141,17 +128,6 @@ AliasAnalysis::AliasResult DSAA::alias(const Value *V1, unsigned V1Size,
if (N1 != N2) if (N1 != N2)
return NoAlias; // Completely different nodes. 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 // See if they point to different offsets... if so, we may be able to
// determine that they do not alias... // determine that they do not alias...
if (O1 != O2) { if (O1 != O2) {