src/share/vm/c1/c1_CFGPrinter.cpp

Thu, 24 May 2018 18:41:44 +0800

author
aoqi
date
Thu, 24 May 2018 18:41:44 +0800
changeset 8856
ac27a9c85bea
parent 6876
710a3c8b516e
child 9448
73d689add964
permissions
-rw-r--r--

Merge

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2005, 2014, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation.
aoqi@0 8 *
aoqi@0 9 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 12 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 13 * accompanied this code).
aoqi@0 14 *
aoqi@0 15 * You should have received a copy of the GNU General Public License version
aoqi@0 16 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 18 *
aoqi@0 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 20 * or visit www.oracle.com if you need additional information or have any
aoqi@0 21 * questions.
aoqi@0 22 *
aoqi@0 23 */
aoqi@0 24
aoqi@0 25 #include "precompiled.hpp"
aoqi@0 26 #include "c1/c1_CFGPrinter.hpp"
aoqi@0 27 #include "c1/c1_IR.hpp"
aoqi@0 28 #include "c1/c1_InstructionPrinter.hpp"
aoqi@0 29 #include "c1/c1_LIR.hpp"
aoqi@0 30 #include "c1/c1_LinearScan.hpp"
aoqi@0 31 #include "c1/c1_ValueStack.hpp"
aoqi@0 32
aoqi@0 33 #ifndef PRODUCT
aoqi@0 34
aoqi@0 35
aoqi@0 36 class CFGPrinterOutput : public CHeapObj<mtCompiler> {
aoqi@0 37 private:
aoqi@0 38 outputStream* _output;
aoqi@0 39
aoqi@0 40 Compilation* _compilation;
aoqi@0 41 bool _do_print_HIR;
aoqi@0 42 bool _do_print_LIR;
aoqi@0 43
aoqi@0 44 class PrintBlockClosure: public BlockClosure {
aoqi@0 45 void block_do(BlockBegin* block) { if (block != NULL) CFGPrinter::output()->print_block(block); }
aoqi@0 46 };
aoqi@0 47
aoqi@0 48
aoqi@0 49 outputStream* output() { assert(_output != NULL, ""); return _output; }
aoqi@0 50
aoqi@0 51 void inc_indent();
aoqi@0 52 void dec_indent();
aoqi@0 53 void print(const char* format, ...) ATTRIBUTE_PRINTF(2, 3);
aoqi@0 54 void print_begin(const char* tag);
aoqi@0 55 void print_end(const char* tag);
aoqi@0 56
aoqi@0 57 char* method_name(ciMethod* method, bool short_name = false);
aoqi@0 58
aoqi@0 59 public:
aoqi@0 60 CFGPrinterOutput();
aoqi@0 61
aoqi@0 62 void set_compilation(Compilation* compilation) { _compilation = compilation; }
aoqi@0 63 void set_print_flags(bool do_print_HIR, bool do_print_LIR) { _do_print_HIR = do_print_HIR; _do_print_LIR = do_print_LIR; }
aoqi@0 64
aoqi@0 65 void print_compilation();
aoqi@0 66 void print_intervals(IntervalList* intervals, const char* name);
aoqi@0 67
aoqi@0 68 void print_state(BlockBegin* block);
aoqi@0 69 void print_operand(Value instr);
aoqi@0 70 void print_HIR(Value instr);
aoqi@0 71 void print_HIR(BlockBegin* block);
aoqi@0 72 void print_LIR(BlockBegin* block);
aoqi@0 73 void print_block(BlockBegin* block);
aoqi@0 74 void print_cfg(BlockList* blocks, const char* name);
aoqi@0 75 void print_cfg(IR* blocks, const char* name);
aoqi@0 76 };
aoqi@0 77
aoqi@0 78 CFGPrinterOutput* CFGPrinter::_output = NULL;
aoqi@0 79
aoqi@0 80
aoqi@0 81
aoqi@0 82
aoqi@0 83 void CFGPrinter::print_compilation(Compilation* compilation) {
aoqi@0 84 if (_output == NULL) {
aoqi@0 85 _output = new CFGPrinterOutput();
aoqi@0 86 }
aoqi@0 87 output()->set_compilation(compilation);
aoqi@0 88 output()->print_compilation();
aoqi@0 89 }
aoqi@0 90
aoqi@0 91 void CFGPrinter::print_cfg(BlockList* blocks, const char* name, bool do_print_HIR, bool do_print_LIR) {
aoqi@0 92 output()->set_print_flags(do_print_HIR, do_print_LIR);
aoqi@0 93 output()->print_cfg(blocks, name);
aoqi@0 94 }
aoqi@0 95
aoqi@0 96 void CFGPrinter::print_cfg(IR* blocks, const char* name, bool do_print_HIR, bool do_print_LIR) {
aoqi@0 97 output()->set_print_flags(do_print_HIR, do_print_LIR);
aoqi@0 98 output()->print_cfg(blocks, name);
aoqi@0 99 }
aoqi@0 100
aoqi@0 101
aoqi@0 102 void CFGPrinter::print_intervals(IntervalList* intervals, const char* name) {
aoqi@0 103 output()->print_intervals(intervals, name);
aoqi@0 104 }
aoqi@0 105
aoqi@0 106
aoqi@0 107
aoqi@0 108 CFGPrinterOutput::CFGPrinterOutput()
aoqi@0 109 : _output(new(ResourceObj::C_HEAP, mtCompiler) fileStream("output.cfg"))
aoqi@0 110 {
aoqi@0 111 }
aoqi@0 112
aoqi@0 113
aoqi@0 114
aoqi@0 115 void CFGPrinterOutput::inc_indent() {
aoqi@0 116 output()->inc();
aoqi@0 117 output()->inc();
aoqi@0 118 }
aoqi@0 119
aoqi@0 120 void CFGPrinterOutput::dec_indent() {
aoqi@0 121 output()->dec();
aoqi@0 122 output()->dec();
aoqi@0 123 }
aoqi@0 124
aoqi@0 125 void CFGPrinterOutput::print(const char* format, ...) {
aoqi@0 126 output()->indent();
aoqi@0 127
aoqi@0 128 va_list ap;
aoqi@0 129 va_start(ap, format);
aoqi@0 130 output()->vprint_cr(format, ap);
aoqi@0 131 va_end(ap);
aoqi@0 132 }
aoqi@0 133
aoqi@0 134 void CFGPrinterOutput::print_begin(const char* tag) {
aoqi@0 135 output()->indent();
aoqi@0 136 output()->print_cr("begin_%s", tag);
aoqi@0 137 inc_indent();
aoqi@0 138 }
aoqi@0 139
aoqi@0 140 void CFGPrinterOutput::print_end(const char* tag) {
aoqi@0 141 dec_indent();
aoqi@0 142 output()->indent();
aoqi@0 143 output()->print_cr("end_%s", tag);
aoqi@0 144 }
aoqi@0 145
aoqi@0 146
aoqi@0 147 char* CFGPrinterOutput::method_name(ciMethod* method, bool short_name) {
aoqi@0 148 stringStream name;
aoqi@0 149 if (short_name) {
aoqi@0 150 method->print_short_name(&name);
aoqi@0 151 } else {
aoqi@0 152 method->print_name(&name);
aoqi@0 153 }
aoqi@0 154 return name.as_string();
aoqi@0 155
aoqi@0 156 }
aoqi@0 157
aoqi@0 158
aoqi@0 159 void CFGPrinterOutput::print_compilation() {
aoqi@0 160 print_begin("compilation");
aoqi@0 161
aoqi@0 162 print("name \"%s\"", method_name(_compilation->method(), true));
aoqi@0 163 print("method \"%s\"", method_name(_compilation->method()));
aoqi@0 164 print("date "INT64_FORMAT, (int64_t) os::javaTimeMillis());
aoqi@0 165
aoqi@0 166 print_end("compilation");
aoqi@0 167 }
aoqi@0 168
aoqi@0 169
aoqi@0 170
aoqi@0 171
aoqi@0 172
aoqi@0 173 void CFGPrinterOutput::print_state(BlockBegin* block) {
aoqi@0 174 print_begin("states");
aoqi@0 175
aoqi@0 176 InstructionPrinter ip(true, output());
aoqi@0 177
aoqi@0 178 ValueStack* state = block->state();
aoqi@0 179 int index;
aoqi@0 180 Value value;
aoqi@0 181
aoqi@0 182 for_each_state(state) {
aoqi@0 183 print_begin("locals");
aoqi@0 184 print("size %d", state->locals_size());
aoqi@0 185 print("method \"%s\"", method_name(state->scope()->method()));
aoqi@0 186
aoqi@0 187 for_each_local_value(state, index, value) {
aoqi@0 188 ip.print_phi(index, value, block);
aoqi@0 189 print_operand(value);
aoqi@0 190 output()->cr();
aoqi@0 191 }
aoqi@0 192 print_end("locals");
aoqi@0 193
aoqi@0 194 if (state->stack_size() > 0) {
aoqi@0 195 print_begin("stack");
aoqi@0 196 print("size %d", state->stack_size());
aoqi@0 197 print("method \"%s\"", method_name(state->scope()->method()));
aoqi@0 198
aoqi@0 199 for_each_stack_value(state, index, value) {
aoqi@0 200 ip.print_phi(index, value, block);
aoqi@0 201 print_operand(value);
aoqi@0 202 output()->cr();
aoqi@0 203 }
aoqi@0 204
aoqi@0 205 print_end("stack");
aoqi@0 206 }
aoqi@0 207
aoqi@0 208 if (state->locks_size() > 0) {
aoqi@0 209 print_begin("locks");
aoqi@0 210 print("size %d", state->locks_size());
aoqi@0 211 print("method \"%s\"", method_name(state->scope()->method()));
aoqi@0 212
aoqi@0 213 for_each_lock_value(state, index, value) {
aoqi@0 214 ip.print_phi(index, value, block);
aoqi@0 215 print_operand(value);
aoqi@0 216 output()->cr();
aoqi@0 217 }
aoqi@0 218 print_end("locks");
aoqi@0 219 }
aoqi@0 220 }
aoqi@0 221
aoqi@0 222 print_end("states");
aoqi@0 223 }
aoqi@0 224
aoqi@0 225
aoqi@0 226 void CFGPrinterOutput::print_operand(Value instr) {
aoqi@0 227 if (instr->operand()->is_virtual()) {
aoqi@0 228 output()->print(" \"");
aoqi@0 229 instr->operand()->print(output());
aoqi@0 230 output()->print("\" ");
aoqi@0 231 }
aoqi@0 232 }
aoqi@0 233
aoqi@0 234 void CFGPrinterOutput::print_HIR(Value instr) {
aoqi@0 235 InstructionPrinter ip(true, output());
aoqi@0 236
aoqi@0 237 if (instr->is_pinned()) {
aoqi@0 238 output()->put('.');
aoqi@0 239 }
aoqi@0 240
aoqi@0 241 output()->print("%d %d ", instr->printable_bci(), instr->use_count());
aoqi@0 242
aoqi@0 243 print_operand(instr);
aoqi@0 244
aoqi@0 245 ip.print_temp(instr);
aoqi@0 246 output()->print(" ");
aoqi@0 247 ip.print_instr(instr);
aoqi@0 248
aoqi@0 249 output()->print_cr(" <|@");
aoqi@0 250 }
aoqi@0 251
aoqi@0 252 void CFGPrinterOutput::print_HIR(BlockBegin* block) {
aoqi@0 253 print_begin("HIR");
aoqi@0 254
aoqi@0 255 Value cur = block->next();
aoqi@0 256 while (cur != NULL) {
aoqi@0 257 print_HIR(cur);
aoqi@0 258 cur = cur->next();
aoqi@0 259 }
aoqi@0 260
aoqi@0 261 print_end("HIR");
aoqi@0 262 }
aoqi@0 263
aoqi@0 264 void CFGPrinterOutput::print_LIR(BlockBegin* block) {
aoqi@0 265 print_begin("LIR");
aoqi@0 266
aoqi@0 267 for (int i = 0; i < block->lir()->length(); i++) {
aoqi@0 268 block->lir()->at(i)->print_on(output());
aoqi@0 269 output()->print_cr(" <|@ ");
aoqi@0 270 }
aoqi@0 271
aoqi@0 272 print_end("LIR");
aoqi@0 273 }
aoqi@0 274
aoqi@0 275
aoqi@0 276 void CFGPrinterOutput::print_block(BlockBegin* block) {
aoqi@0 277 print_begin("block");
aoqi@0 278
aoqi@0 279 print("name \"B%d\"", block->block_id());
aoqi@0 280
aoqi@0 281 print("from_bci %d", block->bci());
aoqi@0 282 print("to_bci %d", (block->end() == NULL ? -1 : block->end()->printable_bci()));
aoqi@0 283
aoqi@0 284 output()->indent();
aoqi@0 285 output()->print("predecessors ");
aoqi@0 286 int i;
aoqi@0 287 for (i = 0; i < block->number_of_preds(); i++) {
aoqi@0 288 output()->print("\"B%d\" ", block->pred_at(i)->block_id());
aoqi@0 289 }
aoqi@0 290 output()->cr();
aoqi@0 291
aoqi@0 292 output()->indent();
aoqi@0 293 output()->print("successors ");
aoqi@0 294 for (i = 0; i < block->number_of_sux(); i++) {
aoqi@0 295 output()->print("\"B%d\" ", block->sux_at(i)->block_id());
aoqi@0 296 }
aoqi@0 297 output()->cr();
aoqi@0 298
aoqi@0 299 output()->indent();
aoqi@0 300 output()->print("xhandlers");
aoqi@0 301 for (i = 0; i < block->number_of_exception_handlers(); i++) {
aoqi@0 302 output()->print("\"B%d\" ", block->exception_handler_at(i)->block_id());
aoqi@0 303 }
aoqi@0 304 output()->cr();
aoqi@0 305
aoqi@0 306 output()->indent();
aoqi@0 307 output()->print("flags ");
aoqi@0 308 if (block->is_set(BlockBegin::std_entry_flag)) output()->print("\"std\" ");
aoqi@0 309 if (block->is_set(BlockBegin::osr_entry_flag)) output()->print("\"osr\" ");
aoqi@0 310 if (block->is_set(BlockBegin::exception_entry_flag)) output()->print("\"ex\" ");
aoqi@0 311 if (block->is_set(BlockBegin::subroutine_entry_flag)) output()->print("\"sr\" ");
aoqi@0 312 if (block->is_set(BlockBegin::backward_branch_target_flag)) output()->print("\"bb\" ");
aoqi@0 313 if (block->is_set(BlockBegin::parser_loop_header_flag)) output()->print("\"plh\" ");
aoqi@0 314 if (block->is_set(BlockBegin::critical_edge_split_flag)) output()->print("\"ces\" ");
aoqi@0 315 if (block->is_set(BlockBegin::linear_scan_loop_header_flag)) output()->print("\"llh\" ");
aoqi@0 316 if (block->is_set(BlockBegin::linear_scan_loop_end_flag)) output()->print("\"lle\" ");
aoqi@0 317 output()->cr();
aoqi@0 318
aoqi@0 319 if (block->dominator() != NULL) {
aoqi@0 320 print("dominator \"B%d\"", block->dominator()->block_id());
aoqi@0 321 }
aoqi@0 322 if (block->loop_index() != -1) {
aoqi@0 323 print("loop_index %d", block->loop_index());
aoqi@0 324 print("loop_depth %d", block->loop_depth());
aoqi@0 325 }
aoqi@0 326
aoqi@0 327 if (block->first_lir_instruction_id() != -1) {
aoqi@0 328 print("first_lir_id %d", block->first_lir_instruction_id());
aoqi@0 329 print("last_lir_id %d", block->last_lir_instruction_id());
aoqi@0 330 }
aoqi@0 331
aoqi@0 332 if (_do_print_HIR) {
aoqi@0 333 print_state(block);
aoqi@0 334 print_HIR(block);
aoqi@0 335 }
aoqi@0 336
aoqi@0 337 if (_do_print_LIR) {
aoqi@0 338 print_LIR(block);
aoqi@0 339 }
aoqi@0 340
aoqi@0 341 print_end("block");
aoqi@0 342 }
aoqi@0 343
aoqi@0 344
aoqi@0 345
aoqi@0 346 void CFGPrinterOutput::print_cfg(BlockList* blocks, const char* name) {
aoqi@0 347 print_begin("cfg");
aoqi@0 348 print("name \"%s\"", name);
aoqi@0 349
aoqi@0 350 PrintBlockClosure print_block;
aoqi@0 351 blocks->iterate_forward(&print_block);
aoqi@0 352
aoqi@0 353 print_end("cfg");
aoqi@0 354 output()->flush();
aoqi@0 355 }
aoqi@0 356
aoqi@0 357 void CFGPrinterOutput::print_cfg(IR* blocks, const char* name) {
aoqi@0 358 print_begin("cfg");
aoqi@0 359 print("name \"%s\"", name);
aoqi@0 360
aoqi@0 361 PrintBlockClosure print_block;
aoqi@0 362 blocks->iterate_preorder(&print_block);
aoqi@0 363
aoqi@0 364 print_end("cfg");
aoqi@0 365 output()->flush();
aoqi@0 366 }
aoqi@0 367
aoqi@0 368
aoqi@0 369
aoqi@0 370
aoqi@0 371 void CFGPrinterOutput::print_intervals(IntervalList* intervals, const char* name) {
aoqi@0 372 print_begin("intervals");
aoqi@0 373 print("name \"%s\"", name);
aoqi@0 374
aoqi@0 375 for (int i = 0; i < intervals->length(); i++) {
aoqi@0 376 if (intervals->at(i) != NULL) {
aoqi@0 377 intervals->at(i)->print(output());
aoqi@0 378 }
aoqi@0 379 }
aoqi@0 380
aoqi@0 381 print_end("intervals");
aoqi@0 382 output()->flush();
aoqi@0 383 }
aoqi@0 384
aoqi@0 385
aoqi@0 386 #endif

mercurial