truffle: graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinter.java annotate

annotate graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinter.java @ 19081:3ec39188b0ee

StackInterval: remove use position list.

author	Josef Eisl <josef.eisl@jku.at>
date	Sat, 31 Jan 2015 10:49:20 +0100
parents	e22286559a8b
children	39e99cf01468

rev	line source
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1 /*
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 15534 diff changeset	2 * Copyright (c) 2009, 2014, Oracle and/or its affiliates. All rights reserved.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	4 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	8 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	13 * accompanied this code).
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	14 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	18 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	21 * questions.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	22 */
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	23 package com.oracle.graal.printer;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	24
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	25 import static com.oracle.graal.api.code.ValueUtil.*;
4183 9e0c1b4cfef5 Move all isXxx and asXxx out of CiValue and into their own util class. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	26
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	27 import java.io.*;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	28 import java.util.*;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	29
5510 426c605c9d3c Move cri.ci to api.code. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	30 import com.oracle.graal.api.code.*;
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	31 import com.oracle.graal.api.meta.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	32 import com.oracle.graal.compiler.alloc.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	33 import com.oracle.graal.compiler.alloc.Interval.UsePosList;
15192 644dfe49c0f4 Move packages com.oracle.graal.cfg to com.oracle.graal.compiler.common.cfg. Josef Eisl <josef.eisl@jku.at> parents: 15157 diff changeset	34 import com.oracle.graal.compiler.common.cfg.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	35 import com.oracle.graal.compiler.gen.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	36 import com.oracle.graal.graph.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	37 import com.oracle.graal.java.*;
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	38 import com.oracle.graal.java.BciBlockMapping.BciBlock;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	39 import com.oracle.graal.lir.*;
19031 beb7c10b7747 Move StackSlotAllocators into a package. Josef Eisl <josef.eisl@jku.at> parents: 19029 diff changeset	40 import com.oracle.graal.lir.stackslotalloc.*;
16841 cbd42807a31f moved NodeInfo and friends into separate com.oracle.graal.nodeinfo project so that annotation processor can be applied to the base Node class Doug Simon <doug.simon@oracle.com> parents: 16796 diff changeset	41 import com.oracle.graal.nodeinfo.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	42 import com.oracle.graal.nodes.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	43 import com.oracle.graal.nodes.calc.*;
6529 2e96dc4eb8e2 renamed package: com.oracle.graal.lir.cfg -> com.oracle.graal.nodes.cfg Doug Simon <doug.simon@oracle.com> parents: 6436 diff changeset	44 import com.oracle.graal.nodes.cfg.*;
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	45 import com.oracle.graal.phases.schedule.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	46
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	47 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	48 * Utility for printing Graal IR at various compilation phases.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	49 */
4200 816ac0e579fb Move printer into separate project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4199 diff changeset	50 class CFGPrinter extends CompilationPrinter {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	51
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	52 protected TargetDescription target;
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	53 protected LIR lir;
14888 f6630873316b Rename NodeLIRGenerator (and related classes and interfaces) to NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14842 diff changeset	54 protected NodeLIRBuilder nodeLirGenerator;
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	55 protected ControlFlowGraph cfg;
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	56 protected SchedulePhase schedule;
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	57 protected ResolvedJavaMethod method;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	58
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	59 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	60 * Creates a control flow graph printer.
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	61 *
5711 4d7175cf3526 enabled Eclipse/JDT javadoc checking and fixed resulting warnings Doug Simon <doug.simon@oracle.com> parents: 5552 diff changeset	62 * @param out where the output generated via this printer shown be written
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	63 */
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	64 public CFGPrinter(OutputStream out) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4435 diff changeset	65 super(out);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	66 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	67
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	68 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	69 * Prints the control flow graph denoted by a given block map.
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	70 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	71 * @param label A label describing the compilation phase that produced the control flow graph.
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	72 * @param blockMap A data structure describing the blocks in a method and how they are
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	73 * connected.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	74 */
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	75 public void printCFG(String label, BciBlockMapping blockMap) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	76 begin("cfg");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	77 out.print("name \"").print(label).println('"');
18820 ade7699e160e Calculate blocks immediately in correct order. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 17328 diff changeset	78 for (BciBlockMapping.BciBlock block : blockMap.getBlocks()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	79 begin("block");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	80 printBlock(block);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	81 end("block");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	82 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	83 end("cfg");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	84 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	85
14827 2ed3233503b8 Starting point of the baseline bytecode parser Niclas Adlertz <niclas.adlertz@oracle.com> parents: 14826 diff changeset	86 private void printBlock(BciBlockMapping.BciBlock block) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	87 out.print("name \"B").print(block.startBci).println('"');
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	88 out.print("from_bci ").println(block.startBci);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	89 out.print("to_bci ").println(block.endBci);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	90
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	91 out.println("predecessors ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	92
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	93 out.print("successors ");
14829 8f6f63e997ba BciBlock extends AbstractBlockBase Niclas Adlertz <niclas.adlertz@oracle.com> parents: 14827 diff changeset	94 for (BciBlockMapping.BciBlock succ : block.getSuccessors()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	95 if (!succ.isExceptionEntry) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	96 out.print("\"B").print(succ.startBci).print("\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	97 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	98 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	99 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	100
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	101 out.print("xhandlers");
14829 8f6f63e997ba BciBlock extends AbstractBlockBase Niclas Adlertz <niclas.adlertz@oracle.com> parents: 14827 diff changeset	102 for (BciBlockMapping.BciBlock succ : block.getSuccessors()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	103 if (succ.isExceptionEntry) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	104 out.print("\"B").print(succ.startBci).print("\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	105 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	106 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	107 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	108
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	109 out.print("flags ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	110 if (block.isExceptionEntry) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	111 out.print("\"ex\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	112 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	113 if (block.isLoopHeader) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	114 out.print("\"plh\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	115 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	116 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	117
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	118 out.print("loop_depth ").println(Long.bitCount(block.loops));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	119 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	120
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	121 private NodeMap<Block> latestScheduling;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	122 private NodeBitMap printedNodes;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	123
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	124 private boolean inFixedSchedule(Node node) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	125 return lir != null \|\| schedule != null \|\| node.isDeleted() \|\| cfg.getNodeToBlock().get(node) != null;
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	126 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	127
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	128 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	129 * Prints the specified list of blocks.
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	130 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	131 * @param label A label describing the compilation phase that produced the control flow graph.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	132 * @param blocks The list of blocks to be printed.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	133 */
14788 f0da23ee8315 Work around printCFG / AbstractBlock issue. Josef Eisl <josef.eisl@jku.at> parents: 14144 diff changeset	134 public void printCFG(String label, List<? extends AbstractBlock<?>> blocks, boolean printNodes) {
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	135 if (lir == null) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	136 latestScheduling = new NodeMap<>(cfg.getNodeToBlock());
14788 f0da23ee8315 Work around printCFG / AbstractBlock issue. Josef Eisl <josef.eisl@jku.at> parents: 14144 diff changeset	137 for (AbstractBlock<?> abstractBlock : blocks) {
f0da23ee8315 Work around printCFG / AbstractBlock issue. Josef Eisl <josef.eisl@jku.at> parents: 14144 diff changeset	138 Block block = (Block) abstractBlock;
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	139 Node cur = block.getBeginNode();
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	140 while (true) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	141 assert inFixedSchedule(cur) && latestScheduling.get(cur) == block;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	142 scheduleInputs(cur, block);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	143
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	144 if (cur == block.getEndNode()) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	145 break;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	146 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	147 assert cur.successors().count() == 1;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	148 cur = cur.successors().first();
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	149 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	150 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	151 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	152
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	153 begin("cfg");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	154 out.print("name \"").print(label).println('"');
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	155 for (AbstractBlock<?> block : blocks) {
11379 0942e34b6c7d added PrintBackendCFG option (default is true) for controlling if backend output is dumped to the C1Visualizer Doug Simon <doug.simon@oracle.com> parents: 9436 diff changeset	156 printBlock(block, printNodes);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	157 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	158 end("cfg");
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	159 // NOTE: we do this only because the c1visualizer does not recognize the bytecode block if
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	160 // it is proceeding the cfg blocks. Currently we have no direct influence on the emit order.
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	161 // As a workaround we dump the bytecode after every cfg.
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	162 if (method != null) {
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	163 printBytecodes(new BytecodeDisassembler(false).disassemble(method));
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	164 }
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	165
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	166 latestScheduling = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	167 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	168
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	169 private void scheduleInputs(Node node, Block nodeBlock) {
14978 e302df8bf51c separate subclasses for value and guard phis and proxies Lukas Stadler <lukas.stadler@oracle.com> parents: 14888 diff changeset	170 if (node instanceof ValuePhiNode) {
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	171 PhiNode phi = (PhiNode) node;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	172 assert nodeBlock.getBeginNode() == phi.merge();
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	173 for (Block pred : nodeBlock.getPredecessors()) {
9434 50f02c7d1cec Rename EndNode => AbstractEndNode and make abstract class. Introduce concrete EndNode subclass. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9336 diff changeset	174 schedule(phi.valueAt((AbstractEndNode) pred.getEndNode()), pred);
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	175 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	176
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	177 } else {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	178 for (Node input : node.inputs()) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	179 schedule(input, nodeBlock);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	180 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	181 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	182 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	183
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	184 private void schedule(Node input, Block block) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	185 if (!inFixedSchedule(input)) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	186 Block inputBlock = block;
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	187 if (latestScheduling.get(input) != null) {
16503 b3800429f543 Move commonDominator to AbstractControlFlowGraph. Josef Eisl <josef.eisl@jku.at> parents: 16345 diff changeset	188 inputBlock = AbstractControlFlowGraph.commonDominatorTyped(inputBlock, latestScheduling.get(input));
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	189 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	190 if (inputBlock != latestScheduling.get(input)) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	191 latestScheduling.set(input, inputBlock);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	192 scheduleInputs(input, inputBlock);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	193 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	194 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	195 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	196
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	197 private void printBlock(AbstractBlock<?> block, boolean printNodes) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	198 printBlockProlog(block);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	199 if (printNodes) {
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	200 assert block instanceof Block;
17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	201 printNodes((Block) block);
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	202 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	203 printBlockEpilog(block);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	204 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	205
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	206 private void printBlockEpilog(AbstractBlock<?> block) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	207 printLIR(block);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	208 end("block");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	209 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	210
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	211 private void printBlockProlog(AbstractBlock<?> block) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	212 begin("block");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	213
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	214 out.print("name \"").print(blockToString(block)).println('"');
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	215 if (block instanceof BciBlock) {
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	216 out.print("from_bci ").println(((BciBlock) block).startBci);
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	217 out.print("to_bci ").println(((BciBlock) block).endBci);
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	218 } else {
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	219 out.println("from_bci -1");
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	220 out.println("to_bci -1");
292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	221 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	222
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	223 out.print("predecessors ");
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	224 for (AbstractBlock<?> pred : block.getPredecessors()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	225 out.print("\"").print(blockToString(pred)).print("\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	226 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	227 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	228
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	229 out.print("successors ");
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	230 for (AbstractBlock<?> succ : block.getSuccessors()) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	231 if (!succ.isExceptionEntry()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	232 out.print("\"").print(blockToString(succ)).print("\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	233 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	236
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	237 out.print("xhandlers");
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	238 for (AbstractBlock<?> succ : block.getSuccessors()) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	239 if (succ.isExceptionEntry()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	240 out.print("\"").print(blockToString(succ)).print("\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	241 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	242 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	243 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	244
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	245 out.print("flags ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	246 if (block.isLoopHeader()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	247 out.print("\"llh\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	248 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	249 if (block.isLoopEnd()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	250 out.print("\"lle\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 }
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	252 if (block.isExceptionEntry()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	253 out.print("\"ex\" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	254 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	255 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	256
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	257 if (block.getLoop() != null) {
15534 4bd6ad45ee0a Encapsulate members of Loop. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	258 out.print("loop_index ").println(block.getLoop().getIndex());
4bd6ad45ee0a Encapsulate members of Loop. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	259 out.print("loop_depth ").println(block.getLoop().getDepth());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	260 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	261 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	262
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	263 private void printNodes(Block block) {
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	264 printedNodes = new NodeBitMap(cfg.graph);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	265 begin("IR");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	266 out.println("HIR");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	267 out.disableIndentation();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	268
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	269 if (block.getBeginNode() instanceof AbstractMergeNode) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	270 // Currently phi functions are not in the schedule, so print them separately here.
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	271 for (ValueNode phi : ((AbstractMergeNode) block.getBeginNode()).phis()) {
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	272 printNode(phi, false);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	273 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	274 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	275
16950 559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	276 Node cur = block.getBeginNode();
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	277 while (true) {
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	278 printNode(cur, false);
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	279
16950 559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	280 if (cur == block.getEndNode()) {
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	281 for (Map.Entry<Node, Block> entry : latestScheduling.entries()) {
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	282 if (entry.getValue() == block && !inFixedSchedule(entry.getKey()) && !printedNodes.isMarked(entry.getKey())) {
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	283 printNode(entry.getKey(), true);
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	284 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	285 }
16950 559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	286 break;
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	287 }
16950 559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	288 assert cur.successors().count() == 1;
559ab93c1ad6 CFGPrinter: do not print empty HIR cfgs. Josef Eisl <josef.eisl@jku.at> parents: 16897 diff changeset	289 cur = cur.successors().first();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	290 }
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	291
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	292 out.enableIndentation();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	293 end("IR");
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	294 printedNodes = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	295 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	296
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	297 private void printNode(Node node, boolean unscheduled) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	298 assert !printedNodes.isMarked(node);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	299 printedNodes.mark(node);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	300
14978 e302df8bf51c separate subclasses for value and guard phis and proxies Lukas Stadler <lukas.stadler@oracle.com> parents: 14888 diff changeset	301 if (!(node instanceof ValuePhiNode)) {
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	302 for (Node input : node.inputs()) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	303 if (!inFixedSchedule(input) && !printedNodes.isMarked(input)) {
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	304 printNode(input, true);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	305 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	306 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	307 }
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	308
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	309 if (unscheduled) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	310 assert lir == null && schedule == null : "unscheduled nodes can only be present before LIR generation";
5011 5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	311 out.print("f ").print(HOVER_START).print("u").print(HOVER_SEP).print("unscheduled").print(HOVER_END).println(COLUMN_END);
5d0af6520f26 Do not use SchedulePhase in CFG printer Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4525 diff changeset	312 } else if (node instanceof FixedWithNextNode) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	313 out.print("f ").print(HOVER_START).print("#").print(HOVER_SEP).print("fixed with next").print(HOVER_END).println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	314 } else if (node instanceof FixedNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	315 out.print("f ").print(HOVER_START).print("*").print(HOVER_SEP).print("fixed").print(HOVER_END).println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	316 } else if (node instanceof FloatingNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	317 out.print("f ").print(HOVER_START).print("~").print(HOVER_SEP).print("floating").print(HOVER_END).println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	318 }
4278 b49981617b10 Fixes after removal of GraalCompilation Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4265 diff changeset	319 out.print("tid ").print(nodeToString(node)).println(COLUMN_END);
b49981617b10 Fixes after removal of GraalCompilation Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4265 diff changeset	320
14842 f2e61bf2a2d8 Removed nodeOperands from LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 14829 diff changeset	321 if (nodeLirGenerator != null) {
f2e61bf2a2d8 Removed nodeOperands from LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 14829 diff changeset	322 Value operand = nodeLirGenerator.getNodeOperands().get(node);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	323 if (operand != null) {
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	324 out.print("result ").print(operand.toString()).println(COLUMN_END);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	325 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	326 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	327
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	328 if (node instanceof StateSplit) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	329 StateSplit stateSplit = (StateSplit) node;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	330 if (stateSplit.stateAfter() != null) {
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	331 String state = stateToString(stateSplit.stateAfter());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	332 out.print("st ").print(HOVER_START).print("st").print(HOVER_SEP).print(state).print(HOVER_END).println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	333 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	334 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	335
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	336 Map<Object, Object> props = new TreeMap<>(node.getDebugProperties());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	337 out.print("d ").print(HOVER_START).print("d").print(HOVER_SEP);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	338 out.println("=== Debug Properties ===");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	339 for (Map.Entry<Object, Object> entry : props.entrySet()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	340 out.print(entry.getKey().toString()).print(": ").print(entry.getValue() == null ? "[null]" : entry.getValue().toString()).println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	341 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	342 out.println("=== Inputs ===");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	343 printNamedNodes(node, node.inputs().iterator(), "", "\n", null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	344 out.println("=== Succesors ===");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	345 printNamedNodes(node, node.successors().iterator(), "", "\n", null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	346 out.println("=== Usages ===");
18937 ff232ff8d028 Add utility Node#hasNoUsages. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18820 diff changeset	347 if (!node.hasNoUsages()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	348 for (Node usage : node.usages()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	349 out.print(nodeToString(usage)).print(" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	350 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	352 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	353 out.println("=== Predecessor ===");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	354 out.print(nodeToString(node.predecessor())).print(" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	355 out.print(HOVER_END).println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	356
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	357 out.print("instruction ");
17272 9eb112c9337d moved Node naming logic back to NodeClass (without impacting NodeClass constructor performance) Doug Simon <doug.simon@oracle.com> parents: 17258 diff changeset	358 out.print(HOVER_START).print(node.getNodeClass().shortName()).print(HOVER_SEP).print(node.getClass().getName()).print(HOVER_END).print(" ");
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	359 printNamedNodes(node, node.inputs().iterator(), "", "", "#NDF");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	360 printNamedNodes(node, node.successors().iterator(), "#", "", "#NDF");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	361 for (Map.Entry<Object, Object> entry : props.entrySet()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	362 String key = entry.getKey().toString();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363 if (key.startsWith("data.") && !key.equals("data.stamp")) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	364 out.print(key.substring("data.".length())).print(": ").print(entry.getValue() == null ? "[null]" : entry.getValue().toString()).print(" ");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	365 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	366 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	367 out.print(COLUMN_END).print(' ').println(COLUMN_END);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	368 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	369
17008 81c9a1fc9072 select generated input and successor iterators if Node.USE_GENERATED_NODES Doug Simon <doug.simon@oracle.com> parents: 16950 diff changeset	370 private void printNamedNodes(Node node, NodePosIterator iter, String prefix, String suffix, String hideSuffix) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	371 int lastIndex = -1;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	372 while (iter.hasNext()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	373 Position pos = iter.nextPosition();
17210 ef64e2682bb6 added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges Doug Simon <doug.simon@oracle.com> parents: 17194 diff changeset	374 if (hideSuffix != null && pos.getName().endsWith(hideSuffix)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	375 continue;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	376 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	377
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15192 diff changeset	378 if (pos.getIndex() != lastIndex) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	379 if (lastIndex != -1) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	380 out.print(suffix);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	381 }
17210 ef64e2682bb6 added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges Doug Simon <doug.simon@oracle.com> parents: 17194 diff changeset	382 out.print(prefix).print(pos.getName()).print(": ");
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15192 diff changeset	383 lastIndex = pos.getIndex();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	384 }
17210 ef64e2682bb6 added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges Doug Simon <doug.simon@oracle.com> parents: 17194 diff changeset	385 out.print(nodeToString(pos.get(node))).print(" ");
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	386 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	387 if (lastIndex != -1) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	388 out.print(suffix);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	389 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	390 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	391
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	392 private String stateToString(FrameState state) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	393 StringBuilder buf = new StringBuilder();
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	394 FrameState curState = state;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	395 do {
17328 c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b Doug Simon <doug.simon@oracle.com> parents: 17327 diff changeset	396 buf.append(MetaUtil.toLocation(curState.method(), curState.bci)).append('\n');
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	397
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	398 if (curState.stackSize() > 0) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	399 buf.append("stack: ");
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	400 for (int i = 0; i < curState.stackSize(); i++) {
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	401 buf.append(stateValueToString(curState.stackAt(i))).append(' ');
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	402 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	403 buf.append("\n");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	404 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	405
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	406 buf.append("locals: ");
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	407 for (int i = 0; i < curState.localsSize(); i++) {
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	408 buf.append(stateValueToString(curState.localAt(i))).append(' ');
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	409 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	410 buf.append("\n");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	411
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	412 buf.append("locks: ");
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	413 for (int i = 0; i < curState.locksSize(); i++) {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	414 buf.append(stateValueToString(curState.lockAt(i))).append(' ');
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	415 }
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	416 buf.append("\n");
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6418 diff changeset	417
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	418 curState = curState.outerFrameState();
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	419 } while (curState != null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	420
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	421 return buf.toString();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	422 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	423
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	424 private String stateValueToString(ValueNode value) {
f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	425 String result = nodeToString(value);
14842 f2e61bf2a2d8 Removed nodeOperands from LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 14829 diff changeset	426 if (nodeLirGenerator != null && nodeLirGenerator.getNodeOperands() != null && value != null) {
f2e61bf2a2d8 Removed nodeOperands from LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 14829 diff changeset	427 Value operand = nodeLirGenerator.getNodeOperands().get(value);
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	428 if (operand != null) {
f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	429 result += ": " + operand;
f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	430 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	431 }
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	432 return result;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	433 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	434
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	435 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	436 * Prints the LIR for each instruction in a given block.
15025 292353f2645c CFGPrinter: workaround for bytecode dumping. Josef Eisl <josef.eisl@jku.at> parents: 14978 diff changeset	437 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	438 * @param block the block to print
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	439 */
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	440 private void printLIR(AbstractBlock<?> block) {
6418 aa57aa781e86 fixed small regression in CFGPrinter Doug Simon <doug.simon@oracle.com> parents: 6411 diff changeset	441 if (lir == null) {
aa57aa781e86 fixed small regression in CFGPrinter Doug Simon <doug.simon@oracle.com> parents: 6411 diff changeset	442 return;
aa57aa781e86 fixed small regression in CFGPrinter Doug Simon <doug.simon@oracle.com> parents: 6411 diff changeset	443 }
14806 a8723f1ff542 LIR renamed setter and getter functions. Josef Eisl <josef.eisl@jku.at> parents: 14796 diff changeset	444 List<LIRInstruction> lirInstructions = lir.getLIRforBlock(block);
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4233 diff changeset	445 if (lirInstructions == null) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	446 return;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	447 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	448
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	449 begin("IR");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	450 out.println("LIR");
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	451
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4233 diff changeset	452 for (int i = 0; i < lirInstructions.size(); i++) {
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4233 diff changeset	453 LIRInstruction inst = lirInstructions.get(i);
17194 e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	454 if (inst == null) {
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	455 out.print("nr -1 ").print(COLUMN_END).print(" instruction ").print("<deleted>").print(COLUMN_END);
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	456 out.println(COLUMN_END);
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	457 } else {
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	458 out.printf("nr %4d ", inst.id()).print(COLUMN_END);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	459
17194 e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	460 final StringBuilder stateString = new StringBuilder();
17296 e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	461 inst.forEachState(state -> {
e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	462 if (state.hasDebugInfo()) {
e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	463 DebugInfo di = state.debugInfo();
e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	464 stateString.append(debugInfoToString(di.getBytecodePosition(), di.getReferenceMap(), di.getCalleeSaveInfo(), target.arch));
e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	465 } else {
e03a25f5a260 Replace anonymous StateProcedures with Lambdas. Josef Eisl <josef.eisl@jku.at> parents: 17279 diff changeset	466 stateString.append(debugInfoToString(state.topFrame, null, null, target.arch));
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5724 diff changeset	467 }
17194 e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	468 });
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	469 if (stateString.length() > 0) {
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	470 int level = out.indentationLevel();
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	471 out.adjustIndentation(-level);
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	472 out.print(" st ").print(HOVER_START).print("st").print(HOVER_SEP).print(stateString.toString()).print(HOVER_END).print(COLUMN_END);
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	473 out.adjustIndentation(level);
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5724 diff changeset	474 }
17194 e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	475
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	476 out.print(" instruction ").print(inst.toString()).print(COLUMN_END);
e92cf6db7a07 Handle deleted instructions in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 17064 diff changeset	477 out.println(COLUMN_END);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	478 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	479 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	480 end("IR");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	481 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	482
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	483 private String nodeToString(Node node) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	484 if (node == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	485 return "-";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	486 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	487 String prefix;
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18941 diff changeset	488 if (node instanceof AbstractBeginNode && (lir == null && schedule == null)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	489 prefix = "B";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	490 } else if (node instanceof ValueNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	491 ValueNode value = (ValueNode) node;
14633 da2431cc1506 Rename ValueNode kind() to getKind(). Josef Eisl <josef.eisl@jku.at> parents: 14594 diff changeset	492 if (value.getKind() == Kind.Illegal) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	493 prefix = "v";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	494 } else {
14633 da2431cc1506 Rename ValueNode kind() to getKind(). Josef Eisl <josef.eisl@jku.at> parents: 14594 diff changeset	495 prefix = String.valueOf(value.getKind().getTypeChar());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	496 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	497 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	498 prefix = "?";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	499 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	500 return prefix + node.toString(Verbosity.Id);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	501 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	502
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	503 private String blockToString(AbstractBlock<?> block) {
14826 17a735726670 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14820 14633 diff changeset	504 if (lir == null && schedule == null && block instanceof Block) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	505 // During all the front-end phases, the block schedule is built only for the debug
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	506 // output.
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	507 // Therefore, the block numbers would be different for every CFG printed -> use the id
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	508 // of the first instruction.
14814 f200eb890729 Handle AbstractBlock in CFGPrinter. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	509 return "B" + ((Block) block).getBeginNode().toString(Verbosity.Id);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	510 } else {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	511 // LIR instructions contain references to blocks and these blocks are printed as the
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7499 diff changeset	512 // blockID -> use the blockID.
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4295 diff changeset	513 return "B" + block.getId();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	514 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	515 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	516
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	517 public void printIntervals(String label, Interval[] intervals) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	518 begin("intervals");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	519 out.println(String.format("name \"%s\"", label));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	520
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	521 for (Interval interval : intervals) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	522 if (interval != null) {
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	523 printInterval(interval);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	524 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	525 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	526
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	527 end("intervals");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	528 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	529
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	530 private void printInterval(Interval interval) {
16345 d0c5f9bc7d98 Fix c1visualizer dump. Roland Schatz <roland.schatz@oracle.com> parents: 16094 diff changeset	531 out.printf("%s %s ", interval.operand, (isRegister(interval.operand) ? "fixed" : interval.kind().getPlatformKind()));
4183 9e0c1b4cfef5 Move all isXxx and asXxx out of CiValue and into their own util class. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	532 if (isRegister(interval.operand)) {
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6529 diff changeset	533 out.printf("\"[%s\|%c]\"", interval.operand, interval.operand.getKind().getTypeChar());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	534 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	535 if (interval.location() != null) {
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6529 diff changeset	536 out.printf("\"[%s\|%c]\"", interval.location(), interval.location().getKind().getTypeChar());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	537 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	538 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	539
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	540 Interval hint = interval.locationHint(false);
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	541 out.printf("%s %s ", interval.splitParent().operand, hint != null ? hint.operand : -1);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	542
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	543 // print ranges
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	544 Range cur = interval.first();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	545 while (cur != Range.EndMarker) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	546 out.printf("[%d, %d[", cur.from, cur.to);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	547 cur = cur.next;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	548 assert cur != null : "range list not closed with range sentinel";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	549 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	550
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	551 // print use positions
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	552 int prev = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	553 UsePosList usePosList = interval.usePosList();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	554 for (int i = usePosList.size() - 1; i >= 0; --i) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	555 assert prev < usePosList.usePos(i) : "use positions not sorted";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	556 out.printf("%d %s ", usePosList.usePos(i), usePosList.registerPriority(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	557 prev = usePosList.usePos(i);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	558 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	559
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	560 out.printf(" \"%s\"", interval.spillState());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	561 out.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	562 }
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	563
19029 d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	564 public void printStackIntervals(String label, StackInterval[] intervals) {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	565 begin("intervals");
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	566 out.println(String.format("name \"%s\"", label));
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	567
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	568 for (StackInterval interval : intervals) {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	569 if (interval != null) {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	570 printStackInterval(interval);
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	571 }
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	572 }
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	573
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	574 end("intervals");
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	575 }
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	576
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	577 private void printStackInterval(StackInterval interval) {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	578 out.printf("%s %s ", interval.getOperand(), interval.isFixed() ? "fixed" : interval.kind().getPlatformKind());
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	579 if (interval.location() != null) {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	580 out.printf("\"[%s\|%c]\"", interval.location(), interval.location().getKind().getTypeChar());
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	581 } else {
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	582 out.printf("\"[%s\|%c]\"", interval.getOperand(), interval.getOperand().getKind().getTypeChar());
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	583 }
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	584
19078 5447a27a6fd7 Make StackUsePosList and StackInterval final. Josef Eisl <josef.eisl@jku.at> parents: 19033 diff changeset	585 out.printf("%s -1 ", interval.getOperand());
19029 d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	586
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	587 out.printf("[%d, %d[", interval.from(), interval.to());
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	588
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	589 // print spill state
19081 3ec39188b0ee StackInterval: remove use position list. Josef Eisl <josef.eisl@jku.at> parents: 19080 diff changeset	590 out.printf(" \"NOT_SUPPORTED\"");
19029 d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	591 out.println();
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	592 }
d80301977c5e StackSlotAllocator: add CFGPrinter support for StackIntervals. Josef Eisl <josef.eisl@jku.at> parents: 18820 diff changeset	593
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	594 public void printSchedule(String message, SchedulePhase theSchedule) {
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	595 schedule = theSchedule;
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	596 cfg = schedule.getCFG();
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	597 printedNodes = new NodeBitMap(cfg.graph);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	598
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	599 begin("cfg");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	600 out.print("name \"").print(message).println('"');
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	601 for (Block b : schedule.getCFG().getBlocks()) {
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	602 if (schedule.nodesFor(b) != null) {
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	603 printScheduledBlock(b, schedule.nodesFor(b));
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	604 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	605 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	606 end("cfg");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	607
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	608 schedule = null;
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	609 cfg = null;
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	610 printedNodes = null;
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	611 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	612
18941 c943ba97b2a7 Remove class ScheduledNode from the node class hierarchy. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18937 diff changeset	613 private void printScheduledBlock(Block block, List<ValueNode> nodesFor) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	614 printBlockProlog(block);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	615 begin("IR");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	616 out.println("HIR");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	617 out.disableIndentation();
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	618
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	619 if (block.getBeginNode() instanceof AbstractMergeNode) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	620 // Currently phi functions are not in the schedule, so print them separately here.
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	621 for (ValueNode phi : ((AbstractMergeNode) block.getBeginNode()).phis()) {
14594 3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	622 printNode(phi, false);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	623 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	624 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	625
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	626 for (Node n : nodesFor) {
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	627 printNode(n, false);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	628 }
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	629
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	630 out.enableIndentation();
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	631 end("IR");
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	632
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	633 printBlockEpilog(block);
3eda945af90a dump final HIR schedule to c1visualizer Tom Rodriguez <tom.rodriguez@oracle.com> parents: 14159 diff changeset	634 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	635 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.printer/src/com/oracle/graal/printer/CFGPrinter.java @ 19081:3ec39188b0ee