Add printing code for dominator info
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/Writer.cpp b/lib/Analysis/Writer.cpp
index 48e8b5a..d837c2c 100644
--- a/lib/Analysis/Writer.cpp
+++ b/lib/Analysis/Writer.cpp
@@ -26,3 +26,43 @@
copy(I->Successors.begin(), I->Successors.end(),
ostream_iterator<BasicBlock*>(o, "\n"));
}
+
+#include "llvm/Analysis/Dominators.h"
+
+ostream &operator<<(ostream &o, const set<const BasicBlock*> &BBs) {
+ copy(BBs.begin(), BBs.end(), ostream_iterator<const BasicBlock*>(o, "\n"));
+ return o;
+}
+
+void cfg::WriteToOutput(const DominatorSet &DS, ostream &o) {
+ for (DominatorSet::const_iterator I = DS.begin(), E = DS.end(); I != E; ++I) {
+ o << "=============================--------------------------------\n"
+ << "\nDominator Set For Basic Block\n" << I->first
+ << "-------------------------------\n" << I->second << endl;
+ }
+}
+
+
+void cfg::WriteToOutput(const ImmediateDominators &ID, ostream &o) {
+ for (ImmediateDominators::const_iterator I = ID.begin(), E = ID.end();
+ I != E; ++I) {
+ o << "=============================--------------------------------\n"
+ << "\nImmediate Dominator For Basic Block\n" << I->first
+ << "is: \n" << I->second << endl;
+ }
+}
+
+
+void cfg::WriteToOutput(const DominatorTree &DT, ostream &o) {
+
+}
+
+void cfg::WriteToOutput(const DominanceFrontier &DF, ostream &o) {
+ for (DominanceFrontier::const_iterator I = DF.begin(), E = DF.end();
+ I != E; ++I) {
+ o << "=============================--------------------------------\n"
+ << "\nDominance Frontier For Basic Block\n" << I->first
+ << "is: \n" << I->second << endl;
+ }
+}
+