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

Minor cleanups (use dyn_cast instead of testing manually) 

Shadow nodes now don't explicitly know their parent.

llvm-svn: 2083
This commit is contained in:
Chris Lattner 2002-04-01 00:14:41 +00:00
parent 6b06aa557e
commit b4648bb38f
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
llvm/lib/Analysis/DataStructure/FunctionRepBuilder.cpp
View File

@ -63,10 +63,11 @@ void InitVisitor::visitCallInst(CallInst *CI) {
Rep->CallNodes.push_back(C);
Rep->CallMap[CI] = C;
if (isa<PointerType>(CI->getType())) {
if (PointerType *PT = dyn_cast<PointerType>(CI->getType())) {
// Create a critical shadow node to represent the memory object that the
// return value points to...
ShadowDSNode *Shad = new ShadowDSNode(C, Func->getParent(), true);
ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Func->getParent(), true);
Rep->ShadowNodes.push_back(Shad);
// The return value of the function is a pointer to the shadow value
@ -142,13 +143,14 @@ void FunctionRepBuilder::initializeWorkList(Function *Func) {
for (Function::ArgumentListType::iterator I = Func->getArgumentList().begin(),
E = Func->getArgumentList().end(); I != E; ++I)
// Only process arguments that are of pointer type...
if (isa<PointerType>((*I)->getType())) {
if (PointerType *PT = dyn_cast<PointerType>((*I)->getType())) {
ArgDSNode *Arg = new ArgDSNode(*I);
ArgNodes.push_back(Arg);
// Add a critical shadow value for it to represent what it is pointing
// to and add this to the value map...
ShadowDSNode *Shad = new ShadowDSNode(Arg, Func->getParent(), true);
ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Func->getParent(), true);
ShadowNodes.push_back(Shad);
ValueMap[*I].add(PointerVal(Shad), *I);
@ -245,11 +247,10 @@ void FunctionRepBuilder::visitLoadInst(LoadInst *LI) {
if (Field.size()) { // Field loaded wasn't null?
Changed |= LIPVS.add(Field);
} else if (Ptr.Node->NodeType == DSNode::ShadowNode) {
} else if (ShadowDSNode *Shad = dyn_cast<ShadowDSNode>(Ptr.Node)) {
// If we are loading a null field out of a shadow node, we need to
// synthesize a new shadow node and link it in...
//
ShadowDSNode *Shad = (ShadowDSNode*)Ptr.Node;
ShadowDSNode *SynthNode =
Shad->synthesizeNode(DestTy->getElementType(), this);
Field.add(SynthNode);