[llvm-commits] CVS: llvm/lib/VMCore/Dominators.cpp

[Devang Patel]

Changes in directory llvm/lib/VMCore:

Dominators.cpp updated: 1.84 -> 1.85
---
Log message:

It is not possible to determine dominance between two PHI nodes 
based on their ordering. This is applicable to ETForest::dominates() also.



---
Diffs of the changes:  (+5 -0)

 Dominators.cpp |    5 +++++
 1 files changed, 5 insertions(+)


Index: llvm/lib/VMCore/Dominators.cpp
diff -u llvm/lib/VMCore/Dominators.cpp:1.84 llvm/lib/VMCore/Dominators.cpp:1.85
--- llvm/lib/VMCore/Dominators.cpp:1.84	Tue Mar 27 15:50:46 2007
+++ llvm/lib/VMCore/Dominators.cpp	Wed Mar 28 09:57:43 2007
@@ -952,6 +952,11 @@
   BasicBlock::iterator I = BBA->begin();
   for (; &*I != A && &*I != B; ++I) /*empty*/;
   
+  // It is not possible to determine dominance between two PHI nodes 
+  // based on their ordering.
+  if (isa<PHINode>(A) && isa<PHINode>(B)) 
+    return false;
+
   if(!IsPostDominators) {
     // A dominates B if it is found first in the basic block.
     return &*I == A;