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" |
Evan Cheng | d6594ae | 2006-09-12 21:00:35 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineConstantPool.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 7228aa7 | 2005-08-19 21:21:16 +0000 | [diff] [blame] | 20 | #include "llvm/Target/MRegisterInfo.h" |
| 21 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 22 | #include "llvm/Support/GraphWriter.h" |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/StringExtras.h" |
Chris Lattner | 6e741f8 | 2005-07-15 22:48:31 +0000 | [diff] [blame] | 24 | #include "llvm/Config/config.h" |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 25 | #include <fstream> |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 26 | #include <sstream> |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 27 | using namespace llvm; |
| 28 | |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 29 | namespace llvm { |
| 30 | template<> |
| 31 | struct DOTGraphTraits<SelectionDAG*> : public DefaultDOTGraphTraits { |
| 32 | static std::string getGraphName(const SelectionDAG *G) { |
| 33 | return G->getMachineFunction().getFunction()->getName(); |
| 34 | } |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 35 | |
| 36 | static bool renderGraphFromBottomUp() { |
| 37 | return true; |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 38 | } |
Chris Lattner | 37345fe | 2005-10-01 00:17:07 +0000 | [diff] [blame] | 39 | |
| 40 | static bool hasNodeAddressLabel(const SDNode *Node, |
| 41 | const SelectionDAG *Graph) { |
| 42 | return true; |
| 43 | } |
Chris Lattner | 34ab4d4 | 2006-10-20 18:06:09 +0000 | [diff] [blame] | 44 | |
| 45 | /// If you want to override the dot attributes printed for a particular |
| 46 | /// edge, override this method. |
| 47 | template<typename EdgeIter> |
| 48 | static std::string getEdgeAttributes(const void *Node, EdgeIter EI) { |
| 49 | SDOperand Op = EI.getNode()->getOperand(EI.getOperand()); |
| 50 | MVT::ValueType VT = Op.getValueType(); |
| 51 | if (VT == MVT::Flag) |
| 52 | return "color=red,style=bold"; |
| 53 | else if (VT == MVT::Other) |
Dan Gohman | 7a0a4fc | 2007-06-18 15:30:16 +0000 | [diff] [blame^] | 54 | return "color=blue,style=dashed"; |
Chris Lattner | 34ab4d4 | 2006-10-20 18:06:09 +0000 | [diff] [blame] | 55 | return ""; |
| 56 | } |
| 57 | |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 58 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 59 | static std::string getNodeLabel(const SDNode *Node, |
| 60 | const SelectionDAG *Graph); |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 61 | static std::string getNodeAttributes(const SDNode *N, |
| 62 | const SelectionDAG *Graph) { |
| 63 | #ifndef NDEBUG |
| 64 | const std::string &Attrs = Graph->getGraphAttrs(N); |
| 65 | if (!Attrs.empty()) { |
| 66 | if (Attrs.find("shape=") == std::string::npos) |
| 67 | return std::string("shape=Mrecord,") + Attrs; |
| 68 | else |
| 69 | return Attrs; |
| 70 | } |
| 71 | #endif |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 72 | return "shape=Mrecord"; |
| 73 | } |
Chris Lattner | fc08d9c | 2005-01-10 23:52:04 +0000 | [diff] [blame] | 74 | |
| 75 | static void addCustomGraphFeatures(SelectionDAG *G, |
| 76 | GraphWriter<SelectionDAG*> &GW) { |
| 77 | GW.emitSimpleNode(0, "plaintext=circle", "GraphRoot"); |
Jim Laskey | 26f7fa7 | 2006-10-17 19:33:52 +0000 | [diff] [blame] | 78 | if (G->getRoot().Val) |
| 79 | GW.emitEdge(0, -1, G->getRoot().Val, -1, ""); |
Chris Lattner | fc08d9c | 2005-01-10 23:52:04 +0000 | [diff] [blame] | 80 | } |
Chris Lattner | e0646b8 | 2005-01-10 23:26:00 +0000 | [diff] [blame] | 81 | }; |
| 82 | } |
| 83 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 84 | std::string DOTGraphTraits<SelectionDAG*>::getNodeLabel(const SDNode *Node, |
| 85 | const SelectionDAG *G) { |
Chris Lattner | ad95d6a | 2005-08-16 18:31:23 +0000 | [diff] [blame] | 86 | std::string Op = Node->getOperationName(G); |
Chris Lattner | c871e1d | 2005-01-11 22:21:04 +0000 | [diff] [blame] | 87 | |
Chris Lattner | ad95d6a | 2005-08-16 18:31:23 +0000 | [diff] [blame] | 88 | for (unsigned i = 0, e = Node->getNumValues(); i != e; ++i) |
| 89 | if (Node->getValueType(i) == MVT::Other) |
| 90 | Op += ":ch"; |
| 91 | else |
| 92 | Op = Op + ":" + MVT::getValueTypeString(Node->getValueType(i)); |
| 93 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 94 | if (const ConstantSDNode *CSDN = dyn_cast<ConstantSDNode>(Node)) { |
| 95 | Op += ": " + utostr(CSDN->getValue()); |
| 96 | } else if (const ConstantFPSDNode *CSDN = dyn_cast<ConstantFPSDNode>(Node)) { |
| 97 | Op += ": " + ftostr(CSDN->getValue()); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 98 | } else if (const GlobalAddressSDNode *GADN = |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 99 | dyn_cast<GlobalAddressSDNode>(Node)) { |
Evan Cheng | 61ca74b | 2005-11-30 02:04:11 +0000 | [diff] [blame] | 100 | int offset = GADN->getOffset(); |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 101 | Op += ": " + GADN->getGlobal()->getName(); |
Evan Cheng | 61ca74b | 2005-11-30 02:04:11 +0000 | [diff] [blame] | 102 | if (offset > 0) |
| 103 | Op += "+" + itostr(offset); |
| 104 | else |
| 105 | Op += itostr(offset); |
Misha Brukman | dedf2bd | 2005-04-22 04:01:18 +0000 | [diff] [blame] | 106 | } else if (const FrameIndexSDNode *FIDN = dyn_cast<FrameIndexSDNode>(Node)) { |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 107 | Op += " " + itostr(FIDN->getIndex()); |
Evan Cheng | 6cc31ae | 2006-11-01 04:48:30 +0000 | [diff] [blame] | 108 | } else if (const JumpTableSDNode *JTDN = dyn_cast<JumpTableSDNode>(Node)) { |
| 109 | Op += " " + itostr(JTDN->getIndex()); |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 110 | } else if (const ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(Node)){ |
Evan Cheng | d6594ae | 2006-09-12 21:00:35 +0000 | [diff] [blame] | 111 | if (CP->isMachineConstantPoolEntry()) { |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 112 | std::ostringstream SS; |
Evan Cheng | d6594ae | 2006-09-12 21:00:35 +0000 | [diff] [blame] | 113 | CP->getMachineCPVal()->print(SS); |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 114 | Op += "<" + SS.str() + ">"; |
Evan Cheng | d6594ae | 2006-09-12 21:00:35 +0000 | [diff] [blame] | 115 | } else { |
| 116 | if (ConstantFP *CFP = dyn_cast<ConstantFP>(CP->getConstVal())) |
| 117 | Op += "<" + ftostr(CFP->getValue()) + ">"; |
| 118 | else if (ConstantInt *CI = dyn_cast<ConstantInt>(CP->getConstVal())) |
| 119 | Op += "<" + utostr(CI->getZExtValue()) + ">"; |
| 120 | else { |
| 121 | std::ostringstream SS; |
| 122 | WriteAsOperand(SS, CP->getConstVal(), false); |
| 123 | Op += "<" + SS.str() + ">"; |
| 124 | } |
Chris Lattner | 5267651 | 2006-03-05 09:38:03 +0000 | [diff] [blame] | 125 | } |
Misha Brukman | dedf2bd | 2005-04-22 04:01:18 +0000 | [diff] [blame] | 126 | } else if (const BasicBlockSDNode *BBDN = dyn_cast<BasicBlockSDNode>(Node)) { |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 127 | Op = "BB: "; |
| 128 | const Value *LBB = (const Value*)BBDN->getBasicBlock()->getBasicBlock(); |
| 129 | if (LBB) |
| 130 | Op += LBB->getName(); |
| 131 | //Op += " " + (const void*)BBDN->getBasicBlock(); |
Chris Lattner | d5d0f9b | 2005-08-16 21:55:35 +0000 | [diff] [blame] | 132 | } else if (const RegisterSDNode *R = dyn_cast<RegisterSDNode>(Node)) { |
Chris Lattner | 34ab4d4 | 2006-10-20 18:06:09 +0000 | [diff] [blame] | 133 | if (G && R->getReg() != 0 && |
| 134 | MRegisterInfo::isPhysicalRegister(R->getReg())) { |
Chris Lattner | 7228aa7 | 2005-08-19 21:21:16 +0000 | [diff] [blame] | 135 | Op = Op + " " + G->getTarget().getRegisterInfo()->getName(R->getReg()); |
| 136 | } else { |
| 137 | Op += " #" + utostr(R->getReg()); |
| 138 | } |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 139 | } else if (const ExternalSymbolSDNode *ES = |
| 140 | dyn_cast<ExternalSymbolSDNode>(Node)) { |
| 141 | Op += "'" + std::string(ES->getSymbol()) + "'"; |
Chris Lattner | 2bf3c26 | 2005-05-09 04:08:27 +0000 | [diff] [blame] | 142 | } else if (const SrcValueSDNode *M = dyn_cast<SrcValueSDNode>(Node)) { |
| 143 | if (M->getValue()) |
| 144 | Op += "<" + M->getValue()->getName() + ":" + itostr(M->getOffset()) + ">"; |
| 145 | else |
| 146 | Op += "<null:" + itostr(M->getOffset()) + ">"; |
Chris Lattner | a23e815 | 2005-08-18 03:31:02 +0000 | [diff] [blame] | 147 | } else if (const VTSDNode *N = dyn_cast<VTSDNode>(Node)) { |
Dan Gohman | b55757e | 2007-05-18 17:52:13 +0000 | [diff] [blame] | 148 | Op = Op + " VT=" + MVT::getValueTypeString(N->getVT()); |
Chris Lattner | 36ce691 | 2005-11-29 06:21:05 +0000 | [diff] [blame] | 149 | } else if (const StringSDNode *N = dyn_cast<StringSDNode>(Node)) { |
| 150 | Op = Op + "\"" + N->getValue() + "\""; |
Evan Cheng | 45aeccc | 2006-10-10 20:11:26 +0000 | [diff] [blame] | 151 | } else if (const LoadSDNode *LD = dyn_cast<LoadSDNode>(Node)) { |
| 152 | bool doExt = true; |
| 153 | switch (LD->getExtensionType()) { |
| 154 | default: doExt = false; break; |
| 155 | case ISD::EXTLOAD: |
| 156 | Op = Op + "<anyext "; |
| 157 | break; |
| 158 | case ISD::SEXTLOAD: |
| 159 | Op = Op + " <sext "; |
| 160 | break; |
| 161 | case ISD::ZEXTLOAD: |
| 162 | Op = Op + " <zext "; |
| 163 | break; |
| 164 | } |
| 165 | if (doExt) |
Evan Cheng | 2e49f09 | 2006-10-11 07:10:22 +0000 | [diff] [blame] | 166 | Op = Op + MVT::getValueTypeString(LD->getLoadedVT()) + ">"; |
Evan Cheng | 45aeccc | 2006-10-10 20:11:26 +0000 | [diff] [blame] | 167 | |
Evan Cheng | 0030582 | 2006-11-09 18:44:21 +0000 | [diff] [blame] | 168 | Op += LD->getIndexedModeName(LD->getAddressingMode()); |
Evan Cheng | 649b7ef | 2006-10-17 21:18:26 +0000 | [diff] [blame] | 169 | } else if (const StoreSDNode *ST = dyn_cast<StoreSDNode>(Node)) { |
| 170 | if (ST->isTruncatingStore()) |
| 171 | Op = Op + "<trunc " + MVT::getValueTypeString(ST->getStoredVT()) + ">"; |
Evan Cheng | 0030582 | 2006-11-09 18:44:21 +0000 | [diff] [blame] | 172 | Op += ST->getIndexedModeName(ST->getAddressingMode()); |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 173 | } |
Chris Lattner | 36ce691 | 2005-11-29 06:21:05 +0000 | [diff] [blame] | 174 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 175 | return Op; |
| 176 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 177 | |
Chris Lattner | e9c44cd | 2005-01-11 00:34:33 +0000 | [diff] [blame] | 178 | |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 179 | /// viewGraph - Pop up a ghostview window with the reachable parts of the DAG |
| 180 | /// rendered using 'dot'. |
| 181 | /// |
| 182 | void SelectionDAG::viewGraph() { |
Chris Lattner | e388b5e | 2005-07-14 05:17:43 +0000 | [diff] [blame] | 183 | // This code is only for debugging! |
Chris Lattner | c5f44ad | 2005-07-14 05:33:13 +0000 | [diff] [blame] | 184 | #ifndef NDEBUG |
Reid Spencer | 9d5b532 | 2006-06-27 16:49:46 +0000 | [diff] [blame] | 185 | ViewGraph(this, "dag." + getMachineFunction().getFunction()->getName()); |
| 186 | #else |
Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 187 | cerr << "SelectionDAG::viewGraph is only available in debug builds on " |
| 188 | << "systems with Graphviz or gv!\n"; |
Reid Spencer | 9d5b532 | 2006-06-27 16:49:46 +0000 | [diff] [blame] | 189 | #endif // NDEBUG |
Chris Lattner | 6632848 | 2005-01-10 23:08:40 +0000 | [diff] [blame] | 190 | } |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 191 | |
| 192 | |
| 193 | /// clearGraphAttrs - Clear all previously defined node graph attributes. |
| 194 | /// Intended to be used from a debugging tool (eg. gdb). |
| 195 | void SelectionDAG::clearGraphAttrs() { |
| 196 | #ifndef NDEBUG |
| 197 | NodeGraphAttrs.clear(); |
| 198 | #else |
Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 199 | cerr << "SelectionDAG::clearGraphAttrs is only available in debug builds" |
| 200 | << " on systems with Graphviz or gv!\n"; |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 201 | #endif |
| 202 | } |
| 203 | |
| 204 | |
| 205 | /// setGraphAttrs - Set graph attributes for a node. (eg. "color=red".) |
| 206 | /// |
| 207 | void SelectionDAG::setGraphAttrs(const SDNode *N, const char *Attrs) { |
| 208 | #ifndef NDEBUG |
| 209 | NodeGraphAttrs[N] = Attrs; |
| 210 | #else |
Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 211 | cerr << "SelectionDAG::setGraphAttrs is only available in debug builds" |
| 212 | << " on systems with Graphviz or gv!\n"; |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 213 | #endif |
| 214 | } |
| 215 | |
| 216 | |
| 217 | /// getGraphAttrs - Get graph attributes for a node. (eg. "color=red".) |
| 218 | /// Used from getNodeAttributes. |
| 219 | const std::string SelectionDAG::getGraphAttrs(const SDNode *N) const { |
| 220 | #ifndef NDEBUG |
| 221 | std::map<const SDNode *, std::string>::const_iterator I = |
| 222 | NodeGraphAttrs.find(N); |
| 223 | |
| 224 | if (I != NodeGraphAttrs.end()) |
| 225 | return I->second; |
| 226 | else |
| 227 | return ""; |
| 228 | #else |
Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 229 | cerr << "SelectionDAG::getGraphAttrs is only available in debug builds" |
| 230 | << " on systems with Graphviz or gv!\n"; |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 231 | return std::string(""); |
| 232 | #endif |
| 233 | } |
| 234 | |
| 235 | /// setGraphColor - Convenience for setting node color attribute. |
| 236 | /// |
| 237 | void SelectionDAG::setGraphColor(const SDNode *N, const char *Color) { |
| 238 | #ifndef NDEBUG |
| 239 | NodeGraphAttrs[N] = std::string("color=") + Color; |
| 240 | #else |
Bill Wendling | 832171c | 2006-12-07 20:04:42 +0000 | [diff] [blame] | 241 | cerr << "SelectionDAG::setGraphColor is only available in debug builds" |
| 242 | << " on systems with Graphviz or gv!\n"; |
Jim Laskey | ec20402 | 2006-10-02 12:26:53 +0000 | [diff] [blame] | 243 | #endif |
| 244 | } |
| 245 | |