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 0
  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 > 256) {
 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 > 256) {
 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   cloneInto(G, CloneFlags);
1172 }
1173
1174 DSGraph::~DSGraph() {
1175   FunctionCalls.clear();
1176   AuxFunctionCalls.clear();
1177   ScalarMap.clear();
1178   ReturnNodes.clear();
1179
1180   // Drop all intra-node references, so that assertions don't fail...
1181   for (node_iterator NI = node_begin(), E = node_end(); NI != E; ++NI)
1182     NI->dropAllReferences();
1183
1184   // Free all of the nodes.
1185   Nodes.clear();
1186 }
1187
1188 // dump - Allow inspection of graph in a debugger.
1189 void DSGraph::dump() const { print(std::cerr); }
1190
1191
1192 /// remapLinks - Change all of the Links in the current node according to the
1193 /// specified mapping.
1194 ///
1195 void DSNode::remapLinks(DSGraph::NodeMapTy &OldNodeMap) {
1196   for (unsigned i = 0, e = Links.size(); i != e; ++i)
1197     if (DSNode *N = Links[i].getNode()) {
1198       DSGraph::NodeMapTy::const_iterator ONMI = OldNodeMap.find(N);
1199       if (ONMI != OldNodeMap.end()) {
1200         DSNode *ONMIN = ONMI->second.getNode();
1201         Links[i].setTo(ONMIN, Links[i].getOffset()+ONMI->second.getOffset());
1202       }
1203     }
1204 }
1205
1206 /// addObjectToGraph - This method can be used to add global, stack, and heap
1207 /// objects to the graph.  This can be used when updating DSGraphs due to the
1208 /// introduction of new temporary objects.  The new object is not pointed to
1209 /// and does not point to any other objects in the graph.
1210 DSNode *DSGraph::addObjectToGraph(Value *Ptr, bool UseDeclaredType) {
1211   assert(isa<PointerType>(Ptr->getType()) && "Ptr is not a pointer!");
1212   const Type *Ty = cast<PointerType>(Ptr->getType())->getElementType();
1213   DSNode *N = new DSNode(UseDeclaredType ? Ty : 0, this);
1214   assert(ScalarMap[Ptr].isNull() && "Object already in this graph!");
1215   ScalarMap[Ptr] = N;
1216
1217   if (GlobalValue *GV = dyn_cast<GlobalValue>(Ptr)) {
1218     N->addGlobal(GV);
1219   } else if (MallocInst *MI = dyn_cast<MallocInst>(Ptr)) {
1220     N->setHeapNodeMarker();
1221   } else if (AllocaInst *AI = dyn_cast<AllocaInst>(Ptr)) {
1222     N->setAllocaNodeMarker();
1223   } else {
1224     assert(0 && "Illegal memory object input!");
1225   }
1226   return N;
1227 }
1228
1229
1230 /// cloneInto - Clone the specified DSGraph into the current graph.  The
1231 /// translated ScalarMap for the old function is filled into the ScalarMap
1232 /// for the graph, and the translated ReturnNodes map is returned into
1233 /// ReturnNodes.
1234 ///
1235 /// The CloneFlags member controls various aspects of the cloning process.
1236 ///
1237 void DSGraph::cloneInto(const DSGraph &G, unsigned CloneFlags) {
1238   TIME_REGION(X, "cloneInto");
1239   assert(&G != this && "Cannot clone graph into itself!");
1240
1241   NodeMapTy OldNodeMap;
1242
1243   // Remove alloca or mod/ref bits as specified...
1244   unsigned BitsToClear = ((CloneFlags & StripAllocaBit)? DSNode::AllocaNode : 0)
1245     | ((CloneFlags & StripModRefBits)? (DSNode::Modified | DSNode::Read) : 0)
1246     | ((CloneFlags & StripIncompleteBit)? DSNode::Incomplete : 0);
1247   BitsToClear |= DSNode::DEAD;  // Clear dead flag...
1248
1249   for (node_const_iterator I = G.node_begin(), E = G.node_end(); I != E; ++I) {
1250     assert(!I->isForwarding() &&
1251            "Forward nodes shouldn't be in node list!");
1252     DSNode *New = new DSNode(*I, this);
1253     New->maskNodeTypes(~BitsToClear);
1254     OldNodeMap[I] = New;
1255   }
1256
1257 #ifndef NDEBUG
1258   Timer::addPeakMemoryMeasurement();
1259 #endif
1260
1261   // Rewrite the links in the new nodes to point into the current graph now.
1262   // Note that we don't loop over the node's list to do this.  The problem is
1263   // that remaping links can cause recursive merging to happen, which means
1264   // that node_iterator's can get easily invalidated!  Because of this, we
1265   // loop over the OldNodeMap, which contains all of the new nodes as the
1266   // .second element of the map elements.  Also note that if we remap a node
1267   // more than once, we won't break anything.
1268   for (NodeMapTy::iterator I = OldNodeMap.begin(), E = OldNodeMap.end();
1269        I != E; ++I)
1270     I->second.getNode()->remapLinks(OldNodeMap);
1271
1272   // Copy the scalar map... merging all of the global nodes...
1273   for (DSScalarMap::const_iterator I = G.ScalarMap.begin(),
1274          E = G.ScalarMap.end(); I != E; ++I) {
1275     DSNodeHandle &MappedNode = OldNodeMap[I->second.getNode()];
1276     DSNodeHandle &H = ScalarMap.getRawEntryRef(I->first);
1277     DSNode *MappedNodeN = MappedNode.getNode();
1278     H.mergeWith(DSNodeHandle(MappedNodeN,
1279                              I->second.getOffset()+MappedNode.getOffset()));
1280   }
1281
1282   if (!(CloneFlags & DontCloneCallNodes)) {
1283     // Copy the function calls list.
1284     for (fc_iterator I = G.fc_begin(), E = G.fc_end(); I != E; ++I)
1285       FunctionCalls.push_back(DSCallSite(*I, OldNodeMap));
1286   }
1287
1288   if (!(CloneFlags & DontCloneAuxCallNodes)) {
1289     // Copy the auxiliary function calls list.
1290     for (afc_iterator I = G.afc_begin(), E = G.afc_end(); I != E; ++I)
1291       AuxFunctionCalls.push_back(DSCallSite(*I, OldNodeMap));
1292   }
1293
1294   // Map the return node pointers over...
1295   for (retnodes_iterator I = G.retnodes_begin(),
1296          E = G.retnodes_end(); I != E; ++I) {
1297     const DSNodeHandle &Ret = I->second;
1298     DSNodeHandle &MappedRet = OldNodeMap[Ret.getNode()];
1299     DSNode *MappedRetN = MappedRet.getNode();
1300     ReturnNodes.insert(std::make_pair(I->first,
1301                                       DSNodeHandle(MappedRetN,
1302                                      MappedRet.getOffset()+Ret.getOffset())));
1303   }
1304 }
1305
1306 static bool PathExistsToClonedNode(const DSNode *N, ReachabilityCloner &RC) {
1307   if (N)
1308     for (df_iterator<const DSNode*> I = df_begin(N), E = df_end(N); I != E; ++I)
1309       if (RC.hasClonedNode(*I))
1310         return true;
1311   return false;
1312 }
1313
1314 static bool PathExistsToClonedNode(const DSCallSite &CS,
1315                                    ReachabilityCloner &RC) {
1316   if (PathExistsToClonedNode(CS.getRetVal().getNode(), RC))
1317     return true;
1318   for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i)
1319     if (PathExistsToClonedNode(CS.getPtrArg(i).getNode(), RC))
1320       return true;
1321   return false;
1322 }
1323
1324 /// getFunctionArgumentsForCall - Given a function that is currently in this
1325 /// graph, return the DSNodeHandles that correspond to the pointer-compatible
1326 /// function arguments.  The vector is filled in with the return value (or
1327 /// null if it is not pointer compatible), followed by all of the
1328 /// pointer-compatible arguments.
1329 void DSGraph::getFunctionArgumentsForCall(Function *F,
1330                                        std::vector<DSNodeHandle> &Args) const {
1331   Args.push_back(getReturnNodeFor(*F));
1332   for (Function::arg_iterator AI = F->arg_begin(), E = F->arg_end(); AI != E; ++AI)
1333     if (isPointerType(AI->getType())) {
1334       Args.push_back(getNodeForValue(AI));
1335       assert(!Args.back().isNull() && "Pointer argument w/o scalarmap entry!?");
1336     }
1337 }
1338
1339 /// mergeInCallFromOtherGraph - This graph merges in the minimal number of
1340 /// nodes from G2 into 'this' graph, merging the bindings specified by the
1341 /// call site (in this graph) with the bindings specified by the vector in G2.
1342 /// The two DSGraphs must be different.
1343 ///
1344 void DSGraph::mergeInGraph(const DSCallSite &CS,
1345                            std::vector<DSNodeHandle> &Args,
1346                            const DSGraph &Graph, unsigned CloneFlags) {
1347   TIME_REGION(X, "mergeInGraph");
1348
1349   // If this is not a recursive call, clone the graph into this graph...
1350   if (&Graph != this) {
1351     // Clone the callee's graph into the current graph, keeping track of where
1352     // scalars in the old graph _used_ to point, and of the new nodes matching
1353     // nodes of the old graph.
1354     ReachabilityCloner RC(*this, Graph, CloneFlags);
1355
1356     // Map the return node pointer over.
1357     if (!CS.getRetVal().isNull())
1358       RC.merge(CS.getRetVal(), Args[0]);
1359
1360     // Map over all of the arguments.
1361     for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i) {
1362       if (i == Args.size()-1)
1363         break;
1364
1365       // Add the link from the argument scalar to the provided value.
1366       RC.merge(CS.getPtrArg(i), Args[i+1]);
1367     }
1368
1369     // If requested, copy all of the calls.
1370     if (!(CloneFlags & DontCloneCallNodes)) {
1371       // Copy the function calls list.
1372       for (fc_iterator I = Graph.fc_begin(), E = Graph.fc_end(); I != E; ++I)
1373         FunctionCalls.push_back(DSCallSite(*I, RC));
1374     }
1375
1376     // If the user has us copying aux calls (the normal case), set up a data
1377     // structure to keep track of which ones we've copied over.
1378     std::set<const DSCallSite*> CopiedAuxCall;
1379
1380     // Clone over all globals that appear in the caller and callee graphs.
1381     hash_set<GlobalVariable*> NonCopiedGlobals;
1382     for (DSScalarMap::global_iterator GI = Graph.getScalarMap().global_begin(),
1383            E = Graph.getScalarMap().global_end(); GI != E; ++GI)
1384       if (GlobalVariable *GV = dyn_cast<GlobalVariable>(*GI))
1385         if (ScalarMap.count(GV))
1386           RC.merge(ScalarMap[GV], Graph.getNodeForValue(GV));
1387         else
1388           NonCopiedGlobals.insert(GV);
1389
1390     // If the global does not appear in the callers graph we generally don't
1391     // want to copy the node.  However, if there is a path from the node global
1392     // node to a node that we did copy in the graph, we *must* copy it to
1393     // maintain the connection information.  Every time we decide to include a
1394     // new global, this might make other globals live, so we must iterate
1395     // unfortunately.
1396     bool MadeChange = true;
1397     while (MadeChange) {
1398       MadeChange = false;
1399       for (hash_set<GlobalVariable*>::iterator I = NonCopiedGlobals.begin();
1400            I != NonCopiedGlobals.end();) {
1401         DSNode *GlobalNode = Graph.getNodeForValue(*I).getNode();
1402         if (RC.hasClonedNode(GlobalNode)) {
1403           // Already cloned it, remove from set.
1404           NonCopiedGlobals.erase(I++);
1405           MadeChange = true;
1406         } else if (PathExistsToClonedNode(GlobalNode, RC)) {
1407           RC.getClonedNH(Graph.getNodeForValue(*I));
1408           NonCopiedGlobals.erase(I++);
1409           MadeChange = true;
1410         } else {
1411           ++I;
1412         }
1413       }
1414
1415       // If requested, copy any aux calls that can reach copied nodes.
1416       if (!(CloneFlags & DontCloneAuxCallNodes)) {
1417         for (afc_iterator I = Graph.afc_begin(), E = Graph.afc_end(); I!=E; ++I)
1418           if (CopiedAuxCall.insert(&*I).second &&
1419               PathExistsToClonedNode(*I, RC)) {
1420             AuxFunctionCalls.push_back(DSCallSite(*I, RC));
1421             MadeChange = true;
1422           }
1423       }
1424     }
1425
1426   } else {
1427     // Merge the return value with the return value of the context.
1428     Args[0].mergeWith(CS.getRetVal());
1429
1430     // Resolve all of the function arguments.
1431     for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i) {
1432       if (i == Args.size()-1)
1433         break;
1434
1435       // Add the link from the argument scalar to the provided value.
1436       Args[i+1].mergeWith(CS.getPtrArg(i));
1437     }
1438   }
1439 }
1440
1441
1442
1443 /// mergeInGraph - The method is used for merging graphs together.  If the
1444 /// argument graph is not *this, it makes a clone of the specified graph, then
1445 /// merges the nodes specified in the call site with the formal arguments in the
1446 /// graph.
1447 ///
1448 void DSGraph::mergeInGraph(const DSCallSite &CS, Function &F,
1449                            const DSGraph &Graph, unsigned CloneFlags) {
1450   // Set up argument bindings.
1451   std::vector<DSNodeHandle> Args;
1452   Graph.getFunctionArgumentsForCall(&F, Args);
1453
1454   mergeInGraph(CS, Args, Graph, CloneFlags);
1455 }
1456
1457 /// getCallSiteForArguments - Get the arguments and return value bindings for
1458 /// the specified function in the current graph.
1459 ///
1460 DSCallSite DSGraph::getCallSiteForArguments(Function &F) const {
1461   std::vector<DSNodeHandle> Args;
1462
1463   for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I)
1464     if (isPointerType(I->getType()))
1465       Args.push_back(getNodeForValue(I));
1466
1467   return DSCallSite(CallSite(), getReturnNodeFor(F), &F, Args);
1468 }
1469
1470 /// getDSCallSiteForCallSite - Given an LLVM CallSite object that is live in
1471 /// the context of this graph, return the DSCallSite for it.
1472 DSCallSite DSGraph::getDSCallSiteForCallSite(CallSite CS) const {
1473   DSNodeHandle RetVal;
1474   Instruction *I = CS.getInstruction();
1475   if (isPointerType(I->getType()))
1476     RetVal = getNodeForValue(I);
1477
1478   std::vector<DSNodeHandle> Args;
1479   Args.reserve(CS.arg_end()-CS.arg_begin());
1480
1481   // Calculate the arguments vector...
1482   for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; ++I)
1483     if (isPointerType((*I)->getType()))
1484       if (isa<ConstantPointerNull>(*I))
1485         Args.push_back(DSNodeHandle());
1486       else
1487         Args.push_back(getNodeForValue(*I));
1488
1489   // Add a new function call entry...
1490   if (Function *F = CS.getCalledFunction())
1491     return DSCallSite(CS, RetVal, F, Args);
1492   else
1493     return DSCallSite(CS, RetVal,
1494                       getNodeForValue(CS.getCalledValue()).getNode(), Args);
1495 }
1496
1497
1498
1499 // markIncompleteNodes - Mark the specified node as having contents that are not
1500 // known with the current analysis we have performed.  Because a node makes all
1501 // of the nodes it can reach incomplete if the node itself is incomplete, we
1502 // must recursively traverse the data structure graph, marking all reachable
1503 // nodes as incomplete.
1504 //
1505 static void markIncompleteNode(DSNode *N) {
1506   // Stop recursion if no node, or if node already marked...
1507   if (N == 0 || N->isIncomplete()) return;
1508
1509   // Actually mark the node
1510   N->setIncompleteMarker();
1511
1512   // Recursively process children...
1513   for (DSNode::edge_iterator I = N->edge_begin(),E = N->edge_end(); I != E; ++I)
1514     if (DSNode *DSN = I->getNode())
1515       markIncompleteNode(DSN);
1516 }
1517
1518 static void markIncomplete(DSCallSite &Call) {
1519   // Then the return value is certainly incomplete!
1520   markIncompleteNode(Call.getRetVal().getNode());
1521
1522   // All objects pointed to by function arguments are incomplete!
1523   for (unsigned i = 0, e = Call.getNumPtrArgs(); i != e; ++i)
1524     markIncompleteNode(Call.getPtrArg(i).getNode());
1525 }
1526
1527 // markIncompleteNodes - Traverse the graph, identifying nodes that may be
1528 // modified by other functions that have not been resolved yet.  This marks
1529 // nodes that are reachable through three sources of "unknownness":
1530 //
1531 //  Global Variables, Function Calls, and Incoming Arguments
1532 //
1533 // For any node that may have unknown components (because something outside the
1534 // scope of current analysis may have modified it), the 'Incomplete' flag is
1535 // added to the NodeType.
1536 //
1537 void DSGraph::markIncompleteNodes(unsigned Flags) {
1538   // Mark any incoming arguments as incomplete.
1539   if (Flags & DSGraph::MarkFormalArgs)
1540     for (ReturnNodesTy::iterator FI = ReturnNodes.begin(), E =ReturnNodes.end();
1541          FI != E; ++FI) {
1542       Function &F = *FI->first;
1543       for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I)
1544         if (isPointerType(I->getType()))
1545           markIncompleteNode(getNodeForValue(I).getNode());
1546       markIncompleteNode(FI->second.getNode());
1547     }
1548
1549   // Mark stuff passed into functions calls as being incomplete.
1550   if (!shouldPrintAuxCalls())
1551     for (std::list<DSCallSite>::iterator I = FunctionCalls.begin(),
1552            E = FunctionCalls.end(); I != E; ++I)
1553       markIncomplete(*I);
1554   else
1555     for (std::list<DSCallSite>::iterator I = AuxFunctionCalls.begin(),
1556            E = AuxFunctionCalls.end(); I != E; ++I)
1557       markIncomplete(*I);
1558
1559   // Mark all global nodes as incomplete.
1560   for (DSScalarMap::global_iterator I = ScalarMap.global_begin(),
1561          E = ScalarMap.global_end(); I != E; ++I)
1562     if (GlobalVariable *GV = dyn_cast<GlobalVariable>(*I))
1563       if (!GV->hasInitializer() ||    // Always mark external globals incomp.
1564           (!GV->isConstant() && (Flags & DSGraph::IgnoreGlobals) == 0))
1565         markIncompleteNode(ScalarMap[GV].getNode());
1566 }
1567
1568 static inline void killIfUselessEdge(DSNodeHandle &Edge) {
1569   if (DSNode *N = Edge.getNode())  // Is there an edge?
1570     if (N->getNumReferrers() == 1)  // Does it point to a lonely node?
1571       // No interesting info?
1572       if ((N->getNodeFlags() & ~DSNode::Incomplete) == 0 &&
1573           N->getType() == Type::VoidTy && !N->isNodeCompletelyFolded())
1574         Edge.setTo(0, 0);  // Kill the edge!
1575 }
1576
1577 static inline bool nodeContainsExternalFunction(const DSNode *N) {
1578   std::vector<Function*> Funcs;
1579   N->addFullFunctionList(Funcs);
1580   for (unsigned i = 0, e = Funcs.size(); i != e; ++i)
1581     if (Funcs[i]->isExternal()) return true;
1582   return false;
1583 }
1584
1585 static void removeIdenticalCalls(std::list<DSCallSite> &Calls) {
1586   // Remove trivially identical function calls
1587   Calls.sort();  // Sort by callee as primary key!
1588
1589   // Scan the call list cleaning it up as necessary...
1590   DSNodeHandle LastCalleeNode;
1591   Function *LastCalleeFunc = 0;
1592   unsigned NumDuplicateCalls = 0;
1593   bool LastCalleeContainsExternalFunction = false;
1594
1595   unsigned NumDeleted = 0;
1596   for (std::list<DSCallSite>::iterator I = Calls.begin(), E = Calls.end();
1597        I != E;) {
1598     DSCallSite &CS = *I;
1599     std::list<DSCallSite>::iterator OldIt = I++;
1600
1601     if (!CS.isIndirectCall()) {
1602       LastCalleeNode = 0;
1603     } else {
1604       DSNode *Callee = CS.getCalleeNode();
1605
1606       // If the Callee is a useless edge, this must be an unreachable call site,
1607       // eliminate it.
1608       if (Callee->getNumReferrers() == 1 && Callee->isComplete() &&
1609           Callee->getGlobalsList().empty()) {  // No useful info?
1610 #ifndef NDEBUG
1611         std::cerr << "WARNING: Useless call site found.\n";
1612 #endif
1613         Calls.erase(OldIt);
1614         ++NumDeleted;
1615         continue;
1616       }
1617
1618       // If the last call site in the list has the same callee as this one, and
1619       // if the callee contains an external function, it will never be
1620       // resolvable, just merge the call sites.
1621       if (!LastCalleeNode.isNull() && LastCalleeNode.getNode() == Callee) {
1622         LastCalleeContainsExternalFunction =
1623           nodeContainsExternalFunction(Callee);
1624
1625         std::list<DSCallSite>::iterator PrevIt = OldIt;
1626         --PrevIt;
1627         PrevIt->mergeWith(CS);
1628
1629         // No need to keep this call anymore.
1630         Calls.erase(OldIt);
1631         ++NumDeleted;
1632         continue;
1633       } else {
1634         LastCalleeNode = Callee;
1635       }
1636     }
1637
1638     // If the return value or any arguments point to a void node with no
1639     // information at all in it, and the call node is the only node to point
1640     // to it, remove the edge to the node (killing the node).
1641     //
1642     killIfUselessEdge(CS.getRetVal());
1643     for (unsigned a = 0, e = CS.getNumPtrArgs(); a != e; ++a)
1644       killIfUselessEdge(CS.getPtrArg(a));
1645
1646 #if 0
1647     // If this call site calls the same function as the last call site, and if
1648     // the function pointer contains an external function, this node will
1649     // never be resolved.  Merge the arguments of the call node because no
1650     // information will be lost.
1651     //
1652     if ((CS.isDirectCall()   && CS.getCalleeFunc() == LastCalleeFunc) ||
1653         (CS.isIndirectCall() && CS.getCalleeNode() == LastCalleeNode)) {
1654       ++NumDuplicateCalls;
1655       if (NumDuplicateCalls == 1) {
1656         if (LastCalleeNode)
1657           LastCalleeContainsExternalFunction =
1658             nodeContainsExternalFunction(LastCalleeNode);
1659         else
1660           LastCalleeContainsExternalFunction = LastCalleeFunc->isExternal();
1661       }
1662
1663       // It is not clear why, but enabling this code makes DSA really
1664       // sensitive to node forwarding.  Basically, with this enabled, DSA
1665       // performs different number of inlinings based on which nodes are
1666       // forwarding or not.  This is clearly a problem, so this code is
1667       // disabled until this can be resolved.
1668 #if 1
1669       if (LastCalleeContainsExternalFunction
1670 #if 0
1671           ||
1672           // This should be more than enough context sensitivity!
1673           // FIXME: Evaluate how many times this is tripped!
1674           NumDuplicateCalls > 20
1675 #endif
1676           ) {
1677
1678         std::list<DSCallSite>::iterator PrevIt = OldIt;
1679         --PrevIt;
1680         PrevIt->mergeWith(CS);
1681
1682         // No need to keep this call anymore.
1683         Calls.erase(OldIt);
1684         ++NumDeleted;
1685         continue;
1686       }
1687 #endif
1688     } else {
1689       if (CS.isDirectCall()) {
1690         LastCalleeFunc = CS.getCalleeFunc();
1691         LastCalleeNode = 0;
1692       } else {
1693         LastCalleeNode = CS.getCalleeNode();
1694         LastCalleeFunc = 0;
1695       }
1696       NumDuplicateCalls = 0;
1697     }
1698 #endif
1699
1700     if (I != Calls.end() && CS == *I) {
1701       LastCalleeNode = 0;
1702       Calls.erase(OldIt);
1703       ++NumDeleted;
1704       continue;
1705     }
1706   }
1707
1708   // Resort now that we simplified things.
1709   Calls.sort();
1710
1711   // Now that we are in sorted order, eliminate duplicates.
1712   std::list<DSCallSite>::iterator CI = Calls.begin(), CE = Calls.end();
1713   if (CI != CE)
1714     while (1) {
1715       std::list<DSCallSite>::iterator OldIt = CI++;
1716       if (CI == CE) break;
1717
1718       // If this call site is now the same as the previous one, we can delete it
1719       // as a duplicate.
1720       if (*OldIt == *CI) {
1721         Calls.erase(CI);
1722         CI = OldIt;
1723         ++NumDeleted;
1724       }
1725     }
1726
1727   //Calls.erase(std::unique(Calls.begin(), Calls.end()), Calls.end());
1728
1729   // Track the number of call nodes merged away...
1730   NumCallNodesMerged += NumDeleted;
1731
1732   DEBUG(if (NumDeleted)
1733           std::cerr << "Merged " << NumDeleted << " call nodes.\n";);
1734 }
1735
1736
1737 // removeTriviallyDeadNodes - After the graph has been constructed, this method
1738 // removes all unreachable nodes that are created because they got merged with
1739 // other nodes in the graph.  These nodes will all be trivially unreachable, so
1740 // we don't have to perform any non-trivial analysis here.
1741 //
1742 void DSGraph::removeTriviallyDeadNodes() {
1743   TIME_REGION(X, "removeTriviallyDeadNodes");
1744
1745 #if 0
1746   /// NOTE: This code is disabled.  This slows down DSA on 177.mesa
1747   /// substantially!
1748
1749   // Loop over all of the nodes in the graph, calling getNode on each field.
1750   // This will cause all nodes to update their forwarding edges, causing
1751   // forwarded nodes to be delete-able.
1752   { TIME_REGION(X, "removeTriviallyDeadNodes:node_iterate");
1753   for (node_iterator NI = node_begin(), E = node_end(); NI != E; ++NI) {
1754     DSNode &N = *NI;
1755     for (unsigned l = 0, e = N.getNumLinks(); l != e; ++l)
1756       N.getLink(l*N.getPointerSize()).getNode();
1757   }
1758   }
1759
1760   // NOTE: This code is disabled.  Though it should, in theory, allow us to
1761   // remove more nodes down below, the scan of the scalar map is incredibly
1762   // expensive for certain programs (with large SCCs).  In the future, if we can
1763   // make the scalar map scan more efficient, then we can reenable this.
1764   { TIME_REGION(X, "removeTriviallyDeadNodes:scalarmap");
1765
1766   // Likewise, forward any edges from the scalar nodes.  While we are at it,
1767   // clean house a bit.
1768   for (DSScalarMap::iterator I = ScalarMap.begin(),E = ScalarMap.end();I != E;){
1769     I->second.getNode();
1770     ++I;
1771   }
1772   }
1773 #endif
1774   bool isGlobalsGraph = !GlobalsGraph;
1775
1776   for (NodeListTy::iterator NI = Nodes.begin(), E = Nodes.end(); NI != E; ) {
1777     DSNode &Node = *NI;
1778
1779     // Do not remove *any* global nodes in the globals graph.
1780     // This is a special case because such nodes may not have I, M, R flags set.
1781     if (Node.isGlobalNode() && isGlobalsGraph) {
1782       ++NI;
1783       continue;
1784     }
1785
1786     if (Node.isComplete() && !Node.isModified() && !Node.isRead()) {
1787       // This is a useless node if it has no mod/ref info (checked above),
1788       // outgoing edges (which it cannot, as it is not modified in this
1789       // context), and it has no incoming edges.  If it is a global node it may
1790       // have all of these properties and still have incoming edges, due to the
1791       // scalar map, so we check those now.
1792       //
1793       if (Node.getNumReferrers() == Node.getGlobalsList().size()) {
1794         const std::vector<GlobalValue*> &Globals = Node.getGlobalsList();
1795
1796         // Loop through and make sure all of the globals are referring directly
1797         // to the node...
1798         for (unsigned j = 0, e = Globals.size(); j != e; ++j) {
1799           DSNode *N = getNodeForValue(Globals[j]).getNode();
1800           assert(N == &Node && "ScalarMap doesn't match globals list!");
1801         }
1802
1803         // Make sure NumReferrers still agrees, if so, the node is truly dead.
1804         if (Node.getNumReferrers() == Globals.size()) {
1805           for (unsigned j = 0, e = Globals.size(); j != e; ++j)
1806             ScalarMap.erase(Globals[j]);
1807           Node.makeNodeDead();
1808           ++NumTrivialGlobalDNE;
1809         }
1810       }
1811     }
1812
1813     if (Node.getNodeFlags() == 0 && Node.hasNoReferrers()) {
1814       // This node is dead!
1815       NI = Nodes.erase(NI);    // Erase & remove from node list.
1816       ++NumTrivialDNE;
1817     } else {
1818       ++NI;
1819     }
1820   }
1821
1822   removeIdenticalCalls(FunctionCalls);
1823   removeIdenticalCalls(AuxFunctionCalls);
1824 }
1825
1826
1827 /// markReachableNodes - This method recursively traverses the specified
1828 /// DSNodes, marking any nodes which are reachable.  All reachable nodes it adds
1829 /// to the set, which allows it to only traverse visited nodes once.
1830 ///
1831 void DSNode::markReachableNodes(hash_set<const DSNode*> &ReachableNodes) const {
1832   if (this == 0) return;
1833   assert(getForwardNode() == 0 && "Cannot mark a forwarded node!");
1834   if (ReachableNodes.insert(this).second)        // Is newly reachable?
1835     for (DSNode::const_edge_iterator I = edge_begin(), E = edge_end();
1836          I != E; ++I)
1837       I->getNode()->markReachableNodes(ReachableNodes);
1838 }
1839
1840 void DSCallSite::markReachableNodes(hash_set<const DSNode*> &Nodes) const {
1841   getRetVal().getNode()->markReachableNodes(Nodes);
1842   if (isIndirectCall()) getCalleeNode()->markReachableNodes(Nodes);
1843
1844   for (unsigned i = 0, e = getNumPtrArgs(); i != e; ++i)
1845     getPtrArg(i).getNode()->markReachableNodes(Nodes);
1846 }
1847
1848 // CanReachAliveNodes - Simple graph walker that recursively traverses the graph
1849 // looking for a node that is marked alive.  If an alive node is found, return
1850 // true, otherwise return false.  If an alive node is reachable, this node is
1851 // marked as alive...
1852 //
1853 static bool CanReachAliveNodes(DSNode *N, hash_set<const DSNode*> &Alive,
1854                                hash_set<const DSNode*> &Visited,
1855                                bool IgnoreGlobals) {
1856   if (N == 0) return false;
1857   assert(N->getForwardNode() == 0 && "Cannot mark a forwarded node!");
1858
1859   // If this is a global node, it will end up in the globals graph anyway, so we
1860   // don't need to worry about it.
1861   if (IgnoreGlobals && N->isGlobalNode()) return false;
1862
1863   // If we know that this node is alive, return so!
1864   if (Alive.count(N)) return true;
1865
1866   // Otherwise, we don't think the node is alive yet, check for infinite
1867   // recursion.
1868   if (Visited.count(N)) return false;  // Found a cycle
1869   Visited.insert(N);   // No recursion, insert into Visited...
1870
1871   for (DSNode::edge_iterator I = N->edge_begin(),E = N->edge_end(); I != E; ++I)
1872     if (CanReachAliveNodes(I->getNode(), Alive, Visited, IgnoreGlobals)) {
1873       N->markReachableNodes(Alive);
1874       return true;
1875     }
1876   return false;
1877 }
1878
1879 // CallSiteUsesAliveArgs - Return true if the specified call site can reach any
1880 // alive nodes.
1881 //
1882 static bool CallSiteUsesAliveArgs(const DSCallSite &CS,
1883                                   hash_set<const DSNode*> &Alive,
1884                                   hash_set<const DSNode*> &Visited,
1885                                   bool IgnoreGlobals) {
1886   if (CanReachAliveNodes(CS.getRetVal().getNode(), Alive, Visited,
1887                          IgnoreGlobals))
1888     return true;
1889   if (CS.isIndirectCall() &&
1890       CanReachAliveNodes(CS.getCalleeNode(), Alive, Visited, IgnoreGlobals))
1891     return true;
1892   for (unsigned i = 0, e = CS.getNumPtrArgs(); i != e; ++i)
1893     if (CanReachAliveNodes(CS.getPtrArg(i).getNode(), Alive, Visited,
1894                            IgnoreGlobals))
1895       return true;
1896   return false;
1897 }
1898
1899 // removeDeadNodes - Use a more powerful reachability analysis to eliminate
1900 // subgraphs that are unreachable.  This often occurs because the data
1901 // structure doesn't "escape" into it's caller, and thus should be eliminated
1902 // from the caller's graph entirely.  This is only appropriate to use when
1903 // inlining graphs.
1904 //
1905 void DSGraph::removeDeadNodes(unsigned Flags) {
1906   DEBUG(AssertGraphOK(); if (GlobalsGraph) GlobalsGraph->AssertGraphOK());
1907
1908   // Reduce the amount of work we have to do... remove dummy nodes left over by
1909   // merging...
1910   removeTriviallyDeadNodes();
1911
1912   TIME_REGION(X, "removeDeadNodes");
1913
1914   // FIXME: Merge non-trivially identical call nodes...
1915
1916   // Alive - a set that holds all nodes found to be reachable/alive.
1917   hash_set<const DSNode*> Alive;
1918   std::vector<std::pair<Value*, DSNode*> > GlobalNodes;
1919
1920   // Copy and merge all information about globals to the GlobalsGraph if this is
1921   // not a final pass (where unreachable globals are removed).
1922   //
1923   // Strip all alloca bits since the current function is only for the BU pass.
1924   // Strip all incomplete bits since they are short-lived properties and they
1925   // will be correctly computed when rematerializing nodes into the functions.
1926   //
1927   ReachabilityCloner GGCloner(*GlobalsGraph, *this, DSGraph::StripAllocaBit |
1928                               DSGraph::StripIncompleteBit);
1929
1930   // Mark all nodes reachable by (non-global) scalar nodes as alive...
1931 { TIME_REGION(Y, "removeDeadNodes:scalarscan");
1932   for (DSScalarMap::iterator I = ScalarMap.begin(), E = ScalarMap.end();
1933        I != E; ++I)
1934     if (isa<GlobalValue>(I->first)) {             // Keep track of global nodes
1935       assert(!I->second.isNull() && "Null global node?");
1936       assert(I->second.getNode()->isGlobalNode() && "Should be a global node!");
1937       GlobalNodes.push_back(std::make_pair(I->first, I->second.getNode()));
1938
1939       // Make sure that all globals are cloned over as roots.
1940       if (!(Flags & DSGraph::RemoveUnreachableGlobals)) {
1941         DSGraph::ScalarMapTy::iterator SMI =
1942           GlobalsGraph->getScalarMap().find(I->first);
1943         if (SMI != GlobalsGraph->getScalarMap().end())
1944           GGCloner.merge(SMI->second, I->second);
1945         else
1946           GGCloner.getClonedNH(I->second);
1947       }
1948     } else {
1949       I->second.getNode()->markReachableNodes(Alive);
1950     }
1951 }
1952
1953   // The return values are alive as well.
1954   for (ReturnNodesTy::iterator I = ReturnNodes.begin(), E = ReturnNodes.end();
1955        I != E; ++I)
1956     I->second.getNode()->markReachableNodes(Alive);
1957
1958   // Mark any nodes reachable by primary calls as alive...
1959   for (fc_iterator I = fc_begin(), E = fc_end(); I != E; ++I)
1960     I->markReachableNodes(Alive);
1961
1962
1963   // Now find globals and aux call nodes that are already live or reach a live
1964   // value (which makes them live in turn), and continue till no more are found.
1965   //
1966   bool Iterate;
1967   hash_set<const DSNode*> Visited;
1968   hash_set<const DSCallSite*> AuxFCallsAlive;
1969   do {
1970     Visited.clear();
1971     // If any global node points to a non-global that is "alive", the global is
1972     // "alive" as well...  Remove it from the GlobalNodes list so we only have
1973     // unreachable globals in the list.
1974     //
1975     Iterate = false;
1976     if (!(Flags & DSGraph::RemoveUnreachableGlobals))
1977       for (unsigned i = 0; i != GlobalNodes.size(); ++i)
1978         if (CanReachAliveNodes(GlobalNodes[i].second, Alive, Visited,
1979                                Flags & DSGraph::RemoveUnreachableGlobals)) {
1980           std::swap(GlobalNodes[i--], GlobalNodes.back()); // Move to end to...
1981           GlobalNodes.pop_back();                          // erase efficiently
1982           Iterate = true;
1983         }
1984
1985     // Mark only unresolvable call nodes for moving to the GlobalsGraph since
1986     // call nodes that get resolved will be difficult to remove from that graph.
1987     // The final unresolved call nodes must be handled specially at the end of
1988     // the BU pass (i.e., in main or other roots of the call graph).
1989     for (afc_iterator CI = afc_begin(), E = afc_end(); CI != E; ++CI)
1990       if (!AuxFCallsAlive.count(&*CI) &&
1991           (CI->isIndirectCall()
1992            || CallSiteUsesAliveArgs(*CI, Alive, Visited,
1993                                   Flags & DSGraph::RemoveUnreachableGlobals))) {
1994         CI->markReachableNodes(Alive);
1995         AuxFCallsAlive.insert(&*CI);
1996         Iterate = true;
1997       }
1998   } while (Iterate);
1999
2000   // Move dead aux function calls to the end of the list
2001   unsigned CurIdx = 0;
2002   for (std::list<DSCallSite>::iterator CI = AuxFunctionCalls.begin(),
2003          E = AuxFunctionCalls.end(); CI != E; )
2004     if (AuxFCallsAlive.count(&*CI))
2005       ++CI;
2006     else {
2007       // Copy and merge global nodes and dead aux call nodes into the
2008       // GlobalsGraph, and all nodes reachable from those nodes.  Update their
2009       // target pointers using the GGCloner.
2010       //
2011       if (!(Flags & DSGraph::RemoveUnreachableGlobals))
2012         GlobalsGraph->AuxFunctionCalls.push_back(DSCallSite(*CI, GGCloner));
2013
2014       AuxFunctionCalls.erase(CI++);
2015     }
2016
2017   // We are finally done with the GGCloner so we can destroy it.
2018   GGCloner.destroy();
2019
2020   // At this point, any nodes which are visited, but not alive, are nodes
2021   // which can be removed.  Loop over all nodes, eliminating completely
2022   // unreachable nodes.
2023   //
2024   std::vector<DSNode*> DeadNodes;
2025   DeadNodes.reserve(Nodes.size());
2026   for (NodeListTy::iterator NI = Nodes.begin(), E = Nodes.end(); NI != E;) {
2027     DSNode *N = NI++;
2028     assert(!N->isForwarding() && "Forwarded node in nodes list?");
2029
2030     if (!Alive.count(N)) {
2031       Nodes.remove(N);
2032       assert(!N->isForwarding() && "Cannot remove a forwarding node!");
2033       DeadNodes.push_back(N);
2034       N->dropAllReferences();
2035       ++NumDNE;
2036     }
2037   }
2038
2039   // Remove all unreachable globals from the ScalarMap.
2040   // If flag RemoveUnreachableGlobals is set, GlobalNodes has only dead nodes.
2041   // In either case, the dead nodes will not be in the set Alive.
2042   for (unsigned i = 0, e = GlobalNodes.size(); i != e; ++i)
2043     if (!Alive.count(GlobalNodes[i].second))
2044       ScalarMap.erase(GlobalNodes[i].first);
2045     else
2046       assert((Flags & DSGraph::RemoveUnreachableGlobals) && "non-dead global");
2047
2048   // Delete all dead nodes now since their referrer counts are zero.
2049   for (unsigned i = 0, e = DeadNodes.size(); i != e; ++i)
2050     delete DeadNodes[i];
2051
2052   DEBUG(AssertGraphOK(); GlobalsGraph->AssertGraphOK());
2053 }
2054
2055 void DSGraph::AssertNodeContainsGlobal(const DSNode *N, GlobalValue *GV) const {
2056   assert(std::find(N->globals_begin(),N->globals_end(), GV) !=
2057          N->globals_end() && "Global value not in node!");
2058 }
2059
2060 void DSGraph::AssertCallSiteInGraph(const DSCallSite &CS) const {
2061   if (CS.isIndirectCall()) {
2062     AssertNodeInGraph(CS.getCalleeNode());
2063 #if 0
2064     if (CS.getNumPtrArgs() && CS.getCalleeNode() == CS.getPtrArg(0).getNode() &&
2065         CS.getCalleeNode() && CS.getCalleeNode()->getGlobals().empty())
2066       std::cerr << "WARNING: WEIRD CALL SITE FOUND!\n";
2067 #endif
2068   }
2069   AssertNodeInGraph(CS.getRetVal().getNode());
2070   for (unsigned j = 0, e = CS.getNumPtrArgs(); j != e; ++j)
2071     AssertNodeInGraph(CS.getPtrArg(j).getNode());
2072 }
2073
2074 void DSGraph::AssertCallNodesInGraph() const {
2075   for (fc_iterator I = fc_begin(), E = fc_end(); I != E; ++I)
2076     AssertCallSiteInGraph(*I);
2077 }
2078 void DSGraph::AssertAuxCallNodesInGraph() const {
2079   for (afc_iterator I = afc_begin(), E = afc_end(); I != E; ++I)
2080     AssertCallSiteInGraph(*I);
2081 }
2082
2083 void DSGraph::AssertGraphOK() const {
2084   for (node_const_iterator NI = node_begin(), E = node_end(); NI != E; ++NI)
2085     NI->assertOK();
2086
2087   for (ScalarMapTy::const_iterator I = ScalarMap.begin(),
2088          E = ScalarMap.end(); I != E; ++I) {
2089     assert(!I->second.isNull() && "Null node in scalarmap!");
2090     AssertNodeInGraph(I->second.getNode());
2091     if (GlobalValue *GV = dyn_cast<GlobalValue>(I->first)) {
2092       assert(I->second.getNode()->isGlobalNode() &&
2093              "Global points to node, but node isn't global?");
2094       AssertNodeContainsGlobal(I->second.getNode(), GV);
2095     }
2096   }
2097   AssertCallNodesInGraph();
2098   AssertAuxCallNodesInGraph();
2099
2100   // Check that all pointer arguments to any functions in this graph have
2101   // destinations.
2102   for (ReturnNodesTy::const_iterator RI = ReturnNodes.begin(),
2103          E = ReturnNodes.end();
2104        RI != E; ++RI) {
2105     Function &F = *RI->first;
2106     for (Function::arg_iterator AI = F.arg_begin(); AI != F.arg_end(); ++AI)
2107       if (isPointerType(AI->getType()))
2108         assert(!getNodeForValue(AI).isNull() &&
2109                "Pointer argument must be in the scalar map!");
2110   }
2111 }
2112
2113 /// computeNodeMapping - Given roots in two different DSGraphs, traverse the
2114 /// nodes reachable from the two graphs, computing the mapping of nodes from the
2115 /// first to the second graph.  This mapping may be many-to-one (i.e. the first
2116 /// graph may have multiple nodes representing one node in the second graph),
2117 /// but it will not work if there is a one-to-many or many-to-many mapping.
2118 ///
2119 void DSGraph::computeNodeMapping(const DSNodeHandle &NH1,
2120                                  const DSNodeHandle &NH2, NodeMapTy &NodeMap,
2121                                  bool StrictChecking) {
2122   DSNode *N1 = NH1.getNode(), *N2 = NH2.getNode();
2123   if (N1 == 0 || N2 == 0) return;
2124
2125   DSNodeHandle &Entry = NodeMap[N1];
2126   if (!Entry.isNull()) {
2127     // Termination of recursion!
2128     if (StrictChecking) {
2129       assert(Entry.getNode() == N2 && "Inconsistent mapping detected!");
2130       assert((Entry.getOffset() == (NH2.getOffset()-NH1.getOffset()) ||
2131               Entry.getNode()->isNodeCompletelyFolded()) &&
2132              "Inconsistent mapping detected!");
2133     }
2134     return;
2135   }
2136
2137   Entry.setTo(N2, NH2.getOffset()-NH1.getOffset());
2138
2139   // Loop over all of the fields that N1 and N2 have in common, recursively
2140   // mapping the edges together now.
2141   int N2Idx = NH2.getOffset()-NH1.getOffset();
2142   unsigned N2Size = N2->getSize();
2143   if (N2Size == 0) return;   // No edges to map to.
2144
2145   for (unsigned i = 0, e = N1->getSize(); i < e; i += DS::PointerSize) {
2146     const DSNodeHandle &N1NH = N1->getLink(i);
2147     // Don't call N2->getLink if not needed (avoiding crash if N2Idx is not
2148     // aligned right).
2149     if (!N1NH.isNull()) {
2150       if (unsigned(N2Idx)+i < N2Size)
2151         computeNodeMapping(N1NH, N2->getLink(N2Idx+i), NodeMap);
2152       else
2153         computeNodeMapping(N1NH,
2154                            N2->getLink(unsigned(N2Idx+i) % N2Size), NodeMap);
2155     }
2156   }
2157 }
2158
2159
2160 /// computeGToGGMapping - Compute the mapping of nodes in the global graph to
2161 /// nodes in this graph.
2162 void DSGraph::computeGToGGMapping(NodeMapTy &NodeMap) {
2163   DSGraph &GG = *getGlobalsGraph();
2164
2165   DSScalarMap &SM = getScalarMap();
2166   for (DSScalarMap::global_iterator I = SM.global_begin(),
2167          E = SM.global_end(); I != E; ++I)
2168     DSGraph::computeNodeMapping(SM[*I], GG.getNodeForValue(*I), NodeMap);
2169 }
2170
2171 /// computeGGToGMapping - Compute the mapping of nodes in the global graph to
2172 /// nodes in this graph.  Note that any uses of this method are probably bugs,
2173 /// unless it is known that the globals graph has been merged into this graph!
2174 void DSGraph::computeGGToGMapping(InvNodeMapTy &InvNodeMap) {
2175   NodeMapTy NodeMap;
2176   computeGToGGMapping(NodeMap);
2177
2178   while (!NodeMap.empty()) {
2179     InvNodeMap.insert(std::make_pair(NodeMap.begin()->second,
2180                                      NodeMap.begin()->first));
2181     NodeMap.erase(NodeMap.begin());
2182   }
2183 }
2184
2185
2186 /// computeCalleeCallerMapping - Given a call from a function in the current
2187 /// graph to the 'Callee' function (which lives in 'CalleeGraph'), compute the
2188 /// mapping of nodes from the callee to nodes in the caller.
2189 void DSGraph::computeCalleeCallerMapping(DSCallSite CS, const Function &Callee,
2190                                          DSGraph &CalleeGraph,
2191                                          NodeMapTy &NodeMap) {
2192
2193   DSCallSite CalleeArgs =
2194     CalleeGraph.getCallSiteForArguments(const_cast<Function&>(Callee));
2195
2196   computeNodeMapping(CalleeArgs.getRetVal(), CS.getRetVal(), NodeMap);
2197
2198   unsigned NumArgs = CS.getNumPtrArgs();
2199   if (NumArgs > CalleeArgs.getNumPtrArgs())
2200     NumArgs = CalleeArgs.getNumPtrArgs();
2201
2202   for (unsigned i = 0; i != NumArgs; ++i)
2203     computeNodeMapping(CalleeArgs.getPtrArg(i), CS.getPtrArg(i), NodeMap);
2204
2205   // Map the nodes that are pointed to by globals.
2206   DSScalarMap &CalleeSM = CalleeGraph.getScalarMap();
2207   DSScalarMap &CallerSM = getScalarMap();
2208
2209   if (CalleeSM.global_size() >= CallerSM.global_size()) {
2210     for (DSScalarMap::global_iterator GI = CallerSM.global_begin(),
2211            E = CallerSM.global_end(); GI != E; ++GI)
2212       if (CalleeSM.global_count(*GI))
2213         computeNodeMapping(CalleeSM[*GI], CallerSM[*GI], NodeMap);
2214   } else {
2215     for (DSScalarMap::global_iterator GI = CalleeSM.global_begin(),
2216            E = CalleeSM.global_end(); GI != E; ++GI)
2217       if (CallerSM.global_count(*GI))
2218         computeNodeMapping(CalleeSM[*GI], CallerSM[*GI], NodeMap);
2219   }
2220 }