[llvm-commits] [llvm] r100158 - /llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp

[Bob Wilson]

Author: bwilson
Date: Thu Apr  1 19:10:41 2010
New Revision: 100158

URL: http://llvm.org/viewvc/llvm-project?rev=100158&view=rev
Log:
Check for terminating conditions before adding PHIs to the worklists.
This is more efficient than adding them to the worklist and then ignoring them.

Modified:
    llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp

Modified: llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp?rev=100158&r1=100157&r2=100158&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp (original)
+++ llvm/trunk/lib/Transforms/Utils/SSAUpdater.cpp Thu Apr  1 19:10:41 2010
@@ -471,22 +471,27 @@
   SmallVector<PHINode*, 20> WorkList;
   WorkList.push_back(PHI);
 
+  // Record this PHI.
+  BasicBlock *BB = PHI->getParent();
+  AvailableVals[BB] = PHI;
+  (*BBMap)[BB]->AvailableVal = PHI;
+
   while (!WorkList.empty()) {
     PHI = WorkList.pop_back_val();
-    BasicBlock *BB = PHI->getParent();
-    BBInfo *Info = (*BBMap)[BB];
-    if (!Info || Info->AvailableVal)
-      return;
-
-    // Record the PHI.
-    AvailableVals[BB] = PHI;
-    Info->AvailableVal = PHI;
 
     // Iterate through the PHI's incoming values.
     for (unsigned i = 0, e = PHI->getNumIncomingValues(); i != e; ++i) {
-      PHINode *IncomingVal = dyn_cast<PHINode>(PHI->getIncomingValue(i));
-      if (!IncomingVal) continue;
-      WorkList.push_back(IncomingVal);
+      PHINode *IncomingPHIVal = dyn_cast<PHINode>(PHI->getIncomingValue(i));
+      if (!IncomingPHIVal) continue;
+      BB = IncomingPHIVal->getParent();
+      BBInfo *Info = (*BBMap)[BB];
+      if (!Info || Info->AvailableVal)
+        continue;
+
+      // Record the PHI and add it to the worklist.
+      AvailableVals[BB] = IncomingPHIVal;
+      Info->AvailableVal = IncomingPHIVal;
+      WorkList.push_back(IncomingPHIVal);
     }
   }
 }
@@ -499,21 +504,24 @@
   SmallVector<PHINode*, 20> WorkList;
   WorkList.push_back(PHI);
 
+  // Clear the tag for this PHI.
+  (*BBMap)[PHI->getParent()]->PHITag = 0;
+
   while (!WorkList.empty()) {
     PHI = WorkList.pop_back_val();
-    BasicBlock *BB = PHI->getParent();
-    BBInfo *Info = (*BBMap)[BB];
-    if (!Info || Info->AvailableVal || !Info->PHITag)
-      continue;
-
-    // Clear the tag.
-    Info->PHITag = 0;
 
     // Iterate through the PHI's incoming values.
     for (unsigned i = 0, e = PHI->getNumIncomingValues(); i != e; ++i) {
-      PHINode *IncomingVal = dyn_cast<PHINode>(PHI->getIncomingValue(i));
-      if (!IncomingVal) continue;
-      WorkList.push_back(IncomingVal);
+      PHINode *IncomingPHIVal = dyn_cast<PHINode>(PHI->getIncomingValue(i));
+      if (!IncomingPHIVal) continue;
+      BasicBlock *BB = IncomingPHIVal->getParent();
+      BBInfo *Info = (*BBMap)[BB];
+      if (!Info || Info->AvailableVal || !Info->PHITag)
+        continue;
+
+      // Clear the tag and add the PHI to the worklist.
+      Info->PHITag = 0;
+      WorkList.push_back(IncomingPHIVal);
     }
   }
 }