truffle: graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/gen/LIRGenerator.java annotate

annotate graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/gen/LIRGenerator.java @ 7353:b5280041f59e

Experiment with soft alignment for branch targets.

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Sun, 13 Jan 2013 19:32:16 +0100
parents	edb4951bc8b5
children	4c6e577d0c01

rev	line source
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1 /*
4181 319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4173 diff changeset	2 * Copyright (c) 2009, 2012, 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.compiler.gen;
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: 5546 diff changeset	25 import static com.oracle.graal.api.code.CallingConvention.Type.*;
5658 297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	26 import static com.oracle.graal.api.code.ValueUtil.*;
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	27 import static com.oracle.graal.api.meta.Value.*;
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	28 import static com.oracle.graal.lir.LIRValueUtil.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	29
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	30 import java.util.*;
5199 b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	31 import java.util.Map.Entry;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	32
5510 426c605c9d3c Move cri.ci to api.code. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	33 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	34 import com.oracle.graal.api.meta.*;
6531 4afe23aa0a00 renamed packages: com.oracle.max.asm... -> com.oracle.graal.asm... Doug Simon <doug.simon@oracle.com> parents: 6529 diff changeset	35 import com.oracle.graal.asm.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	36 import com.oracle.graal.debug.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	37 import com.oracle.graal.graph.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	38 import com.oracle.graal.lir.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	39 import com.oracle.graal.lir.StandardOp.JumpOp;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	40 import com.oracle.graal.lir.StandardOp.LabelOp;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	41 import com.oracle.graal.lir.StandardOp.ParametersOp;
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.PhiNode.PhiType;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	44 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: 6526 diff changeset	45 import com.oracle.graal.nodes.cfg.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	46 import com.oracle.graal.nodes.extended.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	47 import com.oracle.graal.nodes.java.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	48 import com.oracle.graal.nodes.spi.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	49 import com.oracle.graal.nodes.virtual.*;
6525 2c913b643422 rename packages in graal.phases to match project name Doug Simon <doug.simon@oracle.com> parents: 6524 diff changeset	50 import com.oracle.graal.phases.*;
2c913b643422 rename packages in graal.phases to match project name Doug Simon <doug.simon@oracle.com> parents: 6524 diff changeset	51 import com.oracle.graal.phases.util.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	52
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	53 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	54 * This class traverses the HIR instructions and generates LIR instructions from them.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	55 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	56 public abstract class LIRGenerator extends LIRGeneratorTool {
6675 6eb83c6eb177 change LIRGenerator to take StructuredGraph instead of Graph Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	57 protected final StructuredGraph graph;
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	58 protected final CodeCacheProvider runtime;
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	59 protected final TargetDescription target;
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	60 protected final ResolvedJavaMethod method;
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	61 protected final FrameMap frameMap;
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	62 public final NodeMap<Value> nodeOperands;
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	63
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	64 protected final LIR lir;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	65 private final DebugInfoBuilder debugInfoBuilder;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	66
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	67 private Block currentBlock;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	68 private ValueNode currentInstruction;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	69 private ValueNode lastInstructionPrinted; // Debugging only
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	70 private FrameState lastState;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	71
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	72 /**
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	73 * Mapping from blocks to the last encountered frame state at the end of the block.
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	74 */
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	75 private final BlockMap<FrameState> blockLastState;
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	76
fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	77 /**
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	78 * The number of currently locked monitors.
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	79 */
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	80 private int currentLockCount;
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	81
fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	82 /**
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	83 * Mapping from blocks to the number of locked monitors at the end of the block.
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	84 */
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	85 private final BlockMap<Integer> blockLastLockCount;
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	86
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	87 /**
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	88 * Contains the lock data slot for each lock depth (so these may be reused within a compiled method).
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	89 */
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	90 private final ArrayList<StackSlot> lockDataSlots;
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	91
6675 6eb83c6eb177 change LIRGenerator to take StructuredGraph instead of Graph Lukas Stadler <lukas.stadler@jku.at> parents: 6564 diff changeset	92 public LIRGenerator(StructuredGraph graph, CodeCacheProvider runtime, TargetDescription target, FrameMap frameMap, ResolvedJavaMethod method, LIR lir) {
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	93 this.graph = graph;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	94 this.runtime = runtime;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	95 this.target = target;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	96 this.frameMap = frameMap;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	97 this.method = method;
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	98 this.nodeOperands = graph.createNodeMap();
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	99 this.lir = lir;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	100 this.debugInfoBuilder = new DebugInfoBuilder(nodeOperands);
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	101 this.blockLastLockCount = new BlockMap<>(lir.cfg);
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	102 this.lockDataSlots = new ArrayList<>();
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	103 this.blockLastState = new BlockMap<>(lir.cfg);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	104 }
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 @Override
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	107 public TargetDescription target() {
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	108 return target;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	109 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	110
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	111 @Override
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	112 public CodeCacheProvider getRuntime() {
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	113 return runtime;
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	114 }
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	115
6455 c4d21bd7653b made position calculation for VMErrorNode more robust when debug info is not available Doug Simon <doug.simon@oracle.com> parents: 6443 diff changeset	116 public ResolvedJavaMethod method() {
c4d21bd7653b made position calculation for VMErrorNode more robust when debug info is not available Doug Simon <doug.simon@oracle.com> parents: 6443 diff changeset	117 return method;
c4d21bd7653b made position calculation for VMErrorNode more robust when debug info is not available Doug Simon <doug.simon@oracle.com> parents: 6443 diff changeset	118 }
c4d21bd7653b made position calculation for VMErrorNode more robust when debug info is not available Doug Simon <doug.simon@oracle.com> parents: 6443 diff changeset	119
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	120 /**
5711 4d7175cf3526 enabled Eclipse/JDT javadoc checking and fixed resulting warnings Doug Simon <doug.simon@oracle.com> parents: 5698 diff changeset	121 * Returns the operand that has been previously initialized by {@link #setResult(ValueNode, Value)}
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	122 * with the result of an instruction.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	123 * @param node A node that produces a result value.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	124 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	125 @Override
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	126 public Value operand(ValueNode node) {
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	127 if (nodeOperands == null) {
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	128 return null;
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	129 }
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	130 return nodeOperands.get(node);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	131 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	132
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	133 public ValueNode valueForOperand(Value value) {
bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	134 for (Entry<Node, Value> entry : nodeOperands.entries()) {
5199 b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	135 if (entry.getValue() == value) {
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	136 return (ValueNode) entry.getKey();
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	137 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	138 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	139 return null;
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	140 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	141
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	142 /**
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	143 * Creates a new {@linkplain Variable variable}.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	144 * @param kind The kind of the new variable.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	145 * @return a new variable
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	146 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	147 @Override
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	148 public Variable newVariable(Kind kind) {
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: 6531 diff changeset	149 Kind stackKind = kind.getStackKind();
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	150 switch (stackKind) {
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	151 case Jsr:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	152 case Int:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	153 case Long:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	154 case Object:
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	155 return new Variable(stackKind, lir.nextVariable(), Register.RegisterFlag.CPU);
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	156 case Float:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	157 case Double:
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	158 return new Variable(stackKind, lir.nextVariable(), Register.RegisterFlag.FPU);
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	159 default:
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	160 throw GraalInternalError.shouldNotReachHere();
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	161 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	162 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	163
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	164 @Override
5658 297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	165 public RegisterAttributes attributes(Register register) {
297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	166 return frameMap.registerConfig.getAttributesMap()[register.number];
297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	167 }
297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	168
297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	169 @Override
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	170 public Value setResult(ValueNode x, Value operand) {
6329 92bc58dc5b5e More clean up and documentation in api.code and api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 6316 diff changeset	171 assert (isVariable(operand) && x.kind() == operand.getKind()) \|\|
5658 297f30d8d610 allowed RegisterNode to directly use a register not used by the register allocator Doug Simon <doug.simon@oracle.com> parents: 5645 diff changeset	172 (isRegister(operand) && !attributes(asRegister(operand)).isAllocatable()) \|\|
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: 6531 diff changeset	173 (isConstant(operand) && x.kind() == operand.getKind().getStackKind()) : operand.getKind() + " for node " + x;
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	174 assert operand(x) == null : "operand cannot be set twice";
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	175 assert operand != null && isLegal(operand) : "operand must be legal";
7224 fb16d8681ddc bugfixes for compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7144 diff changeset	176 assert operand.getKind().getStackKind() == x.kind() : operand.getKind().getStackKind() + " must match " + x.kind();
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	177 assert !(x instanceof VirtualObjectNode);
78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	178 nodeOperands.set(x, operand);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	179 return operand;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	180 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	181
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	182 @Override
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	183 public abstract Variable emitMove(Value input);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	184
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	185 public Variable load(Value value) {
4183 9e0c1b4cfef5 Move all isXxx and asXxx out of CiValue and into their own util class. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4181 diff changeset	186 if (!isVariable(value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	187 return emitMove(value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	188 }
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	189 return (Variable) value;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	190 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	191
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	192 public Value loadNonConst(Value value) {
5538 e18ba36bfebc Renamed RiConstant => Constant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5531 diff changeset	193 if (isConstant(value) && !canInlineConstant((Constant) value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	194 return emitMove(value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	195 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	196 return value;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	197 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	198
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	199 public Value loadForStore(Value value, Kind storeKind) {
5538 e18ba36bfebc Renamed RiConstant => Constant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5531 diff changeset	200 if (isConstant(value) && canStoreConstant((Constant) value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	201 return value;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	202 }
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	203 if (storeKind == Kind.Byte \|\| storeKind == Kind.Boolean) {
6329 92bc58dc5b5e More clean up and documentation in api.code and api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 6316 diff changeset	204 Variable tempVar = new Variable(value.getKind(), lir.nextVariable(), Register.RegisterFlag.Byte);
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	205 emitMove(value, tempVar);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	206 return tempVar;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	207 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	208 return load(value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	209 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	210
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	211 protected LabelRef getLIRBlock(FixedNode b) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	212 Block result = lir.cfg.blockFor(b);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	213 int suxIndex = currentBlock.getSuccessors().indexOf(result);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	214 assert suxIndex != -1 : "Block not in successor list of current block";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	215
6411 c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	216 return LabelRef.forSuccessor(lir, currentBlock, suxIndex);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	217 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	218
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	219 /**
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	220 * Determines if only oop maps are required for the code generated from the LIR.
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	221 */
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	222 protected boolean needOnlyOopMaps() {
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	223 return false;
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	224 }
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	225
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	226 public LIRFrameState state() {
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	227 assert lastState != null \|\| needOnlyOopMaps() : "must have state before instruction";
6709 55afed7bc209 small cleanup Lukas Stadler <lukas.stadler@jku.at> parents: 6676 diff changeset	228 return stateFor(lastState, StructuredGraph.INVALID_GRAPH_ID);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	229 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	230
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	231 public LIRFrameState state(long leafGraphId) {
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	232 assert lastState != null \|\| needOnlyOopMaps() : "must have state before instruction";
5129 51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	233 return stateFor(lastState, leafGraphId);
3733 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
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	236 public LIRFrameState stateFor(FrameState state, long leafGraphId) {
5129 51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	237 return stateFor(state, null, null, leafGraphId);
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	238 }
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	239
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	240 public LIRFrameState stateFor(FrameState state, List<StackSlot> pointerSlots, LabelRef exceptionEdge, long leafGraphId) {
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	241 if (needOnlyOopMaps()) {
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	242 return new LIRFrameState(null, null, null, null);
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7142 diff changeset	243 }
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	244 return debugInfoBuilder.build(state, lockDataSlots.subList(0, currentLockCount), pointerSlots, exceptionEdge, leafGraphId);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	245 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	246
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	247 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	248 * Gets the ABI specific operand used to return a value of a given kind from a method.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	249 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	250 * @param kind the kind of value being returned
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 * @return the operand representing the ABI defined location used return a value of kind {@code kind}
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	252 */
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	253 public Value resultOperandFor(Kind kind) {
a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	254 if (kind == Kind.Void) {
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: 6531 diff changeset	255 return ILLEGAL;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	256 }
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	257 return frameMap.registerConfig.getReturnRegister(kind).asValue(kind);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	258 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	259
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 public void append(LIRInstruction op) {
4245 75c620f90ab9 Support stack-operands and register hints in new register allocator API Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4233 diff changeset	262 assert LIRVerifier.verify(op);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	263 if (GraalOptions.PrintIRWithLIR && !TTY.isSuppressed()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	264 if (currentInstruction != null && lastInstructionPrinted != currentInstruction) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	265 lastInstructionPrinted = currentInstruction;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	266 InstructionPrinter ip = new InstructionPrinter(TTY.out());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	267 ip.printInstructionListing(currentInstruction);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	268 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	269 TTY.println(op.toStringWithIdPrefix());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	270 TTY.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	271 }
6411 c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	272 lir.lir(currentBlock).add(op);
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
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	275 public void doBlock(Block block) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	276 if (GraalOptions.PrintIRWithLIR) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	277 TTY.print(block.toString());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	278 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	279
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	280 currentBlock = block;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	281 // set up the list of LIR instructions
6411 c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	282 assert lir.lir(block) == null : "LIR list already computed for this block";
c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	283 lir.setLir(block, new ArrayList<LIRInstruction>());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	284
7353 b5280041f59e Experiment with soft alignment for branch targets. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 7328 diff changeset	285 append(new LabelOp(new Label(), block.align, block.softAlign));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	286
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	287 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	288 TTY.println("BEGIN Generating LIR for block B" + block.getId());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	289 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	290
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	291 if (block == lir.cfg.getStartBlock()) {
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	292 assert block.getPredecessors().size() == 0;
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	293 currentLockCount = 0;
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	294 emitPrologue();
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	295
fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	296 } else {
fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	297 assert block.getPredecessors().size() > 0;
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	298
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	299 currentLockCount = -1;
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	300 for (Block pred : block.getPredecessors()) {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	301 Integer predLocks = blockLastLockCount.get(pred);
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	302 if (currentLockCount == -1) {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	303 currentLockCount = predLocks;
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	304 } else {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	305 assert (predLocks == null && pred.isLoopEnd()) \|\| currentLockCount == predLocks;
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	306 }
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	307 }
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	308
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	309 FrameState fs = null;
4233 fa53d5e4aa35 Remove lock information from frame states, and compute it instead when LIR is generated. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4212 diff changeset	310
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	311 for (Block pred : block.getPredecessors()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	312 if (fs == null) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	313 fs = blockLastState.get(pred);
5462 fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	314 } else {
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	315 if (blockLastState.get(pred) == null) {
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	316 // Only a back edge can have a null state for its enclosing block.
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	317 assert pred.getEndNode() instanceof LoopEndNode;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	318
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	319 if (block.getBeginNode().stateAfter() == null) {
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	320 // We'll assert later that the begin and end of a framestate-less loop
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	321 // share the frame state that flowed into the loop
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	322 blockLastState.put(pred, fs);
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	323 }
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	324 } else if (fs != blockLastState.get(pred)) {
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	325 fs = null;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	326 break;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	327 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	328 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	329 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	330 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	331 if (fs == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	332 TTY.println("STATE RESET");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	333 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	334 TTY.println("STATE CHANGE (singlePred)");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	335 if (GraalOptions.TraceLIRGeneratorLevel >= 3) {
5026 b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	336 TTY.println(fs.toString(Node.Verbosity.Debugger));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	337 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	338 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	339 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	340 lastState = fs;
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
5591 d52edd1af4c4 SchedulePhase doesn't schedule FrameStates, added documentation, cleanups Lukas Stadler <lukas.stadler@jku.at> parents: 5547 diff changeset	343 List<ScheduledNode> nodes = lir.nodesFor(block);
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	344 for (int i = 0; i < nodes.size(); i++) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	345 Node instr = nodes.get(i);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	346
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	347 if (GraalOptions.OptImplicitNullChecks) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	348 Node nextInstr = null;
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	349 if (i < nodes.size() - 1) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	350 nextInstr = nodes.get(i + 1);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 }
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 if (instr instanceof GuardNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	354 GuardNode guardNode = (GuardNode) instr;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	355 if (guardNode.condition() instanceof IsNullNode && guardNode.negated()) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	356 IsNullNode isNullNode = (IsNullNode) guardNode.condition();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	357 if (nextInstr instanceof Access) {
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4268 diff changeset	358 Access access = (Access) nextInstr;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	359 if (isNullNode.object() == access.object() && canBeNullCheck(access.location())) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	360 //TTY.println("implicit null check");
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4268 diff changeset	361 access.setNullCheck(true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	362 continue;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	364 }
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 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	368 if (GraalOptions.TraceLIRGeneratorLevel >= 3) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	369 TTY.println("LIRGen for " + instr);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	370 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	371 FrameState stateAfter = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	372 if (instr instanceof StateSplit) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	373 stateAfter = ((StateSplit) instr).stateAfter();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	374 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	375 if (instr instanceof ValueNode) {
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	376 try {
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	377 doRoot((ValueNode) instr);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	378 } catch (GraalInternalError e) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	379 throw e.addContext(instr);
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	380 } catch (Throwable e) {
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	381 throw new GraalInternalError(e).addContext(instr);
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	382 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	383 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	384 if (stateAfter != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	385 lastState = stateAfter;
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	386 assert checkStateReady(lastState);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	387 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	388 TTY.println("STATE CHANGE");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	389 if (GraalOptions.TraceLIRGeneratorLevel >= 3) {
5026 b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	390 TTY.println(stateAfter.toString(Node.Verbosity.Debugger));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	391 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	392 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	393 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	394 }
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	395 if (block.numberOfSux() >= 1 && !endsWithJump(block)) {
7123 b914b9b4c578 graal.graph refactorings Gilles Duboscq <duboscq@ssw.jku.at> parents: 7098 diff changeset	396 NodeClassIterable successors = block.getEndNode().successors();
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	397 assert successors.isNotEmpty() : "should have at least one successor : " + block.getEndNode();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	398
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	399 emitJump(getLIRBlock((FixedNode) successors.first()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	400 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	401
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	402 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	403 TTY.println("END Generating LIR for block B" + block.getId());
3733 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
5462 fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	406 // Check that the begin and end of a framestate-less loop
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	407 // share the frame state that flowed into the loop
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	408 assert blockLastState.get(block) == null \|\| blockLastState.get(block) == lastState;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	409
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	410 blockLastLockCount.put(currentBlock, currentLockCount);
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	411 blockLastState.put(block, lastState);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	412 currentBlock = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	413
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	414 if (GraalOptions.PrintIRWithLIR) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	415 TTY.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	416 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	417 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	418
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	419 private boolean checkStateReady(FrameState state) {
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	420 FrameState fs = state;
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	421 while (fs != null) {
5026 b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	422 for (ValueNode v : fs.values()) {
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	423 if (v != null && !(v instanceof VirtualObjectNode)) {
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	424 assert operand(v) != null : "Value " + v + " in " + fs + " is not ready!";
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	425 }
4625 73f935f28920 in esa mode, check that values in stateAfter are all ready after LIRGen of a ValudeNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 4619 diff changeset	426 }
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	427 fs = fs.outerFrameState();
4625 73f935f28920 in esa mode, check that values in stateAfter are all ready after LIRGen of a ValudeNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 4619 diff changeset	428 }
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	429 return true;
4625 73f935f28920 in esa mode, check that values in stateAfter are all ready after LIRGen of a ValudeNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 4619 diff changeset	430 }
73f935f28920 in esa mode, check that values in stateAfter are all ready after LIRGen of a ValudeNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 4619 diff changeset	431
6411 c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	432 private boolean endsWithJump(Block block) {
c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	433 List<LIRInstruction> instructions = lir.lir(block);
c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	434 if (instructions.size() == 0) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	435 return false;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	436 }
6411 c5afcc2ebd3d change of project structure: separate compiler and LIR, put EA into separate project Lukas Stadler <lukas.stadler@jku.at> parents: 6409 diff changeset	437 LIRInstruction lirInstruction = instructions.get(instructions.size() - 1);
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	438 return lirInstruction instanceof StandardOp.JumpOp;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	439 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	440
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	441 private void doRoot(ValueNode instr) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	442 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	443 TTY.println("Emitting LIR for instruction " + instr);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	444 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	445 currentInstruction = instr;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	446
4404 aa4347c72887 Remove TraceLIRVisit Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4387 diff changeset	447 Debug.log("Visiting %s", instr);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	448 emitNode(instr);
4404 aa4347c72887 Remove TraceLIRVisit Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4387 diff changeset	449 Debug.log("Operand for %s = %s", instr, operand(instr));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	450 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	451
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	452 protected void emitNode(ValueNode node) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	453 ((LIRLowerable) node).generate(this);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	454 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	455
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	456 private static boolean canBeNullCheck(LocationNode location) {
5774 a1db0ea58b53 Removed left over Ci* prefixed identifiers Doug Simon <doug.simon@oracle.com> parents: 5760 diff changeset	457 // TODO: Make this part of TargetDescription
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	458 return !(location instanceof IndexedLocationNode) && location.displacement() < 4096;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	459 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	460
6676 090868cbcda6 Graal infrastructure for OnStackReplacement Lukas Stadler <lukas.stadler@jku.at> parents: 6675 diff changeset	461 protected CallingConvention createCallingConvention() {
7300 2912b72d840a More complete and reusable Word type Christian Wimmer <christian.wimmer@oracle.com> parents: 7280 diff changeset	462 return frameMap.registerConfig.getCallingConvention(JavaCallee, method.getSignature().getReturnType(null), MetaUtil.signatureToTypes(method), target, false);
6676 090868cbcda6 Graal infrastructure for OnStackReplacement Lukas Stadler <lukas.stadler@jku.at> parents: 6675 diff changeset	463 }
090868cbcda6 Graal infrastructure for OnStackReplacement Lukas Stadler <lukas.stadler@jku.at> parents: 6675 diff changeset	464
5318 b5cd7bc05695 Method entry counters: Enable the flag to collect an execution profile of compiled methods and their callers. This allows to, e.g., detect methods that should be inlined because they are called frequently. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5251 diff changeset	465 protected void emitPrologue() {
6676 090868cbcda6 Graal infrastructure for OnStackReplacement Lukas Stadler <lukas.stadler@jku.at> parents: 6675 diff changeset	466 CallingConvention incomingArguments = createCallingConvention();
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	467
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	468 Value[] params = new Value[incomingArguments.getArgumentCount()];
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	469 for (int i = 0; i < params.length; i++) {
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	470 params[i] = toStackKind(incomingArguments.getArgument(i));
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	471 if (ValueUtil.isStackSlot(params[i])) {
b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	472 StackSlot slot = ValueUtil.asStackSlot(params[i]);
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: 6531 diff changeset	473 if (slot.isInCallerFrame() && !lir.hasArgInCallerFrame()) {
5251 467de393651a optimization: frame prologue & epilogue ommitted for methods with no spills, no callee-saved registers, no incoming stack args and no debug info Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	474 lir.setHasArgInCallerFrame();
467de393651a optimization: frame prologue & epilogue ommitted for methods with no spills, no callee-saved registers, no incoming stack args and no debug info Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	475 }
467de393651a optimization: frame prologue & epilogue ommitted for methods with no spills, no callee-saved registers, no incoming stack args and no debug info Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	476 }
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	477 }
5251 467de393651a optimization: frame prologue & epilogue ommitted for methods with no spills, no callee-saved registers, no incoming stack args and no debug info Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	478
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	479 append(new ParametersOp(params));
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	480
4260 78379b4203ec remove a number of GraalCompilation usages in backend and CFGPrinter (breaks CFGPrinter lir output) Lukas Stadler <lukas.stadler@jku.at> parents: 4245 diff changeset	481 for (LocalNode local : graph.getNodes(LocalNode.class)) {
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	482 Value param = params[local.index()];
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: 6531 diff changeset	483 assert param.getKind() == local.kind().getStackKind();
4212 f282e35ea829 Define incoming parameters in a PARAMS instruction. This simplifies register allocation because the initial register state does not have to be inferred from the calling convention. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4206 diff changeset	484 setResult(local, emitMove(param));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	485 }
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
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	488 /**
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	489 * Increases the number of currently locked monitors and makes sure that a lock data slot is available for the new lock.
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	490 */
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	491 public void lock() {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	492 if (lockDataSlots.size() == currentLockCount) {
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: 6531 diff changeset	493 lockDataSlots.add(frameMap.allocateStackBlock(runtime.getSizeOfLockData(), false));
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	494 }
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	495 currentLockCount++;
6382 9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	496 }
9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	497
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	498 /**
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	499 * Decreases the number of currently locked monitors.
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	500 *
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	501 * @throws GraalInternalError if the number of currently locked monitors is already zero.
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	502 */
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	503 public void unlock() {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	504 if (currentLockCount == 0) {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	505 throw new GraalInternalError("unmatched locks");
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	506 }
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	507 currentLockCount--;
6382 9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	508 }
9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	509
6436 5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	510 /**
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	511 * @return The lock data slot for the topmost locked monitor.
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	512 */
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	513 public StackSlot peekLock() {
5395ecdfce8a move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations) Lukas Stadler <lukas.stadler@jku.at> parents: 6411 diff changeset	514 return lockDataSlots.get(currentLockCount - 1);
6382 9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	515 }
9b6b8626983a factored out access to LIRGenerator lock scope for external use in LIR lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	516
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	517 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	518 public void visitReturn(ReturnNode x) {
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: 6531 diff changeset	519 Value operand = Value.ILLEGAL;
7249 3af2fcc319f1 use Kind.Void for ReturnNode, not the return value kind Lukas Stadler <lukas.stadler@jku.at> parents: 7224 diff changeset	520 if (x.result() != null) {
3af2fcc319f1 use Kind.Void for ReturnNode, not the return value kind Lukas Stadler <lukas.stadler@jku.at> parents: 7224 diff changeset	521 operand = resultOperandFor(x.result().kind());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	522 emitMove(operand(x.result()), operand);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	523 }
5233 efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5199 diff changeset	524 emitReturn(operand);
3733 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
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	527 protected abstract void emitReturn(Value input);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	528
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	529 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	530 public void visitMerge(MergeNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	531 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	532
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	533 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	534 public void visitEndNode(EndNode end) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	535 moveToPhi(end.merge(), end);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	536 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	537
5236 f9aae727d035 removed XIR safepoint operation Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	538 /**
f9aae727d035 removed XIR safepoint operation Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	539 * Runtime specific classes can override this to insert a safepoint at the end of a loop.
f9aae727d035 removed XIR safepoint operation Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	540 */
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	541 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	542 public void visitLoopEnd(LoopEndNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	543 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	544
4614 a3882fd1ae61 Make it possible to have multiple LoopEnds per LoopBegin Gilles Duboscq <duboscq@ssw.jku.at> parents: 4550 diff changeset	545 private void moveToPhi(MergeNode merge, EndNode pred) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	546 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	547 TTY.println("MOVE TO PHI from " + pred + " to " + merge);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	548 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	549 PhiResolver resolver = new PhiResolver(this);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	550 for (PhiNode phi : merge.phis()) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	551 if (phi.type() == PhiType.Value) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	552 ValueNode curVal = phi.valueAt(pred);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	553 resolver.move(operand(curVal), operandForPhi(phi));
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	554 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	555 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	556 resolver.dispose();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	557
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	558 append(new JumpOp(getLIRBlock(merge), null));
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	559 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	560
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	561 private Value operandForPhi(PhiNode phi) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	562 assert phi.type() == PhiType.Value : "wrong phi type: " + phi;
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	563 Value result = operand(phi);
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	564 if (result == null) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	565 // allocate a variable for this phi
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	566 Variable newOperand = newVariable(phi.kind());
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	567 setResult(phi, newOperand);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	568 return newOperand;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	569 } else {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	570 return result;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	571 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	572 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	573
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	574 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	575 public void emitIf(IfNode x) {
6563 b6eec91d81fb renamed input for IfNode from 'compare' to 'condition' Doug Simon <doug.simon@oracle.com> parents: 6531 diff changeset	576 emitBranch(x.condition(), getLIRBlock(x.trueSuccessor()), getLIRBlock(x.falseSuccessor()), null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	577 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	578
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	579 @Override
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	580 public void emitGuardCheck(BooleanNode comp, DeoptimizationReason deoptReason, DeoptimizationAction action, boolean negated, long leafGraphId) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	581 if (comp instanceof IsNullNode && negated) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	582 emitNullCheckGuard(((IsNullNode) comp).object(), leafGraphId);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	583 } else if (comp instanceof ConstantNode && (comp.asConstant().asBoolean() != negated)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	584 // True constant, nothing to emit.
5129 51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	585 // False constants are handled within emitBranch.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	586 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	587 // Fall back to a normal branch.
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	588 LIRFrameState info = state(leafGraphId);
5160 6e385457d6fc Add a RiDeoptAction to Guards and FixedGuards Gilles Duboscq <duboscq@ssw.jku.at> parents: 5130 diff changeset	589 LabelRef stubEntry = createDeoptStub(action, deoptReason, info, comp);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	590 if (negated) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	591 emitBranch(comp, stubEntry, null, info);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	592 } else {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	593 emitBranch(comp, null, stubEntry, info);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	594 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	595 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	596 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	597
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	598 protected abstract void emitNullCheckGuard(ValueNode object, long leafGraphId);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	599
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	600 public void emitBranch(BooleanNode node, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRFrameState info) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	601 if (node instanceof IsNullNode) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	602 emitNullCheckBranch((IsNullNode) node, trueSuccessor, falseSuccessor, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	603 } else if (node instanceof CompareNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	604 emitCompareBranch((CompareNode) node, trueSuccessor, falseSuccessor, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	605 } else if (node instanceof ConstantNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	606 emitConstantBranch(((ConstantNode) node).asConstant().asBoolean(), trueSuccessor, falseSuccessor, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	607 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	608 throw GraalInternalError.unimplemented(node.toString());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	609 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	610 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	611
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	612 private void emitNullCheckBranch(IsNullNode node, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRFrameState info) {
5460 4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	613 if (falseSuccessor != null) {
5538 e18ba36bfebc Renamed RiConstant => Constant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5531 diff changeset	614 emitBranch(operand(node.object()), Constant.NULL_OBJECT, Condition.NE, false, falseSuccessor, info);
5460 4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	615 if (trueSuccessor != null) {
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	616 emitJump(trueSuccessor, null);
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	617 }
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	618 } else {
5538 e18ba36bfebc Renamed RiConstant => Constant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5531 diff changeset	619 emitBranch(operand(node.object()), Constant.NULL_OBJECT, Condition.EQ, false, trueSuccessor, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	620 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	621 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	622
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	623 public void emitCompareBranch(CompareNode compare, LabelRef trueSuccessorBlock, LabelRef falseSuccessorBlock, LIRFrameState info) {
5460 4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	624 if (falseSuccessorBlock != null) {
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	625 emitBranch(operand(compare.x()), operand(compare.y()), compare.condition().negate(), !compare.unorderedIsTrue(), falseSuccessorBlock, info);
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	626 if (trueSuccessorBlock != null) {
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	627 emitJump(trueSuccessorBlock, null);
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	628 }
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	629 } else {
4ea62e26643e fix for branches that have only a true successor (as emitted for negated guards). Andreas Woess <andreas.woess@jku.at> parents: 5443 diff changeset	630 emitBranch(operand(compare.x()), operand(compare.y()), compare.condition(), compare.unorderedIsTrue(), trueSuccessorBlock, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	631 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	632 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	633
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	634 public void emitConstantBranch(boolean value, LabelRef trueSuccessorBlock, LabelRef falseSuccessorBlock, LIRFrameState info) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	635 LabelRef block = value ? trueSuccessorBlock : falseSuccessorBlock;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	636 if (block != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	637 emitJump(block, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	638 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	639 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	640
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	641 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	642 public void emitConditional(ConditionalNode conditional) {
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	643 Value tVal = operand(conditional.trueValue());
bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	644 Value fVal = operand(conditional.falseValue());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	645 setResult(conditional, emitConditional(conditional.condition(), tVal, fVal));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	646 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	647
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	648 public Variable emitConditional(BooleanNode node, Value trueValue, Value falseValue) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	649 if (node instanceof IsNullNode) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	650 return emitNullCheckConditional((IsNullNode) node, trueValue, falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	651 } else if (node instanceof CompareNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	652 return emitCompareConditional((CompareNode) node, trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	653 } else if (node instanceof ConstantNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	654 return emitConstantConditional(((ConstantNode) node).asConstant().asBoolean(), trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	655 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	656 throw GraalInternalError.unimplemented(node.toString());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	657 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	658 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	659
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	660 private Variable emitNullCheckConditional(IsNullNode node, Value trueValue, Value falseValue) {
5538 e18ba36bfebc Renamed RiConstant => Constant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5531 diff changeset	661 return emitCMove(operand(node.object()), Constant.NULL_OBJECT, Condition.EQ, false, trueValue, falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	662 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	663
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	664 private Variable emitConstantConditional(boolean value, Value trueValue, Value falseValue) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	665 return emitMove(value ? trueValue : falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	666 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	667
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	668 private Variable emitCompareConditional(CompareNode compare, Value trueValue, Value falseValue) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	669 return emitCMove(operand(compare.x()), operand(compare.y()), compare.condition(), compare.unorderedIsTrue(), trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	670 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	671
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	672
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	673 public abstract void emitJump(LabelRef label, LIRFrameState info);
141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	674 public abstract void emitBranch(Value left, Value right, Condition cond, boolean unorderedIsTrue, LabelRef label, LIRFrameState info);
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	675 public abstract Variable emitCMove(Value leftVal, Value right, Condition cond, boolean unorderedIsTrue, Value trueValue, Value falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	676
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	677 protected FrameState stateBeforeCallWithArguments(FrameState stateAfter, MethodCallTargetNode call, int bci) {
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: 6531 diff changeset	678 return stateAfter.duplicateModified(bci, stateAfter.rethrowException(), call.returnStamp().kind(), toJVMArgumentStack(call.targetMethod().getSignature(), call.isStatic(), call.arguments()));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	679 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	680
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	681 private static ValueNode[] toJVMArgumentStack(Signature signature, boolean isStatic, NodeInputList<ValueNode> arguments) {
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: 6531 diff changeset	682 int slotCount = signature.getParameterSlots(!isStatic);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	683 ValueNode[] stack = new ValueNode[slotCount];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	684 int stackIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	685 int argumentIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	686 for (ValueNode arg : arguments) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	687 stack[stackIndex] = arg;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	688
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	689 if (stackIndex == 0 && !isStatic) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	690 // Current argument is receiver.
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	691 stackIndex += stackSlots(Kind.Object);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	692 } else {
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: 6531 diff changeset	693 stackIndex += stackSlots(signature.getParameterKind(argumentIndex));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	694 argumentIndex++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	695 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	696 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	697 return stack;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	698 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	699
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	700
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	701 public static int stackSlots(Kind kind) {
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	702 return isTwoSlot(kind) ? 2 : 1;
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	703 }
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	704
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	705 public static boolean isTwoSlot(Kind kind) {
a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	706 assert kind != Kind.Void && kind != Kind.Illegal;
a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5539 diff changeset	707 return kind == Kind.Long \|\| kind == Kind.Double;
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	708 }
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	709
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	710 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	711 public void emitInvoke(Invoke x) {
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	712 AbstractCallTargetNode callTarget = (AbstractCallTargetNode) x.callTarget();
7300 2912b72d840a More complete and reusable Word type Christian Wimmer <christian.wimmer@oracle.com> parents: 7280 diff changeset	713 CallingConvention cc = frameMap.registerConfig.getCallingConvention(callTarget.callType(), x.node().stamp().javaType(runtime), callTarget.signature(), target(), false);
6472 7548c1248bb3 pushed CallingConvention further into LIR API for emitting calls Doug Simon <doug.simon@oracle.com> parents: 6470 diff changeset	714 frameMap.callsMethod(cc);
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	715
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	716 Value[] parameters = visitInvokeArguments(cc, callTarget.arguments());
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	717
6438 bbf47e2d519f Allow calls without a FrameState in the backend Christian Wimmer <christian.wimmer@oracle.com> parents: 6436 diff changeset	718 LIRFrameState callState = null;
bbf47e2d519f Allow calls without a FrameState in the backend Christian Wimmer <christian.wimmer@oracle.com> parents: 6436 diff changeset	719 if (x.stateAfter() != null) {
bbf47e2d519f Allow calls without a FrameState in the backend Christian Wimmer <christian.wimmer@oracle.com> parents: 6436 diff changeset	720 callState = stateFor(x.stateDuring(), null, x instanceof InvokeWithExceptionNode ? getLIRBlock(((InvokeWithExceptionNode) x).exceptionEdge()) : null, x.leafGraphId());
bbf47e2d519f Allow calls without a FrameState in the backend Christian Wimmer <christian.wimmer@oracle.com> parents: 6436 diff changeset	721 }
bbf47e2d519f Allow calls without a FrameState in the backend Christian Wimmer <christian.wimmer@oracle.com> parents: 6436 diff changeset	722
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	723 Value result = cc.getReturn();
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	724
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	725 if (callTarget instanceof DirectCallTargetNode) {
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	726 emitDirectCall((DirectCallTargetNode) callTarget, result, parameters, cc.getTemporaries(), callState);
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	727 } else if (callTarget instanceof IndirectCallTargetNode) {
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	728 emitIndirectCall((IndirectCallTargetNode) callTarget, result, parameters, cc.getTemporaries(), callState);
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	729 } else {
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	730 throw GraalInternalError.shouldNotReachHere();
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	731 }
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	732
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	733 if (isLegal(result)) {
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	734 setResult(x.node(), emitMove(result));
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	735 }
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	736 }
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	737
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	738 protected abstract void emitDirectCall(DirectCallTargetNode callTarget, Value result, Value[] parameters, Value[] temps, LIRFrameState callState);
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	739
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	740 protected abstract void emitIndirectCall(IndirectCallTargetNode callTarget, Value result, Value[] parameters, Value[] temps, LIRFrameState callState);
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6382 diff changeset	741
7144 ae69cd8c08a9 rename: RuntimeCall -> RuntimeCallTarget Doug Simon <doug.simon@oracle.com> parents: 7143 diff changeset	742 protected abstract void emitCall(RuntimeCallTarget callTarget, Value result, Value[] arguments, Value[] temps, Value targetAddress, LIRFrameState info);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	743
5539 bc647d8b0080 Renaming RiValue => Value. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	744 private static Value toStackKind(Value value) {
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: 6531 diff changeset	745 if (value.getKind().getStackKind() != value.getKind()) {
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	746 // We only have stack-kinds in the LIR, so convert the operand kind for values from the calling convention.
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	747 if (isRegister(value)) {
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: 6531 diff changeset	748 return asRegister(value).asValue(value.getKind().getStackKind());
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	749 } else if (isStackSlot(value)) {
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: 6531 diff changeset	750 return StackSlot.get(value.getKind().getStackKind(), asStackSlot(value).getRawOffset(), asStackSlot(value).getRawAddFrameSize());
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	751 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	752 throw GraalInternalError.shouldNotReachHere();
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	753 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	754 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	755 return value;
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	756 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	757
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	758 public Value[] visitInvokeArguments(CallingConvention cc, Collection<ValueNode> arguments) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	759 // for each argument, load it into the correct location
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	760 Value[] result = new Value[arguments.size()];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	761 int j = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	762 for (ValueNode arg : arguments) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	763 if (arg != null) {
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	764 Value operand = toStackKind(cc.getArgument(j));
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	765 emitMove(operand(arg), operand);
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	766 result[j] = operand;
62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	767 j++;
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	768 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	769 throw GraalInternalError.shouldNotReachHere("I thought we no longer have null entries for two-slot types...");
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	770 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	771 }
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	772 return result;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	773 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	774
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	775
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	776 protected abstract LabelRef createDeoptStub(DeoptimizationAction action, DeoptimizationReason reason, LIRFrameState info, Object deoptInfo);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	777
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	778 @Override
7144 ae69cd8c08a9 rename: RuntimeCall -> RuntimeCallTarget Doug Simon <doug.simon@oracle.com> parents: 7143 diff changeset	779 public Variable emitCall(RuntimeCallTarget callTarget, CallingConvention cc, boolean canTrap, Value... args) {
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	780 LIRFrameState info = canTrap ? state() : null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	781
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	782 // move the arguments into the correct location
6472 7548c1248bb3 pushed CallingConvention further into LIR API for emitting calls Doug Simon <doug.simon@oracle.com> parents: 6470 diff changeset	783 frameMap.callsMethod(cc);
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	784 assert cc.getArgumentCount() == args.length : "argument count mismatch";
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	785 Value[] argLocations = new Value[args.length];
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	786 for (int i = 0; i < args.length; i++) {
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	787 Value arg = args[i];
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	788 Value loc = cc.getArgument(i);
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	789 emitMove(arg, loc);
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	790 argLocations[i] = loc;
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	791 }
7142 283fe237085b tightened first parameter type for LIRGeneratorTool.emitCall() Doug Simon <doug.simon@oracle.com> parents: 7123 diff changeset	792 emitCall(callTarget, cc.getReturn(), argLocations, cc.getTemporaries(), Constant.forLong(0), info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	793
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	794 if (isLegal(cc.getReturn())) {
b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	795 return emitMove(cc.getReturn());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	796 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	797 return null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	798 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	799 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	800
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	801 @Override
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	802 public void visitRuntimeCall(RuntimeCallNode x) {
7144 ae69cd8c08a9 rename: RuntimeCall -> RuntimeCallTarget Doug Simon <doug.simon@oracle.com> parents: 7143 diff changeset	803 RuntimeCallTarget call = runtime.lookupRuntimeCall(x.getDescriptor());
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	804 CallingConvention cc = call.getCallingConvention();
6472 7548c1248bb3 pushed CallingConvention further into LIR API for emitting calls Doug Simon <doug.simon@oracle.com> parents: 6470 diff changeset	805 frameMap.callsMethod(cc);
6470 b1010f7bc0bf expanded CallingConvention API class to also include the location of the value (if any) returned by a call Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	806 Value resultOperand = cc.getReturn();
6478 62878ae057a5 added support for temps in LIR call instructions Doug Simon <doug.simon@oracle.com> parents: 6476 diff changeset	807 Value[] args = visitInvokeArguments(cc, x.arguments());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	808
5733 141b15521a39 use annotated fields for operands of LIR instructions Christian Wimmer <christian.wimmer@oracle.com> parents: 5719 diff changeset	809 LIRFrameState info = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	810 FrameState stateAfter = x.stateAfter();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	811 if (stateAfter != null) {
5056 2f2c6347fce4 comments cleanup/retagging Gilles Duboscq <duboscq@ssw.jku.at> parents: 5029 diff changeset	812 // (cwimmer) I made the code that modifies the operand stack conditional. My scenario: runtime calls to, e.g.,
2f2c6347fce4 comments cleanup/retagging Gilles Duboscq <duboscq@ssw.jku.at> parents: 5029 diff changeset	813 // CreateNullPointerException have no equivalent in the bytecodes, so there is no invoke bytecode.
5026 b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	814 // Therefore, the result of the runtime call was never pushed to the stack, and we cannot pop it here.
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	815 FrameState stateBeforeReturn = stateAfter;
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	816 if ((stateAfter.stackSize() > 0 && stateAfter.stackAt(stateAfter.stackSize() - 1) == x) \|\|
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	817 (stateAfter.stackSize() > 1 && stateAfter.stackAt(stateAfter.stackSize() - 2) == x)) {
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	818
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	819 stateBeforeReturn = stateAfter.duplicateModified(stateAfter.bci, stateAfter.rethrowException(), x.kind());
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	820 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	821
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	822 // TODO is it correct here that the pointerSlots are not passed to the oop map generation?
5129 51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info. Lukas Stadler <lukas.stadler@jku.at> parents: 5061 diff changeset	823 info = stateFor(stateBeforeReturn, -1);
5601 e1aa23322006 ensure that every runtime call has debug info associated with it Doug Simon <doug.simon@oracle.com> parents: 5591 diff changeset	824 } else {
e1aa23322006 ensure that every runtime call has debug info associated with it Doug Simon <doug.simon@oracle.com> parents: 5591 diff changeset	825 // Every runtime call needs an info
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	826 // TODO This is conservative. It's not needed for calls that are implemented purely in a stub
5601 e1aa23322006 ensure that every runtime call has debug info associated with it Doug Simon <doug.simon@oracle.com> parents: 5591 diff changeset	827 // that does not trash any registers and does not call into the runtime.
e1aa23322006 ensure that every runtime call has debug info associated with it Doug Simon <doug.simon@oracle.com> parents: 5591 diff changeset	828 info = state();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	829 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	830
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	831 emitCall(call, resultOperand, args, cc.getTemporaries(), Constant.forLong(0), info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	832
4183 9e0c1b4cfef5 Move all isXxx and asXxx out of CiValue and into their own util class. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4181 diff changeset	833 if (isLegal(resultOperand)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	834 setResult(x, emitMove(resultOperand));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	835 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	836 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	837
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	838 /**
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	839 * This method tries to create a switch implementation that is optimal for the given switch.
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	840 * It will either generate a sequential if/then/else cascade, a set of range tests or a table switch.
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	841 *
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	842 * If the given switch does not contain int keys, it will always create a sequential implementation.
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	843 */
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	844 @Override
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	845 public void emitSwitch(SwitchNode x) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	846 int keyCount = x.keyCount();
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	847 if (keyCount == 0) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	848 emitJump(getLIRBlock(x.defaultSuccessor()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	849 } else {
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	850 Variable value = load(operand(x.value()));
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	851 LabelRef defaultTarget = x.defaultSuccessor() == null ? null : getLIRBlock(x.defaultSuccessor());
7072 5a3e048620d4 fix to avoid emitting a range switch for non-integer keys Christian Haeubl <haeubl@ssw.jku.at> parents: 7066 diff changeset	852 if (value.getKind() != Kind.Int) {
5a3e048620d4 fix to avoid emitting a range switch for non-integer keys Christian Haeubl <haeubl@ssw.jku.at> parents: 7066 diff changeset	853 // hopefully only a few entries
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	854 emitSequentialSwitch(x, value, defaultTarget);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	855 } else {
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6709 diff changeset	856 assert value.getKind() == Kind.Int;
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	857 long valueRange = x.keyAt(keyCount - 1).asLong() - x.keyAt(0).asLong() + 1;
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	858 int switchRangeCount = switchRangeCount(x);
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	859 if (switchRangeCount == 0) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	860 emitJump(getLIRBlock(x.defaultSuccessor()), null);
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	861 } else if (switchRangeCount >= GraalOptions.MinimumJumpTableSize && keyCount / (double) valueRange >= GraalOptions.MinTableSwitchDensity) {
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	862 int minValue = x.keyAt(0).asInt();
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	863 assert valueRange < Integer.MAX_VALUE;
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	864 LabelRef[] targets = new LabelRef[(int) valueRange];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	865 for (int i = 0; i < valueRange; i++) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	866 targets[i] = defaultTarget;
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	867 }
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	868 for (int i = 0; i < keyCount; i++) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	869 targets[x.keyAt(i).asInt() - minValue] = getLIRBlock(x.keySuccessor(i));
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	870 }
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	871 emitTableSwitch(minValue, defaultTarget, targets, value);
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	872 } else if (keyCount / switchRangeCount >= GraalOptions.RangeTestsSwitchDensity) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	873 emitSwitchRanges(x, switchRangeCount, value, defaultTarget);
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	874 } else {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	875 emitSequentialSwitch(x, value, defaultTarget);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	876 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	877 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	878 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	879 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	880
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	881 private void emitSequentialSwitch(final SwitchNode x, Variable key, LabelRef defaultTarget) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	882 int keyCount = x.keyCount();
5784 182d5b57967e order successors by probability in ComputeLinearScanOrder Lukas Stadler <lukas.stadler@jku.at> parents: 5775 diff changeset	883 Integer[] indexes = Util.createSortedPermutation(keyCount, new Comparator<Integer>() {
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	884 @Override
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	885 public int compare(Integer o1, Integer o2) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	886 return x.keyProbability(o1) < x.keyProbability(o2) ? 1 : x.keyProbability(o1) > x.keyProbability(o2) ? -1 : 0;
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	887 }
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	888 });
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	889 LabelRef[] keyTargets = new LabelRef[keyCount];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	890 Constant[] keyConstants = new Constant[keyCount];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	891 for (int i = 0; i < keyCount; i++) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	892 keyTargets[i] = getLIRBlock(x.keySuccessor(indexes[i]));
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	893 keyConstants[i] = x.keyAt(indexes[i]);
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	894 }
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	895 emitSequentialSwitch(keyConstants, keyTargets, defaultTarget, key);
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	896 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	897
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	898 protected abstract void emitSequentialSwitch(Constant[] keyConstants, LabelRef[] keyTargets, LabelRef defaultTarget, Value key);
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	899 protected abstract void emitSwitchRanges(int[] lowKeys, int[] highKeys, LabelRef[] targets, LabelRef defaultTarget, Value key);
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	900 protected abstract void emitTableSwitch(int lowKey, LabelRef defaultTarget, LabelRef[] targets, Value key);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	901
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	902 private static int switchRangeCount(SwitchNode x) {
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	903 int keyCount = x.keyCount();
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	904 int switchRangeCount = 0;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	905 int defaultSux = x.defaultSuccessorIndex();
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	906
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	907 int key = x.keyAt(0).asInt();
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	908 int sux = x.keySuccessorIndex(0);
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	909 for (int i = 0; i < keyCount; i++) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	910 int newKey = x.keyAt(i).asInt();
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	911 int newSux = x.keySuccessorIndex(i);
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	912 if (newSux != defaultSux && (newKey != key + 1 \|\| sux != newSux)) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	913 switchRangeCount++;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	914 }
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	915 key = newKey;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	916 sux = newSux;
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	917 }
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	918 return switchRangeCount;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	919 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	920
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	921 private void emitSwitchRanges(SwitchNode x, int switchRangeCount, Variable keyValue, LabelRef defaultTarget) {
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	922 assert switchRangeCount >= 1 : "switch ranges should not be used for emitting only the default case";
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	923
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	924 int[] lowKeys = new int[switchRangeCount];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	925 int[] highKeys = new int[switchRangeCount];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	926 LabelRef[] targets = new LabelRef[switchRangeCount];
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	927
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	928 int keyCount = x.keyCount();
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	929 int defaultSuccessor = x.defaultSuccessorIndex();
764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	930
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	931 int current = -1;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	932 int key = -1;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	933 int successor = -1;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	934 for (int i = 0; i < keyCount; i++) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	935 int newSuccessor = x.keySuccessorIndex(i);
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	936 int newKey = x.keyAt(i).asInt();
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	937 if (newSuccessor != defaultSuccessor) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	938 if (key + 1 == newKey && successor == newSuccessor) {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	939 // still in same range
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	940 highKeys[current] = newKey;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	941 } else {
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	942 current++;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	943 lowKeys[current] = newKey;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	944 highKeys[current] = newKey;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	945 targets[current] = getLIRBlock(x.blockSuccessor(newSuccessor));
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	946 }
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	947 }
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	948 key = newKey;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	949 successor = newSuccessor;
5698 764db9ada24f rework of switch operations: unify lookup- and tableswitch, introduce switch lir instructions Lukas Stadler <lukas.stadler@jku.at> parents: 5662 diff changeset	950 }
7063 0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	951 assert current == switchRangeCount - 1;
0d7dfa5b79e8 merged inlining and intrinsification phases Christian Haeubl <haeubl@ssw.jku.at> parents: 6709 diff changeset	952 emitSwitchRanges(lowKeys, highKeys, targets, defaultTarget, keyValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	953 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	954
4268 3e5c18a41c25 Add frameMap getter to LIRGenerator. Add compileMethod overload with input graph parameter. Andreas Woess <andreas.woess@jku.at> parents: 4265 diff changeset	955 public FrameMap frameMap() {
3e5c18a41c25 Add frameMap getter to LIRGenerator. Add compileMethod overload with input graph parameter. Andreas Woess <andreas.woess@jku.at> parents: 4265 diff changeset	956 return frameMap;
3e5c18a41c25 Add frameMap getter to LIRGenerator. Add compileMethod overload with input graph parameter. Andreas Woess <andreas.woess@jku.at> parents: 4265 diff changeset	957 }
6496 16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	958
7280 f368ec89e231 added intrinsifications for Integer.bitCount() and Long.bitCount() Doug Simon <doug.simon@oracle.com> parents: 7249 diff changeset	959 public abstract void emitBitCount(Variable result, Value operand);
6496 16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	960 public abstract void emitBitScanForward(Variable result, Value operand);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	961 public abstract void emitBitScanReverse(Variable result, Value operand);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	962
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	963 public abstract void emitMathAbs(Variable result, Variable input);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	964 public abstract void emitMathSqrt(Variable result, Variable input);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	965 public abstract void emitMathLog(Variable result, Variable input, boolean base10);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	966 public abstract void emitMathCos(Variable result, Variable input);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	967 public abstract void emitMathSin(Variable result, Variable input);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	968 public abstract void emitMathTan(Variable result, Variable input);
16d1411409b4 moved AMD64 specific code into com.oracle.graal.compiler.amd64 Doug Simon <doug.simon@oracle.com> parents: 6478 diff changeset	969 public abstract void emitByteSwap(Variable result, Value operand);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	970 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/gen/LIRGenerator.java @ 7353:b5280041f59e