blob: f033e2e22b606215c3867e6d92077ebe57937b50 [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
84 void PrintPredecessors(HBasicBlock* block) {
85 AddIndent();
86 output_ << "predecessors";
87 for (size_t i = 0, e = block->GetPredecessors().Size(); i < e; ++i) {
88 HBasicBlock* predecessor = block->GetPredecessors().Get(i);
89 output_ << " \"B" << predecessor->GetBlockId() << "\" ";
90 }
91 output_<< std::endl;
92 }
93
94 void PrintSuccessors(HBasicBlock* block) {
95 AddIndent();
96 output_ << "successors";
97 for (size_t i = 0, e = block->GetSuccessors().Size(); i < e; ++i) {
98 HBasicBlock* successor = block->GetSuccessors().Get(i);
99 output_ << " \"B" << successor->GetBlockId() << "\" ";
100 }
101 output_<< std::endl;
102 }
103
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100104 void DumpLocation(Location location, Primitive::Type type) {
105 if (location.IsRegister()) {
106 if (type == Primitive::kPrimDouble || type == Primitive::kPrimFloat) {
107 codegen_.DumpFloatingPointRegister(output_, location.reg().RegId());
108 } else {
109 codegen_.DumpCoreRegister(output_, location.reg().RegId());
110 }
Nicolas Geoffray412f10c2014-06-19 10:00:34 +0100111 } else if (location.IsStackSlot()) {
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100112 output_ << location.GetStackIndex() << "(sp)";
Nicolas Geoffray412f10c2014-06-19 10:00:34 +0100113 } else {
114 DCHECK(location.IsDoubleStackSlot());
115 output_ << "2x" << location.GetStackIndex() << "(sp)";
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100116 }
117 }
118
119 void VisitParallelMove(HParallelMove* instruction) {
120 output_ << instruction->DebugName();
121 output_ << " (";
122 for (size_t i = 0, e = instruction->NumMoves(); i < e; ++i) {
123 MoveOperands* move = instruction->MoveOperandsAt(i);
124 DumpLocation(move->GetSource(), Primitive::kPrimInt);
125 output_ << " -> ";
126 DumpLocation(move->GetDestination(), Primitive::kPrimInt);
127 if (i + 1 != e) {
128 output_ << ", ";
129 }
130 }
131 output_ << ")";
132 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100133
134 void VisitInstruction(HInstruction* instruction) {
135 output_ << instruction->DebugName();
136 if (instruction->InputCount() > 0) {
137 output_ << " [ ";
138 for (HInputIterator inputs(instruction); !inputs.Done(); inputs.Advance()) {
139 output_ << "v" << inputs.Current()->GetId() << " ";
140 }
141 output_ << "]";
142 }
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100143 if (pass_name_ == kLivenessPassName && instruction->GetLifetimePosition() != kNoLifetime) {
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100144 output_ << " (liveness: " << instruction->GetLifetimePosition();
145 if (instruction->HasLiveInterval()) {
146 output_ << " ";
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100147 const LiveInterval& interval = *instruction->GetLiveInterval();
148 interval.Dump(output_);
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100149 }
150 output_ << ")";
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100151 } else if (pass_name_ == kRegisterAllocatorPassName) {
152 LocationSummary* locations = instruction->GetLocations();
153 if (locations != nullptr) {
154 output_ << " ( ";
155 for (size_t i = 0; i < instruction->InputCount(); ++i) {
156 DumpLocation(locations->InAt(i), instruction->InputAt(i)->GetType());
157 output_ << " ";
158 }
159 output_ << ")";
160 if (locations->Out().IsValid()) {
161 output_ << " -> ";
162 DumpLocation(locations->Out(), instruction->GetType());
163 }
164 }
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100165 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100166 }
167
168 void PrintInstructions(const HInstructionList& list) {
169 const char* kEndInstructionMarker = "<|@";
170 for (HInstructionIterator it(list); !it.Done(); it.Advance()) {
171 HInstruction* instruction = it.Current();
172 AddIndent();
173 int bci = 0;
174 output_ << bci << " " << instruction->NumberOfUses() << " v" << instruction->GetId() << " ";
175 instruction->Accept(this);
176 output_ << kEndInstructionMarker << std::endl;
177 }
178 }
179
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100180 void Run() {
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100181 StartTag("cfg");
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100182 PrintProperty("name", pass_name_);
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100183 VisitInsertionOrder();
184 EndTag("cfg");
185 }
186
187 void VisitBasicBlock(HBasicBlock* block) {
188 StartTag("block");
189 PrintProperty("name", "B", block->GetBlockId());
Nicolas Geoffrayddb311f2014-05-16 09:28:54 +0100190 if (block->GetLifetimeStart() != kNoLifetime) {
191 // Piggy back on these fields to show the lifetime of the block.
192 PrintInt("from_bci", block->GetLifetimeStart());
193 PrintInt("to_bci", block->GetLifetimeEnd());
194 } else {
195 PrintInt("from_bci", -1);
196 PrintInt("to_bci", -1);
197 }
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100198 PrintPredecessors(block);
199 PrintSuccessors(block);
200 PrintEmptyProperty("xhandlers");
201 PrintEmptyProperty("flags");
202 if (block->GetDominator() != nullptr) {
203 PrintProperty("dominator", "B", block->GetDominator()->GetBlockId());
204 }
205
206 StartTag("states");
207 StartTag("locals");
208 PrintInt("size", 0);
209 PrintProperty("method", "None");
210 for (HInstructionIterator it(block->GetPhis()); !it.Done(); it.Advance()) {
211 AddIndent();
212 HInstruction* instruction = it.Current();
213 output_ << instruction->GetId() << " v" << instruction->GetId() << "[ ";
214 for (HInputIterator inputs(instruction); !inputs.Done(); inputs.Advance()) {
215 output_ << inputs.Current()->GetId() << " ";
216 }
217 output_ << "]" << std::endl;
218 }
219 EndTag("locals");
220 EndTag("states");
221
222 StartTag("HIR");
223 PrintInstructions(block->GetPhis());
224 PrintInstructions(block->GetInstructions());
225 EndTag("HIR");
226 EndTag("block");
227 }
228
229 private:
230 std::ostream& output_;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100231 const char* pass_name_;
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100232 const CodeGenerator& codegen_;
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100233 size_t indent_;
234
235 DISALLOW_COPY_AND_ASSIGN(HGraphVisualizerPrinter);
236};
237
238HGraphVisualizer::HGraphVisualizer(std::ostream* output,
239 HGraph* graph,
240 const char* string_filter,
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100241 const CodeGenerator& codegen,
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100242 const DexCompilationUnit& cu)
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100243 : output_(output), graph_(graph), codegen_(codegen), is_enabled_(false) {
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100244 if (output == nullptr) {
245 return;
246 }
247 std::string pretty_name = PrettyMethod(cu.GetDexMethodIndex(), *cu.GetDexFile());
248 if (pretty_name.find(string_filter) == std::string::npos) {
249 return;
250 }
251
252 is_enabled_ = true;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100253 HGraphVisualizerPrinter printer(graph, *output_, "", codegen_);
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100254 printer.StartTag("compilation");
255 printer.PrintProperty("name", pretty_name.c_str());
256 printer.PrintProperty("method", pretty_name.c_str());
257 printer.PrintTime("date");
258 printer.EndTag("compilation");
259}
260
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100261HGraphVisualizer::HGraphVisualizer(std::ostream* output,
262 HGraph* graph,
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100263 const CodeGenerator& codegen,
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100264 const char* name)
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100265 : output_(output), graph_(graph), codegen_(codegen), is_enabled_(false) {
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100266 if (output == nullptr) {
267 return;
268 }
269
270 is_enabled_ = true;
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100271 HGraphVisualizerPrinter printer(graph, *output_, "", codegen_);
Nicolas Geoffray0d3f5782014-05-14 09:43:38 +0100272 printer.StartTag("compilation");
273 printer.PrintProperty("name", name);
274 printer.PrintProperty("method", name);
275 printer.PrintTime("date");
276 printer.EndTag("compilation");
277}
278
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100279void HGraphVisualizer::DumpGraph(const char* pass_name) {
280 if (!is_enabled_) {
281 return;
282 }
Nicolas Geoffray86dbb9a2014-06-04 11:12:39 +0100283 HGraphVisualizerPrinter printer(graph_, *output_, pass_name, codegen_);
284 printer.Run();
Nicolas Geoffrayf635e632014-05-14 09:43:38 +0100285}
286
287} // namespace art