Mikhail Glushenkov | b90cd83 | 2008-05-06 16:34:12 +0000 | [diff] [blame] | 1 | //===--- CompilationGraph.cpp - The LLVM Compiler Driver --------*- C++ -*-===// |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open |
| 6 | // Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Mikhail Glushenkov | b90cd83 | 2008-05-06 16:34:12 +0000 | [diff] [blame] | 10 | // Compilation graph - implementation. |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Mikhail Glushenkov | 7defa2d | 2009-06-25 18:20:10 +0000 | [diff] [blame] | 14 | #include "llvm/CompilerDriver/BuiltinOptions.h" |
Mikhail Glushenkov | 4a1a77c | 2008-09-22 20:50:40 +0000 | [diff] [blame] | 15 | #include "llvm/CompilerDriver/CompilationGraph.h" |
Mikhail Glushenkov | f188178 | 2009-03-02 09:01:14 +0000 | [diff] [blame] | 16 | #include "llvm/CompilerDriver/Error.h" |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 17 | |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/STLExtras.h" |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 19 | #include "llvm/Support/DOTGraphTraits.h" |
| 20 | #include "llvm/Support/GraphWriter.h" |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 21 | #include "llvm/Support/raw_ostream.h" |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 22 | |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 23 | #include <algorithm> |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 24 | #include <cstring> |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 25 | #include <iterator> |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 26 | #include <limits> |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 27 | #include <queue> |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 28 | |
| 29 | using namespace llvm; |
Mikhail Glushenkov | be9d9a1 | 2008-05-06 18:08:59 +0000 | [diff] [blame] | 30 | using namespace llvmc; |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 31 | |
Mikhail Glushenkov | 2e73e85 | 2008-05-30 06:19:52 +0000 | [diff] [blame] | 32 | namespace llvmc { |
Mikhail Glushenkov | 2e73e85 | 2008-05-30 06:19:52 +0000 | [diff] [blame] | 33 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 34 | const std::string* LanguageMap::GetLanguage(const sys::Path& File) const { |
Michael J. Spencer | 7385509 | 2010-12-18 22:23:07 +0000 | [diff] [blame] | 35 | // Remove the '.'. |
| 36 | StringRef suf = sys::path::extension(File.str()).substr(1); |
Mikhail Glushenkov | 9660c5d | 2010-02-23 09:05:21 +0000 | [diff] [blame] | 37 | LanguageMap::const_iterator Lang = |
| 38 | this->find(suf.empty() ? "*empty*" : suf); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 39 | if (Lang == this->end()) { |
| 40 | PrintError("File '" + File.str() + "' has unknown suffix '" |
| 41 | + suf.str() + '\''); |
| 42 | return 0; |
| 43 | } |
| 44 | return &Lang->second; |
Mikhail Glushenkov | 2e73e85 | 2008-05-30 06:19:52 +0000 | [diff] [blame] | 45 | } |
| 46 | } |
| 47 | |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 48 | namespace { |
| 49 | |
Mikhail Glushenkov | 7555f0a | 2010-08-23 19:24:08 +0000 | [diff] [blame] | 50 | /// ChooseEdge - Return the edge with the maximum weight. Returns 0 on error. |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 51 | template <class C> |
| 52 | const Edge* ChooseEdge(const C& EdgesContainer, |
Mikhail Glushenkov | 76b1b24 | 2008-05-06 18:15:12 +0000 | [diff] [blame] | 53 | const InputLanguagesSet& InLangs, |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 54 | const std::string& NodeName = "root") { |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 55 | const Edge* MaxEdge = 0; |
Mikhail Glushenkov | 7555f0a | 2010-08-23 19:24:08 +0000 | [diff] [blame] | 56 | int MaxWeight = 0; |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 57 | bool SingleMax = true; |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 58 | |
Mikhail Glushenkov | 316abba | 2010-08-23 19:24:12 +0000 | [diff] [blame] | 59 | // TODO: fix calculation of SingleMax. |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 60 | for (typename C::const_iterator B = EdgesContainer.begin(), |
| 61 | E = EdgesContainer.end(); B != E; ++B) { |
Bill Wendling | 46f7a5e | 2008-10-02 18:39:11 +0000 | [diff] [blame] | 62 | const Edge* e = B->getPtr(); |
Mikhail Glushenkov | 7555f0a | 2010-08-23 19:24:08 +0000 | [diff] [blame] | 63 | int EW = e->Weight(InLangs); |
| 64 | if (EW < 0) { |
| 65 | // (error) invocation in TableGen -> we don't need to print an error |
| 66 | // message. |
| 67 | return 0; |
| 68 | } |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 69 | if (EW > MaxWeight) { |
Bill Wendling | 46f7a5e | 2008-10-02 18:39:11 +0000 | [diff] [blame] | 70 | MaxEdge = e; |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 71 | MaxWeight = EW; |
| 72 | SingleMax = true; |
Mikhail Glushenkov | e0ff9ae | 2008-05-06 18:18:58 +0000 | [diff] [blame] | 73 | } else if (EW == MaxWeight) { |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 74 | SingleMax = false; |
| 75 | } |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 76 | } |
| 77 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 78 | if (!SingleMax) { |
| 79 | PrintError("Node " + NodeName + ": multiple maximal outward edges found!" |
| 80 | " Most probably a specification error."); |
| 81 | return 0; |
| 82 | } |
| 83 | if (!MaxEdge) { |
| 84 | PrintError("Node " + NodeName + ": no maximal outward edge found!" |
| 85 | " Most probably a specification error."); |
| 86 | return 0; |
| 87 | } |
Mikhail Glushenkov | bb8b58d | 2008-05-06 18:14:24 +0000 | [diff] [blame] | 88 | return MaxEdge; |
Mikhail Glushenkov | 6591c89 | 2008-05-06 17:23:50 +0000 | [diff] [blame] | 89 | } |
| 90 | |
Mikhail Glushenkov | 6591c89 | 2008-05-06 17:23:50 +0000 | [diff] [blame] | 91 | } |
| 92 | |
Mikhail Glushenkov | 7e6d70a | 2008-11-26 22:59:45 +0000 | [diff] [blame] | 93 | void Node::AddEdge(Edge* Edg) { |
| 94 | // If there already was an edge between two nodes, modify it instead |
| 95 | // of adding a new edge. |
| 96 | const std::string& ToolName = Edg->ToolName(); |
| 97 | for (container_type::iterator B = OutEdges.begin(), E = OutEdges.end(); |
| 98 | B != E; ++B) { |
| 99 | if ((*B)->ToolName() == ToolName) { |
| 100 | llvm::IntrusiveRefCntPtr<Edge>(Edg).swap(*B); |
| 101 | return; |
| 102 | } |
| 103 | } |
| 104 | OutEdges.push_back(llvm::IntrusiveRefCntPtr<Edge>(Edg)); |
| 105 | } |
| 106 | |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 107 | CompilationGraph::CompilationGraph() { |
| 108 | NodesMap["root"] = Node(this); |
| 109 | } |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 110 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 111 | Node* CompilationGraph::getNode(const std::string& ToolName) { |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 112 | nodes_map_type::iterator I = NodesMap.find(ToolName); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 113 | if (I == NodesMap.end()) { |
| 114 | PrintError("Node " + ToolName + " is not in the graph"); |
| 115 | return 0; |
| 116 | } |
| 117 | return &I->second; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 120 | const Node* CompilationGraph::getNode(const std::string& ToolName) const { |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 121 | nodes_map_type::const_iterator I = NodesMap.find(ToolName); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 122 | if (I == NodesMap.end()) { |
| 123 | PrintError("Node " + ToolName + " is not in the graph!"); |
| 124 | return 0; |
| 125 | } |
| 126 | return &I->second; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 127 | } |
| 128 | |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 129 | // Find the tools list corresponding to the given language name. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 130 | const CompilationGraph::tools_vector_type* |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 131 | CompilationGraph::getToolsVector(const std::string& LangName) const |
| 132 | { |
| 133 | tools_map_type::const_iterator I = ToolsMap.find(LangName); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 134 | if (I == ToolsMap.end()) { |
| 135 | PrintError("No tool corresponding to the language " + LangName + " found"); |
| 136 | return 0; |
| 137 | } |
| 138 | return &I->second; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 139 | } |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 140 | |
Mikhail Glushenkov | 0a17493 | 2008-05-06 16:36:06 +0000 | [diff] [blame] | 141 | void CompilationGraph::insertNode(Tool* V) { |
Mikhail Glushenkov | aa4774c | 2008-11-12 00:04:46 +0000 | [diff] [blame] | 142 | if (NodesMap.count(V->Name()) == 0) |
| 143 | NodesMap[V->Name()] = Node(this, V); |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 144 | } |
| 145 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 146 | int CompilationGraph::insertEdge(const std::string& A, Edge* Edg) { |
| 147 | Node* B = getNode(Edg->ToolName()); |
| 148 | if (B == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 149 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 150 | |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 151 | if (A == "root") { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 152 | const char** InLangs = B->ToolPtr->InputLanguages(); |
Mikhail Glushenkov | 5fe8475 | 2008-05-30 06:24:49 +0000 | [diff] [blame] | 153 | for (;*InLangs; ++InLangs) |
| 154 | ToolsMap[*InLangs].push_back(IntrusiveRefCntPtr<Edge>(Edg)); |
Mikhail Glushenkov | ffcf3a1 | 2008-05-30 06:18:16 +0000 | [diff] [blame] | 155 | NodesMap["root"].AddEdge(Edg); |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 156 | } |
| 157 | else { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 158 | Node* N = getNode(A); |
| 159 | if (N == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 160 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 161 | |
| 162 | N->AddEdge(Edg); |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 163 | } |
Mikhail Glushenkov | c74bfc9 | 2008-05-06 17:26:53 +0000 | [diff] [blame] | 164 | // Increase the inward edge counter. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 165 | B->IncrInEdges(); |
| 166 | |
| 167 | return 0; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 168 | } |
| 169 | |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 170 | // Pass input file through the chain until we bump into a Join node or |
| 171 | // a node that says that it is the last. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 172 | int CompilationGraph::PassThroughGraph (const sys::Path& InFile, |
| 173 | const Node* StartNode, |
| 174 | const InputLanguagesSet& InLangs, |
| 175 | const sys::Path& TempDir, |
| 176 | const LanguageMap& LangMap) const { |
Mikhail Glushenkov | 35a85e8 | 2008-05-06 18:10:20 +0000 | [diff] [blame] | 177 | sys::Path In = InFile; |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 178 | const Node* CurNode = StartNode; |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 179 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 180 | while(true) { |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 181 | Tool* CurTool = CurNode->ToolPtr.getPtr(); |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 182 | |
| 183 | if (CurTool->IsJoin()) { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 184 | JoinTool& JT = static_cast<JoinTool&>(*CurTool); |
Mikhail Glushenkov | 35a85e8 | 2008-05-06 18:10:20 +0000 | [diff] [blame] | 185 | JT.AddToJoinList(In); |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 186 | break; |
| 187 | } |
| 188 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 189 | Action CurAction; |
| 190 | if (int ret = CurTool->GenerateAction(CurAction, In, CurNode->HasChildren(), |
| 191 | TempDir, InLangs, LangMap)) { |
| 192 | return ret; |
| 193 | } |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 194 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 195 | if (int ret = CurAction.Execute()) |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 196 | return ret; |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 197 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 198 | if (CurAction.StopCompilation()) |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 199 | return 0; |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 200 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 201 | const Edge* Edg = ChooseEdge(CurNode->OutEdges, InLangs, CurNode->Name()); |
| 202 | if (Edg == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 203 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 204 | |
| 205 | CurNode = getNode(Edg->ToolName()); |
| 206 | if (CurNode == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 207 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 208 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 209 | In = CurAction.OutFile(); |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 210 | } |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 211 | |
| 212 | return 0; |
Mikhail Glushenkov | 2ba4c5a | 2008-05-06 17:25:51 +0000 | [diff] [blame] | 213 | } |
| 214 | |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 215 | // Find the head of the toolchain corresponding to the given file. |
Mikhail Glushenkov | 76b1b24 | 2008-05-06 18:15:12 +0000 | [diff] [blame] | 216 | // Also, insert an input language into InLangs. |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 217 | const Node* CompilationGraph:: |
Mikhail Glushenkov | 11a353a | 2008-09-22 20:47:46 +0000 | [diff] [blame] | 218 | FindToolChain(const sys::Path& In, const std::string* ForceLanguage, |
| 219 | InputLanguagesSet& InLangs, const LanguageMap& LangMap) const { |
Mikhail Glushenkov | 76b1b24 | 2008-05-06 18:15:12 +0000 | [diff] [blame] | 220 | |
| 221 | // Determine the input language. |
Mikhail Glushenkov | e6334d8 | 2010-09-15 15:20:41 +0000 | [diff] [blame] | 222 | const std::string* InLang = (ForceLanguage ? ForceLanguage |
| 223 | : LangMap.GetLanguage(In)); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 224 | if (InLang == 0) |
| 225 | return 0; |
Mikhail Glushenkov | e6334d8 | 2010-09-15 15:20:41 +0000 | [diff] [blame] | 226 | const std::string& InLanguage = *InLang; |
Mikhail Glushenkov | 76b1b24 | 2008-05-06 18:15:12 +0000 | [diff] [blame] | 227 | |
| 228 | // Add the current input language to the input language set. |
| 229 | InLangs.insert(InLanguage); |
| 230 | |
| 231 | // Find the toolchain for the input language. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 232 | const tools_vector_type* pTV = getToolsVector(InLanguage); |
| 233 | if (pTV == 0) |
| 234 | return 0; |
| 235 | |
| 236 | const tools_vector_type& TV = *pTV; |
| 237 | if (TV.empty()) { |
| 238 | PrintError("No toolchain corresponding to language " |
| 239 | + InLanguage + " found"); |
| 240 | return 0; |
| 241 | } |
| 242 | |
| 243 | const Edge* Edg = ChooseEdge(TV, InLangs); |
| 244 | if (Edg == 0) |
| 245 | return 0; |
| 246 | |
| 247 | return getNode(Edg->ToolName()); |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 248 | } |
| 249 | |
Mikhail Glushenkov | 4c11a62 | 2008-05-06 18:15:35 +0000 | [diff] [blame] | 250 | // Helper function used by Build(). |
| 251 | // Traverses initial portions of the toolchains (up to the first Join node). |
| 252 | // This function is also responsible for handling the -x option. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 253 | int CompilationGraph::BuildInitial (InputLanguagesSet& InLangs, |
| 254 | const sys::Path& TempDir, |
| 255 | const LanguageMap& LangMap) { |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 256 | // This is related to -x option handling. |
| 257 | cl::list<std::string>::const_iterator xIter = Languages.begin(), |
| 258 | xBegin = xIter, xEnd = Languages.end(); |
| 259 | bool xEmpty = true; |
| 260 | const std::string* xLanguage = 0; |
| 261 | unsigned xPos = 0, xPosNext = 0, filePos = 0; |
| 262 | |
| 263 | if (xIter != xEnd) { |
| 264 | xEmpty = false; |
| 265 | xPos = Languages.getPosition(xIter - xBegin); |
| 266 | cl::list<std::string>::const_iterator xNext = llvm::next(xIter); |
| 267 | xPosNext = (xNext == xEnd) ? std::numeric_limits<unsigned>::max() |
| 268 | : Languages.getPosition(xNext - xBegin); |
| 269 | xLanguage = (*xIter == "none") ? 0 : &(*xIter); |
| 270 | } |
| 271 | |
Mikhail Glushenkov | 4f6e3a4 | 2008-05-06 17:28:03 +0000 | [diff] [blame] | 272 | // For each input file: |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 273 | for (cl::list<std::string>::const_iterator B = InputFilenames.begin(), |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 274 | CB = B, E = InputFilenames.end(); B != E; ++B) { |
Mikhail Glushenkov | bbbc9d4 | 2008-05-06 17:27:37 +0000 | [diff] [blame] | 275 | sys::Path In = sys::Path(*B); |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 276 | |
Mikhail Glushenkov | 87416b4 | 2008-05-06 18:10:53 +0000 | [diff] [blame] | 277 | // Code for handling the -x option. |
| 278 | // Output: std::string* xLanguage (can be NULL). |
| 279 | if (!xEmpty) { |
| 280 | filePos = InputFilenames.getPosition(B - CB); |
| 281 | |
| 282 | if (xPos < filePos) { |
| 283 | if (filePos < xPosNext) { |
| 284 | xLanguage = (*xIter == "none") ? 0 : &(*xIter); |
| 285 | } |
| 286 | else { // filePos >= xPosNext |
| 287 | // Skip xIters while filePos > xPosNext |
| 288 | while (filePos > xPosNext) { |
| 289 | ++xIter; |
| 290 | xPos = xPosNext; |
| 291 | |
| 292 | cl::list<std::string>::const_iterator xNext = llvm::next(xIter); |
| 293 | if (xNext == xEnd) |
| 294 | xPosNext = std::numeric_limits<unsigned>::max(); |
| 295 | else |
| 296 | xPosNext = Languages.getPosition(xNext - xBegin); |
| 297 | xLanguage = (*xIter == "none") ? 0 : &(*xIter); |
| 298 | } |
| 299 | } |
| 300 | } |
| 301 | } |
| 302 | |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 303 | // Find the toolchain corresponding to this file. |
Mikhail Glushenkov | 11a353a | 2008-09-22 20:47:46 +0000 | [diff] [blame] | 304 | const Node* N = FindToolChain(In, xLanguage, InLangs, LangMap); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 305 | if (N == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 306 | return 1; |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 307 | // Pass file through the chain starting at head. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 308 | if (int ret = PassThroughGraph(In, N, InLangs, TempDir, LangMap)) |
| 309 | return ret; |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 310 | } |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 311 | |
| 312 | return 0; |
Mikhail Glushenkov | 4c11a62 | 2008-05-06 18:15:35 +0000 | [diff] [blame] | 313 | } |
| 314 | |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 315 | // Sort the nodes in topological order. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 316 | int CompilationGraph::TopologicalSort(std::vector<const Node*>& Out) { |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 317 | std::queue<const Node*> Q; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 318 | |
| 319 | Node* Root = getNode("root"); |
| 320 | if (Root == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 321 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 322 | |
| 323 | Q.push(Root); |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 324 | |
| 325 | while (!Q.empty()) { |
| 326 | const Node* A = Q.front(); |
| 327 | Q.pop(); |
| 328 | Out.push_back(A); |
| 329 | for (Node::const_iterator EB = A->EdgesBegin(), EE = A->EdgesEnd(); |
| 330 | EB != EE; ++EB) { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 331 | Node* B = getNode((*EB)->ToolName()); |
| 332 | if (B == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 333 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 334 | |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 335 | B->DecrInEdges(); |
| 336 | if (B->HasNoInEdges()) |
| 337 | Q.push(B); |
| 338 | } |
| 339 | } |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 340 | |
| 341 | return 0; |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 342 | } |
| 343 | |
| 344 | namespace { |
| 345 | bool NotJoinNode(const Node* N) { |
| 346 | return N->ToolPtr ? !N->ToolPtr->IsJoin() : true; |
| 347 | } |
| 348 | } |
| 349 | |
| 350 | // Call TopologicalSort and filter the resulting list to include |
| 351 | // only Join nodes. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 352 | int CompilationGraph:: |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 353 | TopologicalSortFilterJoinNodes(std::vector<const Node*>& Out) { |
| 354 | std::vector<const Node*> TopSorted; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 355 | if (int ret = TopologicalSort(TopSorted)) |
| 356 | return ret; |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 357 | std::remove_copy_if(TopSorted.begin(), TopSorted.end(), |
| 358 | std::back_inserter(Out), NotJoinNode); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 359 | |
| 360 | return 0; |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 361 | } |
| 362 | |
Mikhail Glushenkov | 11a353a | 2008-09-22 20:47:46 +0000 | [diff] [blame] | 363 | int CompilationGraph::Build (const sys::Path& TempDir, |
| 364 | const LanguageMap& LangMap) { |
Mikhail Glushenkov | 4c11a62 | 2008-05-06 18:15:35 +0000 | [diff] [blame] | 365 | InputLanguagesSet InLangs; |
Mikhail Glushenkov | b482f23 | 2010-07-27 11:19:40 +0000 | [diff] [blame] | 366 | bool WasSomeActionGenerated = !InputFilenames.empty(); |
Mikhail Glushenkov | 4c11a62 | 2008-05-06 18:15:35 +0000 | [diff] [blame] | 367 | |
| 368 | // Traverse initial parts of the toolchains and fill in InLangs. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 369 | if (int ret = BuildInitial(InLangs, TempDir, LangMap)) |
| 370 | return ret; |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 371 | |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 372 | std::vector<const Node*> JTV; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 373 | if (int ret = TopologicalSortFilterJoinNodes(JTV)) |
| 374 | return ret; |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 375 | |
Mikhail Glushenkov | 0260658 | 2008-05-06 18:07:14 +0000 | [diff] [blame] | 376 | // For all join nodes in topological order: |
| 377 | for (std::vector<const Node*>::iterator B = JTV.begin(), E = JTV.end(); |
| 378 | B != E; ++B) { |
Mikhail Glushenkov | be9d9a1 | 2008-05-06 18:08:59 +0000 | [diff] [blame] | 379 | |
Mikhail Glushenkov | 3d68822 | 2008-05-06 18:07:48 +0000 | [diff] [blame] | 380 | const Node* CurNode = *B; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 381 | JoinTool* JT = &static_cast<JoinTool&>(*CurNode->ToolPtr.getPtr()); |
Mikhail Glushenkov | 3d68822 | 2008-05-06 18:07:48 +0000 | [diff] [blame] | 382 | |
Mikhail Glushenkov | be86712 | 2008-05-06 18:16:52 +0000 | [diff] [blame] | 383 | // Are there any files in the join list? |
Mikhail Glushenkov | be6ee7c | 2010-02-23 09:04:28 +0000 | [diff] [blame] | 384 | if (JT->JoinListEmpty() && !(JT->WorksOnEmpty() && InputFilenames.empty())) |
Mikhail Glushenkov | 3d68822 | 2008-05-06 18:07:48 +0000 | [diff] [blame] | 385 | continue; |
| 386 | |
Mikhail Glushenkov | b482f23 | 2010-07-27 11:19:40 +0000 | [diff] [blame] | 387 | WasSomeActionGenerated = true; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 388 | Action CurAction; |
| 389 | if (int ret = JT->GenerateAction(CurAction, CurNode->HasChildren(), |
| 390 | TempDir, InLangs, LangMap)) { |
| 391 | return ret; |
| 392 | } |
Mikhail Glushenkov | 3d68822 | 2008-05-06 18:07:48 +0000 | [diff] [blame] | 393 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 394 | if (int ret = CurAction.Execute()) |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 395 | return ret; |
Mikhail Glushenkov | 3d68822 | 2008-05-06 18:07:48 +0000 | [diff] [blame] | 396 | |
Mikhail Glushenkov | f915253 | 2008-12-07 16:41:11 +0000 | [diff] [blame] | 397 | if (CurAction.StopCompilation()) |
| 398 | return 0; |
| 399 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 400 | const Edge* Edg = ChooseEdge(CurNode->OutEdges, InLangs, CurNode->Name()); |
| 401 | if (Edg == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 402 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 403 | |
| 404 | const Node* NextNode = getNode(Edg->ToolName()); |
| 405 | if (NextNode == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 406 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 407 | |
| 408 | if (int ret = PassThroughGraph(sys::Path(CurAction.OutFile()), NextNode, |
| 409 | InLangs, TempDir, LangMap)) { |
| 410 | return ret; |
| 411 | } |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 412 | } |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 413 | |
Mikhail Glushenkov | b482f23 | 2010-07-27 11:19:40 +0000 | [diff] [blame] | 414 | if (!WasSomeActionGenerated) { |
| 415 | PrintError("no input files"); |
| 416 | return 1; |
| 417 | } |
| 418 | |
Anton Korobeynikov | ac67b7e | 2008-03-23 08:57:20 +0000 | [diff] [blame] | 419 | return 0; |
| 420 | } |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 421 | |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 422 | int CompilationGraph::CheckLanguageNames() const { |
| 423 | int ret = 0; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 424 | |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 425 | // Check that names for output and input languages on all edges do match. |
| 426 | for (const_nodes_iterator B = this->NodesMap.begin(), |
| 427 | E = this->NodesMap.end(); B != E; ++B) { |
| 428 | |
| 429 | const Node & N1 = B->second; |
| 430 | if (N1.ToolPtr) { |
| 431 | for (Node::const_iterator EB = N1.EdgesBegin(), EE = N1.EdgesEnd(); |
| 432 | EB != EE; ++EB) { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 433 | const Node* N2 = this->getNode((*EB)->ToolName()); |
| 434 | if (N2 == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 435 | return 1; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 436 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 437 | if (!N2->ToolPtr) { |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 438 | ++ret; |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 439 | errs() << "Error: there is an edge from '" << N1.ToolPtr->Name() |
| 440 | << "' back to the root!\n\n"; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 441 | continue; |
| 442 | } |
| 443 | |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 444 | const char** OutLangs = N1.ToolPtr->OutputLanguages(); |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 445 | const char** InLangs = N2->ToolPtr->InputLanguages(); |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 446 | bool eq = false; |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 447 | const char* OutLang = 0; |
| 448 | for (;*OutLangs; ++OutLangs) { |
| 449 | OutLang = *OutLangs; |
| 450 | for (;*InLangs; ++InLangs) { |
| 451 | if (std::strcmp(OutLang, *InLangs) == 0) { |
| 452 | eq = true; |
| 453 | break; |
| 454 | } |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 455 | } |
| 456 | } |
| 457 | |
| 458 | if (!eq) { |
| 459 | ++ret; |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 460 | errs() << "Error: Output->input language mismatch in the edge '" |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 461 | << N1.ToolPtr->Name() << "' -> '" << N2->ToolPtr->Name() |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 462 | << "'!\n" |
| 463 | << "Expected one of { "; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 464 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 465 | InLangs = N2->ToolPtr->InputLanguages(); |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 466 | for (;*InLangs; ++InLangs) { |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 467 | errs() << '\'' << *InLangs << (*(InLangs+1) ? "', " : "'"); |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 468 | } |
| 469 | |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 470 | errs() << " }, but got '" << OutLang << "'!\n\n"; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 471 | } |
| 472 | |
| 473 | } |
| 474 | } |
| 475 | } |
| 476 | |
| 477 | return ret; |
| 478 | } |
| 479 | |
| 480 | int CompilationGraph::CheckMultipleDefaultEdges() const { |
| 481 | int ret = 0; |
| 482 | InputLanguagesSet Dummy; |
| 483 | |
Mikhail Glushenkov | 7ba6052 | 2009-01-30 02:12:57 +0000 | [diff] [blame] | 484 | // For all nodes, just iterate over the outgoing edges and check if there is |
| 485 | // more than one edge with maximum weight. |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 486 | for (const_nodes_iterator B = this->NodesMap.begin(), |
| 487 | E = this->NodesMap.end(); B != E; ++B) { |
| 488 | const Node& N = B->second; |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 489 | int MaxWeight = -1024; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 490 | |
| 491 | // Ignore the root node. |
| 492 | if (!N.ToolPtr) |
| 493 | continue; |
| 494 | |
| 495 | for (Node::const_iterator EB = N.EdgesBegin(), EE = N.EdgesEnd(); |
| 496 | EB != EE; ++EB) { |
Mikhail Glushenkov | 7555f0a | 2010-08-23 19:24:08 +0000 | [diff] [blame] | 497 | int EdgeWeight = (*EB)->Weight(Dummy); |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 498 | if (EdgeWeight > MaxWeight) { |
| 499 | MaxWeight = EdgeWeight; |
| 500 | } |
| 501 | else if (EdgeWeight == MaxWeight) { |
| 502 | ++ret; |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 503 | errs() << "Error: there are multiple maximal edges stemming from the '" |
| 504 | << N.ToolPtr->Name() << "' node!\n\n"; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 505 | break; |
| 506 | } |
| 507 | } |
| 508 | } |
| 509 | |
| 510 | return ret; |
| 511 | } |
| 512 | |
| 513 | int CompilationGraph::CheckCycles() { |
| 514 | unsigned deleted = 0; |
| 515 | std::queue<Node*> Q; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 516 | |
| 517 | Node* Root = getNode("root"); |
| 518 | if (Root == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 519 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 520 | |
| 521 | Q.push(Root); |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 522 | |
Mikhail Glushenkov | 7ba6052 | 2009-01-30 02:12:57 +0000 | [diff] [blame] | 523 | // Try to delete all nodes that have no ingoing edges, starting from the |
| 524 | // root. If there are any nodes left after this operation, then we have a |
| 525 | // cycle. This relies on '--check-graph' not performing the topological sort. |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 526 | while (!Q.empty()) { |
| 527 | Node* A = Q.front(); |
| 528 | Q.pop(); |
| 529 | ++deleted; |
| 530 | |
| 531 | for (Node::iterator EB = A->EdgesBegin(), EE = A->EdgesEnd(); |
| 532 | EB != EE; ++EB) { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 533 | Node* B = getNode((*EB)->ToolName()); |
| 534 | if (B == 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 535 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 536 | |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 537 | B->DecrInEdges(); |
| 538 | if (B->HasNoInEdges()) |
| 539 | Q.push(B); |
| 540 | } |
| 541 | } |
| 542 | |
| 543 | if (deleted != NodesMap.size()) { |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 544 | errs() << "Error: there are cycles in the compilation graph!\n" |
| 545 | << "Try inspecting the diagram produced by " |
| 546 | << "'llvmc --view-graph'.\n\n"; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 547 | return 1; |
| 548 | } |
| 549 | |
| 550 | return 0; |
| 551 | } |
| 552 | |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 553 | int CompilationGraph::Check () { |
| 554 | // We try to catch as many errors as we can in one go. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 555 | int errs = 0; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 556 | int ret = 0; |
| 557 | |
| 558 | // Check that output/input language names match. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 559 | ret = this->CheckLanguageNames(); |
| 560 | if (ret < 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 561 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 562 | errs += ret; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 563 | |
| 564 | // Check for multiple default edges. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 565 | ret = this->CheckMultipleDefaultEdges(); |
| 566 | if (ret < 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 567 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 568 | errs += ret; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 569 | |
| 570 | // Check for cycles. |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 571 | ret = this->CheckCycles(); |
| 572 | if (ret < 0) |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 573 | return 1; |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 574 | errs += ret; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 575 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 576 | return errs; |
Mikhail Glushenkov | f8c430b | 2009-01-09 16:16:27 +0000 | [diff] [blame] | 577 | } |
| 578 | |
Mikhail Glushenkov | bbbc9d4 | 2008-05-06 17:27:37 +0000 | [diff] [blame] | 579 | // Code related to graph visualization. |
| 580 | |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 581 | namespace { |
| 582 | |
| 583 | std::string SquashStrArray (const char** StrArr) { |
| 584 | std::string ret; |
| 585 | |
| 586 | for (; *StrArr; ++StrArr) { |
| 587 | if (*(StrArr + 1)) { |
| 588 | ret += *StrArr; |
| 589 | ret += ", "; |
| 590 | } |
| 591 | else { |
| 592 | ret += *StrArr; |
| 593 | } |
| 594 | } |
| 595 | |
| 596 | return ret; |
| 597 | } |
| 598 | |
| 599 | } // End anonymous namespace. |
| 600 | |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 601 | namespace llvm { |
| 602 | template <> |
Mikhail Glushenkov | be9d9a1 | 2008-05-06 18:08:59 +0000 | [diff] [blame] | 603 | struct DOTGraphTraits<llvmc::CompilationGraph*> |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 604 | : public DefaultDOTGraphTraits |
| 605 | { |
Tobias Grosser | ab01069 | 2009-11-30 13:34:51 +0000 | [diff] [blame] | 606 | DOTGraphTraits (bool isSimple=false) : DefaultDOTGraphTraits(isSimple) {} |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 607 | |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 608 | template<typename GraphType> |
Tobias Grosser | b5eedf2 | 2009-11-30 13:14:13 +0000 | [diff] [blame] | 609 | static std::string getNodeLabel(const Node* N, const GraphType&) |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 610 | { |
| 611 | if (N->ToolPtr) |
| 612 | if (N->ToolPtr->IsJoin()) |
| 613 | return N->Name() + "\n (join" + |
| 614 | (N->HasChildren() ? ")" |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 615 | : std::string(": ") + |
| 616 | SquashStrArray(N->ToolPtr->OutputLanguages()) + ')'); |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 617 | else |
| 618 | return N->Name(); |
| 619 | else |
| 620 | return "root"; |
| 621 | } |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 622 | |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 623 | template<typename EdgeIter> |
| 624 | static std::string getEdgeSourceLabel(const Node* N, EdgeIter I) { |
Mikhail Glushenkov | ffcf3a1 | 2008-05-30 06:18:16 +0000 | [diff] [blame] | 625 | if (N->ToolPtr) { |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 626 | return SquashStrArray(N->ToolPtr->OutputLanguages()); |
Mikhail Glushenkov | ffcf3a1 | 2008-05-30 06:18:16 +0000 | [diff] [blame] | 627 | } |
| 628 | else { |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 629 | return SquashStrArray(I->ToolPtr->InputLanguages()); |
Mikhail Glushenkov | ffcf3a1 | 2008-05-30 06:18:16 +0000 | [diff] [blame] | 630 | } |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 631 | } |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 632 | }; |
Mikhail Glushenkov | 97fda6d | 2008-05-06 17:26:14 +0000 | [diff] [blame] | 633 | |
Mikhail Glushenkov | 46aa524 | 2010-09-21 14:59:42 +0000 | [diff] [blame] | 634 | } // End namespace llvm |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 635 | |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 636 | int CompilationGraph::writeGraph(const std::string& OutputFilename) { |
Chris Lattner | 103289e | 2009-08-23 07:19:13 +0000 | [diff] [blame] | 637 | std::string ErrorInfo; |
| 638 | raw_fd_ostream O(OutputFilename.c_str(), ErrorInfo); |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 639 | |
Chris Lattner | 103289e | 2009-08-23 07:19:13 +0000 | [diff] [blame] | 640 | if (ErrorInfo.empty()) { |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 641 | errs() << "Writing '"<< OutputFilename << "' file..."; |
Mikhail Glushenkov | 3cd3c72 | 2009-03-26 21:23:48 +0000 | [diff] [blame] | 642 | llvm::WriteGraph(O, this); |
Bill Wendling | 9cdd4f5 | 2009-06-30 04:07:12 +0000 | [diff] [blame] | 643 | errs() << "done.\n"; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 644 | } |
| 645 | else { |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 646 | PrintError("Error opening file '" + OutputFilename + "' for writing!"); |
Mikhail Glushenkov | 67d985f | 2010-07-27 11:19:36 +0000 | [diff] [blame] | 647 | return 1; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 648 | } |
Mikhail Glushenkov | b374d4f | 2010-07-23 03:42:55 +0000 | [diff] [blame] | 649 | |
| 650 | return 0; |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 651 | } |
| 652 | |
| 653 | void CompilationGraph::viewGraph() { |
Mikhail Glushenkov | d752c3f | 2008-05-06 16:36:50 +0000 | [diff] [blame] | 654 | llvm::ViewGraph(this, "compilation-graph"); |
Mikhail Glushenkov | 0d08db0 | 2008-05-06 16:35:25 +0000 | [diff] [blame] | 655 | } |