-//===----------------------------------------------------------------------===//
-// Control Flow Graph Printer
-//===----------------------------------------------------------------------===//
-
-template<>
-struct DOTGraphTraits<Function*> : public DefaultDOTGraphTraits {
- static std::string getGraphName(Function *F) {
- return "CFG for '" + F->getName() + "' function";
- }
-
- static std::string getNodeLabel(BasicBlock *Node, Function *Graph) {
- std::ostringstream Out;
- Out << Node;
- std::string OutStr = Out.str();
- if (OutStr[0] == '\n') OutStr.erase(OutStr.begin());
-
- // Process string output to make it nicer...
- for (unsigned i = 0; i != OutStr.length(); ++i)
- if (OutStr[i] == '\n') { // Left justify
- OutStr[i] = '\\';
- OutStr.insert(OutStr.begin()+i+1, 'l');
- } else if (OutStr[i] == ';') { // Delete comments!
- unsigned Idx = OutStr.find('\n', i+1); // Find end of line
- OutStr.erase(OutStr.begin()+i, OutStr.begin()+Idx);
- --i;
- }
-
- return OutStr;
- }
-
- static std::string getNodeAttributes(BasicBlock *N) {
- return "fontname=Courier";
- }
-
- static std::string getEdgeSourceLabel(BasicBlock *Node, succ_iterator I) {
- // Label source of conditional branches with "T" or "F"
- if (BranchInst *BI = dyn_cast<BranchInst>(Node->getTerminator()))
- if (BI->isConditional())
- return (I == succ_begin(Node)) ? "T" : "F";
- return "";
- }
-};
-