hotspot/src/share/vm/opto/idealGraphPrinter.cpp
author trims
Thu, 27 May 2010 19:08:38 -0700
changeset 5547 f4b087cbb361
parent 5403 6b0dd9c75dde
child 7397 5b173b4ca846
permissions -rw-r--r--
6941466: Oracle rebranding changes for Hotspot repositories Summary: Change all the Sun copyrights to Oracle copyright Reviewed-by: ohair
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5403
diff changeset
     2
 * Copyright (c) 2007, 2009, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5403
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5403
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5403
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
#include "incls/_precompiled.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
#include "incls/_idealGraphPrinter.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
// Constants
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
// Keep consistent with Java constants
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
const char *IdealGraphPrinter::INDENT = "  ";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
const char *IdealGraphPrinter::TOP_ELEMENT = "graphDocument";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
const char *IdealGraphPrinter::GROUP_ELEMENT = "group";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
const char *IdealGraphPrinter::GRAPH_ELEMENT = "graph";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
const char *IdealGraphPrinter::PROPERTIES_ELEMENT = "properties";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
const char *IdealGraphPrinter::EDGES_ELEMENT = "edges";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
const char *IdealGraphPrinter::PROPERTY_ELEMENT = "p";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
const char *IdealGraphPrinter::EDGE_ELEMENT = "edge";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
const char *IdealGraphPrinter::NODE_ELEMENT = "node";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
const char *IdealGraphPrinter::NODES_ELEMENT = "nodes";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
const char *IdealGraphPrinter::REMOVE_EDGE_ELEMENT = "removeEdge";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
const char *IdealGraphPrinter::REMOVE_NODE_ELEMENT = "removeNode";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
const char *IdealGraphPrinter::METHOD_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
const char *IdealGraphPrinter::METHOD_IS_PUBLIC_PROPERTY = "public";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
const char *IdealGraphPrinter::METHOD_IS_STATIC_PROPERTY = "static";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
const char *IdealGraphPrinter::TRUE_VALUE = "true";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
const char *IdealGraphPrinter::NODE_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
const char *IdealGraphPrinter::EDGE_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
const char *IdealGraphPrinter::NODE_ID_PROPERTY = "id";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
const char *IdealGraphPrinter::FROM_PROPERTY = "from";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
const char *IdealGraphPrinter::TO_PROPERTY = "to";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
const char *IdealGraphPrinter::PROPERTY_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
const char *IdealGraphPrinter::GRAPH_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
const char *IdealGraphPrinter::INDEX_PROPERTY = "index";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
const char *IdealGraphPrinter::METHOD_ELEMENT = "method";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
const char *IdealGraphPrinter::INLINE_ELEMENT = "inline";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
const char *IdealGraphPrinter::BYTECODES_ELEMENT = "bytecodes";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
const char *IdealGraphPrinter::METHOD_BCI_PROPERTY = "bci";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
const char *IdealGraphPrinter::METHOD_SHORT_NAME_PROPERTY = "shortName";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
const char *IdealGraphPrinter::CONTROL_FLOW_ELEMENT = "controlFlow";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
const char *IdealGraphPrinter::BLOCK_NAME_PROPERTY = "name";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
const char *IdealGraphPrinter::BLOCK_DOMINATOR_PROPERTY = "dom";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
const char *IdealGraphPrinter::BLOCK_ELEMENT = "block";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
const char *IdealGraphPrinter::SUCCESSORS_ELEMENT = "successors";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
const char *IdealGraphPrinter::SUCCESSOR_ELEMENT = "successor";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
const char *IdealGraphPrinter::ASSEMBLY_ELEMENT = "assembly";
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
int IdealGraphPrinter::_file_count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
IdealGraphPrinter *IdealGraphPrinter::printer() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  if (PrintIdealGraphLevel == 0) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  JavaThread *thread = JavaThread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  if (!thread->is_Compiler_thread()) return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  CompilerThread *compiler_thread = (CompilerThread *)thread;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  if (compiler_thread->ideal_graph_printer() == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
    IdealGraphPrinter *printer = new IdealGraphPrinter();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
    compiler_thread->set_ideal_graph_printer(printer);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  return compiler_thread->ideal_graph_printer();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
void IdealGraphPrinter::clean_up() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  JavaThread *p;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  for (p = Threads::first(); p; p = p->next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
    if (p->is_Compiler_thread()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
      CompilerThread *c = (CompilerThread *)p;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
      IdealGraphPrinter *printer = c->ideal_graph_printer();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
      if (printer) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
        delete printer;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
      c->set_ideal_graph_printer(NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
// Constructor, either file or network output
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
IdealGraphPrinter::IdealGraphPrinter() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   103
  // By default dump both ins and outs since dead or unreachable code
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   104
  // needs to appear in the graph.  There are also some special cases
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   105
  // in the mach where kill projections have no users but should
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   106
  // appear in the dump.
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   107
  _traverse_outs = true;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  _should_send_method = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  _output = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  buffer[0] = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  _depth = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  _current_method = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  assert(!_current_method, "current method must be initialized to NULL");
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   114
  _stream = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  if (PrintIdealGraphFile != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
    ThreadCritical tc;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
    // User wants all output to go to files
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
    if (_file_count != 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
      ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
      stringStream st;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
      const char* dot = strrchr(PrintIdealGraphFile, '.');
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
      if (dot) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
        st.write(PrintIdealGraphFile, dot - PrintIdealGraphFile);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
        st.print("%d%s", _file_count, dot);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
      } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
        st.print("%s%d", PrintIdealGraphFile, _file_count);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
      }
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   129
      fileStream *stream = new (ResourceObj::C_HEAP) fileStream(st.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   130
      _output = stream;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
    } else {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   132
      fileStream *stream = new (ResourceObj::C_HEAP) fileStream(PrintIdealGraphFile);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   133
      _output = stream;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
    _file_count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  } else {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   137
    _stream = new (ResourceObj::C_HEAP) networkStream();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   138
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
    // Try to connect to visualizer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
    if (_stream->connect(PrintIdealGraphAddress, PrintIdealGraphPort)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
      char c = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
      _stream->read(&c, 1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
      if (c != 'y') {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
        tty->print_cr("Client available, but does not want to receive data!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
        _stream->close();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
        delete _stream;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
        _stream = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
        return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
      _output = _stream;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
      // It would be nice if we could shut down cleanly but it should
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
      // be an error if we can't connect to the visualizer.
5403
6b0dd9c75dde 6888954: argument formatting for assert() and friends
jcoomes
parents: 2105
diff changeset
   154
      fatal(err_msg("Couldn't connect to visualizer at %s:%d",
6b0dd9c75dde 6888954: argument formatting for assert() and friends
jcoomes
parents: 2105
diff changeset
   155
                    PrintIdealGraphAddress, PrintIdealGraphPort));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   159
  _xml = new (ResourceObj::C_HEAP) xmlStream(_output);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   160
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   161
  head(TOP_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
// Destructor, close file or network stream
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
IdealGraphPrinter::~IdealGraphPrinter() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   167
  tail(TOP_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   168
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   169
  // tty->print_cr("Walk time: %d", (int)_walk_time.milliseconds());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   170
  // tty->print_cr("Output time: %d", (int)_output_time.milliseconds());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   171
  // tty->print_cr("Build blocks time: %d", (int)_build_blocks_time.milliseconds());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   172
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   173
  if(_xml) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   174
    delete _xml;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   175
    _xml = NULL;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   176
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  if (_stream) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
    delete _stream;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
    if (_stream == _output) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
      _output = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
    _stream = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  if (_output) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
    delete _output;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
    _output = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   193
void IdealGraphPrinter::begin_elem(const char *s) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   194
  _xml->begin_elem(s);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   195
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   196
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   197
void IdealGraphPrinter::end_elem() {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   198
  _xml->end_elem();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   199
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   201
void IdealGraphPrinter::begin_head(const char *s) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   202
  _xml->begin_head(s);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   203
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   205
void IdealGraphPrinter::end_head() {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   206
  _xml->end_head();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   207
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   209
void IdealGraphPrinter::print_attr(const char *name, intptr_t val) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   210
  stringStream stream;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   211
  stream.print(INTX_FORMAT, val);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   212
  print_attr(name, stream.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   213
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   215
void IdealGraphPrinter::print_attr(const char *name, const char *val) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   216
  _xml->print(" %s='", name);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   217
  text(val);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   218
  _xml->print("'");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   219
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   221
void IdealGraphPrinter::head(const char *name) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   222
  _xml->head(name);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   223
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   224
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   225
void IdealGraphPrinter::tail(const char *name) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   226
  _xml->tail(name);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   227
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   229
void IdealGraphPrinter::text(const char *s) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   230
  _xml->text(s);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   231
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   232
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   233
void IdealGraphPrinter::print_prop(const char *name, int val) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   235
  stringStream stream;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   236
  stream.print("%d", val);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   237
  print_prop(name, stream.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   238
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   239
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   240
void IdealGraphPrinter::print_prop(const char *name, const char *val) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   241
  begin_head(PROPERTY_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   242
  print_attr(PROPERTY_NAME_PROPERTY, name);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   243
  end_head();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   244
  text(val);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   245
  tail(PROPERTY_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
void IdealGraphPrinter::print_method(ciMethod *method, int bci, InlineTree *tree) {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   249
  begin_head(METHOD_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  stringStream str;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
  method->print_name(&str);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
  stringStream shortStr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  method->print_short_name(&shortStr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   257
  print_attr(METHOD_NAME_PROPERTY, str.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   258
  print_attr(METHOD_SHORT_NAME_PROPERTY, shortStr.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   259
  print_attr(METHOD_BCI_PROPERTY, bci);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   261
  end_head();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   263
  head(BYTECODES_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  output()->print_cr("<![CDATA[");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  method->print_codes_on(output());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  output()->print_cr("]]>");
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   267
  tail(BYTECODES_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   269
  head(INLINE_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  if (tree != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
    GrowableArray<InlineTree *> subtrees = tree->subtrees();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
    for (int i = 0; i < subtrees.length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
      print_inline_tree(subtrees.at(i));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  }
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   276
  tail(INLINE_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   278
  tail(METHOD_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  output()->flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
void IdealGraphPrinter::print_inline_tree(InlineTree *tree) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  if (tree == NULL) return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  ciMethod *method = tree->method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  print_method(tree->method(), tree->caller_bci(), tree);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
void IdealGraphPrinter::print_inlining(Compile* compile) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  // Print inline tree
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  if (_should_send_method) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
    InlineTree *inlineTree = compile->ilt();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
    if (inlineTree != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
      print_inline_tree(inlineTree);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
      // print this method only
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
// Has to be called whenever a method is compiled
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
void IdealGraphPrinter::begin_method(Compile* compile) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  ciMethod *method = compile->method();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  assert(_output, "output stream must exist!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  assert(method, "null methods are not allowed!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  assert(!_current_method, "current method must be null!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   312
  head(GROUP_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   314
  head(PROPERTIES_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  // Print properties
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  // Add method name
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  stringStream strStream;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
  method->print_name(&strStream);
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   320
  print_prop(METHOD_NAME_PROPERTY, strStream.as_string());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  if (method->flags().is_public()) {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   323
    print_prop(METHOD_IS_PUBLIC_PROPERTY, TRUE_VALUE);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
  if (method->flags().is_static()) {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   327
    print_prop(METHOD_IS_STATIC_PROPERTY, TRUE_VALUE);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   330
  tail(PROPERTIES_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  if (_stream) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
    char answer = 0;
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   334
    _xml->flush();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
    int result = _stream->read(&answer, 1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
    _should_send_method = (answer == 'y');
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  this->_current_method = method;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   341
  _xml->flush();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
// Has to be called whenever a method has finished compilation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
void IdealGraphPrinter::end_method() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  nmethod* method = (nmethod*)this->_current_method->code();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   349
  tail(GROUP_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  _current_method = NULL;
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   351
  _xml->flush();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
// Print indent
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
void IdealGraphPrinter::print_indent() {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   356
  tty->print_cr("printing ident %d", _depth);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  for (int i = 0; i < _depth; i++) {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   358
    _xml->print(INDENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
bool IdealGraphPrinter::traverse_outs() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
  return _traverse_outs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
void IdealGraphPrinter::set_traverse_outs(bool b) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  _traverse_outs = b;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   370
intptr_t IdealGraphPrinter::get_node_id(Node *n) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   371
  return (intptr_t)(n);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   372
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   373
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   374
void IdealGraphPrinter::visit_node(Node *n, void *param) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   375
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   376
  if(param) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   377
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   378
    // Output edge
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   379
    intptr_t dest_id = get_node_id(n);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   380
    for ( uint i = 0; i < n->len(); i++ ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   381
      if ( n->in(i) ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   382
        Node *source = n->in(i);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   383
        begin_elem(EDGE_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   384
        intptr_t source_id = get_node_id(source);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   385
        print_attr(FROM_PROPERTY, source_id);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   386
        print_attr(TO_PROPERTY, dest_id);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   387
        print_attr(INDEX_PROPERTY, i);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   388
        end_elem();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   389
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   390
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   391
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   392
  } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   393
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   394
    // Output node
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   395
    begin_head(NODE_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   396
    print_attr(NODE_ID_PROPERTY, get_node_id(n));
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   397
    end_head();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   398
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   399
    head(PROPERTIES_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   400
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   401
    Node *node = n;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   402
#ifndef PRODUCT
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   403
    node->_in_dump_cnt++;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   404
    print_prop(NODE_NAME_PROPERTY, (const char *)node->Name());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   405
    const Type *t = node->bottom_type();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   406
    print_prop("type", (const char *)Type::msg[t->base()]);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   407
    print_prop("idx", node->_idx);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   408
#ifdef ASSERT
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   409
    print_prop("debug_idx", node->_debug_idx);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   410
#endif
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   411
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   412
    if(C->cfg() != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   413
      Block *block = C->cfg()->_bbs[node->_idx];
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   414
      if(block == NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   415
        print_prop("block", C->cfg()->_blocks[0]->_pre_order);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   416
      } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   417
        print_prop("block", block->_pre_order);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   418
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   419
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   420
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   421
    const jushort flags = node->flags();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   422
    if (flags & Node::Flag_is_Copy) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   423
      print_prop("is_copy", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   424
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   425
    if (flags & Node::Flag_is_Call) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   426
      print_prop("is_call", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   427
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   428
    if (flags & Node::Flag_rematerialize) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   429
      print_prop("rematerialize", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   430
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   431
    if (flags & Node::Flag_needs_anti_dependence_check) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   432
      print_prop("needs_anti_dependence_check", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   433
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   434
    if (flags & Node::Flag_is_macro) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   435
      print_prop("is_macro", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   436
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   437
    if (flags & Node::Flag_is_Con) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   438
      print_prop("is_con", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   439
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   440
    if (flags & Node::Flag_is_cisc_alternate) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   441
      print_prop("is_cisc_alternate", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   442
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   443
    if (flags & Node::Flag_is_Branch) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   444
      print_prop("is_branch", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   445
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   446
    if (flags & Node::Flag_is_block_start) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   447
      print_prop("is_block_start", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   448
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   449
    if (flags & Node::Flag_is_Goto) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   450
      print_prop("is_goto", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   451
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   452
    if (flags & Node::Flag_is_dead_loop_safe) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   453
      print_prop("is_dead_loop_safe", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   454
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   455
    if (flags & Node::Flag_may_be_short_branch) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   456
      print_prop("may_be_short_branch", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   457
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   458
    if (flags & Node::Flag_is_safepoint_node) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   459
      print_prop("is_safepoint_node", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   460
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   461
    if (flags & Node::Flag_is_pc_relative) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   462
      print_prop("is_pc_relative", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   463
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   464
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   465
    if (C->matcher() != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   466
      if (C->matcher()->is_shared(node)) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   467
        print_prop("is_shared", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   468
      } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   469
        print_prop("is_shared", "false");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   470
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   471
      if (C->matcher()->is_dontcare(node)) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   472
        print_prop("is_dontcare", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   473
      } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   474
        print_prop("is_dontcare", "false");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   475
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   476
958
4c4709e8b7ee 6712835: Server compiler fails with assertion (loop_count < K,"infinite loop in PhaseIterGVN::transform")
never
parents: 768
diff changeset
   477
#ifdef ASSERT
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   478
      Node* old = C->matcher()->find_old_node(node);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   479
      if (old != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   480
        print_prop("old_node_idx", old->_idx);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   481
      }
958
4c4709e8b7ee 6712835: Server compiler fails with assertion (loop_count < K,"infinite loop in PhaseIterGVN::transform")
never
parents: 768
diff changeset
   482
#endif
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   483
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   484
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   485
    if (node->is_Proj()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   486
      print_prop("con", (int)node->as_Proj()->_con);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   487
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   488
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   489
    if (node->is_Mach()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   490
      print_prop("idealOpcode", (const char *)NodeClassNames[node->as_Mach()->ideal_Opcode()]);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   491
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   492
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   493
    buffer[0] = 0;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   494
    stringStream s2(buffer, sizeof(buffer) - 1);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   495
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   496
    node->dump_spec(&s2);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   497
    if (t != NULL && (t->isa_instptr() || t->isa_klassptr())) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   498
      const TypeInstPtr  *toop = t->isa_instptr();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   499
      const TypeKlassPtr *tkls = t->isa_klassptr();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   500
      ciKlass*           klass = toop ? toop->klass() : (tkls ? tkls->klass() : NULL );
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   501
      if( klass && klass->is_loaded() && klass->is_interface() ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   502
        s2.print("  Interface:");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   503
      } else if( toop ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   504
        s2.print("  Oop:");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   505
      } else if( tkls ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   506
        s2.print("  Klass:");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   507
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   508
      t->dump_on(&s2);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   509
    } else if( t == Type::MEMORY ) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   510
      s2.print("  Memory:");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   511
      MemNode::dump_adr_type(node, node->adr_type(), &s2);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   512
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   513
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   514
    assert(s2.size() < sizeof(buffer), "size in range");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   515
    print_prop("dump_spec", buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   516
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   517
    if (node->is_block_proj()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   518
      print_prop("is_block_proj", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   519
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   520
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   521
    if (node->is_block_start()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   522
      print_prop("is_block_start", "true");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   523
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   524
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   525
    const char *short_name = "short_name";
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   526
    if (strcmp(node->Name(), "Parm") == 0 && node->as_Proj()->_con >= TypeFunc::Parms) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   527
      int index = node->as_Proj()->_con - TypeFunc::Parms;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   528
      if (index >= 10) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   529
        print_prop(short_name, "PA");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   530
      } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   531
        sprintf(buffer, "P%d", index);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   532
        print_prop(short_name, buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   533
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   534
    } else if (strcmp(node->Name(), "IfTrue") == 0) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   535
      print_prop(short_name, "T");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   536
    } else if (strcmp(node->Name(), "IfFalse") == 0) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   537
      print_prop(short_name, "F");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   538
    } else if ((node->is_Con() && node->is_Type()) || node->is_Proj()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   539
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   540
      if (t->base() == Type::Int && t->is_int()->is_con()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   541
        const TypeInt *typeInt = t->is_int();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   542
        assert(typeInt->is_con(), "must be constant");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   543
        jint value = typeInt->get_con();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   544
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   545
        // max. 2 chars allowed
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   546
        if (value >= -9 && value <= 99) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   547
          sprintf(buffer, "%d", value);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   548
          print_prop(short_name, buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   549
        } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   550
          print_prop(short_name, "I");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   551
        }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   552
      } else if (t == Type::TOP) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   553
        print_prop(short_name, "^");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   554
      } else if (t->base() == Type::Long && t->is_long()->is_con()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   555
        const TypeLong *typeLong = t->is_long();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   556
        assert(typeLong->is_con(), "must be constant");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   557
        jlong value = typeLong->get_con();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   558
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   559
        // max. 2 chars allowed
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   560
        if (value >= -9 && value <= 99) {
1889
24b003a6fe46 6781583: Hotspot build fails on linux 64 bit platform with gcc 4.3.2
xlu
parents: 1217
diff changeset
   561
          sprintf(buffer, INT64_FORMAT, value);
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   562
          print_prop(short_name, buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   563
        } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   564
          print_prop(short_name, "L");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   565
        }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   566
      } else if (t->base() == Type::KlassPtr) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   567
        const TypeKlassPtr *typeKlass = t->is_klassptr();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   568
        print_prop(short_name, "CP");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   569
      } else if (t->base() == Type::Control) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   570
        print_prop(short_name, "C");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   571
      } else if (t->base() == Type::Memory) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   572
        print_prop(short_name, "M");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   573
      } else if (t->base() == Type::Abio) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   574
        print_prop(short_name, "IO");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   575
      } else if (t->base() == Type::Return_Address) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   576
        print_prop(short_name, "RA");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   577
      } else if (t->base() == Type::AnyPtr) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   578
        print_prop(short_name, "P");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   579
      } else if (t->base() == Type::RawPtr) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   580
        print_prop(short_name, "RP");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   581
      } else if (t->base() == Type::AryPtr) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   582
        print_prop(short_name, "AP");
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   583
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   584
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   585
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   586
    JVMState* caller = NULL;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   587
    if (node->is_SafePoint()) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   588
      caller = node->as_SafePoint()->jvms();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   589
    } else {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   590
      Node_Notes* notes = C->node_notes_at(node->_idx);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   591
      if (notes != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   592
        caller = notes->jvms();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   593
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   594
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   595
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   596
    if (caller != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   597
      stringStream bciStream;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   598
      while(caller) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   599
        bciStream.print("%d ", caller->bci());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   600
        caller = caller->caller();
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   601
      }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   602
      print_prop("bci", bciStream.as_string());
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   603
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   604
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   605
    if (_chaitin && _chaitin != (PhaseChaitin *)0xdeadbeef) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   606
      buffer[0] = 0;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   607
      _chaitin->dump_register(node, buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   608
      print_prop("reg", buffer);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   609
      print_prop("lrg", _chaitin->n2lidx(node));
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   610
    }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   611
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   612
    node->_in_dump_cnt--;
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   613
#endif
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   614
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   615
    tail(PROPERTIES_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   616
    tail(NODE_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   617
  }
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   618
}
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   619
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   620
void IdealGraphPrinter::walk_nodes(Node *start, void *param) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
  VectorSet visited(Thread::current()->resource_area());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
  GrowableArray<Node *> nodeStack(Thread::current()->resource_area(), 0, 0, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
  nodeStack.push(start);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
  visited.test_set(start->_idx);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
  while(nodeStack.length() > 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
    Node *n = nodeStack.pop();
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   630
    visit_node(n, param);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
    if (_traverse_outs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
      for (DUIterator i = n->outs(); n->has_out(i); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
        Node* p = n->out(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
        if (!visited.test_set(p->_idx)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
          nodeStack.push(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
    for ( uint i = 0; i < n->len(); i++ ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
      if ( n->in(i) ) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
        if (!visited.test_set(n->in(i)->_idx)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
          nodeStack.push(n->in(i));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
void IdealGraphPrinter::print_method(Compile* compile, const char *name, int level, bool clear_nodes) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
  print(compile, name, (Node *)compile->root(), level, clear_nodes);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
// Print current ideal graph
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
void IdealGraphPrinter::print(Compile* compile, const char *name, Node *node, int level, bool clear_nodes) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
  if (!_current_method || !_should_send_method || level > PrintIdealGraphLevel) return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   660
  this->C = compile;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   661
489c9b5090e2 Initial load
duke
parents:
diff changeset
   662
  // Warning, unsafe cast?
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   663
  _chaitin = (PhaseChaitin *)C->regalloc();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   665
  begin_head(GRAPH_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   666
  print_attr(GRAPH_NAME_PROPERTY, (const char *)name);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   667
  end_head();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   669
  head(NODES_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   670
  walk_nodes(node, NULL);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   671
  tail(NODES_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   673
  head(EDGES_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   674
  walk_nodes(node, (void *)1);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   675
  tail(EDGES_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   676
  if (C->cfg() != NULL) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   677
    head(CONTROL_FLOW_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   678
    for (uint i = 0; i < C->cfg()->_blocks.size(); i++) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   679
      Block *b = C->cfg()->_blocks[i];
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   680
      begin_head(BLOCK_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   681
      print_attr(BLOCK_NAME_PROPERTY, b->_pre_order);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   682
      end_head();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   684
      head(SUCCESSORS_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   685
      for (uint s = 0; s < C->cfg()->_blocks[i]->_num_succs; s++) {
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   686
        begin_elem(SUCCESSOR_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   687
        print_attr(BLOCK_NAME_PROPERTY, b->_succs[s]->_pre_order);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   688
        end_elem();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
      }
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   690
      tail(SUCCESSORS_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   692
      tail(BLOCK_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   693
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   695
    tail(CONTROL_FLOW_ELEMENT);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
  }
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   697
  tail(GRAPH_ELEMENT);
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   698
  output()->flush();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
extern const char *NodeClassNames[];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
outputStream *IdealGraphPrinter::output() {
768
d0bebc7eefc2 6718676: putback for 6604014 is incomplete
never
parents: 1
diff changeset
   704
  return _xml;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
#endif