diff options
Diffstat (limited to 'lib/Analysis/DataStructure/DataStructure.cpp')
-rw-r--r-- | lib/Analysis/DataStructure/DataStructure.cpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/Analysis/DataStructure/DataStructure.cpp b/lib/Analysis/DataStructure/DataStructure.cpp index 01ef27383c..248ed918bb 100644 --- a/lib/Analysis/DataStructure/DataStructure.cpp +++ b/lib/Analysis/DataStructure/DataStructure.cpp @@ -56,7 +56,7 @@ void DataStructure::print(std::ostream &O, Module *M) const { if (!(*I)->isExternal()) { string Filename = "ds." + (*I)->getName() + ".dot"; - O << "Writing '" << Filename << "'...\n"; + O << "Writing '" << Filename << "'..."; ofstream F(Filename.c_str()); if (F.good()) { F << "digraph DataStructures {\n" @@ -72,9 +72,12 @@ void DataStructure::print(std::ostream &O, Module *M) const { } else { O << " error opening file for writing!\n"; } - - O << (*I)->getName() << " " << getDSGraph(*I).getGraphSize() << " " - << getClosedDSGraph(*I).getGraphSize() << "\n"; + + if (Time) + O << " [" << getDSGraph(*I).getGraphSize() << ", " + << getClosedDSGraph(*I).getGraphSize() << "]\n"; + else + O << "\n"; } } |