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;
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
