blob: b4eb89d30b1895754e12635e98ac8d9ec91b7907 [file] [log] [blame]
Nicolas Geoffrayf635e632014-05-14 09:43:38 +01001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "graph_visualizer.h"
18
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010019#include "code_generator.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010020#include "driver/dex_compilation_unit.h"
21#include "nodes.h"
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +010022#include "ssa_liveness_analysis.h"
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010023
24namespace art {
25
26/**
27 * HGraph visitor to generate a file suitable for the c1visualizer tool and IRHydra.
28 */
29class HGraphVisualizerPrinter : public HGraphVisitor {
30 public:
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +010031 HGraphVisualizerPrinter(HGraph* graph,
32 std::ostream& output,
33 const char* pass_name,
34 const CodeGenerator& codegen)
35 : HGraphVisitor(graph),
36 output_(output),
37 pass_name_(pass_name),
38 codegen_(codegen),
39 indent_(0) {}
Nicolas Geoffrayf635e632014-05-14 09:43:38 +010040
41 void StartTag(const char* name) {
42 AddIndent();
43 output_ << "begin_" << name << std::endl;
44 indent_++;
45 }
46
47 void EndTag(const char* name) {
48 indent_--;
49 AddIndent();
50 output_ << "end_" << name << std::endl;
51 }
52
53 void PrintProperty(const char* name, const char* property) {
54 AddIndent();
55 output_ << name << " \"" << property << "\"" << std::endl;
56 }
57
58 void PrintProperty(const char* name, const char* property, int id) {
59 AddIndent();
60 output_ << name << " \"" << property << id << "\"" << std::endl;
61 }
62
63 void PrintEmptyProperty(const char* name) {
64 AddIndent();
65 output_ << name << std::endl;
66 }
67
68 void PrintTime(const char* name) {
69 AddIndent();
70 output_ << name << " " << time(NULL) << std::endl;
71 }
72
73 void PrintInt(const char* name, int value) {
74 AddIndent();
75 output_ << name << " " << value << std::endl;
76 }
77
78 void AddIndent() {
79 for (size_t i = 0; i < indent_; ++i) {
80 output_ << " ";
81 }
82 }
83
Nicolas Geoffrayb09aacb2014-09-17 18:21:53 +010084 char GetTypeId(Primitive::Type type) {
Nicolas Geoffray18efde52014-09-22 15:51:11 +010085 // Note that Primitive::Descriptor would not work for us
86 // because it does not handle reference types (that is kPrimNot).
Nicolas Geoffrayb09aacb2014-09-17 18:21:53 +010087 switch (type) {
88 case Primitive::kPrimBoolean: return 'z';
89 case Primitive::kPrimByte: return 'b';
90 case Primitive::kPrimChar: return 'c';
91 case Primitive::kPrimShort: return 's';
92 case Primitive::kPrimInt: return 'i';
93 case Primitive::kPrimLong: return 'j';
94 case Primitive::kPrimFloat: return 'f';
95 case Primitive::kPrimDouble: return 'd';
96 case Primitive::kPrimNot: return 'l';
97 case Primitive::kPrimVoid: return 'v';
98 }
99 LOG(FATAL) << "Unreachable";
100 return 'v';
101 }
102
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100103 void PrintPredecessors(HBasicBlock* block) {
104 AddIndent();
105 output_ << "predecessors";
106 for (size_t i = 0, e = block->GetPredecessors().Size(); i < e; ++i) {
107 HBasicBlock* predecessor = block->GetPredecessors().Get(i);
108 output_ << " \"B" << predecessor->GetBlockId() << "\" ";
109 }
110 output_<< std::endl;
111 }
112
113 void PrintSuccessors(HBasicBlock* block) {
114 AddIndent();
115 output_ << "successors";
116 for (size_t i = 0, e = block->GetSuccessors().Size(); i < e; ++i) {
117 HBasicBlock* successor = block->GetSuccessors().Get(i);
118 output_ << " \"B" << successor->GetBlockId() << "\" ";
119 }
120 output_<< std::endl;
121 }
122
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100123 void DumpLocation(Location location, Primitive::Type type) {
124 if (location.IsRegister()) {
125 if (type == Primitive::kPrimDouble || type == Primitive::kPrimFloat) {
Nicolas Geoffray56b9ee62014-10-09 11:47:51 +0100126 codegen_.DumpFloatingPointRegister(output_, location.reg());
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100127 } else {
Nicolas Geoffray56b9ee62014-10-09 11:47:51 +0100128 codegen_.DumpCoreRegister(output_, location.reg());
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100129 }
Nicolas Geoffray96f89a22014-07-11 10:57:49 +0100130 } else if (location.IsConstant()) {
131 output_ << "constant";
Nicolas Geoffray18efde52014-09-22 15:51:11 +0100132 HConstant* constant = location.GetConstant();
133 if (constant->IsIntConstant()) {
134 output_ << " " << constant->AsIntConstant()->GetValue();
135 } else if (constant->IsLongConstant()) {
136 output_ << " " << constant->AsLongConstant()->GetValue();
137 }
Nicolas Geoffray96f89a22014-07-11 10:57:49 +0100138 } else if (location.IsInvalid()) {
139 output_ << "invalid";
Nicolas Geoffray412f10c2014-06-19 10:00:34 +0100140 } else if (location.IsStackSlot()) {
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100141 output_ << location.GetStackIndex() << "(sp)";
Nicolas Geoffray412f10c2014-06-19 10:00:34 +0100142 } else {
143 DCHECK(location.IsDoubleStackSlot());
144 output_ << "2x" << location.GetStackIndex() << "(sp)";
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100145 }
146 }
147
148 void VisitParallelMove(HParallelMove* instruction) {
149 output_ << instruction->DebugName();
150 output_ << " (";
151 for (size_t i = 0, e = instruction->NumMoves(); i < e; ++i) {
152 MoveOperands* move = instruction->MoveOperandsAt(i);
153 DumpLocation(move->GetSource(), Primitive::kPrimInt);
154 output_ << " -> ";
155 DumpLocation(move->GetDestination(), Primitive::kPrimInt);
156 if (i + 1 != e) {
157 output_ << ", ";
158 }
159 }
160 output_ << ")";
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +0100161 output_ << " (liveness: " << instruction->GetLifetimePosition() << ")";
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100162 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100163
164 void VisitInstruction(HInstruction* instruction) {
165 output_ << instruction->DebugName();
166 if (instruction->InputCount() > 0) {
167 output_ << " [ ";
168 for (HInputIterator inputs(instruction); !inputs.Done(); inputs.Advance()) {
Nicolas Geoffrayb09aacb2014-09-17 18:21:53 +0100169 output_ << GetTypeId(inputs.Current()->GetType()) << inputs.Current()->GetId() << " ";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100170 }
171 output_ << "]";
172 }
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100173 if (pass_name_ == kLivenessPassName && instruction->GetLifetimePosition() != kNoLifetime) {
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100174 output_ << " (liveness: " << instruction->GetLifetimePosition();
175 if (instruction->HasLiveInterval()) {
176 output_ << " ";
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100177 const LiveInterval& interval = *instruction->GetLiveInterval();
178 interval.Dump(output_);
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100179 }
180 output_ << ")";
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100181 } else if (pass_name_ == kRegisterAllocatorPassName) {
182 LocationSummary* locations = instruction->GetLocations();
183 if (locations != nullptr) {
184 output_ << " ( ";
185 for (size_t i = 0; i < instruction->InputCount(); ++i) {
186 DumpLocation(locations->InAt(i), instruction->InputAt(i)->GetType());
187 output_ << " ";
188 }
189 output_ << ")";
190 if (locations->Out().IsValid()) {
191 output_ << " -> ";
192 DumpLocation(locations->Out(), instruction->GetType());
193 }
194 }
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +0100195 output_ << " (liveness: " << instruction->GetLifetimePosition() << ")";
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100196 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100197 }
198
199 void PrintInstructions(const HInstructionList& list) {
200 const char* kEndInstructionMarker = "<|@";
201 for (HInstructionIterator it(list); !it.Done(); it.Advance()) {
202 HInstruction* instruction = it.Current();
203 AddIndent();
204 int bci = 0;
Nicolas Geoffrayb09aacb2014-09-17 18:21:53 +0100205 output_ << bci << " " << instruction->NumberOfUses()
206 << " " << GetTypeId(instruction->GetType()) << instruction->GetId() << " ";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100207 instruction->Accept(this);
208 output_ << kEndInstructionMarker << std::endl;
209 }
210 }
211
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100212 void Run() {
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100213 StartTag("cfg");
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100214 PrintProperty("name", pass_name_);
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100215 VisitInsertionOrder();
216 EndTag("cfg");
217 }
218
219 void VisitBasicBlock(HBasicBlock* block) {
220 StartTag("block");
221 PrintProperty("name", "B", block->GetBlockId());
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100222 if (block->GetLifetimeStart() != kNoLifetime) {
223 // Piggy back on these fields to show the lifetime of the block.
224 PrintInt("from_bci", block->GetLifetimeStart());
225 PrintInt("to_bci", block->GetLifetimeEnd());
226 } else {
227 PrintInt("from_bci", -1);
228 PrintInt("to_bci", -1);
229 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100230 PrintPredecessors(block);
231 PrintSuccessors(block);
232 PrintEmptyProperty("xhandlers");
233 PrintEmptyProperty("flags");
234 if (block->GetDominator() != nullptr) {
235 PrintProperty("dominator", "B", block->GetDominator()->GetBlockId());
236 }
237
238 StartTag("states");
239 StartTag("locals");
240 PrintInt("size", 0);
241 PrintProperty("method", "None");
242 for (HInstructionIterator it(block->GetPhis()); !it.Done(); it.Advance()) {
243 AddIndent();
244 HInstruction* instruction = it.Current();
Nicolas Geoffrayb09aacb2014-09-17 18:21:53 +0100245 output_ << instruction->GetId() << " " << GetTypeId(instruction->GetType())
246 << instruction->GetId() << "[ ";
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100247 for (HInputIterator inputs(instruction); !inputs.Done(); inputs.Advance()) {
248 output_ << inputs.Current()->GetId() << " ";
249 }
250 output_ << "]" << std::endl;
251 }
252 EndTag("locals");
253 EndTag("states");
254
255 StartTag("HIR");
256 PrintInstructions(block->GetPhis());
257 PrintInstructions(block->GetInstructions());
258 EndTag("HIR");
259 EndTag("block");
260 }
261
262 private:
263 std::ostream& output_;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100264 const char* pass_name_;
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100265 const CodeGenerator& codegen_;
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100266 size_t indent_;
267
268 DISALLOW_COPY_AND_ASSIGN(HGraphVisualizerPrinter);
269};
270
271HGraphVisualizer::HGraphVisualizer(std::ostream* output,
272 HGraph* graph,
273 const char* string_filter,
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100274 const CodeGenerator& codegen,
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100275 const DexCompilationUnit& cu)
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100276 : output_(output), graph_(graph), codegen_(codegen), is_enabled_(false) {
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100277 if (output == nullptr) {
278 return;
279 }
280 std::string pretty_name = PrettyMethod(cu.GetDexMethodIndex(), *cu.GetDexFile());
281 if (pretty_name.find(string_filter) == std::string::npos) {
282 return;
283 }
284
285 is_enabled_ = true;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100286 HGraphVisualizerPrinter printer(graph, *output_, "", codegen_);
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100287 printer.StartTag("compilation");
288 printer.PrintProperty("name", pretty_name.c_str());
289 printer.PrintProperty("method", pretty_name.c_str());
290 printer.PrintTime("date");
291 printer.EndTag("compilation");
292}
293
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100294HGraphVisualizer::HGraphVisualizer(std::ostream* output,
295 HGraph* graph,
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100296 const CodeGenerator& codegen,
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100297 const char* name)
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100298 : output_(output), graph_(graph), codegen_(codegen), is_enabled_(false) {
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100299 if (output == nullptr) {
300 return;
301 }
302
303 is_enabled_ = true;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100304 HGraphVisualizerPrinter printer(graph, *output_, "", codegen_);
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100305 printer.StartTag("compilation");
306 printer.PrintProperty("name", name);
307 printer.PrintProperty("method", name);
308 printer.PrintTime("date");
309 printer.EndTag("compilation");
310}
311
Nicolas Geoffray1ddbf6d2014-10-01 14:59:23 +0000312void HGraphVisualizer::DumpGraph(const char* pass_name) {
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100313 if (!is_enabled_) {
314 return;
315 }
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100316 HGraphVisualizerPrinter printer(graph_, *output_, pass_name, codegen_);
317 printer.Run();
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100318}
319
320} // namespace art