Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 1 | //===-- SelectionDAGPrinter.cpp - Implement SelectionDAG::viewGraph() -----===// |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 7 | // |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This implements the SelectionDAG::viewGraph method. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | 5839bf2 | 2005-08-26 17:15:30 +0000 | [diff] [blame] | 14 | #include "llvm/Constants.h" |
| 15 | #include "llvm/Function.h" |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 16 | #include "llvm/Assembly/Writer.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/SelectionDAG.h" |
| 18 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 7228aa7 | 2005-08-19 21:21:16 +0000 | [diff] [blame] | 19 | #include "llvm/Target/MRegisterInfo.h" |
| 20 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 21 | #include "llvm/Support/GraphWriter.h" |
Chris Lattner | 3aa2c74 | 2005-11-19 07:44:09 +0000 | [diff] [blame] | 22 | #include "llvm/System/Path.h" |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 23 | #include "llvm/System/Program.h" |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/StringExtras.h" |
Chris Lattner | 6e741f8 | 2005-07-15 22:48:31 +0000 | [diff] [blame] | 25 | #include "llvm/Config/config.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 26 | #include <fstream> |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 27 | #include <sstream> |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 28 | using namespace llvm; |
| 29 | |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 30 | namespace llvm { |
| 31 | template<> |
| 32 | struct DOTGraphTraits<SelectionDAG*> : public DefaultDOTGraphTraits { |
| 33 | static std::string getGraphName(const SelectionDAG *G) { |
| 34 | return G->getMachineFunction().getFunction()->getName(); |
| 35 | } |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 36 | |
| 37 | static bool renderGraphFromBottomUp() { |
| 38 | return true; |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 39 | } |
Chris Lattner | 37345fe | 2005-10-01 00:17:07 +0000 | [diff] [blame] | 40 | |
| 41 | static bool hasNodeAddressLabel(const SDNode *Node, |
| 42 | const SelectionDAG *Graph) { |
| 43 | return true; |
| 44 | } |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 45 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 46 | static std::string getNodeLabel(const SDNode *Node, |
| 47 | const SelectionDAG *Graph); |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 48 | static std::string getNodeAttributes(const SDNode *N) { |
| 49 | return "shape=Mrecord"; |
| 50 | } |
Chris Lattner | fc08d9c | 2005-01-10 23:52:04 +0000 | [diff] [blame] | 51 | |
| 52 | static void addCustomGraphFeatures(SelectionDAG *G, |
| 53 | GraphWriter<SelectionDAG*> &GW) { |
| 54 | GW.emitSimpleNode(0, "plaintext=circle", "GraphRoot"); |
| 55 | GW.emitEdge(0, -1, G->getRoot().Val, -1, ""); |
| 56 | } |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 57 | }; |
| 58 | } |
| 59 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 60 | std::string DOTGraphTraits<SelectionDAG*>::getNodeLabel(const SDNode *Node, |
| 61 | const SelectionDAG *G) { |
Chris Lattner | ad95d6a | 2005-08-16 18:31:23 +0000 | [diff] [blame] | 62 | std::string Op = Node->getOperationName(G); |
Chris Lattner | c871e1d | 2005-01-11 22:21:04 +0000 | [diff] [blame] | 63 | |
Chris Lattner | ad95d6a | 2005-08-16 18:31:23 +0000 | [diff] [blame] | 64 | for (unsigned i = 0, e = Node->getNumValues(); i != e; ++i) |
| 65 | if (Node->getValueType(i) == MVT::Other) |
| 66 | Op += ":ch"; |
| 67 | else |
| 68 | Op = Op + ":" + MVT::getValueTypeString(Node->getValueType(i)); |
| 69 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 70 | if (const ConstantSDNode *CSDN = dyn_cast<ConstantSDNode>(Node)) { |
| 71 | Op += ": " + utostr(CSDN->getValue()); |
| 72 | } else if (const ConstantFPSDNode *CSDN = dyn_cast<ConstantFPSDNode>(Node)) { |
| 73 | Op += ": " + ftostr(CSDN->getValue()); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 74 | } else if (const GlobalAddressSDNode *GADN = |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 75 | dyn_cast<GlobalAddressSDNode>(Node)) { |
Evan Cheng | 61ca74b | 2005-11-30 02:04:11 +0000 | [diff] [blame] | 76 | int offset = GADN->getOffset(); |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 77 | Op += ": " + GADN->getGlobal()->getName(); |
Evan Cheng | 61ca74b | 2005-11-30 02:04:11 +0000 | [diff] [blame] | 78 | if (offset > 0) |
| 79 | Op += "+" + itostr(offset); |
| 80 | else |
| 81 | Op += itostr(offset); |
Misha Brukman | dedf2bd | 2005-04-22 04:01:18 +0000 | [diff] [blame] | 82 | } else if (const FrameIndexSDNode *FIDN = dyn_cast<FrameIndexSDNode>(Node)) { |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 83 | Op += " " + itostr(FIDN->getIndex()); |
| 84 | } else if (const ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(Node)){ |
Chris Lattner | 5839bf2 | 2005-08-26 17:15:30 +0000 | [diff] [blame] | 85 | if (ConstantFP *CFP = dyn_cast<ConstantFP>(CP->get())) |
| 86 | Op += "<" + ftostr(CFP->getValue()) + ">"; |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 87 | else if (ConstantInt *CI = dyn_cast<ConstantInt>(CP->get())) |
| 88 | Op += "<" + utostr(CI->getZExtValue()) + ">"; |
| 89 | else { |
| 90 | std::ostringstream SS; |
| 91 | WriteAsOperand(SS, CP->get(), false); |
| 92 | Op += "<" + SS.str() + ">"; |
| 93 | } |
Misha Brukman | dedf2bd | 2005-04-22 04:01:18 +0000 | [diff] [blame] | 94 | } else if (const BasicBlockSDNode *BBDN = dyn_cast<BasicBlockSDNode>(Node)) { |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 95 | Op = "BB: "; |
| 96 | const Value *LBB = (const Value*)BBDN->getBasicBlock()->getBasicBlock(); |
| 97 | if (LBB) |
| 98 | Op += LBB->getName(); |
| 99 | //Op += " " + (const void*)BBDN->getBasicBlock(); |
Chris Lattner | d5d0f9b | 2005-08-16 21:55:35 +0000 | [diff] [blame] | 100 | } else if (const RegisterSDNode *R = dyn_cast<RegisterSDNode>(Node)) { |
Chris Lattner | 44fa764 | 2005-11-19 06:58:46 +0000 | [diff] [blame] | 101 | if (G && R->getReg() != 0 && MRegisterInfo::isPhysicalRegister(R->getReg())) { |
Chris Lattner | 7228aa7 | 2005-08-19 21:21:16 +0000 | [diff] [blame] | 102 | Op = Op + " " + G->getTarget().getRegisterInfo()->getName(R->getReg()); |
| 103 | } else { |
| 104 | Op += " #" + utostr(R->getReg()); |
| 105 | } |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 106 | } else if (const ExternalSymbolSDNode *ES = |
| 107 | dyn_cast<ExternalSymbolSDNode>(Node)) { |
| 108 | Op += "'" + std::string(ES->getSymbol()) + "'"; |
Chris Lattner | 2bf3c26 | 2005-05-09 04:08:27 +0000 | [diff] [blame] | 109 | } else if (const SrcValueSDNode *M = dyn_cast<SrcValueSDNode>(Node)) { |
| 110 | if (M->getValue()) |
| 111 | Op += "<" + M->getValue()->getName() + ":" + itostr(M->getOffset()) + ">"; |
| 112 | else |
| 113 | Op += "<null:" + itostr(M->getOffset()) + ">"; |
Chris Lattner | a23e815 | 2005-08-18 03:31:02 +0000 | [diff] [blame] | 114 | } else if (const VTSDNode *N = dyn_cast<VTSDNode>(Node)) { |
Chris Lattner | e39db07 | 2005-08-24 18:30:00 +0000 | [diff] [blame] | 115 | Op = Op + " VT=" + getValueTypeString(N->getVT()); |
Chris Lattner | 36ce691 | 2005-11-29 06:21:05 +0000 | [diff] [blame] | 116 | } else if (const StringSDNode *N = dyn_cast<StringSDNode>(Node)) { |
| 117 | Op = Op + "\"" + N->getValue() + "\""; |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 118 | } |
Chris Lattner | 36ce691 | 2005-11-29 06:21:05 +0000 | [diff] [blame] | 119 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 120 | return Op; |
| 121 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 122 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 123 | |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 124 | /// viewGraph - Pop up a ghostview window with the reachable parts of the DAG |
| 125 | /// rendered using 'dot'. |
| 126 | /// |
| 127 | void SelectionDAG::viewGraph() { |
Chris Lattner | e388b5e | 2005-07-14 05:17:43 +0000 | [diff] [blame] | 128 | // This code is only for debugging! |
Chris Lattner | c5f44ad | 2005-07-14 05:33:13 +0000 | [diff] [blame] | 129 | #ifndef NDEBUG |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 130 | char pathsuff[9]; |
| 131 | |
| 132 | sprintf(pathsuff, "%06u", unsigned(rand())); |
| 133 | |
Chris Lattner | 6bf234c | 2005-11-20 03:45:52 +0000 | [diff] [blame] | 134 | sys::Path TempDir = sys::Path::GetTemporaryDirectory(); |
| 135 | sys::Path Filename = TempDir; |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 136 | Filename.appendComponent("dag." + getMachineFunction().getFunction()->getName() + "." + pathsuff + ".dot"); |
Chris Lattner | 6bf234c | 2005-11-20 03:45:52 +0000 | [diff] [blame] | 137 | std::cerr << "Writing '" << Filename.toString() << "'... "; |
| 138 | std::ofstream F(Filename.toString().c_str()); |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 139 | |
| 140 | if (!F) { |
| 141 | std::cerr << " error opening file for writing!\n"; |
| 142 | return; |
| 143 | } |
| 144 | |
| 145 | WriteGraph(F, this); |
| 146 | F.close(); |
| 147 | std::cerr << "\n"; |
| 148 | |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 149 | #if HAVE_GRAPHVIZ |
| 150 | sys::Path Graphviz(LLVM_PATH_GRAPHVIZ); |
| 151 | std::vector<const char*> args; |
| 152 | args.push_back(Graphviz.c_str()); |
| 153 | args.push_back(Filename.c_str()); |
| 154 | args.push_back(0); |
| 155 | |
Chris Lattner | f1a2f15 | 2005-07-14 01:10:55 +0000 | [diff] [blame] | 156 | std::cerr << "Running 'Graphviz' program... " << std::flush; |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 157 | if (sys::Program::ExecuteAndWait(Graphviz, &args[0])) { |
Chris Lattner | f1a2f15 | 2005-07-14 01:10:55 +0000 | [diff] [blame] | 158 | std::cerr << "Error viewing graph: 'Graphviz' not in path?\n"; |
| 159 | } else { |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 160 | Filename.eraseFromDisk(); |
Chris Lattner | f1a2f15 | 2005-07-14 01:10:55 +0000 | [diff] [blame] | 161 | return; |
| 162 | } |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 163 | #elif (HAVE_GV && HAVE_DOT) |
Chris Lattner | 6bf234c | 2005-11-20 03:45:52 +0000 | [diff] [blame] | 164 | sys::Path PSFilename = TempDir; |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 165 | PSFilename.appendComponent(std::string("dag.tempgraph") + "." + pathsuff + ".ps"); |
| 166 | |
| 167 | sys::Path dot(LLVM_PATH_DOT); |
| 168 | std::vector<const char*> args; |
| 169 | args.push_back(dot.c_str()); |
| 170 | args.push_back("-Tps"); |
| 171 | args.push_back("-Nfontname=Courier"); |
| 172 | args.push_back("-Gsize=7.5,10"); |
| 173 | args.push_back(Filename.c_str()); |
| 174 | args.push_back("-o"); |
| 175 | args.push_back(PSFilename.c_str()); |
| 176 | args.push_back(0); |
| 177 | |
| 178 | std::cerr << "Running 'dot' program... " << std::flush; |
| 179 | if (sys::Program::ExecuteAndWait(dot, &args[0])) { |
Chris Lattner | f1a2f15 | 2005-07-14 01:10:55 +0000 | [diff] [blame] | 180 | std::cerr << "Error viewing graph: 'dot' not in path?\n"; |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 181 | } else { |
| 182 | std::cerr << "\n"; |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 183 | |
| 184 | sys::Path gv(LLVM_PATH_GV); |
| 185 | args.clear(); |
| 186 | args.push_back(gv.c_str()); |
| 187 | args.push_back(PSFilename.c_str()); |
| 188 | args.push_back(0); |
| 189 | |
| 190 | sys::Program::ExecuteAndWait(gv, &args[0]); |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 191 | } |
Chris Lattner | 6bf234c | 2005-11-20 03:45:52 +0000 | [diff] [blame] | 192 | Filename.eraseFromDisk(); |
| 193 | PSFilename.eraseFromDisk(); |
Chris Lattner | c5f44ad | 2005-07-14 05:33:13 +0000 | [diff] [blame] | 194 | return; |
Reid Spencer | fcadfbb | 2006-06-05 16:26:06 +0000 | [diff] [blame] | 195 | #elif HAVE_DOTTY |
| 196 | sys::Path dotty(LLVM_PATH_DOTTY); |
| 197 | std::vector<const char*> args; |
| 198 | args.push_back(dotty.c_str()); |
| 199 | args.push_back(Filename.c_str()); |
| 200 | args.push_back(0); |
| 201 | |
| 202 | std::cerr << "Running 'dotty' program... " << std::flush; |
| 203 | if (sys::Program::ExecuteAndWait(dotty, &args[0])) { |
| 204 | std::cerr << "Error viewing graph: 'dotty' not in path?\n"; |
| 205 | } else { |
| 206 | #ifndef __MINGW32__ // Dotty spawns another app and doesn't wait until it returns |
| 207 | Filename.eraseFromDisk(); |
| 208 | #endif |
| 209 | return; |
| 210 | } |
| 211 | #endif |
| 212 | |
Misha Brukman | cd33eef | 2005-08-04 14:22:41 +0000 | [diff] [blame] | 213 | #endif // NDEBUG |
Chris Lattner | c5f44ad | 2005-07-14 05:33:13 +0000 | [diff] [blame] | 214 | std::cerr << "SelectionDAG::viewGraph is only available in debug builds on " |
| 215 | << "systems with Graphviz or gv!\n"; |
Misha Brukman | cd33eef | 2005-08-04 14:22:41 +0000 | [diff] [blame] | 216 | |
| 217 | #ifndef NDEBUG |
Chris Lattner | 6bf234c | 2005-11-20 03:45:52 +0000 | [diff] [blame] | 218 | Filename.eraseFromDisk(); |
| 219 | TempDir.eraseFromDisk(true); |
Misha Brukman | cd33eef | 2005-08-04 14:22:41 +0000 | [diff] [blame] | 220 | #endif |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 221 | } |