lib/Analysis/DataStructure/DataStructure.cpp

   1 //===- DataStructure.cpp - Implement the core data structure analysis -----===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the LLVM research group and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file implements the core data structure functionality.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/Analysis/DataStructure/DSGraphTraits.h"
  15 #include "llvm/Constants.h"
  16 #include "llvm/Function.h"
  17 #include "llvm/GlobalVariable.h"
  18 #include "llvm/Instructions.h"
  19 #include "llvm/DerivedTypes.h"
  20 #include "llvm/Target/TargetData.h"
  21 #include "llvm/Assembly/Writer.h"
  22 #include "llvm/Support/CommandLine.h"
  23 #include "llvm/Support/Debug.h"
  24 #include "llvm/ADT/DepthFirstIterator.h"
  25 #include "llvm/ADT/STLExtras.h"
  26 #include "llvm/ADT/Statistic.h"
  27 #include "llvm/Support/Timer.h"
  28 #include <algorithm>
  29 using namespace llvm;
  30
  31 #define COLLAPSE_ARRAYS_AGGRESSIVELY 0
  32
  33 namespace {
  34   Statistic<> NumFolds          ("dsa", "Number of nodes completely folded");
  35   Statistic<> NumCallNodesMerged("dsa", "Number of call nodes merged");
  36   Statistic<> NumNodeAllocated  ("dsa", "Number of nodes allocated");
  37   Statistic<> NumDNE            ("dsa", "Number of nodes removed by reachability");
  38   Statistic<> NumTrivialDNE     ("dsa", "Number of nodes trivially removed");
  39   Statistic<> NumTrivialGlobalDNE("dsa", "Number of globals trivially removed");
  40 };
  41
  42 #if 1
  43 #define TIME_REGION(VARNAME, DESC) \
  44    NamedRegionTimer VARNAME(DESC)
  45 #else
  46 #define TIME_REGION(VARNAME, DESC)
  47 #endif
  48
  49 using namespace DS;
  50
  51 /// isForwarding - Return true if this NodeHandle is forwarding to another
  52 /// one.
  53 bool DSNodeHandle::isForwarding() const {
  54   return N && N->isForwarding();
  55 }
  56
  57 DSNode *DSNodeHandle::HandleForwarding() const {
  58   assert(N->isForwarding() && "Can only be invoked if forwarding!");
  59
  60   // Handle node forwarding here!
  61   DSNode *Next = N->ForwardNH.getNode();  // Cause recursive shrinkage
  62   Offset += N->ForwardNH.getOffset();
  63
  64   if (--N->NumReferrers == 0) {
  65     // Removing the last referrer to the node, sever the forwarding link
  66     N->stopForwarding();
  67   }
  68
  69   N = Next;
  70   N->NumReferrers++;
  71   if (N->Size <= Offset) {
  72     assert(N->Size <= 1 && "Forwarded to shrunk but not collapsed node?");
  73     Offset = 0;
  74   }
  75   return N;
  76 }
  77
  78 //===----------------------------------------------------------------------===//
  79 // DSScalarMap Implementation
  80 //===----------------------------------------------------------------------===//
  81
  82 DSNodeHandle &DSScalarMap::AddGlobal(GlobalValue *GV) {
  83   assert(ValueMap.count(GV) == 0 && "GV already exists!");
  84
  85   // If the node doesn't exist, check to see if it's a global that is
  86   // equated to another global in the program.
  87   EquivalenceClasses<GlobalValue*>::iterator ECI = GlobalECs.findValue(GV);
  88   if (ECI != GlobalECs.end()) {
  89     GlobalValue *Leader = *GlobalECs.findLeader(ECI);
  90     if (Leader != GV) {
  91       GV = Leader;
  92       iterator I = ValueMap.find(GV);
  93       if (I != ValueMap.end())
  94         return I->second;
  95     }
  96   }
  97
  98   // Okay, this is either not an equivalenced global or it is the leader, it
  99   // will be inserted into the scalar map now.
 100   GlobalSet.insert(GV);
 101
 102   return ValueMap.insert(std::make_pair(GV, DSNodeHandle())).first->second;
 103 }
 104
 105
 106 //===----------------------------------------------------------------------===//
 107 // DSNode Implementation
 108 //===----------------------------------------------------------------------===//
 109
 110 DSNode::DSNode(const Type *T, DSGraph *G)
 111   : NumReferrers(0), Size(0), ParentGraph(G), Ty(Type::VoidTy), NodeType(0) {
 112   // Add the type entry if it is specified...
 113   if (T) mergeTypeInfo(T, 0);
 114   if (G) G->addNode(this);
 115   ++NumNodeAllocated;
 116 }
 117
 118 // DSNode copy constructor... do not copy over the referrers list!
 119 DSNode::DSNode(const DSNode &N, DSGraph *G, bool NullLinks)
 120   : NumReferrers(0), Size(N.Size), ParentGraph(G),
 121     Ty(N.Ty), NodeType(N.NodeType) {
 122   if (!NullLinks) {
 123     Links = N.Links;
 124     Globals = N.Globals;
 125   } else
 126     Links.resize(N.Links.size()); // Create the appropriate number of null links
 127   G->addNode(this);
 128   ++NumNodeAllocated;
 129 }
 130
 131 /// getTargetData - Get the target data object used to construct this node.
 132 ///
 133 const TargetData &DSNode::getTargetData() const {
 134   return ParentGraph->getTargetData();
 135 }
 136
 137 void DSNode::assertOK() const {
 138   assert((Ty != Type::VoidTy ||
 139           Ty == Type::VoidTy && (Size == 0 ||
 140                                  (NodeType & DSNode::Array))) &&
 141          "Node not OK!");
 142
 143   assert(ParentGraph && "Node has no parent?");
 144   const DSScalarMap &SM = ParentGraph->getScalarMap();
 145   for (unsigned i = 0, e = Globals.size(); i != e; ++i) {
 146     assert(SM.global_count(Globals[i]));
 147     assert(SM.find(Globals[i])->second.getNode() == this);
 148   }
 149 }
 150
 151 /// forwardNode - Mark this node as being obsolete, and all references to it
 152 /// should be forwarded to the specified node and offset.
 153 ///
 154 void DSNode::forwardNode(DSNode *To, unsigned Offset) {
 155   assert(this != To && "Cannot forward a node to itself!");
 156   assert(ForwardNH.isNull() && "Already forwarding from this node!");
 157   if (To->Size <= 1) Offset = 0;
 158   assert((Offset < To->Size || (Offset == To->Size && Offset == 0)) &&
 159          "Forwarded offset is wrong!");
 160   ForwardNH.setTo(To, Offset);
 161   NodeType = DEAD;
 162   Size = 0;
 163   Ty = Type::VoidTy;
 164
 165   // Remove this node from the parent graph's Nodes list.
 166   ParentGraph->unlinkNode(this);
 167   ParentGraph = 0;
 168 }
 169
 170 // addGlobal - Add an entry for a global value to the Globals list.  This also
 171 // marks the node with the 'G' flag if it does not already have it.
 172 //
 173 void DSNode::addGlobal(GlobalValue *GV) {
 174   // First, check to make sure this is the leader if the global is in an
 175   // equivalence class.
 176   GV = getParentGraph()->getScalarMap().getLeaderForGlobal(GV);
 177
 178   // Keep the list sorted.
 179   std::vector<GlobalValue*>::iterator I =
 180     std::lower_bound(Globals.begin(), Globals.end(), GV);
 181
 182   if (I == Globals.end() || *I != GV) {
 183     Globals.insert(I, GV);
 184     NodeType |= GlobalNode;
 185   }
 186 }
 187
 188 // removeGlobal - Remove the specified global that is explicitly in the globals
 189 // list.
 190 void DSNode::removeGlobal(GlobalValue *GV) {
 191   std::vector<GlobalValue*>::iterator I =
 192     std::lower_bound(Globals.begin(), Globals.end(), GV);
 193   assert(I != Globals.end() && *I == GV && "Global not in node!");
 194   Globals.erase(I);
 195 }
 196
 197 /// foldNodeCompletely - If we determine that this node has some funny
 198 /// behavior happening to it that we cannot represent, we fold it down to a
 199 /// single, completely pessimistic, node.  This node is represented as a
 200 /// single byte with a single TypeEntry of "void".
 201 ///
 202 void DSNode::foldNodeCompletely() {
 203   if (isNodeCompletelyFolded()) return;  // If this node is already folded...
 204
 205   ++NumFolds;
 206
 207   // If this node has a size that is <= 1, we don't need to create a forwarding
 208   // node.
 209   if (getSize() <= 1) {
 210     NodeType |= DSNode::Array;
 211     Ty = Type::VoidTy;
 212     Size = 1;
 213     assert(Links.size() <= 1 && "Size is 1, but has more links?");
 214     Links.resize(1);
 215   } else {
 216     // Create the node we are going to forward to.  This is required because
 217     // some referrers may have an offset that is > 0.  By forcing them to
 218     // forward, the forwarder has the opportunity to correct the offset.
 219     DSNode *DestNode = new DSNode(0, ParentGraph);
 220     DestNode->NodeType = NodeType|DSNode::Array;
 221     DestNode->Ty = Type::VoidTy;
 222     DestNode->Size = 1;
 223     DestNode->Globals.swap(Globals);
 224
 225     // Start forwarding to the destination node...
 226     forwardNode(DestNode, 0);
 227
 228     if (!Links.empty()) {
 229       DestNode->Links.reserve(1);
 230
 231       DSNodeHandle NH(DestNode);
 232       DestNode->Links.push_back(Links[0]);
 233
 234       // If we have links, merge all of our outgoing links together...
 235       for (unsigned i = Links.size()-1; i != 0; --i)
 236         NH.getNode()->Links[0].mergeWith(Links[i]);
 237       Links.clear();
 238     } else {
 239       DestNode->Links.resize(1);
 240     }
 241   }
 242 }
 243
 244 /// isNodeCompletelyFolded - Return true if this node has been completely
 245 /// folded down to something that can never be expanded, effectively losing
 246 /// all of the field sensitivity that may be present in the node.
 247 ///
 248 bool DSNode::isNodeCompletelyFolded() const {
 249   return getSize() == 1 && Ty == Type::VoidTy && isArray();
 250 }
 251
 252 /// addFullGlobalsList - Compute the full set of global values that are
 253 /// represented by this node.  Unlike getGlobalsList(), this requires fair
 254 /// amount of work to compute, so don't treat this method call as free.
 255 void DSNode::addFullGlobalsList(std::vector<GlobalValue*> &List) const {
 256   if (globals_begin() == globals_end()) return;
 257
 258   EquivalenceClasses<GlobalValue*> &EC = getParentGraph()->getGlobalECs();
 259
 260   for (globals_iterator I = globals_begin(), E = globals_end(); I != E; ++I) {
 261     EquivalenceClasses<GlobalValue*>::iterator ECI = EC.findValue(*I);
 262     if (ECI == EC.end())
 263       List.push_back(*I);
 264     else
 265       List.insert(List.end(), EC.member_begin(ECI), EC.member_end());
 266   }
 267 }
 268
 269 /// addFullFunctionList - Identical to addFullGlobalsList, but only return the
 270 /// functions in the full list.
 271 void DSNode::addFullFunctionList(std::vector<Function*> &List) const {
 272   if (globals_begin() == globals_end()) return;
 273
 274   EquivalenceClasses<GlobalValue*> &EC = getParentGraph()->getGlobalECs();
 275
 276   for (globals_iterator I = globals_begin(), E = globals_end(); I != E; ++I) {
 277     EquivalenceClasses<GlobalValue*>::iterator ECI = EC.findValue(*I);
 278     if (ECI == EC.end()) {
 279       if (Function *F = dyn_cast<Function>(*I))
 280         List.push_back(F);
 281     } else {
 282       for (EquivalenceClasses<GlobalValue*>::member_iterator MI =
 283              EC.member_begin(ECI), E = EC.member_end(); MI != E; ++MI)
 284         if (Function *F = dyn_cast<Function>(*MI))
 285           List.push_back(F);
 286     }
 287   }
 288 }
 289
 290 namespace {
 291   /// TypeElementWalker Class - Used for implementation of physical subtyping...
 292   ///
 293   class TypeElementWalker {
 294     struct StackState {
 295       const Type *Ty;
 296       unsigned Offset;
 297       unsigned Idx;
 298       StackState(const Type *T, unsigned Off = 0)
 299         : Ty(T), Offset(Off), Idx(0) {}
 300     };
 301
 302     std::vector<StackState> Stack;
 303     const TargetData &TD;
 304   public:
 305     TypeElementWalker(const Type *T, const TargetData &td) : TD(td) {
 306       Stack.push_back(T);
 307       StepToLeaf();
 308     }
 309
 310     bool isDone() const { return Stack.empty(); }
 311     const Type *getCurrentType()   const { return Stack.back().Ty;     }
 312     unsigned    getCurrentOffset() const { return Stack.back().Offset; }
 313
 314     void StepToNextType() {
 315       PopStackAndAdvance();
 316       StepToLeaf();
 317     }
 318
 319   private:
 320     /// PopStackAndAdvance - Pop the current element off of the stack and
 321     /// advance the underlying element to the next contained member.
 322     void PopStackAndAdvance() {
 323       assert(!Stack.empty() && "Cannot pop an empty stack!");
 324       Stack.pop_back();
 325       while (!Stack.empty()) {
 326         StackState &SS = Stack.back();
 327         if (const StructType *ST = dyn_cast<StructType>(SS.Ty)) {
 328           ++SS.Idx;
 329           if (SS.Idx != ST->getNumElements()) {
 330             const StructLayout *SL = TD.getStructLayout(ST);
 331             SS.Offset +=
 332                unsigned(SL->MemberOffsets[SS.Idx]-SL->MemberOffsets[SS.Idx-1]);
 333             return;
 334           }
 335           Stack.pop_back();  // At the end of the structure
 336         } else {
 337           const ArrayType *AT = cast<ArrayType>(SS.Ty);
 338           ++SS.Idx;
 339           if (SS.Idx != AT->getNumElements()) {
 340             SS.Offset += unsigned(TD.getTypeSize(AT->getElementType()));
 341             return;
 342           }
 343           Stack.pop_back();  // At the end of the array
 344         }
 345       }
 346     }
 347
 348     /// StepToLeaf - Used by physical subtyping to move to the first leaf node
 349     /// on the type stack.
 350     void StepToLeaf() {
 351       if (Stack.empty()) return;
 352       while (!Stack.empty() && !Stack.back().Ty->isFirstClassType()) {
 353         StackState &SS = Stack.back();
 354         if (const StructType *ST = dyn_cast<StructType>(SS.Ty)) {
 355           if (ST->getNumElements() == 0) {
 356             assert(SS.Idx == 0);
 357             PopStackAndAdvance();
 358           } else {
 359             // Step into the structure...
 360             assert(SS.Idx < ST->getNumElements());
 361             const StructLayout *SL = TD.getStructLayout(ST);
 362             Stack.push_back(StackState(ST->getElementType(SS.Idx),
 363                             SS.Offset+unsigned(SL->MemberOffsets[SS.Idx])));
 364           }
 365         } else {
 366           const ArrayType *AT = cast<ArrayType>(SS.Ty);
 367           if (AT->getNumElements() == 0) {
 368             assert(SS.Idx == 0);
 369             PopStackAndAdvance();
 370           } else {
 371             // Step into the array...
 372             assert(SS.Idx < AT->getNumElements());
 373             Stack.push_back(StackState(AT->getElementType(),
 374                                        SS.Offset+SS.Idx*
 375                              unsigned(TD.getTypeSize(AT->getElementType()))));
 376           }
 377         }
 378       }
 379     }
 380   };
 381 } // end anonymous namespace
 382
 383 /// ElementTypesAreCompatible - Check to see if the specified types are
 384 /// "physically" compatible.  If so, return true, else return false.  We only
 385 /// have to check the fields in T1: T2 may be larger than T1.  If AllowLargerT1
 386 /// is true, then we also allow a larger T1.
 387 ///
 388 static bool ElementTypesAreCompatible(const Type *T1, const Type *T2,
 389                                       bool AllowLargerT1, const TargetData &TD){
 390   TypeElementWalker T1W(T1, TD), T2W(T2, TD);
 391
 392   while (!T1W.isDone() && !T2W.isDone()) {
 393     if (T1W.getCurrentOffset() != T2W.getCurrentOffset())
 394       return false;
 395
 396     const Type *T1 = T1W.getCurrentType();
 397     const Type *T2 = T2W.getCurrentType();
 398     if (T1 != T2 && !T1->isLosslesslyConvertibleTo(T2))
 399       return false;
 400
 401     T1W.StepToNextType();
 402     T2W.StepToNextType();
 403   }
 404
 405   return AllowLargerT1 || T1W.isDone();
 406 }
 407
 408
 409 /// mergeTypeInfo - This method merges the specified type into the current node
 410 /// at the specified offset.  This may update the current node's type record if
 411 /// this gives more information to the node, it may do nothing to the node if
 412 /// this information is already known, or it may merge the node completely (and
 413 /// return true) if the information is incompatible with what is already known.
 414 ///
 415 /// This method returns true if the node is completely folded, otherwise false.
 416 ///
 417 bool DSNode::mergeTypeInfo(const Type *NewTy, unsigned Offset,
 418                            bool FoldIfIncompatible) {
 419   const TargetData &TD = getTargetData();
 420   // Check to make sure the Size member is up-to-date.  Size can be one of the
 421   // following:
 422   //  Size = 0, Ty = Void: Nothing is known about this node.
 423   //  Size = 0, Ty = FnTy: FunctionPtr doesn't have a size, so we use zero
 424   //  Size = 1, Ty = Void, Array = 1: The node is collapsed
 425   //  Otherwise, sizeof(Ty) = Size
 426   //
 427   assert(((Size == 0 && Ty == Type::VoidTy && !isArray()) ||
 428           (Size == 0 && !Ty->isSized() && !isArray()) ||
 429           (Size == 1 && Ty == Type::VoidTy && isArray()) ||
 430           (Size == 0 && !Ty->isSized() && !isArray()) ||
 431           (TD.getTypeSize(Ty) == Size)) &&
 432          "Size member of DSNode doesn't match the type structure!");
 433   assert(NewTy != Type::VoidTy && "Cannot merge void type into DSNode!");
 434
 435   if (Offset == 0 && NewTy == Ty)
 436     return false;  // This should be a common case, handle it efficiently
 437
 438   // Return true immediately if the node is completely folded.
 439   if (isNodeCompletelyFolded()) return true;
 440
 441   // If this is an array type, eliminate the outside arrays because they won't
 442   // be used anyway.  This greatly reduces the size of large static arrays used
 443   // as global variables, for example.
 444   //
 445   bool WillBeArray = false;
 446   while (const ArrayType *AT = dyn_cast<ArrayType>(NewTy)) {
 447     // FIXME: we might want to keep small arrays, but must be careful about
 448     // things like: [2 x [10000 x int*]]
 449     NewTy = AT->getElementType();
 450     WillBeArray = true;
 451   }
 452
 453   // Figure out how big the new type we're merging in is...
 454   unsigned NewTySize = NewTy->isSized() ? (unsigned)TD.getTypeSize(NewTy) : 0;
 455
 456   // Otherwise check to see if we can fold this type into the current node.  If
 457   // we can't, we fold the node completely, if we can, we potentially update our
 458   // internal state.
 459   //
 460   if (Ty == Type::VoidTy) {
 461     // If this is the first type that this node has seen, just accept it without
 462     // question....
 463     assert(Offset == 0 && !isArray() &&
 464            "Cannot have an offset into a void node!");
 465
 466     // If this node would have to have an unreasonable number of fields, just
 467     // collapse it.  This can occur for fortran common blocks, which have stupid
 468     // things like { [100000000 x double], [1000000 x double] }.
 469     unsigned NumFields = (NewTySize+DS::PointerSize-1) >> DS::PointerShift;
 470     if (NumFields > 64) {
 471       foldNodeCompletely();
 472       return true;
 473     }
 474
 475     Ty = NewTy;
 476     NodeType &= ~Array;
 477     if (WillBeArray) NodeType |= Array;
 478     Size = NewTySize;
 479
 480     // Calculate the number of outgoing links from this node.
 481     Links.resize(NumFields);
 482     return false;
 483   }
 484
 485   // Handle node expansion case here...
 486   if (Offset+NewTySize > Size) {
 487     // It is illegal to grow this node if we have treated it as an array of
 488     // objects...
 489     if (isArray()) {
 490       if (FoldIfIncompatible) foldNodeCompletely();
 491       return true;
 492     }
 493
 494     if (Offset) {  // We could handle this case, but we don't for now...
 495       std::cerr << "UNIMP: Trying to merge a growth type into "
 496                 << "offset != 0: Collapsing!\n";
 497       if (FoldIfIncompatible) foldNodeCompletely();
 498       return true;
 499     }
 500
 501     // Okay, the situation is nice and simple, we are trying to merge a type in
 502     // at offset 0 that is bigger than our current type.  Implement this by
 503     // switching to the new type and then merge in the smaller one, which should
 504     // hit the other code path here.  If the other code path decides it's not
 505     // ok, it will collapse the node as appropriate.
 506     //
 507
 508     // If this node would have to have an unreasonable number of fields, just
 509     // collapse it.  This can occur for fortran common blocks, which have stupid
 510     // things like { [100000000 x double], [1000000 x double] }.
 511     unsigned NumFields = (NewTySize+DS::PointerSize-1) >> DS::PointerShift;
 512     if (NumFields > 64) {
 513       foldNodeCompletely();
 514       return true;
 515     }
 516
 517     const Type *OldTy = Ty;
 518     Ty = NewTy;
 519     NodeType &= ~Array;
 520     if (WillBeArray) NodeType |= Array;
 521     Size = NewTySize;
 522
 523     // Must grow links to be the appropriate size...
 524     Links.resize(NumFields);
 525
 526     // Merge in the old type now... which is guaranteed to be smaller than the
 527     // "current" type.
 528     return mergeTypeInfo(OldTy, 0);
 529   }
 530
 531   assert(Offset <= Size &&
 532          "Cannot merge something into a part of our type that doesn't exist!");
 533
 534   // Find the section of Ty that NewTy overlaps with... first we find the
 535   // type that starts at offset Offset.
 536   //
 537   unsigned O = 0;
 538   const Type *SubType = Ty;
 539   while (O < Offset) {
 540     assert(Offset-O < TD.getTypeSize(SubType) && "Offset out of range!");
 541
 542     switch (SubType->getTypeID()) {
 543     case Type::StructTyID: {
 544       const StructType *STy = cast<StructType>(SubType);
 545       const StructLayout &SL = *TD.getStructLayout(STy);
 546       unsigned i = SL.getElementContainingOffset(Offset-O);
 547
 548       // The offset we are looking for must be in the i'th element...
 549       SubType = STy->getElementType(i);
 550       O += (unsigned)SL.MemberOffsets[i];
 551       break;
 552     }
 553     case Type::ArrayTyID: {
 554       SubType = cast<ArrayType>(SubType)->getElementType();
 555       unsigned ElSize = (unsigned)TD.getTypeSize(SubType);
 556       unsigned Remainder = (Offset-O) % ElSize;
 557       O = Offset-Remainder;
 558       break;
 559     }
 560     default:
 561       if (FoldIfIncompatible) foldNodeCompletely();
 562       return true;
 563     }
 564   }
 565
 566   assert(O == Offset && "Could not achieve the correct offset!");
 567
 568   // If we found our type exactly, early exit
 569   if (SubType == NewTy) return false;
 570
 571   // Differing function types don't require us to merge.  They are not values
 572   // anyway.
 573   if (isa<FunctionType>(SubType) &&
 574       isa<FunctionType>(NewTy)) return false;
 575
 576   unsigned SubTypeSize = SubType->isSized() ?
 577        (unsigned)TD.getTypeSize(SubType) : 0;
 578
 579   // Ok, we are getting desperate now.  Check for physical subtyping, where we
 580   // just require each element in the node to be compatible.
 581   if (NewTySize <= SubTypeSize && NewTySize && NewTySize < 256 &&
 582       SubTypeSize && SubTypeSize < 256 &&
 583       ElementTypesAreCompatible(NewTy, SubType, !isArray(), TD))
 584     return false;
 585
 586   // Okay, so we found the leader type at the offset requested.  Search the list
 587   // of types that starts at this offset.  If SubType is currently an array or
 588   // structure, the type desired may actually be the first element of the
 589   // composite type...
 590   //
 591   unsigned PadSize = SubTypeSize; // Size, including pad memory which is ignored
 592   while (SubType != NewTy) {
 593     const Type *NextSubType = 0;
 594     unsigned NextSubTypeSize = 0;
 595     unsigned NextPadSize = 0;
 596     switch (SubType->getTypeID()) {
 597     case Type::StructTyID: {
 598       const StructType *STy = cast<StructType>(SubType);
 599       const StructLayout &SL = *TD.getStructLayout(STy);
 600       if (SL.MemberOffsets.size() > 1)
 601         NextPadSize = (unsigned)SL.MemberOffsets[1];
 602       else
 603         NextPadSize = SubTypeSize;
 604       NextSubType = STy->getElementType(0);
 605       NextSubTypeSize = (unsigned)TD.getTypeSize(NextSubType);
 606       break;
 607     }
 608     case Type::ArrayTyID:
 609       NextSubType = cast<ArrayType>(SubType)->getElementType();
 610       NextSubTypeSize = (unsigned)TD.getTypeSize(NextSubType);
 611       NextPadSize = NextSubTypeSize;
 612       break;
 613     default: ;
 614       // fall out
 615     }
 616
 617     if (NextSubType == 0)
 618       break;   // In the default case, break out of the loop
 619
 620     if (NextPadSize < NewTySize)
 621       break;   // Don't allow shrinking to a smaller type than NewTySize
 622     SubType = NextSubType;
 623     SubTypeSize = NextSubTypeSize;
 624     PadSize = NextPadSize;
 625   }
 626
 627   // If we found the type exactly, return it...
 628   if (SubType == NewTy)
 629     return false;
 630
 631   // Check to see if we have a compatible, but different type...
 632   if (NewTySize == SubTypeSize) {
 633     // Check to see if this type is obviously convertible... int -> uint f.e.
 634     if (NewTy->isLosslesslyConvertibleTo(SubType))
 635       return false;
 636
 637     // Check to see if we have a pointer & integer mismatch going on here,
 638     // loading a pointer as a long, for example.
 639     //
 640     if (SubType->isInteger() && isa<PointerType>(NewTy) ||
 641         NewTy->isInteger() && isa<PointerType>(SubType))
 642       return false;
 643   } else if (NewTySize > SubTypeSize && NewTySize <= PadSize) {
 644     // We are accessing the field, plus some structure padding.  Ignore the
 645     // structure padding.
 646     return false;
 647   }
 648
 649   Module *M = 0;
 650   if (getParentGraph()->retnodes_begin() != getParentGraph()->retnodes_end())
 651     M = getParentGraph()->retnodes_begin()->first->getParent();
 652   DEBUG(std::cerr << "MergeTypeInfo Folding OrigTy: ";
 653         WriteTypeSymbolic(std::cerr, Ty, M) << "\n due to:";
 654         WriteTypeSymbolic(std::cerr, NewTy, M) << " @ " << Offset << "!\n"
 655                   << "SubType: ";
 656         WriteTypeSymbolic(std::cerr, SubType, M) << "\n\n");
 657
 658   if (FoldIfIncompatible) foldNodeCompletely();
 659   return true;
 660 }
 661
 662
 663
 664 /// addEdgeTo - Add an edge from the current node to the specified node.  This
 665 /// can cause merging of nodes in the graph.
 666 ///
 667 void DSNode::addEdgeTo(unsigned Offset, const DSNodeHandle &NH) {
 668   if (NH.isNull()) return;       // Nothing to do
 669
 670   DSNodeHandle &ExistingEdge = getLink(Offset);
 671   if (!ExistingEdge.isNull()) {
 672     // Merge the two nodes...
 673     ExistingEdge.mergeWith(NH);
 674   } else {                             // No merging to perform...
 675     setLink(Offset, NH);               // Just force a link in there...
 676   }
 677 }
 678
 679
 680 /// MergeSortedVectors - Efficiently merge a vector into another vector where
 681 /// duplicates are not allowed and both are sorted.  This assumes that 'T's are
 682 /// efficiently copyable and have sane comparison semantics.
 683 ///
 684 static void MergeSortedVectors(std::vector<GlobalValue*> &Dest,
 685                                const std::vector<GlobalValue*> &Src) {
 686   // By far, the most common cases will be the simple ones.  In these cases,
 687   // avoid having to allocate a temporary vector...
 688   //
 689   if (Src.empty()) {             // Nothing to merge in...
 690     return;
 691   } else if (Dest.empty()) {     // Just copy the result in...
 692     Dest = Src;
 693   } else if (Src.size() == 1) {  // Insert a single element...
 694     const GlobalValue *V = Src[0];
 695     std::vector<GlobalValue*>::iterator I =
 696       std::lower_bound(Dest.begin(), Dest.end(), V);
 697     if (I == Dest.end() || *I != Src[0])  // If not already contained...
 698       Dest.insert(I, Src[0]);
 699   } else if (Dest.size() == 1) {
 700     GlobalValue *Tmp = Dest[0];           // Save value in temporary...
 701     Dest = Src;                           // Copy over list...
 702     std::vector<GlobalValue*>::iterator I =
 703       std::lower_bound(Dest.begin(), Dest.end(), Tmp);
 704     if (I == Dest.end() || *I != Tmp)     // If not already contained...
 705       Dest.insert(I, Tmp);
 706
 707   } else {
 708     // Make a copy to the side of Dest...
 709     std::vector<GlobalValue*> Old(Dest);
 710
 711     // Make space for all of the type entries now...
 712     Dest.resize(Dest.size()+Src.size());
 713
 714     // Merge the two sorted ranges together... into Dest.
 715     std::merge(Old.begin(), Old.end(), Src.begin(), Src.end(), Dest.begin());
 716
 717     // Now erase any duplicate entries that may have accumulated into the
 718     // vectors (because they were in both of the input sets)
 719     Dest.erase(std::unique(Dest.begin(), Dest.end()), Dest.end());
 720   }
 721 }
 722
 723 void DSNode::mergeGlobals(const std::vector<GlobalValue*> &RHS) {
 724   MergeSortedVectors(Globals, RHS);
 725 }
 726
 727 // MergeNodes - Helper function for DSNode::mergeWith().
 728 // This function does the hard work of merging two nodes, CurNodeH
 729 // and NH after filtering out trivial cases and making sure that
 730 // CurNodeH.offset >= NH.offset.
 731 //
 732 // ***WARNING***
 733 // Since merging may cause either node to go away, we must always
 734 // use the node-handles to refer to the nodes.  These node handles are
 735 // automatically updated during merging, so will always provide access
 736 // to the correct node after a merge.
 737 //
 738 void DSNode::MergeNodes(DSNodeHandle& CurNodeH, DSNodeHandle& NH) {
 739   assert(CurNodeH.getOffset() >= NH.getOffset() &&
 740          "This should have been enforced in the caller.");
 741   assert(CurNodeH.getNode()->getParentGraph()==NH.getNode()->getParentGraph() &&
 742          "Cannot merge two nodes that are not in the same graph!");
 743
 744   // Now we know that Offset >= NH.Offset, so convert it so our "Offset" (with
 745   // respect to NH.Offset) is now zero.  NOffset is the distance from the base
 746   // of our object that N starts from.
 747   //
 748   unsigned NOffset = CurNodeH.getOffset()-NH.getOffset();
 749   unsigned NSize = NH.getNode()->getSize();
 750
 751   // If the two nodes are of different size, and the smaller node has the array
 752   // bit set, collapse!
 753   if (NSize != CurNodeH.getNode()->getSize()) {
 754 #if COLLAPSE_ARRAYS_AGGRESSIVELY
 755     if (NSize < CurNodeH.getNode()->getSize()) {
 756       if (NH.getNode()->isArray())
 757         NH.getNode()->foldNodeCompletely();
 758     } else if (CurNodeH.getNode()->isArray()) {
 759       NH.getNode()->foldNodeCompletely();
 760     }
 761 #endif
 762   }
 763
 764   // Merge the type entries of the two nodes together...
 765   if (NH.getNode()->Ty != Type::VoidTy)
 766     CurNodeH.getNode()->mergeTypeInfo(NH.getNode()->Ty, NOffset);
 767   assert(!CurNodeH.getNode()->isDeadNode());
 768
 769   // If we are merging a node with a completely folded node, then both nodes are
 770   // now completely folded.
 771   //
 772   if (CurNodeH.getNode()->isNodeCompletelyFolded()) {
 773     if (!NH.getNode()->isNodeCompletelyFolded()) {
 774       NH.getNode()->foldNodeCompletely();
 775       assert(NH.getNode() && NH.getOffset() == 0 &&
 776              "folding did not make offset 0?");
 777       NOffset = NH.getOffset();
 778       NSize = NH.getNode()->getSize();
 779       assert(NOffset == 0 && NSize == 1);
 780     }
 781   } else if (NH.getNode()->isNodeCompletelyFolded()) {
 782     CurNodeH.getNode()->foldNodeCompletely();
 783     assert(CurNodeH.getNode() && CurNodeH.getOffset() == 0 &&
 784            "folding did not make offset 0?");
 785     NSize = NH.getNode()->getSize();
 786     NOffset = NH.getOffset();
 787     assert(NOffset == 0 && NSize == 1);
 788   }
 789
 790   DSNode *N = NH.getNode();
 791   if (CurNodeH.getNode() == N || N == 0) return;
 792   assert(!CurNodeH.getNode()->isDeadNode());
 793
 794   // Merge the NodeType information.
 795   CurNodeH.getNode()->NodeType |= N->NodeType;
 796
 797   // Start forwarding to the new node!
 798   N->forwardNode(CurNodeH.getNode(), NOffset);
 799   assert(!CurNodeH.getNode()->isDeadNode());
 800
 801   // Make all of the outgoing links of N now be outgoing links of CurNodeH.
 802   //
 803   for (unsigned i = 0; i < N->getNumLinks(); ++i) {
 804     DSNodeHandle &Link = N->getLink(i << DS::PointerShift);
 805     if (Link.getNode()) {
 806       // Compute the offset into the current node at which to
 807       // merge this link.  In the common case, this is a linear
 808       // relation to the offset in the original node (with
 809       // wrapping), but if the current node gets collapsed due to
 810       // recursive merging, we must make sure to merge in all remaining
 811       // links at offset zero.
 812       unsigned MergeOffset = 0;
 813       DSNode *CN = CurNodeH.getNode();
 814       if (CN->Size != 1)
 815         MergeOffset = ((i << DS::PointerShift)+NOffset) % CN->getSize();
 816       CN->addEdgeTo(MergeOffset, Link);
 817     }
 818   }
 819
 820   // Now that there are no outgoing edges, all of the Links are dead.
 821   N->Links.clear();
 822
 823   // Merge the globals list...
 824   if (!N->Globals.empty()) {
 825     CurNodeH.getNode()->mergeGlobals(N->Globals);
 826
 827     // Delete the globals from the old node...
 828     std::vector<GlobalValue*>().swap(N->Globals);
 829   }
 830 }
 831
 832
 833 /// mergeWith - Merge this node and the specified node, moving all links to and
 834 /// from the argument node into the current node, deleting the node argument.
 835 /// Offset indicates what offset the specified node is to be merged into the
 836 /// current node.
 837 ///
 838 /// The specified node may be a null pointer (in which case, we update it to
 839 /// point to this node).
 840 ///
 841 void DSNode::mergeWith(const DSNodeHandle &NH, unsigned Offset) {
 842   DSNode *N = NH.getNode();
 843   if (N == this && NH.getOffset() == Offset)
 844     return;  // Noop
 845
 846   // If the RHS is a null node, make it point to this node!
 847   if (N == 0) {
 848     NH.mergeWith(DSNodeHandle(this, Offset));
 849     return;
 850   }
 851
 852   assert(!N->isDeadNode() && !isDeadNode());
 853   assert(!hasNoReferrers() && "Should not try to fold a useless node!");
 854
 855   if (N == this) {
 856     // We cannot merge two pieces of the same node together, collapse the node
 857     // completely.
 858     DEBUG(std::cerr << "Attempting to merge two chunks of"
 859                     << " the same node together!\n");
 860     foldNodeCompletely();
 861     return;
 862   }
 863
 864   // If both nodes are not at offset 0, make sure that we are merging the node
 865   // at an later offset into the node with the zero offset.
 866   //
 867   if (Offset < NH.getOffset()) {
 868     N->mergeWith(DSNodeHandle(this, Offset), NH.getOffset());
 869     return;
 870   } else if (Offset == NH.getOffset() && getSize() < N->getSize()) {
 871     // If the offsets are the same, merge the smaller node into the bigger node
 872     N->mergeWith(DSNodeHandle(this, Offset), NH.getOffset());
 873     return;
 874   }
 875
 876   // Ok, now we can merge the two nodes.  Use a static helper that works with
 877   // two node handles, since "this" may get merged away at intermediate steps.
 878   DSNodeHandle CurNodeH(this, Offset);
 879   DSNodeHandle NHCopy(NH);
 880   DSNode::MergeNodes(CurNodeH, NHCopy);
 881 }
 882
 883
 884 //===----------------------------------------------------------------------===//
 885 // ReachabilityCloner Implementation
 886 //===----------------------------------------------------------------------===//
 887
 888 DSNodeHandle ReachabilityCloner::getClonedNH(const DSNodeHandle &SrcNH) {
 889   if (SrcNH.isNull()) return DSNodeHandle();
 890   const DSNode *SN = SrcNH.getNode();
 891
 892   DSNodeHandle &NH = NodeMap[SN];
 893   if (!NH.isNull()) {   // Node already mapped?
 894     DSNode *NHN = NH.getNode();
 895     return DSNodeHandle(NHN, NH.getOffset()+SrcNH.getOffset());
 896   }
 897
 898   // If SrcNH has globals and the destination graph has one of the same globals,
 899   // merge this node with the destination node, which is much more efficient.
 900   if (SN->globals_begin() != SN->globals_end()) {
 901     DSScalarMap &DestSM = Dest.getScalarMap();
 902     for (DSNode::globals_iterator I = SN->globals_begin(),E = SN->globals_end();
 903          I != E; ++I) {
 904       GlobalValue *GV = *I;
 905       DSScalarMap::iterator GI = DestSM.find(GV);
 906       if (GI != DestSM.end() && !GI->second.isNull()) {
 907         // We found one, use merge instead!
 908         merge(GI->second, Src.getNodeForValue(GV));
 909         assert(!NH.isNull() && "Didn't merge node!");
 910         DSNode *NHN = NH.getNode();
 911         return DSNodeHandle(NHN, NH.getOffset()+SrcNH.getOffset());
 912       }
 913     }
 914   }
 915
 916   DSNode *DN = new DSNode(*SN, &Dest, true /* Null out all links */);
 917   DN->maskNodeTypes(BitsToKeep);
 918   NH = DN;
 919
 920   // Next, recursively clone all outgoing links as necessary.  Note that
 921   // adding these links can cause the node to collapse itself at any time, and
 922   // the current node may be merged with arbitrary other nodes.  For this
 923   // reason, we must always go through NH.
 924   DN = 0;
 925   for (unsigned i = 0, e = SN->getNumLinks(); i != e; ++i) {
 926     const DSNodeHandle &SrcEdge = SN->getLink(i << DS::PointerShift);
 927     if (!SrcEdge.isNull()) {
 928       const DSNodeHandle &DestEdge = getClonedNH(SrcEdge);
 929       // Compute the offset into the current node at which to
 930       // merge this link.  In the common case, this is a linear
 931       // relation to the offset in the original node (with
 932       // wrapping), but if the current node gets collapsed due to
 933       // recursive merging, we must make sure to merge in all remaining
 934       // links at offset zero.
 935       unsigned MergeOffset = 0;
 936       DSNode *CN = NH.getNode();
 937       if (CN->getSize() != 1)
 938         MergeOffset = ((i << DS::PointerShift)+NH.getOffset()) % CN->getSize();
 939       CN->addEdgeTo(MergeOffset, DestEdge);
 940     }
 941   }
 942
 943   // If this node contains any globals, make sure they end up in the scalar
 944   // map with the correct offset.
 945   for (DSNode::globals_iterator I = SN->globals_begin(), E = SN->globals_end();
 946        I != E; ++I) {
 947     GlobalValue *GV = *I;
 948     const DSNodeHandle &SrcGNH = Src.getNodeForValue(GV);
 949     DSNodeHandle &DestGNH = NodeMap[SrcGNH.getNode()];
 950     assert(DestGNH.getNode() == NH.getNode() &&"Global mapping inconsistent");
 951     Dest.getNodeForValue(GV).mergeWith(DSNodeHandle(DestGNH.getNode(),
 952                                        DestGNH.getOffset()+SrcGNH.getOffset()));
 953   }
 954   NH.getNode()->mergeGlobals(SN->getGlobalsList());
 955
 956   return DSNodeHandle(NH.getNode(), NH.getOffset()+SrcNH.getOffset());
 957 }
 958
 959 void ReachabilityCloner::merge(const DSNodeHandle &NH,
 960                                const DSNodeHandle &SrcNH) {
 961   if (SrcNH.isNull()) return;  // Noop
 962   if (NH.isNull()) {
 963     // If there is no destination node, just clone the source and assign the
 964     // destination node to be it.
 965     NH.mergeWith(getClonedNH(SrcNH));
 966     return;
 967   }
 968
 969   // Okay, at this point, we know that we have both a destination and a source
 970   // node that need to be merged.  Check to see if the source node has already
 971   // been cloned.
 972   const DSNode *SN = SrcNH.getNode();
 973   DSNodeHandle &SCNH = NodeMap[SN];  // SourceClonedNodeHandle
 974   if (!SCNH.isNull()) {   // Node already cloned?
 975     DSNode *SCNHN = SCNH.getNode();
 976     NH.mergeWith(DSNodeHandle(SCNHN,
 977                               SCNH.getOffset()+SrcNH.getOffset()));
 978     return;  // Nothing to do!
 979   }
 980
 981   // Okay, so the source node has not already been cloned.  Instead of creating
 982   // a new DSNode, only to merge it into the one we already have, try to perform
 983   // the merge in-place.  The only case we cannot handle here is when the offset
 984   // into the existing node is less than the offset into the virtual node we are
 985   // merging in.  In this case, we have to extend the existing node, which
 986   // requires an allocation anyway.
 987   DSNode *DN = NH.getNode();   // Make sure the Offset is up-to-date
 988   if (NH.getOffset() >= SrcNH.getOffset()) {
 989     if (!DN->isNodeCompletelyFolded()) {
 990       // Make sure the destination node is folded if the source node is folded.
 991       if (SN->isNodeCompletelyFolded()) {
 992         DN->foldNodeCompletely();
 993         DN = NH.getNode();
 994       } else if (SN->getSize() != DN->getSize()) {
 995         // If the two nodes are of different size, and the smaller node has the
 996         // array bit set, collapse!
 997 #if COLLAPSE_ARRAYS_AGGRESSIVELY
 998         if (SN->getSize() < DN->getSize()) {
 999           if (SN->isArray()) {
1000             DN->foldNodeCompletely();
1001             DN = NH.getNode();
1002           }
1003         } else if (DN->isArray()) {
1004           DN->foldNodeCompletely();
1005           DN = NH.getNode();
1006         }
1007 #endif
1008       }
1009
1010       // Merge the type entries of the two nodes together...
1011       if (SN->getType() != Type::VoidTy && !DN->isNodeCompletelyFolded()) {
1012         DN->mergeTypeInfo(SN->getType(), NH.getOffset()-SrcNH.getOffset());
1013         DN = NH.getNode();
1014       }
1015     }
1016
1017     assert(!DN->isDeadNode());
1018
1019     // Merge the NodeType information.
1020     DN->mergeNodeFlags(SN->getNodeFlags() & BitsToKeep);
1021
1022     // Before we start merging outgoing links and updating the scalar map, make
1023     // sure it is known that this is the representative node for the src node.
1024     SCNH = DSNodeHandle(DN, NH.getOffset()-SrcNH.getOffset());
1025
1026     // If the source node contains any globals, make sure they end up in the
1027     // scalar map with the correct offset.
1028     if (SN->globals_begin() != SN->globals_end()) {
1029       // Update the globals in the destination node itself.
1030       DN->mergeGlobals(SN->getGlobalsList());
1031
1032       // Update the scalar map for the graph we are merging the source node
1033       // into.
1034       for (DSNode::globals_iterator I = SN->globals_begin(),
1035              E = SN->globals_end(); I != E; ++I) {
1036         GlobalValue *GV = *I;
1037         const DSNodeHandle &SrcGNH = Src.getNodeForValue(GV);
1038         DSNodeHandle &DestGNH = NodeMap[SrcGNH.getNode()];
1039         assert(DestGNH.getNode()==NH.getNode() &&"Global mapping inconsistent");
1040         Dest.getNodeForValue(GV).mergeWith(DSNodeHandle(DestGNH.getNode(),
1041                                       DestGNH.getOffset()+SrcGNH.getOffset()));
1042       }
1043       NH.getNode()->mergeGlobals(SN->getGlobalsList());
1044     }
1045   } else {
1046     // We cannot handle this case without allocating a temporary node.  Fall
1047     // back on being simple.
1048     DSNode *NewDN = new DSNode(*SN, &Dest, true /* Null out all links */);
1049     NewDN->maskNodeTypes(BitsToKeep);
1050
1051     unsigned NHOffset = NH.getOffset();
1052     NH.mergeWith(DSNodeHandle(NewDN, SrcNH.getOffset()));
1053
1054     assert(NH.getNode() &&
1055            (NH.getOffset() > NHOffset ||
1056             (NH.getOffset() == 0 && NH.getNode()->isNodeCompletelyFolded())) &&
1057            "Merging did not adjust the offset!");
1058
1059     // Before we start merging outgoing links and updating the scalar map, make
1060     // sure it is known that this is the representative node for the src node.
1061     SCNH = DSNodeHandle(NH.getNode(), NH.getOffset()-SrcNH.getOffset());
1062
1063     // If the source node contained any globals, make sure to create entries
1064     // in the scalar map for them!
1065     for (DSNode::globals_iterator I = SN->globals_begin(),
1066            E = SN->globals_end(); I != E; ++I) {
1067       GlobalValue *GV = *I;
1068       const DSNodeHandle &SrcGNH = Src.getNodeForValue(GV);
1069       DSNodeHandle &DestGNH = NodeMap[SrcGNH.getNode()];
1070       assert(DestGNH.getNode()==NH.getNode() &&"Global mapping inconsistent");
1071       assert(SrcGNH.getNode() == SN && "Global mapping inconsistent");
1072       Dest.getNodeForValue(GV).mergeWith(DSNodeHandle(DestGNH.getNode(),
1073                                     DestGNH.getOffset()+SrcGNH.getOffset()));
1074     }
1075   }
1076
1077
1078   // Next, recursively merge all outgoing links as necessary.  Note that
1079   // adding these links can cause the destination node to collapse itself at
1080   // any time, and the current node may be merged with arbitrary other nodes.
1081   // For this reason, we must always go through NH.
1082   DN = 0;
1083   for (unsigned i = 0, e = SN->getNumLinks(); i != e; ++i) {
1084     const DSNodeHandle &SrcEdge = SN->getLink(i << DS::PointerShift);
1085     if (!SrcEdge.isNull()) {
1086       // Compute the offset into the current node at which to
1087       // merge this link.  In the common case, this is a linear
1088       // relation to the offset in the original node (with
1089       // wrapping), but if the current node gets collapsed due to
1090       // recursive merging, we must make sure to merge in all remaining
1091       // links at offset zero.
1092       DSNode *CN = SCNH.getNode();
1093       unsigned MergeOffset =
1094         ((i << DS::PointerShift)+SCNH.getOffset()) % CN->getSize();
1095
1096       DSNodeHandle Tmp = CN->getLink(MergeOffset);
1097       if (!Tmp.isNull()) {
1098         // Perform the recursive merging.  Make sure to create a temporary NH,
1099         // because the Link can disappear in the process of recursive merging.
1100         merge(Tmp, SrcEdge);
1101       } else {
1102         Tmp.mergeWith(getClonedNH(SrcEdge));
1103         // Merging this could cause all kinds of recursive things to happen,
1104         // culminating in the current node being eliminated.  Since this is
1105         // possible, make sure to reaquire the link from 'CN'.
1106
1107         unsigned MergeOffset = 0;
1108         CN = SCNH.getNode();
1109         MergeOffset = ((i << DS::PointerShift)+SCNH.getOffset()) %CN->getSize();
1110         CN->getLink(MergeOffset).mergeWith(Tmp);
1111       }
1112     }
1113   }
1114 }
1115
1116 /// mergeCallSite - Merge the nodes reachable from the specified src call
1117 /// site into the nodes reachable from DestCS.
1118 void ReachabilityCloner::mergeCallSite(DSCallSite &DestCS,
1119                                        const DSCallSite &SrcCS) {
1120   merge(DestCS.getRetVal(), SrcCS.getRetVal());
1121   unsigned MinArgs = DestCS.getNumPtrArgs();
1122   if (SrcCS.getNumPtrArgs() < MinArgs) MinArgs = SrcCS.getNumPtrArgs();
1123
1124   for (unsigned a = 0; a != MinArgs; ++a)
1125     merge(DestCS.getPtrArg(a), SrcCS.getPtrArg(a));
1126
1127   for (unsigned a = MinArgs, e = SrcCS.getNumPtrArgs(); a != e; ++a)
1128     DestCS.addPtrArg(getClonedNH(SrcCS.getPtrArg(a)));
1129 }
1130
1131
1132 //===----------------------------------------------------------------------===//
1133 // DSCallSite Implementation
1134 //===----------------------------------------------------------------------===//
1135
1136 // Define here to avoid including iOther.h and BasicBlock.h in DSGraph.h
1137 Function &DSCallSite::getCaller() const {
1138   return *Site.getInstruction()->getParent()->getParent();
1139 }
1140
1141 void DSCallSite::InitNH(DSNodeHandle &NH, const DSNodeHandle &Src,
1142                         ReachabilityCloner &RC) {
1143   NH = RC.getClonedNH(Src);
1144 }
1145
1146 //===----------------------------------------------------------------------===//
1147 // DSGraph Implementation
1148 //===----------------------------------------------------------------------===//
1149
1150 /// getFunctionNames - Return a space separated list of the name of the
1151 /// functions in this graph (if any)
1152 std::string DSGraph::getFunctionNames() const {
1153   switch (getReturnNodes().size()) {
1154   case 0: return "Globals graph";
1155   case 1: return retnodes_begin()->first->getName();
1156   default:
1157     std::string Return;
1158     for (DSGraph::retnodes_iterator I = retnodes_begin();
1159          I != retnodes_end(); ++I)
1160       Return += I->first->getName() + " ";
1161     Return.erase(Return.end()-1, Return.end());   // Remove last space character
1162     return Return;
1163   }
1164 }
1165
1166
1167 DSGraph::DSGraph(const DSGraph &G, EquivalenceClasses<GlobalValue*> &ECs,
1168                  unsigned CloneFlags)
1169   : GlobalsGraph(0), ScalarMap(ECs), TD(G.TD) {
1170   PrintAuxCalls = false;
1171   NodeMapTy NodeMap;
1172   cloneInto(G, ScalarMap, ReturnNodes, NodeMap, CloneFlags);
1173 }
1174
1175 DSGraph::DSGraph(const DSGraph &G, NodeMapTy &NodeMap,
1176                  EquivalenceClasses<GlobalValue*> &ECs)
1177   : GlobalsGraph(0), ScalarMap(ECs), TD(G.TD) {
1178   PrintAuxCalls = false;
1179   cloneInto(G, ScalarMap, ReturnNodes, NodeMap);
1180 }
1181
1182 DSGraph::~DSGraph() {
1183   FunctionCalls.clear();
1184   AuxFunctionCalls.clear();
1185   ScalarMap.clear();
1186   ReturnNodes.clear();
1187
1188   // Drop all intra-node references, so that assertions don't fail...
1189   for (node_iterator NI = node_begin(), E = node_end(); NI != E; ++NI)
1190     NI->dropAllReferences();
1191
1192   // Free all of the nodes.
1193   Nodes.clear();
1194 }
1195
1196 // dump - Allow inspection of graph in a debugger.
1197 void DSGraph::dump() const { print(std::cerr); }
1198
1199
1200 /// remapLinks - Change all of the Links in the current node according to the
1201 /// specified mapping.
1202 ///
1203 void DSNode::remapLinks(DSGraph::NodeMapTy &OldNodeMap) {
1204   for (unsigned i = 0, e = Links.size(); i != e; ++i)
1205     if (DSNode *N = Links[i].getNode()) {
1206       DSGraph::NodeMapTy::const_iterator ONMI = OldNodeMap.find(N);
1207       if (ONMI != OldNodeMap.end()) {
1208         DSNode *ONMIN = ONMI->second.getNode();
1209         Links[i].setTo(ONMIN, Links[i].getOffset()+ONMI->second.getOffset());
1210       }
1211     }
1212 }
1213
1214 /// addObjectToGraph - This method can be used to add global, stack, and heap
1215 /// objects to the graph.  This can be used when updating DSGraphs due to the
1216 /// introduction of new temporary objects.  The new object is not pointed to
1217 /// and does not point to any other objects in the graph.
1218 DSNode *DSGraph::addObjectToGraph(Value *Ptr, bool UseDeclaredType) {
1219   assert(isa<PointerType>(Ptr->getType()) && "Ptr is not a pointer!");
1220   const Type *Ty = cast<PointerType>(Ptr->getType())->getElementType();
1221   DSNode *N = new DSNode(UseDeclaredType ? Ty : 0, this);
1222   assert(ScalarMap[Ptr].isNull() && "Object already in this graph!");
1223   ScalarMap[Ptr] = N;
1224
1225   if (GlobalValue *GV = dyn_cast<GlobalValue>(Ptr)) {
1226     N->addGlobal(GV);
1227   } else if (MallocInst *MI = dyn_cast<MallocInst>(Ptr)) {
1228     N->setHeapNodeMarker();
1229   } else if (AllocaInst *AI = dyn_cast<AllocaInst>(Ptr)) {
1230     N->setAllocaNodeMarker();
1231   } else {
1232     assert(0 && "Illegal memory object input!");
1233   }
1234   return N;
1235 }
1236
1237
1238 /// cloneInto - Clone the specified DSGraph into the current graph.  The
1239 /// translated ScalarMap for the old function is filled into the OldValMap
1240 /// member, and the translated ReturnNodes map is returned into ReturnNodes.
1241 ///
1242 /// The CloneFlags member controls various aspects of the cloning process.
1243 ///
1244 void DSGraph::cloneInto(const DSGraph &G, DSScalarMap &OldValMap,
1245                         ReturnNodesTy &OldReturnNodes, NodeMapTy &OldNodeMap,
1246                         unsigned CloneFlags) {
1247   TIME_REGION(X, "cloneInto");
1248   assert(OldNodeMap.empty() && "Returned OldNodeMap should be empty!");
1249   assert(&G != this && "Cannot clone graph into itself!");
1250
1251   // Remove alloca or mod/ref bits as specified...
1252   unsigned BitsToClear = ((CloneFlags & StripAllocaBit)? DSNode::AllocaNode : 0)
1253     | ((CloneFlags & StripModRefBits)? (DSNode::Modified | DSNode::Read) : 0)
1254     | ((CloneFlags & StripIncompleteBit)? DSNode::Incomplete : 0);
1255   BitsToClear |= DSNode::DEAD;  // Clear dead flag...
1256
1257   for (node_const_iterator I = G.node_begin(), E = G.node_end(); I != E; ++I) {
1258     assert(!I->isForwarding() &&
1259            "Forward nodes shouldn't be in node list!");
1260     DSNode *New = new DSNode(*I, this);
1261     New->maskNodeTypes(~BitsToClear);
1262     OldNodeMap[I] = New;
1263   }
1264
1265 #ifndef NDEBUG
1266   Timer::addPeakMemoryMeasurement();
1267 #endif
1268
1269   // Rewrite the links in the new nodes to point into the current graph now.
1270   // Note that we don't loop over the node's list to do this.  The problem is
1271   // that remaping links can cause recursive merging to happen, which means
1272   // that node_iterator's can get easily invalidated!  Because of this, we
1273   // loop over the OldNodeMap, which contains all of the new nodes as the
1274   // .second element of the map elements.  Also note that if we remap a node
1275   // more than once, we won't break anything.
1276   for (NodeMapTy::iterator I = OldNodeMap.begin(), E = OldNodeMap.end();
1277        I != E; ++I)
1278     I->second.getNode()->remapLinks(OldNodeMap);
1279
1280   // Copy the scalar map... merging all of the global nodes...
1281   for (DSScalarMap::const_iterator I = G.ScalarMap.begin(),
1282          E = G.ScalarMap.end(); I != E; ++I) {
1283     DSNodeHandle &MappedNode = OldNodeMap[I->second.getNode()];
1284     DSNodeHandle &H = OldValMap[I->first];
1285     DSNode *MappedNodeN = MappedNode.getNode();
1286     H.mergeWith(DSNodeHandle(MappedNodeN,
1287                              I->second.getOffset()+MappedNode.getOffset()));
1288
1289     // If this is a global, add the global to this fn or merge if already exists
1290     if (GlobalValue* GV = dyn_cast<GlobalValue>(I->first))
1291       ScalarMap[GV].mergeWith(H);
1292   }
1293
1294   if (!(CloneFlags & DontCloneCallNodes)) {
1295     // Copy the function calls list.
1296     for (fc_iterator I = G.fc_begin(), E = G.fc_end(); I != E; ++I)
1297       FunctionCalls.push_back(DSCallSite(*I, OldNodeMap));
1298   }
1299
1300   if (!(CloneFlags & DontCloneAuxCallNodes)) {
1301     // Copy the auxiliary function calls list.
1302     for (afc_iterator I = G.afc_begin(), E = G.afc_end(); I != E; ++I)
1303       AuxFunctionCalls.push_back(DSCallSite(*I, OldNodeMap));
1304   }
1305
1306   // Map the return node pointers over...
1307   for (retnodes_iterator I = G.retnodes_begin(),
1308          E = G.retnodes_end(); I != E; ++I) {
1309     const DSNodeHandle &Ret = I->second;
1310     DSNodeHandle &MappedRet = OldNodeMap[Ret.getNode()];
1311     DSNode *MappedRetN = MappedRet.getNode();
1312     OldReturnNodes.insert(std::make_pair(I->first,
1313                           DSNodeHandle(MappedRetN,
1314                                        MappedRet.getOffset()+Ret.getOffset())));
1315   }
1316 }
1317
1318 static bool PathExistsToClonedNode(const DSNode *N, ReachabilityCloner &RC) {
1319   if (N)
1320     for (df_iterator<const DSNode*> I = df_begin(N), E = df_end(N); I != E; ++I)
1321       if (RC.hasClonedNode(*I))
1322         return true;
1323   return false;
1324 }
1325
1326 static bool PathExistsToClonedNode(const DSCallSite &CS,
1327                                    ReachabilityCloner &RC) {
1328   if (PathExistsToClonedNode(CS.getRetVal().getNode(), RC))
1329     return true;
1330   for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i)
1331     if (PathExistsToClonedNode(CS.getPtrArg(i).getNode(), RC))
1332       return true;
1333   return false;
1334 }
1335
1336 /// getFunctionArgumentsForCall - Given a function that is currently in this
1337 /// graph, return the DSNodeHandles that correspond to the pointer-compatible
1338 /// function arguments.  The vector is filled in with the return value (or
1339 /// null if it is not pointer compatible), followed by all of the
1340 /// pointer-compatible arguments.
1341 void DSGraph::getFunctionArgumentsForCall(Function *F,
1342                                        std::vector<DSNodeHandle> &Args) const {
1343   Args.push_back(getReturnNodeFor(*F));
1344   for (Function::arg_iterator AI = F->arg_begin(), E = F->arg_end(); AI != E; ++AI)
1345     if (isPointerType(AI->getType())) {
1346       Args.push_back(getNodeForValue(AI));
1347       assert(!Args.back().isNull() && "Pointer argument w/o scalarmap entry!?");
1348     }
1349 }
1350
1351 /// mergeInCallFromOtherGraph - This graph merges in the minimal number of
1352 /// nodes from G2 into 'this' graph, merging the bindings specified by the
1353 /// call site (in this graph) with the bindings specified by the vector in G2.
1354 /// The two DSGraphs must be different.
1355 ///
1356 void DSGraph::mergeInGraph(const DSCallSite &CS,
1357                            std::vector<DSNodeHandle> &Args,
1358                            const DSGraph &Graph, unsigned CloneFlags) {
1359   TIME_REGION(X, "mergeInGraph");
1360
1361   // If this is not a recursive call, clone the graph into this graph...
1362   if (&Graph != this) {
1363     // Clone the callee's graph into the current graph, keeping track of where
1364     // scalars in the old graph _used_ to point, and of the new nodes matching
1365     // nodes of the old graph.
1366     ReachabilityCloner RC(*this, Graph, CloneFlags);
1367
1368     // Map the return node pointer over.
1369     if (!CS.getRetVal().isNull())
1370       RC.merge(CS.getRetVal(), Args[0]);
1371
1372     // Map over all of the arguments.
1373     for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i) {
1374       if (i == Args.size()-1)
1375         break;
1376
1377       // Add the link from the argument scalar to the provided value.
1378       RC.merge(CS.getPtrArg(i), Args[i+1]);
1379     }
1380
1381     // If requested, copy all of the calls.
1382     if (!(CloneFlags & DontCloneCallNodes)) {
1383       // Copy the function calls list.
1384       for (fc_iterator I = Graph.fc_begin(), E = Graph.fc_end(); I != E; ++I)
1385         FunctionCalls.push_back(DSCallSite(*I, RC));
1386     }
1387
1388     // If the user has us copying aux calls (the normal case), set up a data
1389     // structure to keep track of which ones we've copied over.
1390     std::set<const DSCallSite*> CopiedAuxCall;
1391
1392     // Clone over all globals that appear in the caller and callee graphs.
1393     hash_set<GlobalVariable*> NonCopiedGlobals;
1394     for (DSScalarMap::global_iterator GI = Graph.getScalarMap().global_begin(),
1395            E = Graph.getScalarMap().global_end(); GI != E; ++GI)
1396       if (GlobalVariable *GV = dyn_cast<GlobalVariable>(*GI))
1397         if (ScalarMap.count(GV))
1398           RC.merge(ScalarMap[GV], Graph.getNodeForValue(GV));
1399         else
1400           NonCopiedGlobals.insert(GV);
1401
1402     // If the global does not appear in the callers graph we generally don't
1403     // want to copy the node.  However, if there is a path from the node global
1404     // node to a node that we did copy in the graph, we *must* copy it to
1405     // maintain the connection information.  Every time we decide to include a
1406     // new global, this might make other globals live, so we must iterate
1407     // unfortunately.
1408     bool MadeChange = true;
1409     while (MadeChange) {
1410       MadeChange = false;
1411       for (hash_set<GlobalVariable*>::iterator I = NonCopiedGlobals.begin();
1412            I != NonCopiedGlobals.end();) {
1413         DSNode *GlobalNode = Graph.getNodeForValue(*I).getNode();
1414         if (RC.hasClonedNode(GlobalNode)) {
1415           // Already cloned it, remove from set.
1416           NonCopiedGlobals.erase(I++);
1417           MadeChange = true;
1418         } else if (PathExistsToClonedNode(GlobalNode, RC)) {
1419           RC.getClonedNH(Graph.getNodeForValue(*I));
1420           NonCopiedGlobals.erase(I++);
1421           MadeChange = true;
1422         } else {
1423           ++I;
1424         }
1425       }
1426
1427       // If requested, copy any aux calls that can reach copied nodes.
1428       if (!(CloneFlags & DontCloneAuxCallNodes)) {
1429         for (afc_iterator I = Graph.afc_begin(), E = Graph.afc_end(); I!=E; ++I)
1430           if (CopiedAuxCall.insert(&*I).second &&
1431               PathExistsToClonedNode(*I, RC)) {
1432             AuxFunctionCalls.push_back(DSCallSite(*I, RC));
1433             MadeChange = true;
1434           }
1435       }
1436     }
1437
1438   } else {
1439     // Merge the return value with the return value of the context.
1440     Args[0].mergeWith(CS.getRetVal());
1441
1442     // Resolve all of the function arguments.
1443     for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i) {
1444       if (i == Args.size()-1)
1445         break;
1446
1447       // Add the link from the argument scalar to the provided value.
1448       Args[i+1].mergeWith(CS.getPtrArg(i));
1449     }
1450   }
1451 }
1452
1453
1454
1455 /// mergeInGraph - The method is used for merging graphs together.  If the
1456 /// argument graph is not *this, it makes a clone of the specified graph, then
1457 /// merges the nodes specified in the call site with the formal arguments in the
1458 /// graph.
1459 ///
1460 void DSGraph::mergeInGraph(const DSCallSite &CS, Function &F,
1461                            const DSGraph &Graph, unsigned CloneFlags) {
1462   // Set up argument bindings.
1463   std::vector<DSNodeHandle> Args;
1464   Graph.getFunctionArgumentsForCall(&F, Args);
1465
1466   mergeInGraph(CS, Args, Graph, CloneFlags);
1467 }
1468
1469 /// getCallSiteForArguments - Get the arguments and return value bindings for
1470 /// the specified function in the current graph.
1471 ///
1472 DSCallSite DSGraph::getCallSiteForArguments(Function &F) const {
1473   std::vector<DSNodeHandle> Args;
1474
1475   for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I)
1476     if (isPointerType(I->getType()))
1477       Args.push_back(getNodeForValue(I));
1478
1479   return DSCallSite(CallSite(), getReturnNodeFor(F), &F, Args);
1480 }
1481
1482 /// getDSCallSiteForCallSite - Given an LLVM CallSite object that is live in
1483 /// the context of this graph, return the DSCallSite for it.
1484 DSCallSite DSGraph::getDSCallSiteForCallSite(CallSite CS) const {
1485   DSNodeHandle RetVal;
1486   Instruction *I = CS.getInstruction();
1487   if (isPointerType(I->getType()))
1488     RetVal = getNodeForValue(I);
1489
1490   std::vector<DSNodeHandle> Args;
1491   Args.reserve(CS.arg_end()-CS.arg_begin());
1492
1493   // Calculate the arguments vector...
1494   for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; ++I)
1495     if (isPointerType((*I)->getType()))
1496       if (isa<ConstantPointerNull>(*I))
1497         Args.push_back(DSNodeHandle());
1498       else
1499         Args.push_back(getNodeForValue(*I));
1500
1501   // Add a new function call entry...
1502   if (Function *F = CS.getCalledFunction())
1503     return DSCallSite(CS, RetVal, F, Args);
1504   else
1505     return DSCallSite(CS, RetVal,
1506                       getNodeForValue(CS.getCalledValue()).getNode(), Args);
1507 }
1508
1509
1510
1511 // markIncompleteNodes - Mark the specified node as having contents that are not
1512 // known with the current analysis we have performed.  Because a node makes all
1513 // of the nodes it can reach incomplete if the node itself is incomplete, we
1514 // must recursively traverse the data structure graph, marking all reachable
1515 // nodes as incomplete.
1516 //
1517 static void markIncompleteNode(DSNode *N) {
1518   // Stop recursion if no node, or if node already marked...
1519   if (N == 0 || N->isIncomplete()) return;
1520
1521   // Actually mark the node
1522   N->setIncompleteMarker();
1523
1524   // Recursively process children...
1525   for (DSNode::edge_iterator I = N->edge_begin(),E = N->edge_end(); I != E; ++I)
1526     if (DSNode *DSN = I->getNode())
1527       markIncompleteNode(DSN);
1528 }
1529
1530 static void markIncomplete(DSCallSite &Call) {
1531   // Then the return value is certainly incomplete!
1532   markIncompleteNode(Call.getRetVal().getNode());
1533
1534   // All objects pointed to by function arguments are incomplete!
1535   for (unsigned i = 0, e = Call.getNumPtrArgs(); i != e; ++i)
1536     markIncompleteNode(Call.getPtrArg(i).getNode());
1537 }
1538
1539 // markIncompleteNodes - Traverse the graph, identifying nodes that may be
1540 // modified by other functions that have not been resolved yet.  This marks
1541 // nodes that are reachable through three sources of "unknownness":
1542 //
1543 //  Global Variables, Function Calls, and Incoming Arguments
1544 //
1545 // For any node that may have unknown components (because something outside the
1546 // scope of current analysis may have modified it), the 'Incomplete' flag is
1547 // added to the NodeType.
1548 //
1549 void DSGraph::markIncompleteNodes(unsigned Flags) {
1550   // Mark any incoming arguments as incomplete.
1551   if (Flags & DSGraph::MarkFormalArgs)
1552     for (ReturnNodesTy::iterator FI = ReturnNodes.begin(), E =ReturnNodes.end();
1553          FI != E; ++FI) {
1554       Function &F = *FI->first;
1555       for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I)
1556         if (isPointerType(I->getType()))
1557           markIncompleteNode(getNodeForValue(I).getNode());
1558       markIncompleteNode(FI->second.getNode());
1559     }
1560
1561   // Mark stuff passed into functions calls as being incomplete.
1562   if (!shouldPrintAuxCalls())
1563     for (std::list<DSCallSite>::iterator I = FunctionCalls.begin(),
1564            E = FunctionCalls.end(); I != E; ++I)
1565       markIncomplete(*I);
1566   else
1567     for (std::list<DSCallSite>::iterator I = AuxFunctionCalls.begin(),
1568            E = AuxFunctionCalls.end(); I != E; ++I)
1569       markIncomplete(*I);
1570
1571   // Mark all global nodes as incomplete.
1572   for (DSScalarMap::global_iterator I = ScalarMap.global_begin(),
1573          E = ScalarMap.global_end(); I != E; ++I)
1574     if (GlobalVariable *GV = dyn_cast<GlobalVariable>(*I))
1575       if (!GV->hasInitializer() ||    // Always mark external globals incomp.
1576           (!GV->isConstant() && (Flags & DSGraph::IgnoreGlobals) == 0))
1577         markIncompleteNode(ScalarMap[GV].getNode());
1578 }
1579
1580 static inline void killIfUselessEdge(DSNodeHandle &Edge) {
1581   if (DSNode *N = Edge.getNode())  // Is there an edge?
1582     if (N->getNumReferrers() == 1)  // Does it point to a lonely node?
1583       // No interesting info?
1584       if ((N->getNodeFlags() & ~DSNode::Incomplete) == 0 &&
1585           N->getType() == Type::VoidTy && !N->isNodeCompletelyFolded())
1586         Edge.setTo(0, 0);  // Kill the edge!
1587 }
1588
1589 #if 0
1590 static inline bool nodeContainsExternalFunction(const DSNode *N) {
1591   const std::vector<GlobalValue*> &Globals = N->getGlobals();
1592   for (unsigned i = 0, e = Globals.size(); i != e; ++i)
1593     if (Globals[i]->isExternal() && isa<Function>(Globals[i]))
1594       return true;
1595   return false;
1596 }
1597 #endif
1598
1599 static void removeIdenticalCalls(std::list<DSCallSite> &Calls) {
1600   // Remove trivially identical function calls
1601   Calls.sort();  // Sort by callee as primary key!
1602
1603   // Scan the call list cleaning it up as necessary...
1604   DSNode   *LastCalleeNode = 0;
1605   Function *LastCalleeFunc = 0;
1606   unsigned NumDuplicateCalls = 0;
1607   bool LastCalleeContainsExternalFunction = false;
1608
1609   unsigned NumDeleted = 0;
1610   for (std::list<DSCallSite>::iterator I = Calls.begin(), E = Calls.end();
1611        I != E;) {
1612     DSCallSite &CS = *I;
1613     std::list<DSCallSite>::iterator OldIt = I++;
1614
1615     // If the Callee is a useless edge, this must be an unreachable call site,
1616     // eliminate it.
1617     if (CS.isIndirectCall() && CS.getCalleeNode()->getNumReferrers() == 1 &&
1618         CS.getCalleeNode()->isComplete() &&
1619         CS.getCalleeNode()->getGlobalsList().empty()) {  // No useful info?
1620 #ifndef NDEBUG
1621       std::cerr << "WARNING: Useless call site found.\n";
1622 #endif
1623       Calls.erase(OldIt);
1624       ++NumDeleted;
1625       continue;
1626     }
1627
1628     // If the return value or any arguments point to a void node with no
1629     // information at all in it, and the call node is the only node to point
1630     // to it, remove the edge to the node (killing the node).
1631     //
1632     killIfUselessEdge(CS.getRetVal());
1633     for (unsigned a = 0, e = CS.getNumPtrArgs(); a != e; ++a)
1634       killIfUselessEdge(CS.getPtrArg(a));
1635
1636 #if 0
1637     // If this call site calls the same function as the last call site, and if
1638     // the function pointer contains an external function, this node will
1639     // never be resolved.  Merge the arguments of the call node because no
1640     // information will be lost.
1641     //
1642     if ((CS.isDirectCall()   && CS.getCalleeFunc() == LastCalleeFunc) ||
1643         (CS.isIndirectCall() && CS.getCalleeNode() == LastCalleeNode)) {
1644       ++NumDuplicateCalls;
1645       if (NumDuplicateCalls == 1) {
1646         if (LastCalleeNode)
1647           LastCalleeContainsExternalFunction =
1648             nodeContainsExternalFunction(LastCalleeNode);
1649         else
1650           LastCalleeContainsExternalFunction = LastCalleeFunc->isExternal();
1651       }
1652
1653       // It is not clear why, but enabling this code makes DSA really
1654       // sensitive to node forwarding.  Basically, with this enabled, DSA
1655       // performs different number of inlinings based on which nodes are
1656       // forwarding or not.  This is clearly a problem, so this code is
1657       // disabled until this can be resolved.
1658 #if 1
1659       if (LastCalleeContainsExternalFunction
1660 #if 0
1661           ||
1662           // This should be more than enough context sensitivity!
1663           // FIXME: Evaluate how many times this is tripped!
1664           NumDuplicateCalls > 20
1665 #endif
1666           ) {
1667
1668         std::list<DSCallSite>::iterator PrevIt = OldIt;
1669         --PrevIt;
1670         PrevIt->mergeWith(CS);
1671
1672         // No need to keep this call anymore.
1673         Calls.erase(OldIt);
1674         ++NumDeleted;
1675         continue;
1676       }
1677 #endif
1678     } else {
1679       if (CS.isDirectCall()) {
1680         LastCalleeFunc = CS.getCalleeFunc();
1681         LastCalleeNode = 0;
1682       } else {
1683         LastCalleeNode = CS.getCalleeNode();
1684         LastCalleeFunc = 0;
1685       }
1686       NumDuplicateCalls = 0;
1687     }
1688 #endif
1689
1690     if (I != Calls.end() && CS == *I) {
1691       Calls.erase(OldIt);
1692       ++NumDeleted;
1693       continue;
1694     }
1695   }
1696
1697   // Resort now that we simplified things.
1698   Calls.sort();
1699
1700   // Now that we are in sorted order, eliminate duplicates.
1701   std::list<DSCallSite>::iterator CI = Calls.begin(), CE = Calls.end();
1702   if (CI != CE)
1703     while (1) {
1704       std::list<DSCallSite>::iterator OldIt = CI++;
1705       if (CI == CE) break;
1706
1707       // If this call site is now the same as the previous one, we can delete it
1708       // as a duplicate.
1709       if (*OldIt == *CI) {
1710         Calls.erase(CI);
1711         CI = OldIt;
1712         ++NumDeleted;
1713       }
1714     }
1715
1716   //Calls.erase(std::unique(Calls.begin(), Calls.end()), Calls.end());
1717
1718   // Track the number of call nodes merged away...
1719   NumCallNodesMerged += NumDeleted;
1720
1721   DEBUG(if (NumDeleted)
1722           std::cerr << "Merged " << NumDeleted << " call nodes.\n";);
1723 }
1724
1725
1726 // removeTriviallyDeadNodes - After the graph has been constructed, this method
1727 // removes all unreachable nodes that are created because they got merged with
1728 // other nodes in the graph.  These nodes will all be trivially unreachable, so
1729 // we don't have to perform any non-trivial analysis here.
1730 //
1731 void DSGraph::removeTriviallyDeadNodes() {
1732   TIME_REGION(X, "removeTriviallyDeadNodes");
1733
1734 #if 0
1735   /// NOTE: This code is disabled.  This slows down DSA on 177.mesa
1736   /// substantially!
1737
1738   // Loop over all of the nodes in the graph, calling getNode on each field.
1739   // This will cause all nodes to update their forwarding edges, causing
1740   // forwarded nodes to be delete-able.
1741   { TIME_REGION(X, "removeTriviallyDeadNodes:node_iterate");
1742   for (node_iterator NI = node_begin(), E = node_end(); NI != E; ++NI) {
1743     DSNode &N = *NI;
1744     for (unsigned l = 0, e = N.getNumLinks(); l != e; ++l)
1745       N.getLink(l*N.getPointerSize()).getNode();
1746   }
1747   }
1748
1749   // NOTE: This code is disabled.  Though it should, in theory, allow us to
1750   // remove more nodes down below, the scan of the scalar map is incredibly
1751   // expensive for certain programs (with large SCCs).  In the future, if we can
1752   // make the scalar map scan more efficient, then we can reenable this.
1753   { TIME_REGION(X, "removeTriviallyDeadNodes:scalarmap");
1754
1755   // Likewise, forward any edges from the scalar nodes.  While we are at it,
1756   // clean house a bit.
1757   for (DSScalarMap::iterator I = ScalarMap.begin(),E = ScalarMap.end();I != E;){
1758     I->second.getNode();
1759     ++I;
1760   }
1761   }
1762 #endif
1763   bool isGlobalsGraph = !GlobalsGraph;
1764
1765   for (NodeListTy::iterator NI = Nodes.begin(), E = Nodes.end(); NI != E; ) {
1766     DSNode &Node = *NI;
1767
1768     // Do not remove *any* global nodes in the globals graph.
1769     // This is a special case because such nodes may not have I, M, R flags set.
1770     if (Node.isGlobalNode() && isGlobalsGraph) {
1771       ++NI;
1772       continue;
1773     }
1774
1775     if (Node.isComplete() && !Node.isModified() && !Node.isRead()) {
1776       // This is a useless node if it has no mod/ref info (checked above),
1777       // outgoing edges (which it cannot, as it is not modified in this
1778       // context), and it has no incoming edges.  If it is a global node it may
1779       // have all of these properties and still have incoming edges, due to the
1780       // scalar map, so we check those now.
1781       //
1782       if (Node.getNumReferrers() == Node.getGlobalsList().size()) {
1783         const std::vector<GlobalValue*> &Globals = Node.getGlobalsList();
1784
1785         // Loop through and make sure all of the globals are referring directly
1786         // to the node...
1787         for (unsigned j = 0, e = Globals.size(); j != e; ++j) {
1788           DSNode *N = getNodeForValue(Globals[j]).getNode();
1789           assert(N == &Node && "ScalarMap doesn't match globals list!");
1790         }
1791
1792         // Make sure NumReferrers still agrees, if so, the node is truly dead.
1793         if (Node.getNumReferrers() == Globals.size()) {
1794           for (unsigned j = 0, e = Globals.size(); j != e; ++j)
1795             ScalarMap.erase(Globals[j]);
1796           Node.makeNodeDead();
1797           ++NumTrivialGlobalDNE;
1798         }
1799       }
1800     }
1801
1802     if (Node.getNodeFlags() == 0 && Node.hasNoReferrers()) {
1803       // This node is dead!
1804       NI = Nodes.erase(NI);    // Erase & remove from node list.
1805       ++NumTrivialDNE;
1806     } else {
1807       ++NI;
1808     }
1809   }
1810
1811   removeIdenticalCalls(FunctionCalls);
1812   removeIdenticalCalls(AuxFunctionCalls);
1813 }
1814
1815
1816 /// markReachableNodes - This method recursively traverses the specified
1817 /// DSNodes, marking any nodes which are reachable.  All reachable nodes it adds
1818 /// to the set, which allows it to only traverse visited nodes once.
1819 ///
1820 void DSNode::markReachableNodes(hash_set<const DSNode*> &ReachableNodes) const {
1821   if (this == 0) return;
1822   assert(getForwardNode() == 0 && "Cannot mark a forwarded node!");
1823   if (ReachableNodes.insert(this).second)        // Is newly reachable?
1824     for (DSNode::const_edge_iterator I = edge_begin(), E = edge_end();
1825          I != E; ++I)
1826       I->getNode()->markReachableNodes(ReachableNodes);
1827 }
1828
1829 void DSCallSite::markReachableNodes(hash_set<const DSNode*> &Nodes) const {
1830   getRetVal().getNode()->markReachableNodes(Nodes);
1831   if (isIndirectCall()) getCalleeNode()->markReachableNodes(Nodes);
1832
1833   for (unsigned i = 0, e = getNumPtrArgs(); i != e; ++i)
1834     getPtrArg(i).getNode()->markReachableNodes(Nodes);
1835 }
1836
1837 // CanReachAliveNodes - Simple graph walker that recursively traverses the graph
1838 // looking for a node that is marked alive.  If an alive node is found, return
1839 // true, otherwise return false.  If an alive node is reachable, this node is
1840 // marked as alive...
1841 //
1842 static bool CanReachAliveNodes(DSNode *N, hash_set<const DSNode*> &Alive,
1843                                hash_set<const DSNode*> &Visited,
1844                                bool IgnoreGlobals) {
1845   if (N == 0) return false;
1846   assert(N->getForwardNode() == 0 && "Cannot mark a forwarded node!");
1847
1848   // If this is a global node, it will end up in the globals graph anyway, so we
1849   // don't need to worry about it.
1850   if (IgnoreGlobals && N->isGlobalNode()) return false;
1851
1852   // If we know that this node is alive, return so!
1853   if (Alive.count(N)) return true;
1854
1855   // Otherwise, we don't think the node is alive yet, check for infinite
1856   // recursion.
1857   if (Visited.count(N)) return false;  // Found a cycle
1858   Visited.insert(N);   // No recursion, insert into Visited...
1859
1860   for (DSNode::edge_iterator I = N->edge_begin(),E = N->edge_end(); I != E; ++I)
1861     if (CanReachAliveNodes(I->getNode(), Alive, Visited, IgnoreGlobals)) {
1862       N->markReachableNodes(Alive);
1863       return true;
1864     }
1865   return false;
1866 }
1867
1868 // CallSiteUsesAliveArgs - Return true if the specified call site can reach any
1869 // alive nodes.
1870 //
1871 static bool CallSiteUsesAliveArgs(const DSCallSite &CS,
1872                                   hash_set<const DSNode*> &Alive,
1873                                   hash_set<const DSNode*> &Visited,
1874                                   bool IgnoreGlobals) {
1875   if (CanReachAliveNodes(CS.getRetVal().getNode(), Alive, Visited,
1876                          IgnoreGlobals))
1877     return true;
1878   if (CS.isIndirectCall() &&
1879       CanReachAliveNodes(CS.getCalleeNode(), Alive, Visited, IgnoreGlobals))
1880     return true;
1881   for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i)
1882     if (CanReachAliveNodes(CS.getPtrArg(i).getNode(), Alive, Visited,
1883                            IgnoreGlobals))
1884       return true;
1885   return false;
1886 }
1887
1888 // removeDeadNodes - Use a more powerful reachability analysis to eliminate
1889 // subgraphs that are unreachable.  This often occurs because the data
1890 // structure doesn't "escape" into it's caller, and thus should be eliminated
1891 // from the caller's graph entirely.  This is only appropriate to use when
1892 // inlining graphs.
1893 //
1894 void DSGraph::removeDeadNodes(unsigned Flags) {
1895   DEBUG(AssertGraphOK(); if (GlobalsGraph) GlobalsGraph->AssertGraphOK());
1896
1897   // Reduce the amount of work we have to do... remove dummy nodes left over by
1898   // merging...
1899   removeTriviallyDeadNodes();
1900
1901   TIME_REGION(X, "removeDeadNodes");
1902
1903   // FIXME: Merge non-trivially identical call nodes...
1904
1905   // Alive - a set that holds all nodes found to be reachable/alive.
1906   hash_set<const DSNode*> Alive;
1907   std::vector<std::pair<Value*, DSNode*> > GlobalNodes;
1908
1909   // Copy and merge all information about globals to the GlobalsGraph if this is
1910   // not a final pass (where unreachable globals are removed).
1911   //
1912   // Strip all alloca bits since the current function is only for the BU pass.
1913   // Strip all incomplete bits since they are short-lived properties and they
1914   // will be correctly computed when rematerializing nodes into the functions.
1915   //
1916   ReachabilityCloner GGCloner(*GlobalsGraph, *this, DSGraph::StripAllocaBit |
1917                               DSGraph::StripIncompleteBit);
1918
1919   // Mark all nodes reachable by (non-global) scalar nodes as alive...
1920 { TIME_REGION(Y, "removeDeadNodes:scalarscan");
1921   for (DSScalarMap::iterator I = ScalarMap.begin(), E = ScalarMap.end();
1922        I != E; ++I)
1923     if (isa<GlobalValue>(I->first)) {             // Keep track of global nodes
1924       assert(!I->second.isNull() && "Null global node?");
1925       assert(I->second.getNode()->isGlobalNode() && "Should be a global node!");
1926       GlobalNodes.push_back(std::make_pair(I->first, I->second.getNode()));
1927
1928       // Make sure that all globals are cloned over as roots.
1929       if (!(Flags & DSGraph::RemoveUnreachableGlobals)) {
1930         DSGraph::ScalarMapTy::iterator SMI =
1931           GlobalsGraph->getScalarMap().find(I->first);
1932         if (SMI != GlobalsGraph->getScalarMap().end())
1933           GGCloner.merge(SMI->second, I->second);
1934         else
1935           GGCloner.getClonedNH(I->second);
1936       }
1937     } else {
1938       I->second.getNode()->markReachableNodes(Alive);
1939     }
1940 }
1941
1942   // The return values are alive as well.
1943   for (ReturnNodesTy::iterator I = ReturnNodes.begin(), E = ReturnNodes.end();
1944        I != E; ++I)
1945     I->second.getNode()->markReachableNodes(Alive);
1946
1947   // Mark any nodes reachable by primary calls as alive...
1948   for (fc_iterator I = fc_begin(), E = fc_end(); I != E; ++I)
1949     I->markReachableNodes(Alive);
1950
1951
1952   // Now find globals and aux call nodes that are already live or reach a live
1953   // value (which makes them live in turn), and continue till no more are found.
1954   //
1955   bool Iterate;
1956   hash_set<const DSNode*> Visited;
1957   hash_set<const DSCallSite*> AuxFCallsAlive;
1958   do {
1959     Visited.clear();
1960     // If any global node points to a non-global that is "alive", the global is
1961     // "alive" as well...  Remove it from the GlobalNodes list so we only have
1962     // unreachable globals in the list.
1963     //
1964     Iterate = false;
1965     if (!(Flags & DSGraph::RemoveUnreachableGlobals))
1966       for (unsigned i = 0; i != GlobalNodes.size(); ++i)
1967         if (CanReachAliveNodes(GlobalNodes[i].second, Alive, Visited,
1968                                Flags & DSGraph::RemoveUnreachableGlobals)) {
1969           std::swap(GlobalNodes[i--], GlobalNodes.back()); // Move to end to...
1970           GlobalNodes.pop_back();                          // erase efficiently
1971           Iterate = true;
1972         }
1973
1974     // Mark only unresolvable call nodes for moving to the GlobalsGraph since
1975     // call nodes that get resolved will be difficult to remove from that graph.
1976     // The final unresolved call nodes must be handled specially at the end of
1977     // the BU pass (i.e., in main or other roots of the call graph).
1978     for (afc_iterator CI = afc_begin(), E = afc_end(); CI != E; ++CI)
1979       if (!AuxFCallsAlive.count(&*CI) &&
1980           (CI->isIndirectCall()
1981            || CallSiteUsesAliveArgs(*CI, Alive, Visited,
1982                                   Flags & DSGraph::RemoveUnreachableGlobals))) {
1983         CI->markReachableNodes(Alive);
1984         AuxFCallsAlive.insert(&*CI);
1985         Iterate = true;
1986       }
1987   } while (Iterate);
1988
1989   // Move dead aux function calls to the end of the list
1990   unsigned CurIdx = 0;
1991   for (std::list<DSCallSite>::iterator CI = AuxFunctionCalls.begin(),
1992          E = AuxFunctionCalls.end(); CI != E; )
1993     if (AuxFCallsAlive.count(&*CI))
1994       ++CI;
1995     else {
1996       // Copy and merge global nodes and dead aux call nodes into the
1997       // GlobalsGraph, and all nodes reachable from those nodes.  Update their
1998       // target pointers using the GGCloner.
1999       //
2000       if (!(Flags & DSGraph::RemoveUnreachableGlobals))
2001         GlobalsGraph->AuxFunctionCalls.push_back(DSCallSite(*CI, GGCloner));
2002
2003       AuxFunctionCalls.erase(CI++);
2004     }
2005
2006   // We are finally done with the GGCloner so we can destroy it.
2007   GGCloner.destroy();
2008
2009   // At this point, any nodes which are visited, but not alive, are nodes
2010   // which can be removed.  Loop over all nodes, eliminating completely
2011   // unreachable nodes.
2012   //
2013   std::vector<DSNode*> DeadNodes;
2014   DeadNodes.reserve(Nodes.size());
2015   for (NodeListTy::iterator NI = Nodes.begin(), E = Nodes.end(); NI != E;) {
2016     DSNode *N = NI++;
2017     assert(!N->isForwarding() && "Forwarded node in nodes list?");
2018
2019     if (!Alive.count(N)) {
2020       Nodes.remove(N);
2021       assert(!N->isForwarding() && "Cannot remove a forwarding node!");
2022       DeadNodes.push_back(N);
2023       N->dropAllReferences();
2024       ++NumDNE;
2025     }
2026   }
2027
2028   // Remove all unreachable globals from the ScalarMap.
2029   // If flag RemoveUnreachableGlobals is set, GlobalNodes has only dead nodes.
2030   // In either case, the dead nodes will not be in the set Alive.
2031   for (unsigned i = 0, e = GlobalNodes.size(); i != e; ++i)
2032     if (!Alive.count(GlobalNodes[i].second))
2033       ScalarMap.erase(GlobalNodes[i].first);
2034     else
2035       assert((Flags & DSGraph::RemoveUnreachableGlobals) && "non-dead global");
2036
2037   // Delete all dead nodes now since their referrer counts are zero.
2038   for (unsigned i = 0, e = DeadNodes.size(); i != e; ++i)
2039     delete DeadNodes[i];
2040
2041   DEBUG(AssertGraphOK(); GlobalsGraph->AssertGraphOK());
2042 }
2043
2044 void DSGraph::AssertNodeContainsGlobal(const DSNode *N, GlobalValue *GV) const {
2045   assert(std::find(N->globals_begin(),N->globals_end(), GV) !=
2046          N->globals_end() && "Global value not in node!");
2047 }
2048
2049 void DSGraph::AssertCallSiteInGraph(const DSCallSite &CS) const {
2050   if (CS.isIndirectCall()) {
2051     AssertNodeInGraph(CS.getCalleeNode());
2052 #if 0
2053     if (CS.getNumPtrArgs() && CS.getCalleeNode() == CS.getPtrArg(0).getNode() &&
2054         CS.getCalleeNode() && CS.getCalleeNode()->getGlobals().empty())
2055       std::cerr << "WARNING: WEIRD CALL SITE FOUND!\n";
2056 #endif
2057   }
2058   AssertNodeInGraph(CS.getRetVal().getNode());
2059   for (unsigned j = 0, e = CS.getNumPtrArgs(); j != e; ++j)
2060     AssertNodeInGraph(CS.getPtrArg(j).getNode());
2061 }
2062
2063 void DSGraph::AssertCallNodesInGraph() const {
2064   for (fc_iterator I = fc_begin(), E = fc_end(); I != E; ++I)
2065     AssertCallSiteInGraph(*I);
2066 }
2067 void DSGraph::AssertAuxCallNodesInGraph() const {
2068   for (afc_iterator I = afc_begin(), E = afc_end(); I != E; ++I)
2069     AssertCallSiteInGraph(*I);
2070 }
2071
2072 void DSGraph::AssertGraphOK() const {
2073   for (node_const_iterator NI = node_begin(), E = node_end(); NI != E; ++NI)
2074     NI->assertOK();
2075
2076   for (ScalarMapTy::const_iterator I = ScalarMap.begin(),
2077          E = ScalarMap.end(); I != E; ++I) {
2078     assert(!I->second.isNull() && "Null node in scalarmap!");
2079     AssertNodeInGraph(I->second.getNode());
2080     if (GlobalValue *GV = dyn_cast<GlobalValue>(I->first)) {
2081       assert(I->second.getNode()->isGlobalNode() &&
2082              "Global points to node, but node isn't global?");
2083       AssertNodeContainsGlobal(I->second.getNode(), GV);
2084     }
2085   }
2086   AssertCallNodesInGraph();
2087   AssertAuxCallNodesInGraph();
2088
2089   // Check that all pointer arguments to any functions in this graph have
2090   // destinations.
2091   for (ReturnNodesTy::const_iterator RI = ReturnNodes.begin(),
2092          E = ReturnNodes.end();
2093        RI != E; ++RI) {
2094     Function &F = *RI->first;
2095     for (Function::arg_iterator AI = F.arg_begin(); AI != F.arg_end(); ++AI)
2096       if (isPointerType(AI->getType()))
2097         assert(!getNodeForValue(AI).isNull() &&
2098                "Pointer argument must be in the scalar map!");
2099   }
2100 }
2101
2102 /// computeNodeMapping - Given roots in two different DSGraphs, traverse the
2103 /// nodes reachable from the two graphs, computing the mapping of nodes from the
2104 /// first to the second graph.  This mapping may be many-to-one (i.e. the first
2105 /// graph may have multiple nodes representing one node in the second graph),
2106 /// but it will not work if there is a one-to-many or many-to-many mapping.
2107 ///
2108 void DSGraph::computeNodeMapping(const DSNodeHandle &NH1,
2109                                  const DSNodeHandle &NH2, NodeMapTy &NodeMap,
2110                                  bool StrictChecking) {
2111   DSNode *N1 = NH1.getNode(), *N2 = NH2.getNode();
2112   if (N1 == 0 || N2 == 0) return;
2113
2114   DSNodeHandle &Entry = NodeMap[N1];
2115   if (!Entry.isNull()) {
2116     // Termination of recursion!
2117     if (StrictChecking) {
2118       assert(Entry.getNode() == N2 && "Inconsistent mapping detected!");
2119       assert((Entry.getOffset() == (NH2.getOffset()-NH1.getOffset()) ||
2120               Entry.getNode()->isNodeCompletelyFolded()) &&
2121              "Inconsistent mapping detected!");
2122     }
2123     return;
2124   }
2125
2126   Entry.setTo(N2, NH2.getOffset()-NH1.getOffset());
2127
2128   // Loop over all of the fields that N1 and N2 have in common, recursively
2129   // mapping the edges together now.
2130   int N2Idx = NH2.getOffset()-NH1.getOffset();
2131   unsigned N2Size = N2->getSize();
2132   if (N2Size == 0) return;   // No edges to map to.
2133
2134   for (unsigned i = 0, e = N1->getSize(); i < e; i += DS::PointerSize) {
2135     const DSNodeHandle &N1NH = N1->getLink(i);
2136     // Don't call N2->getLink if not needed (avoiding crash if N2Idx is not
2137     // aligned right).
2138     if (!N1NH.isNull()) {
2139       if (unsigned(N2Idx)+i < N2Size)
2140         computeNodeMapping(N1NH, N2->getLink(N2Idx+i), NodeMap);
2141       else
2142         computeNodeMapping(N1NH,
2143                            N2->getLink(unsigned(N2Idx+i) % N2Size), NodeMap);
2144     }
2145   }
2146 }
2147
2148
2149 /// computeGToGGMapping - Compute the mapping of nodes in the global graph to
2150 /// nodes in this graph.
2151 void DSGraph::computeGToGGMapping(NodeMapTy &NodeMap) {
2152   DSGraph &GG = *getGlobalsGraph();
2153
2154   DSScalarMap &SM = getScalarMap();
2155   for (DSScalarMap::global_iterator I = SM.global_begin(),
2156          E = SM.global_end(); I != E; ++I)
2157     DSGraph::computeNodeMapping(SM[*I], GG.getNodeForValue(*I), NodeMap);
2158 }
2159
2160 /// computeGGToGMapping - Compute the mapping of nodes in the global graph to
2161 /// nodes in this graph.  Note that any uses of this method are probably bugs,
2162 /// unless it is known that the globals graph has been merged into this graph!
2163 void DSGraph::computeGGToGMapping(InvNodeMapTy &InvNodeMap) {
2164   NodeMapTy NodeMap;
2165   computeGToGGMapping(NodeMap);
2166
2167   while (!NodeMap.empty()) {
2168     InvNodeMap.insert(std::make_pair(NodeMap.begin()->second,
2169                                      NodeMap.begin()->first));
2170     NodeMap.erase(NodeMap.begin());
2171   }
2172 }
2173
2174
2175 /// computeCalleeCallerMapping - Given a call from a function in the current
2176 /// graph to the 'Callee' function (which lives in 'CalleeGraph'), compute the
2177 /// mapping of nodes from the callee to nodes in the caller.
2178 void DSGraph::computeCalleeCallerMapping(DSCallSite CS, const Function &Callee,
2179                                          DSGraph &CalleeGraph,
2180                                          NodeMapTy &NodeMap) {
2181
2182   DSCallSite CalleeArgs =
2183     CalleeGraph.getCallSiteForArguments(const_cast<Function&>(Callee));
2184
2185   computeNodeMapping(CalleeArgs.getRetVal(), CS.getRetVal(), NodeMap);
2186
2187   unsigned NumArgs = CS.getNumPtrArgs();
2188   if (NumArgs > CalleeArgs.getNumPtrArgs())
2189     NumArgs = CalleeArgs.getNumPtrArgs();
2190
2191   for (unsigned i = 0; i != NumArgs; ++i)
2192     computeNodeMapping(CalleeArgs.getPtrArg(i), CS.getPtrArg(i), NodeMap);
2193
2194   // Map the nodes that are pointed to by globals.
2195   DSScalarMap &CalleeSM = CalleeGraph.getScalarMap();
2196   DSScalarMap &CallerSM = getScalarMap();
2197
2198   if (CalleeSM.global_size() >= CallerSM.global_size()) {
2199     for (DSScalarMap::global_iterator GI = CallerSM.global_begin(),
2200            E = CallerSM.global_end(); GI != E; ++GI)
2201       if (CalleeSM.global_count(*GI))
2202         computeNodeMapping(CalleeSM[*GI], CallerSM[*GI], NodeMap);
2203   } else {
2204     for (DSScalarMap::global_iterator GI = CalleeSM.global_begin(),
2205            E = CalleeSM.global_end(); GI != E; ++GI)
2206       if (CallerSM.global_count(*GI))
2207         computeNodeMapping(CalleeSM[*GI], CallerSM[*GI], NodeMap);
2208   }
2209 }