| 987 | } |
| 988 | |
| 989 | void CFG::printDot(ostream &os) const { |
| 990 | os << "digraph {\n" |
| 991 | "\"" << bb_dot_name(f.getBBs()[0]->getName()) << "\" [shape=box];\n"; |
| 992 | |
| 993 | for (auto [src, dst, instr] : *this) { |
| 994 | os << '"' << bb_dot_name(src.getName()) << "\" -> \"" |
| 995 | << bb_dot_name(dst.getName()) << "\";\n"; |
| 996 | } |
| 997 | os << "}\n"; |
| 998 | } |
| 999 | |
| 1000 | |
| 1001 | // Relies on Alive's top_sort run during llvm2alive conversion in order to |
no test coverage detected