graal-compiler: 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 @ 5507:dc71b06d09f8

Moving classes from cri.ri to api.meta.

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Thu, 07 Jun 2012 18:24:06 +0200
parents	56860d3f9f39
children	426c605c9d3c

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
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	25 import static com.oracle.graal.api.meta.RiValue.*;
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	26 import static com.oracle.graal.lir.ValueUtil.*;
4199 aaac4894175c Renamed cri packages from sun to oracle. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4198 diff changeset	27 import static com.oracle.max.cri.ci.CiCallingConvention.Type.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	28
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	29 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	30 import java.util.Map.Entry;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	31
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	32 import com.oracle.graal.api.meta.*;
dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	33 import com.oracle.graal.api.meta.RiType.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	34 import com.oracle.graal.compiler.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	35 import com.oracle.graal.compiler.util.*;
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.lir.StandardOp.PhiJumpOp;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	43 import com.oracle.graal.lir.StandardOp.PhiLabelOp;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	44 import com.oracle.graal.lir.cfg.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	45 import com.oracle.graal.nodes.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	46 import com.oracle.graal.nodes.PhiNode.PhiType;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	47 import com.oracle.graal.nodes.calc.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	48 import com.oracle.graal.nodes.extended.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	49 import com.oracle.graal.nodes.java.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	50 import com.oracle.graal.nodes.spi.*;
5443 141817e206d4 changes to the dependencies and stamp system: Lukas Stadler <lukas.stadler@jku.at> parents: 5425 diff changeset	51 import com.oracle.graal.nodes.type.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	52 import com.oracle.graal.nodes.virtual.*;
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	53 import com.oracle.max.asm.*;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	54 import com.oracle.max.cri.ci.*;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	55 import com.oracle.max.cri.ci.CiTargetMethod.Mark;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	56 import com.oracle.max.cri.ri.*;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	57 import com.oracle.max.cri.xir.CiXirAssembler.XirConstant;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	58 import com.oracle.max.cri.xir.CiXirAssembler.XirInstruction;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	59 import com.oracle.max.cri.xir.CiXirAssembler.XirMark;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	60 import com.oracle.max.cri.xir.CiXirAssembler.XirOperand;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	61 import com.oracle.max.cri.xir.CiXirAssembler.XirParameter;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	62 import com.oracle.max.cri.xir.CiXirAssembler.XirRegister;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	63 import com.oracle.max.cri.xir.CiXirAssembler.XirTemp;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	64 import com.oracle.max.cri.xir.*;
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	65 import com.oracle.max.criutils.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	66
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	67 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	68 * 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	69 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	70 public abstract class LIRGenerator extends LIRGeneratorTool {
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	71 protected final Graph graph;
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	72 protected final RiRuntime runtime;
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	73 protected final CiTarget target;
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	74 protected final RiResolvedMethod method;
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	75 protected final FrameMap frameMap;
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	76 public final NodeMap<RiValue> 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	77
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	78 protected final LIR lir;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	79 protected final XirSupport xirSupport;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	80 protected final RiXirGenerator xir;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	81 private final DebugInfoBuilder debugInfoBuilder;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	82
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	83 private Block currentBlock;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	84 private ValueNode currentInstruction;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	85 private ValueNode lastInstructionPrinted; // Debugging only
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	86 private FrameState lastState;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	87
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	88 /**
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	89 * Class used to reconstruct the nesting of locks that is required for debug information.
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	90 */
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 public static class LockScope {
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	92 /**
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	93 * Linked list of locks. {@link LIRGenerator#curLocks} is the head of the list.
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	94 */
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	95 public final LockScope outer;
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	96
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	97 /**
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	98 * The frame state of the caller of the method performing the lock, or null if the outermost method
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	99 * performs the lock. This information is used to compute the {@link CiFrame} that this lock belongs to.
4661 9ae5048b9153 Call uncommon_trap instead of fetch_unroll_info to correctly revoke biased locks on deopt. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4659 diff changeset	100 * We cannot use the actual frame state of the locking method, because it is not unique for a method. The
4659 bb90e461a139 Cosmetic changes to lock elimination. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4636 diff changeset	101 * caller frame states are unique, i.e., all frame states of inlined methods refer to the same caller frame state.
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	102 */
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	103 public final FrameState callerState;
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	104
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	105 /**
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	106 * The number of locks already found for this frame state.
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	107 */
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	108 public final int stateDepth;
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	109
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	110 /**
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	111 * The monitor enter node, with information about the object that is locked and the elimination status.
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	112 */
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	113 public final MonitorEnterNode monitor;
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	114
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	115 /**
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	116 * Space in the stack frame needed by the VM to perform the locking.
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	117 */
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	118 public final CiStackSlot lockData;
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	119
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	120 public LockScope(LockScope outer, FrameState callerState, MonitorEnterNode monitor, CiStackSlot lockData) {
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	121 this.outer = outer;
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	122 this.callerState = callerState;
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	123 this.monitor = monitor;
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	124 this.lockData = lockData;
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	125 if (outer != null && outer.callerState == callerState) {
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	126 this.stateDepth = outer.stateDepth + 1;
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	127 } 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	128 this.stateDepth = 0;
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	129 }
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	130 }
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	131 }
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	132
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	133 /**
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	134 * Mapping from blocks to the lock state at the end of the block, indexed by the id number of the block.
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	135 */
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	136 private BlockMap<LockScope> blockLocks;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	137
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	138 private 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	139
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	140 /**
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	141 * The list of currently locked monitors.
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	142 */
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	143 private LockScope curLocks;
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	144
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	145
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	146 public LIRGenerator(Graph graph, RiRuntime runtime, CiTarget target, FrameMap frameMap, RiResolvedMethod method, LIR lir, RiXirGenerator xir, CiAssumptions assumptions) {
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	147 this.graph = graph;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	148 this.runtime = runtime;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	149 this.target = target;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	150 this.frameMap = frameMap;
4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	151 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	152 this.nodeOperands = graph.createNodeMap();
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	153 this.lir = lir;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	154 this.xir = xir;
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	155 this.xirSupport = new XirSupport(assumptions);
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	156 this.debugInfoBuilder = new DebugInfoBuilder(nodeOperands);
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	157 this.blockLocks = new BlockMap<>(lir.cfg);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	158 this.blockLastState = new BlockMap<>(lir.cfg);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	159 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	160
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	161 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	162 public CiTarget 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	163 return target;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	164 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	165
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	166 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	167 * Returns the operand that has been previously initialized by {@link #setResult()}
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	168 * with the result of an instruction.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	169 * @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	170 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	171 @Override
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	172 public RiValue 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	173 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	174 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	175 }
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	176 return nodeOperands.get(node);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	177 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	178
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	179 public ValueNode valueForOperand(RiValue value) {
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	180 for (Entry<Node, RiValue> 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	181 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	182 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	183 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	184 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	185 return null;
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	186 }
b968b71e22a4 Allow tracking nodes responsible for a non-empty liveIn in LinearScan Gilles Duboscq <duboscq@ssw.jku.at> parents: 5167 diff changeset	187
3733 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 * Creates a new {@linkplain Variable variable}.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	190 * @param kind The kind of the new variable.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	191 * @return a new variable
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	192 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	193 @Override
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	194 public Variable newVariable(RiKind kind) {
438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	195 RiKind stackKind = kind.stackKind();
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	196 switch (stackKind) {
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	197 case Jsr:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	198 case Int:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	199 case Long:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	200 case Object:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	201 return new Variable(stackKind, lir.nextVariable(), CiRegister.RegisterFlag.CPU);
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	202 case Float:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	203 case Double:
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	204 return new Variable(stackKind, lir.nextVariable(), CiRegister.RegisterFlag.FPU);
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	205 default:
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	206 throw GraalInternalError.shouldNotReachHere();
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	207 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	208 }
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 @Override
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	211 public RiValue setResult(ValueNode x, RiValue operand) {
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	212 assert (isVariable(operand) && x.kind() == operand.kind) \|\| (isConstant(operand) && x.kind() == operand.kind.stackKind()) : operand.kind + " for node " + x;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	213
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	214 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	215 assert operand != null && isLegal(operand) : "operand must be legal";
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	216 assert operand.kind.stackKind() == x.kind();
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	217 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	218 nodeOperands.set(x, operand);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	219 return operand;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	220 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	221
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	222 @Override
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	223 public abstract Variable emitMove(RiValue input);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	224
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	225 public Variable load(RiValue 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	226 if (!isVariable(value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	227 return emitMove(value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	228 }
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	229 return (Variable) value;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	230 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	231
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	232 public RiValue loadNonConst(RiValue value) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	233 if (isConstant(value) && !canInlineConstant((RiConstant) value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 return emitMove(value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	236 return value;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	237 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	238
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	239 public RiValue loadForStore(RiValue value, RiKind storeKind) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	240 if (isConstant(value) && canStoreConstant((RiConstant) value)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	241 return value;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	242 }
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	243 if (storeKind == RiKind.Byte \|\| storeKind == RiKind.Boolean) {
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	244 Variable tempVar = new Variable(value.kind, lir.nextVariable(), CiRegister.RegisterFlag.Byte);
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	245 emitMove(value, tempVar);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	246 return tempVar;
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 return load(value);
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
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 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	252 Block result = lir.cfg.blockFor(b);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	253 int suxIndex = currentBlock.getSuccessors().indexOf(result);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	254 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	255
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	256 return LabelRef.forSuccessor(currentBlock, suxIndex);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	257 }
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 public LIRDebugInfo state() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	260 assert lastState != null : "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	261 return stateFor(lastState, -1);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	262 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	263
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	264 public LIRDebugInfo state(long 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	265 assert lastState != null : "must have state before instruction";
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	266 return stateFor(lastState, leafGraphId);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	267 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	268
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	269 public LIRDebugInfo stateFor(FrameState state, long 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	270 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	271 }
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	272
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	273 public LIRDebugInfo stateFor(FrameState state, List<CiStackSlot> pointerSlots, LabelRef exceptionEdge, long 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	274 return debugInfoBuilder.build(state, curLocks, pointerSlots, exceptionEdge, leafGraphId);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	275 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	276
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	277 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	278 * 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	279 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	280 * @param kind the kind of value being returned
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	281 * @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	282 */
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	283 public RiValue resultOperandFor(RiKind kind) {
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	284 if (kind == RiKind.Void) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	285 return IllegalValue;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	286 }
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	287 return frameMap.registerConfig.getReturnRegister(kind).asValue(kind);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	288 }
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
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	291 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	292 assert LIRVerifier.verify(op);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	293 if (GraalOptions.PrintIRWithLIR && !TTY.isSuppressed()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	294 if (currentInstruction != null && lastInstructionPrinted != currentInstruction) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	295 lastInstructionPrinted = currentInstruction;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	296 InstructionPrinter ip = new InstructionPrinter(TTY.out());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	297 ip.printInstructionListing(currentInstruction);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	298 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	299 TTY.println(op.toStringWithIdPrefix());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	300 TTY.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	301 }
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	302 currentBlock.lir.add(op);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	303 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	304
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	305 public void doBlock(Block block) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	306 if (GraalOptions.PrintIRWithLIR) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	307 TTY.print(block.toString());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	308 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	309
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	310 currentBlock = block;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	311 // set up the list of LIR instructions
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	312 assert block.lir == null : "LIR list already computed for this block";
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	313 block.lir = new ArrayList<>();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	314
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	315 if (GraalOptions.AllocSSA && block.getBeginNode() instanceof MergeNode) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	316 assert phiValues.isEmpty();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	317 MergeNode merge = (MergeNode) block.getBeginNode();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	318 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	319 if (phi.type() == PhiType.Value) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	320 RiValue phiValue = newVariable(phi.kind());
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	321 setResult(phi, phiValue);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	322 phiValues.add(phiValue);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	323 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	324 }
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	325 append(new PhiLabelOp(new Label(), block.align, phiValues.toArray(new RiValue[phiValues.size()])));
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	326 phiValues.clear();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	327 } else {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	328 append(new LabelOp(new Label(), block.align));
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	329 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	330
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	331 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	332 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	333 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	334
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	335 curLocks = null;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	336 for (Block pred : block.getPredecessors()) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	337 LockScope predLocks = blockLocks.get(pred);
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	338 if (curLocks == null) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	339 curLocks = predLocks;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	340 } else if (curLocks != predLocks && (!pred.isLoopEnd() \|\| predLocks != null)) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	341 throw new CiBailout("unbalanced monitors: predecessor blocks have different monitor states");
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	342 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	343 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	344
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	345 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	346 assert block.getPredecessors().size() == 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	347 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	348
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	349 } 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	350 assert block.getPredecessors().size() > 0;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 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	352
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	353 for (Block pred : block.getPredecessors()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	354 if (fs == null) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	355 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	356 } else {
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	357 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	358 // 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	359 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	360
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	361 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	362 // 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	363 // 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	364 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	365 }
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	366 } 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	367 fs = null;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	368 break;
fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	369 }
3733 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 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	372 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	373 if (fs == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	374 TTY.println("STATE RESET");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	375 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	376 TTY.println("STATE CHANGE (singlePred)");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	377 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	378 TTY.println(fs.toString(Node.Verbosity.Debugger));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	379 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	380 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	381 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	382 lastState = fs;
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
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	385 List<Node> nodes = lir.nodesFor(block);
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	386 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	387 Node instr = nodes.get(i);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	388
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	389 if (GraalOptions.OptImplicitNullChecks) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	390 Node nextInstr = null;
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	391 if (i < nodes.size() - 1) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	392 nextInstr = nodes.get(i + 1);
3733 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
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	395 if (instr instanceof GuardNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	396 GuardNode guardNode = (GuardNode) instr;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	397 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	398 IsNullNode isNullNode = (IsNullNode) guardNode.condition();
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	399 if (nextInstr instanceof Access) {
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4268 diff changeset	400 Access access = (Access) nextInstr;
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	401 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	402 //TTY.println("implicit null check");
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4268 diff changeset	403 access.setNullCheck(true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	404 continue;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	405 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	406 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	407 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	408 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	409 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	410 if (GraalOptions.TraceLIRGeneratorLevel >= 3) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	411 TTY.println("LIRGen for " + instr);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	412 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	413 FrameState stateAfter = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	414 if (instr instanceof StateSplit) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	415 stateAfter = ((StateSplit) instr).stateAfter();
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 if (instr instanceof ValueNode) {
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	418 try {
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	419 doRoot((ValueNode) instr);
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	420 } catch (GraalInternalError e) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	421 throw e.addContext(instr);
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	422 } catch (Throwable e) {
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	423 throw new GraalInternalError(e).addContext(instr);
a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	424 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	425 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	426 if (stateAfter != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	427 lastState = stateAfter;
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	428 assert checkStateReady(lastState);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	429 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	430 TTY.println("STATE CHANGE");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	431 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	432 TTY.println(stateAfter.toString(Node.Verbosity.Debugger));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	433 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	434 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	435 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	436 }
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	437 if (block.numberOfSux() >= 1 && !endsWithJump(block)) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	438 NodeSuccessorsIterable successors = block.getEndNode().successors();
4619 a09b44a28e7f clenup unused floating nodes on killCFG Gilles Duboscq <duboscq@ssw.jku.at> parents: 4614 diff changeset	439 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	440
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	441 emitJump(getLIRBlock((FixedNode) successors.first()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	442 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	443
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	444 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	445 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	446 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	447
5462 fc58f934f9a1 allow a framestate to flow though a framestate-less loop Doug Simon <doug.simon@oracle.com> parents: 5460 diff changeset	448 // 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	449 // 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	450 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	451
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	452 blockLocks.put(currentBlock, curLocks);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	453 blockLastState.put(block, lastState);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	454 currentBlock = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	455
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	456 if (GraalOptions.PrintIRWithLIR) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	457 TTY.println();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	458 }
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
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	461 private boolean checkStateReady(FrameState state) {
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	462 FrameState fs = state;
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	463 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	464 for (ValueNode v : fs.values()) {
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	465 if (v != null && !(v instanceof VirtualObjectNode)) {
d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	466 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	467 }
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	468 }
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	469 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	470 }
4628 d882b9baea6e check all framestates in LIRGen assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 4625 diff changeset	471 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	472 }
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	473
4435 57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	474 private static boolean endsWithJump(Block block) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	475 if (block.lir.size() == 0) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	476 return false;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	477 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	478 LIRInstruction lirInstruction = block.lir.get(block.lir.size() - 1);
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	479 if (lirInstruction instanceof LIRXirInstruction) {
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	480 LIRXirInstruction lirXirInstruction = (LIRXirInstruction) lirInstruction;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	481 return (lirXirInstruction.falseSuccessor != null) && (lirXirInstruction.trueSuccessor != null);
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	482 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	483 return lirInstruction instanceof StandardOp.JumpOp;
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	484 }
57cb8ec5f6bb Restructure block and control flow graph data structures Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4432 diff changeset	485
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	486 private void doRoot(ValueNode instr) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	487 if (GraalOptions.TraceLIRGeneratorLevel >= 2) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	488 TTY.println("Emitting LIR for instruction " + instr);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	489 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	490 currentInstruction = instr;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	491
4404 aa4347c72887 Remove TraceLIRVisit Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4387 diff changeset	492 Debug.log("Visiting %s", instr);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	493 emitNode(instr);
4404 aa4347c72887 Remove TraceLIRVisit Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4387 diff changeset	494 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	495 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	496
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	497 protected void emitNode(ValueNode node) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	498 ((LIRLowerable) node).generate(this);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	499 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	500
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	501 private static boolean canBeNullCheck(LocationNode location) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	502 // TODO: Make this part of CiTarget
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	503 return !(location instanceof IndexedLocationNode) && location.displacement() < 4096;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	504 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	505
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	506 protected void emitPrologue() {
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	507 CiCallingConvention incomingArguments = frameMap.registerConfig.getCallingConvention(JavaCallee, CiUtil.signatureToKinds(method), target, false);
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	508
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	509 RiValue[] params = new RiValue[incomingArguments.locations.length];
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	510 for (int i = 0; i < params.length; i++) {
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	511 params[i] = toStackKind(incomingArguments.locations[i]);
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	512 if (CiValueUtil.isStackSlot(params[i])) {
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	513 CiStackSlot slot = CiValueUtil.asStackSlot(params[i]);
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	514 if (slot.inCallerFrame() && !lir.hasArgInCallerFrame()) {
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	515 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	516 }
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	517 }
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	518 }
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	519
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	520 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	521
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	522 for (LocalNode local : graph.getNodes(LocalNode.class)) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	523 RiValue param = params[local.index()];
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	524 assert param.kind == local.kind().stackKind();
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	525 setResult(local, emitMove(param));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	526 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	527 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	528
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	529 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	530 public void visitCheckCast(CheckCastNode x) {
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	531 XirSnippet snippet = xir.genCheckCast(site(x, x.object()), toXirArgument(x.object()), toXirArgument(x.targetClassInstruction()), x.targetClass(), x.profile());
5339 e8f80481326d use PiNodes instead of CheckCastNodes to pin inlining receivers, remove emitCode flag Lukas Stadler <lukas.stadler@jku.at> parents: 5322 diff changeset	532 emitXir(snippet, x, state(), true);
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	533 // The result of a checkcast is the unmodified object, so no need to allocate a new variable for it.
f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	534 setResult(x, operand(x.object()));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	535 }
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 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	538 public void visitMonitorEnter(MonitorEnterNode 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	539 CiStackSlot lockData = frameMap.allocateStackBlock(runtime.sizeOfLockData(), false);
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	540 if (x.eliminated()) {
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	541 // No code is emitted for eliminated locks, but for proper debug information generation we need to
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	542 // register the monitor and its lock data.
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	543 curLocks = new LockScope(curLocks, x.stateAfter().outerFrameState(), x, lockData);
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	544 return;
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	545 }
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	546
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	547 XirArgument obj = toXirArgument(x.object());
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	548 XirArgument lockAddress = lockData == null ? null : toXirArgument(emitLea(lockData));
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	549
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	550 LIRDebugInfo stateBefore = state();
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	551 // The state before the monitor enter is used for null checks, so it must not contain the newly locked object.
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	552 curLocks = new LockScope(curLocks, x.stateAfter().outerFrameState(), x, lockData);
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	553 // The state after the monitor enter is used for deoptimization, after the monitor has blocked, so it must contain the newly locked object.
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	554 LIRDebugInfo stateAfter = stateFor(x.stateAfter(), -1);
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	555
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	556 XirSnippet snippet = xir.genMonitorEnter(site(x, x.object()), obj, lockAddress);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	557 emitXir(snippet, x, stateBefore, stateAfter, true, null, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	558 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	559
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	560 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	561 public void visitMonitorExit(MonitorExitNode x) {
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	562 if (curLocks == null \|\| curLocks.monitor.object() != x.object() \|\| curLocks.monitor.eliminated() != x.eliminated()) {
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	563 throw new CiBailout("unbalanced monitors: attempting to unlock an object that is not on top of the locking stack");
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	564 }
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	565 if (x.eliminated()) {
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	566 curLocks = curLocks.outer;
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	567 return;
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	568 }
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	569
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	570 CiStackSlot lockData = curLocks.lockData;
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	571 XirArgument obj = toXirArgument(x.object());
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	572 XirArgument lockAddress = lockData == null ? null : toXirArgument(emitLea(lockData));
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	573
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	574 LIRDebugInfo stateBefore = state();
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	575 curLocks = curLocks.outer;
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	576
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	577 XirSnippet snippet = xir.genMonitorExit(site(x, x.object()), obj, lockAddress);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	578 emitXir(snippet, x, stateBefore, true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	579 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	580
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	581 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	582 public void visitNewInstance(NewInstanceNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	583 XirSnippet snippet = xir.genNewInstance(site(x), x.instanceClass());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	584 emitXir(snippet, x, state(), true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	585 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	586
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	587 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	588 public void visitNewTypeArray(NewTypeArrayNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	589 XirArgument length = toXirArgument(x.length());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	590 XirSnippet snippet = xir.genNewArray(site(x), length, x.elementType().kind(true), null, null);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	591 emitXir(snippet, x, state(), true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	592 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	593
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	594 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	595 public void visitNewObjectArray(NewObjectArrayNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	596 XirArgument length = toXirArgument(x.length());
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	597 XirSnippet snippet = xir.genNewArray(site(x), length, RiKind.Object, x.elementType(), x.elementType().arrayOf());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	598 emitXir(snippet, x, state(), true);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	599 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	600
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	601 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	602 public void visitNewMultiArray(NewMultiArrayNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	603 XirArgument[] dims = new XirArgument[x.dimensionCount()];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	604 for (int i = 0; i < dims.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	605 dims[i] = toXirArgument(x.dimension(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	606 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	607 XirSnippet snippet = xir.genNewMultiArray(site(x), dims, x.type());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	608 emitXir(snippet, x, state(), true);
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 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	612 public void visitReturn(ReturnNode x) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	613 RiValue operand = RiValue.IllegalValue;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	614 if (!x.kind().isVoid()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	615 operand = resultOperandFor(x.kind());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	616 emitMove(operand(x.result()), operand);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	617 }
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	618 emitReturn(operand);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	619 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	620
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	621 protected abstract void emitReturn(RiValue input);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	622
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	623 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	624 public void visitMerge(MergeNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	625 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	626
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	627 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	628 public void visitEndNode(EndNode end) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	629 moveToPhi(end.merge(), end);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	630 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	631
5236 f9aae727d035 removed XIR safepoint operation Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	632 /**
f9aae727d035 removed XIR safepoint operation Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	633 * 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	634 */
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	635 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	636 public void visitLoopEnd(LoopEndNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	637 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	638
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	639 private ArrayList<RiValue> phiValues = new ArrayList<>();
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	640
4614 a3882fd1ae61 Make it possible to have multiple LoopEnds per LoopBegin Gilles Duboscq <duboscq@ssw.jku.at> parents: 4550 diff changeset	641 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	642 if (GraalOptions.AllocSSA) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	643 assert phiValues.isEmpty();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	644 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	645 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	646 phiValues.add(operand(phi.valueAt(pred)));
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	647 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	648 }
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	649 append(new PhiJumpOp(getLIRBlock(merge), phiValues.toArray(new RiValue[phiValues.size()])));
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	650 phiValues.clear();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	651 return;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	652 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	653
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	654 if (GraalOptions.TraceLIRGeneratorLevel >= 1) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	655 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	656 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	657 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	658 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	659 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	660 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	661 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	662 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	663 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	664 resolver.dispose();
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	665
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	666 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	667 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	668
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	669 private RiValue operandForPhi(PhiNode phi) {
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	670 assert phi.type() == PhiType.Value : "wrong phi type: " + phi;
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	671 RiValue result = operand(phi);
4522 cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	672 if (result == null) {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	673 // 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	674 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	675 setResult(phi, newOperand);
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	676 return newOperand;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	677 } else {
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	678 return result;
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	679 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	680 }
cf13124efdd9 Restructure phi functions in LIR; Re-enabled C1Visualizer output Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4469 diff changeset	681
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	682 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	683 public void emitIf(IfNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	684 assert x.defaultSuccessor() == x.falseSuccessor() : "wrong destination";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	685 emitBranch(x.compare(), getLIRBlock(x.trueSuccessor()), getLIRBlock(x.falseSuccessor()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	686 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	687
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	688 @Override
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	689 public void emitGuardCheck(BooleanNode comp, RiDeoptReason deoptReason, CiDeoptAction action, boolean negated, long leafGraphId) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	690 if (comp instanceof IsNullNode && negated) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	691 emitNullCheckGuard(((IsNullNode) comp).object(), leafGraphId);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	692 } 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	693 // 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	694 // False constants are handled within emitBranch.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	695 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	696 // Fall back to a normal branch.
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	697 LIRDebugInfo info = state(leafGraphId);
5160 6e385457d6fc Add a RiDeoptAction to Guards and FixedGuards Gilles Duboscq <duboscq@ssw.jku.at> parents: 5130 diff changeset	698 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	699 if (negated) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	700 emitBranch(comp, stubEntry, null, info);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	701 } else {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	702 emitBranch(comp, null, stubEntry, info);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	703 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	704 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	705 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	706
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	707 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	708
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	709 public void emitBranch(BooleanNode node, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRDebugInfo info) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	710 if (node instanceof IsNullNode) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	711 emitNullCheckBranch((IsNullNode) node, trueSuccessor, falseSuccessor, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	712 } else if (node instanceof CompareNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	713 emitCompareBranch((CompareNode) node, trueSuccessor, falseSuccessor, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	714 } else if (node instanceof InstanceOfNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	715 emitInstanceOfBranch((InstanceOfNode) node, trueSuccessor, falseSuccessor, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	716 } else if (node instanceof ConstantNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	717 emitConstantBranch(((ConstantNode) node).asConstant().asBoolean(), trueSuccessor, falseSuccessor, info);
4452 b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	718 } else if (node instanceof IsTypeNode) {
b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	719 emitTypeBranch((IsTypeNode) node, trueSuccessor, falseSuccessor, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	720 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	721 throw GraalInternalError.unimplemented(node.toString());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	722 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	723 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	724
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	725 private void emitNullCheckBranch(IsNullNode node, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRDebugInfo 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	726 if (falseSuccessor != null) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	727 emitBranch(operand(node.object()), RiConstant.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	728 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	729 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	730 }
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	731 } else {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	732 emitBranch(operand(node.object()), RiConstant.NULL_OBJECT, Condition.EQ, false, trueSuccessor, info);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	733 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	734 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	735
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	736 public void emitCompareBranch(CompareNode compare, LabelRef trueSuccessorBlock, LabelRef falseSuccessorBlock, LIRDebugInfo 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	737 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	738 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	739 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	740 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	741 }
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	742 } 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	743 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	744 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	745 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	746
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	747 private void emitInstanceOfBranch(InstanceOfNode x, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRDebugInfo info) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	748 XirArgument obj = toXirArgument(x.object());
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	749 XirSnippet snippet = xir.genInstanceOf(site(x, x.object()), obj, toXirArgument(x.targetClassInstruction()), x.targetClass(), x.profile());
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	750 emitXir(snippet, x, info, null, false, trueSuccessor, falseSuccessor);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	751 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	752
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	753 public void emitConstantBranch(boolean value, LabelRef trueSuccessorBlock, LabelRef falseSuccessorBlock, LIRDebugInfo info) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	754 LabelRef block = value ? trueSuccessorBlock : falseSuccessorBlock;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	755 if (block != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	756 emitJump(block, info);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	757 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	758 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	759
4452 b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	760 public void emitTypeBranch(IsTypeNode x, LabelRef trueSuccessor, LabelRef falseSuccessor, LIRDebugInfo info) {
b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	761 XirArgument thisClass = toXirArgument(x.objectClass());
b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	762 XirArgument otherClass = toXirArgument(x.type().getEncoding(Representation.ObjectHub));
b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	763 XirSnippet snippet = xir.genTypeBranch(site(x), thisClass, otherClass, x.type());
4462 428a91f18858 fixes after merge Christian Haeubl <christian.haeubl@oracle.com> parents: 4461 diff changeset	764 emitXir(snippet, x, info, null, false, trueSuccessor, falseSuccessor);
4463 6616513a42de bugfixes Christian Haeubl <christian.haeubl@oracle.com> parents: 4462 diff changeset	765 if (trueSuccessor != null) {
6616513a42de bugfixes Christian Haeubl <christian.haeubl@oracle.com> parents: 4462 diff changeset	766 emitJump(trueSuccessor, null);
6616513a42de bugfixes Christian Haeubl <christian.haeubl@oracle.com> parents: 4462 diff changeset	767 }
4452 b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	768 }
b225da954a32 inlining of multiple trival methods at one call site works Christian Haeubl <christian.haeubl@oracle.com> parents: 4448 diff changeset	769
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	770 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	771 public void emitConditional(ConditionalNode conditional) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	772 RiValue tVal = operand(conditional.trueValue());
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	773 RiValue fVal = operand(conditional.falseValue());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	774 setResult(conditional, emitConditional(conditional.condition(), tVal, fVal));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	775 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	776
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	777 public Variable emitConditional(BooleanNode node, RiValue trueValue, RiValue falseValue) {
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	778 if (node instanceof IsNullNode) {
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	779 return emitNullCheckConditional((IsNullNode) node, trueValue, falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	780 } else if (node instanceof CompareNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	781 return emitCompareConditional((CompareNode) node, trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	782 } else if (node instanceof InstanceOfNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	783 return emitInstanceOfConditional((InstanceOfNode) node, trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	784 } else if (node instanceof ConstantNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	785 return emitConstantConditional(((ConstantNode) node).asConstant().asBoolean(), trueValue, falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	786 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	787 throw GraalInternalError.unimplemented(node.toString());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	788 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	789 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	790
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	791 private Variable emitNullCheckConditional(IsNullNode node, RiValue trueValue, RiValue falseValue) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	792 return emitCMove(operand(node.object()), RiConstant.NULL_OBJECT, Condition.EQ, false, trueValue, falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	793 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	794
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	795 private Variable emitInstanceOfConditional(InstanceOfNode x, RiValue trueValue, RiValue falseValue) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	796 XirArgument obj = toXirArgument(x.object());
5425 0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	797 XirArgument trueArg = toXirArgument(trueValue);
0364a2a874b8 changes towards a canonical representation of comparisons: Lukas Stadler <lukas.stadler@jku.at> parents: 5374 diff changeset	798 XirArgument falseArg = toXirArgument(falseValue);
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	799 XirSnippet snippet = xir.genMaterializeInstanceOf(site(x, x.object()), obj, toXirArgument(x.targetClassInstruction()), trueArg, falseArg, x.targetClass(), x.profile());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	800 return (Variable) emitXir(snippet, null, null, false);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	801 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	802
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	803 private Variable emitConstantConditional(boolean value, RiValue trueValue, RiValue falseValue) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	804 return emitMove(value ? trueValue : falseValue);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	805 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	806
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	807 private Variable emitCompareConditional(CompareNode compare, RiValue trueValue, RiValue falseValue) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	808 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	809 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	810
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	811
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	812 public abstract void emitLabel(Label label, boolean align);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	813 public abstract void emitJump(LabelRef label, LIRDebugInfo info);
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	814 public abstract void emitBranch(RiValue left, RiValue right, Condition cond, boolean unorderedIsTrue, LabelRef label, LIRDebugInfo info);
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	815 public abstract Variable emitCMove(RiValue leftVal, RiValue right, Condition cond, boolean unorderedIsTrue, RiValue trueValue, RiValue falseValue);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	816
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	817 protected FrameState stateBeforeCallWithArguments(FrameState stateAfter, MethodCallTargetNode call, int bci) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	818 return stateAfter.duplicateModified(bci, stateAfter.rethrowException(), call.returnKind(), toJVMArgumentStack(call.targetMethod().signature(), call.isStatic(), call.arguments()));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	819 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	820
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	821 private static ValueNode[] toJVMArgumentStack(RiSignature signature, boolean isStatic, NodeInputList<ValueNode> arguments) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	822 int slotCount = signature.argumentSlots(!isStatic);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	823 ValueNode[] stack = new ValueNode[slotCount];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	824 int stackIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	825 int argumentIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	826 for (ValueNode arg : arguments) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	827 stack[stackIndex] = arg;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	828
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	829 if (stackIndex == 0 && !isStatic) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	830 // Current argument is receiver.
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	831 stackIndex += stackSlots(RiKind.Object);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	832 } else {
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	833 stackIndex += stackSlots(signature.argumentKindAt(argumentIndex, false));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	834 argumentIndex++;
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 return stack;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	838 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	839
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	840
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	841 public static int stackSlots(RiKind kind) {
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	842 return isTwoSlot(kind) ? 2 : 1;
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	843 }
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	844
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	845 public static boolean isTwoSlot(RiKind kind) {
438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	846 assert kind != RiKind.Void && kind != RiKind.Illegal;
438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	847 return kind == RiKind.Long \|\| kind == RiKind.Double;
4205 2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	848 }
2af849af1723 moved graphbuilder into the graal.java project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4200 diff changeset	849
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	850 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	851 public void emitInvoke(Invoke x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	852 MethodCallTargetNode callTarget = x.callTarget();
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	853 RiMethod targetMethod = callTarget.targetMethod();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	854
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	855 XirSnippet snippet = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	856 XirArgument receiver;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	857 switch (callTarget.invokeKind()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	858 case Static:
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	859 snippet = xir.genInvokeStatic(site(x.node()), targetMethod);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	860 break;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	861 case Special:
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	862 receiver = toXirArgument(callTarget.receiver());
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	863 snippet = xir.genInvokeSpecial(site(x.node(), callTarget.receiver()), receiver, targetMethod);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	864 break;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	865 case Virtual:
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	866 assert callTarget.receiver().kind() == RiKind.Object : callTarget + ": " + callTarget.targetMethod().toString();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	867 receiver = toXirArgument(callTarget.receiver());
5374 6ed04fb6affd rename: megamorph -> megamorphic Doug Simon <doug.simon@oracle.com> parents: 5369 diff changeset	868 snippet = xir.genInvokeVirtual(site(x.node(), callTarget.receiver()), receiver, targetMethod, x.isMegamorphic());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	869 break;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	870 case Interface:
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	871 assert callTarget.receiver().kind() == RiKind.Object : callTarget;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	872 receiver = toXirArgument(callTarget.receiver());
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	873 snippet = xir.genInvokeInterface(site(x.node(), callTarget.receiver()), receiver, targetMethod);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	874 break;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	875 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	876
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	877 RiValue destinationAddress = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	878 if (!target().invokeSnippetAfterArguments) {
5056 2f2c6347fce4 comments cleanup/retagging Gilles Duboscq <duboscq@ssw.jku.at> parents: 5029 diff changeset	879 // This is the version currently necessary for Maxine: since the invokeinterface-snippet uses a division, it
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	880 // destroys rdx, which is also used to pass a parameter. Therefore, the snippet must be before the parameters are assigned to their locations.
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	881 LIRDebugInfo addrInfo = stateFor(stateBeforeCallWithArguments(x.stateAfter(), callTarget, x.bci()), x.leafGraphId());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	882 destinationAddress = emitXir(snippet, x.node(), addrInfo, false);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	883 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	884
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	885 RiValue resultOperand = resultOperandFor(x.node().kind());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	886
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	887 RiKind[] signature = CiUtil.signatureToKinds(callTarget.targetMethod().signature(), callTarget.isStatic() ? null : callTarget.targetMethod().holder().kind(true));
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	888 CiCallingConvention cc = frameMap.registerConfig.getCallingConvention(JavaCall, signature, target(), false);
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	889 frameMap.callsMethod(cc, JavaCall);
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	890 List<RiValue> argList = visitInvokeArguments(cc, callTarget.arguments());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	891
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	892 if (target().invokeSnippetAfterArguments) {
5056 2f2c6347fce4 comments cleanup/retagging Gilles Duboscq <duboscq@ssw.jku.at> parents: 5029 diff changeset	893 // This is the version currently active for HotSpot.
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	894 LIRDebugInfo addrInfo = stateFor(stateBeforeCallWithArguments(x.stateAfter(), callTarget, x.bci()), null, null, x.leafGraphId());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	895 destinationAddress = emitXir(snippet, x.node(), addrInfo, false);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	896 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	897
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	898 LIRDebugInfo callInfo = stateFor(x.stateDuring(), null, x instanceof InvokeWithExceptionNode ? getLIRBlock(((InvokeWithExceptionNode) x).exceptionEdge()) : null, x.leafGraphId());
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	899 emitCall(targetMethod, resultOperand, argList, destinationAddress, callInfo, snippet.marks);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	900
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	901 if (isLegal(resultOperand)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	902 setResult(x.node(), emitMove(resultOperand));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	903 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	904 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	905
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	906 protected abstract void emitCall(Object targetMethod, RiValue result, List<RiValue> arguments, RiValue targetAddress, LIRDebugInfo info, Map<XirMark, Mark> marks);
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	907
df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	908
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	909 private static RiValue toStackKind(RiValue value) {
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	910 if (value.kind.stackKind() != value.kind) {
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	911 // 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	912 if (isRegister(value)) {
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	913 return asRegister(value).asValue(value.kind.stackKind());
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	914 } else if (isStackSlot(value)) {
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	915 return CiStackSlot.get(value.kind.stackKind(), asStackSlot(value).rawOffset(), asStackSlot(value).rawAddFrameSize());
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	916 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	917 throw GraalInternalError.shouldNotReachHere();
4173 15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	918 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	919 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	920 return value;
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	921 }
15b9402dc018 Canonicalize the incoming and outgoing parameters to stack-kinds Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4169 diff changeset	922
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	923 public List<RiValue> visitInvokeArguments(CiCallingConvention cc, Iterable<ValueNode> arguments) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	924 // for each argument, load it into the correct location
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	925 List<RiValue> argList = new ArrayList<>();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	926 int j = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	927 for (ValueNode arg : arguments) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	928 if (arg != null) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	929 RiValue operand = toStackKind(cc.locations[j++]);
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	930 emitMove(operand(arg), operand);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	931 argList.add(operand);
4169 f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	932
f5328dda9714 Initial commit of SSA-based spill-all register assignment Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	933 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	934 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	935 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	936 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	937 return argList;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	938 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	939
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	940
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	941 protected abstract LabelRef createDeoptStub(CiDeoptAction action, RiDeoptReason reason, LIRDebugInfo info, Object deoptInfo);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	942
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	943 @Override
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	944 public Variable emitCall(@SuppressWarnings("hiding") Object target, RiKind result, RiKind[] arguments, boolean canTrap, RiValue... args) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	945 LIRDebugInfo info = canTrap ? state() : null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	946
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	947 RiValue physReg = resultOperandFor(result);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	948
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	949 List<RiValue> argumentList;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	950 if (arguments.length > 0) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	951 // move the arguments into the correct location
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	952 CiCallingConvention cc = frameMap.registerConfig.getCallingConvention(RuntimeCall, arguments, target(), false);
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	953 frameMap.callsMethod(cc, RuntimeCall);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	954 assert cc.locations.length == args.length : "argument count mismatch";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	955 for (int i = 0; i < args.length; i++) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	956 RiValue arg = args[i];
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	957 RiValue loc = cc.locations[i];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	958 emitMove(arg, loc);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	959 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	960 argumentList = Arrays.asList(cc.locations);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	961 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	962 // no arguments
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	963 assert args == null \|\| args.length == 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	964 argumentList = Collections.emptyList();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	965 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	966
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	967 emitCall(target, physReg, argumentList, RiConstant.forLong(0), info, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	968
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	969 if (isLegal(physReg)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	970 return emitMove(physReg);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	971 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	972 return null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	973 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	974 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	975
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	976 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	977 public void emitRuntimeCall(RuntimeCallNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	978 // TODO Merge with emitCallToRuntime() method above.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	979
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	980 RiValue resultOperand = resultOperandFor(x.kind());
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	981 CiCallingConvention cc = frameMap.registerConfig.getCallingConvention(RuntimeCall, x.call().arguments, target(), false);
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	982 frameMap.callsMethod(cc, RuntimeCall);
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	983 List<RiValue> argList = visitInvokeArguments(cc, x.arguments());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	984
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	985 LIRDebugInfo info = null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	986 FrameState stateAfter = x.stateAfter();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	987 if (stateAfter != null) {
5056 2f2c6347fce4 comments cleanup/retagging Gilles Duboscq <duboscq@ssw.jku.at> parents: 5029 diff changeset	988 // (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	989 // 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	990 // 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	991 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	992 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	993 (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	994
b11561111585 Remove FrameStateAccess: Make FrameState immutable and move all modification logic into FrameStateBuilder Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 5003 diff changeset	995 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	996 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	997
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	998 // 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	999 info = stateFor(stateBeforeReturn, -1);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1000 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1001
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1002 emitCall(x.call(), resultOperand, argList, RiConstant.forLong(0), info, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1003
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	1004 if (isLegal(resultOperand)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1005 setResult(x, emitMove(resultOperand));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1006 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1007 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1008
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1009 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1010 public void emitLookupSwitch(LookupSwitchNode x) {
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1011 Variable tag = load(operand(x.value()));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1012 if (x.numberOfCases() == 0 \|\| x.numberOfCases() < GraalOptions.SequentialSwitchLimit) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1013 int len = x.numberOfCases();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1014 for (int i = 0; i < len; i++) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1015 emitBranch(tag, RiConstant.forInt(x.keyAt(i)), Condition.EQ, false, getLIRBlock(x.blockSuccessor(i)), null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1016 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1017 emitJump(getLIRBlock(x.defaultSuccessor()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1018 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1019 visitSwitchRanges(createSwitchRanges(x, null), tag, getLIRBlock(x.defaultSuccessor()));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1020 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1021 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1022
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1023 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1024 public void emitTableSwitch(TableSwitchNode x) {
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1025 Variable value = load(operand(x.value()));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1026 // TODO: tune the defaults for the controls used to determine what kind of translation to use
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1027 if (x.numberOfCases() == 0 \|\| x.numberOfCases() <= GraalOptions.SequentialSwitchLimit) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1028 int loKey = x.lowKey();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1029 int len = x.numberOfCases();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1030 for (int i = 0; i < len; i++) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1031 emitBranch(value, RiConstant.forInt(i + loKey), Condition.EQ, false, getLIRBlock(x.blockSuccessor(i)), null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1032 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1033 emitJump(getLIRBlock(x.defaultSuccessor()), null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1034 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1035 SwitchRange[] switchRanges = createSwitchRanges(null, x);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1036 int rangeDensity = x.numberOfCases() / switchRanges.length;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1037 if (rangeDensity >= GraalOptions.RangeTestsSwitchDensity) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1038 visitSwitchRanges(switchRanges, value, getLIRBlock(x.defaultSuccessor()));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1039 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1040 LabelRef[] targets = new LabelRef[x.numberOfCases()];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1041 for (int i = 0; i < x.numberOfCases(); ++i) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1042 targets[i] = getLIRBlock(x.blockSuccessor(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1043 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1044 emitTableSwitch(x.lowKey(), getLIRBlock(x.defaultSuccessor()), targets, value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1045 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1046 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1047 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1048
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1049 protected abstract void emitTableSwitch(int lowKey, LabelRef defaultTarget, LabelRef[] targets, RiValue index);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1050
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1051 // the range of values in a lookupswitch or tableswitch statement
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1052 private static final class SwitchRange {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1053 protected final int lowKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1054 protected int highKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1055 protected final LabelRef sux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1056
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1057 SwitchRange(int lowKey, LabelRef sux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1058 this.lowKey = lowKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1059 this.highKey = lowKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1060 this.sux = sux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1061 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1062 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1063
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1064 private SwitchRange[] createSwitchRanges(LookupSwitchNode ls, TableSwitchNode ts) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1065 // Only one of the parameters is used, but code is shared because it is mostly the same.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1066 SwitchNode x = ls != null ? ls : ts;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1067 // we expect the keys to be sorted by increasing value
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1068 List<SwitchRange> res = new ArrayList<>(x.numberOfCases());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1069 int len = x.numberOfCases();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1070 if (len > 0) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1071 LabelRef defaultSux = getLIRBlock(x.defaultSuccessor());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1072 int key = ls != null ? ls.keyAt(0) : ts.lowKey();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1073 LabelRef sux = getLIRBlock(x.blockSuccessor(0));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1074 SwitchRange range = new SwitchRange(key, sux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1075 for (int i = 1; i < len; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1076 int newKey = ls != null ? ls.keyAt(i) : key + 1;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1077 LabelRef newSux = getLIRBlock(x.blockSuccessor(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1078 if (key + 1 == newKey && sux == newSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1079 // still in same range
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1080 range.highKey = newKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1081 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1082 // skip tests which explicitly dispatch to the default
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1083 if (range.sux != defaultSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1084 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1085 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1086 range = new SwitchRange(newKey, newSux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1087 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1088 key = newKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1089 sux = newSux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1090 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1091 if (res.size() == 0 \|\| res.get(res.size() - 1) != range) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1092 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1093 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1094 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1095 return res.toArray(new SwitchRange[res.size()]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1096 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1097
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1098 private void visitSwitchRanges(SwitchRange[] x, Variable value, LabelRef defaultSux) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1099 for (int i = 0; i < x.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1100 SwitchRange oneRange = x[i];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1101 int lowKey = oneRange.lowKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1102 int highKey = oneRange.highKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1103 LabelRef dest = oneRange.sux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1104 if (lowKey == highKey) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1105 emitBranch(value, RiConstant.forInt(lowKey), Condition.EQ, false, dest, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1106 } else if (highKey - lowKey == 1) {
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1107 emitBranch(value, RiConstant.forInt(lowKey), Condition.EQ, false, dest, null);
d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1108 emitBranch(value, RiConstant.forInt(highKey), Condition.EQ, false, dest, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1109 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1110 Label l = new Label();
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1111 emitBranch(value, RiConstant.forInt(lowKey), Condition.LT, false, LabelRef.forLabel(l), null);
d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1112 emitBranch(value, RiConstant.forInt(highKey), Condition.LE, false, dest, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1113 emitLabel(l, false);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1114 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1115 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1116 emitJump(defaultSux, null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1117 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1118
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1119
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1120 protected XirArgument toXirArgument(RiValue v) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1121 if (v == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1122 return null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1123 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1124 return XirArgument.forInternalObject(v);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1125 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1126
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1127 protected XirArgument toXirArgument(ValueNode i) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1128 if (i == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1129 return null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1130 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1131 return XirArgument.forInternalObject(loadNonConst(operand(i)));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1132 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1133
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1134 private RiValue allocateOperand(XirSnippet snippet, XirOperand op) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1135 if (op instanceof XirParameter) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1136 XirParameter param = (XirParameter) op;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1137 return allocateOperand(snippet.arguments[param.parameterIndex], op, param.canBeConstant);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1138 } else if (op instanceof XirRegister) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1139 XirRegister reg = (XirRegister) op;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1140 return reg.register;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1141 } else if (op instanceof XirTemp) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1142 return newVariable(op.kind);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1143 } else {
4524 dcc8f5c6f394 Refactorings to prepare for LIR project splitting Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4522 diff changeset	1144 GraalInternalError.shouldNotReachHere();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1145 return null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1146 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1147 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1148
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1149 private RiValue allocateOperand(XirArgument arg, XirOperand var, boolean canBeConstant) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1150 if (arg.constant != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1151 return arg.constant;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1152 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1153
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1154 RiValue value = (RiValue) arg.object;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1155 if (canBeConstant) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1156 return value;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1157 }
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1158 Variable variable = load(value);
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	1159 if (var.kind == RiKind.Byte \|\| var.kind == RiKind.Boolean) {
4206 430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1160 Variable tempVar = new Variable(value.kind, lir.nextVariable(), CiRegister.RegisterFlag.Byte);
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1161 emitMove(variable, tempVar);
430b5db3e6f8 Remove CiVariable from the CRI Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4205 diff changeset	1162 variable = tempVar;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1163 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1164 return variable;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1165 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1166
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1167 protected RiValue emitXir(XirSnippet snippet, ValueNode x, LIRDebugInfo info, boolean setInstructionResult) {
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	1168 return emitXir(snippet, x, info, null, setInstructionResult, null, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1169 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1170
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1171 protected RiValue emitXir(XirSnippet snippet, ValueNode instruction, LIRDebugInfo info, LIRDebugInfo infoAfter, boolean setInstructionResult, LabelRef trueSuccessor, LabelRef falseSuccessor) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1172 if (GraalOptions.PrintXirTemplates) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1173 TTY.println("Emit XIR template " + snippet.template.name);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1174 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1175
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1176 final RiValue[] operandsArray = new RiValue[snippet.template.variableCount];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1177
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	1178 frameMap.reserveOutgoing(snippet.template.outgoingStackSize);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1179
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1180 XirOperand resultOperand = snippet.template.resultOperand;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1181
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1182 if (snippet.template.allocateResultOperand) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1183 RiValue outputOperand = IllegalValue;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1184 // This snippet has a result that must be separately allocated
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1185 // Otherwise it is assumed that the result is part of the inputs
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	1186 if (resultOperand.kind != RiKind.Void && resultOperand.kind != RiKind.Illegal) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1187 if (setInstructionResult) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1188 outputOperand = newVariable(instruction.kind());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1189 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1190 outputOperand = newVariable(resultOperand.kind);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1191 }
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1192 assert operandsArray[resultOperand.index] == null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1193 }
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1194 operandsArray[resultOperand.index] = outputOperand;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1195 if (GraalOptions.PrintXirTemplates) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1196 TTY.println("Output operand: " + outputOperand);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1197 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1198 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1199
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1200 for (XirTemp t : snippet.template.temps) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1201 if (t instanceof XirRegister) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1202 XirRegister reg = (XirRegister) t;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1203 if (!t.reserve) {
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1204 operandsArray[t.index] = reg.register;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1205 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1206 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1207 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1208
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1209 for (XirConstant c : snippet.template.constants) {
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1210 assert operandsArray[c.index] == null;
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1211 operandsArray[c.index] = c.value;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1212 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1213
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1214 XirOperand[] inputOperands = snippet.template.inputOperands;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1215 XirOperand[] inputTempOperands = snippet.template.inputTempOperands;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1216 XirOperand[] tempOperands = snippet.template.tempOperands;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1217
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1218 RiValue[] inputOperandArray = new RiValue[inputOperands.length + inputTempOperands.length];
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1219 RiValue[] tempOperandArray = new RiValue[tempOperands.length];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1220 int[] inputOperandIndicesArray = new int[inputOperands.length + inputTempOperands.length];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1221 int[] tempOperandIndicesArray = new int[tempOperands.length];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1222 for (int i = 0; i < inputOperands.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1223 XirOperand x = inputOperands[i];
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1224 RiValue op = allocateOperand(snippet, x);
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1225 operandsArray[x.index] = op;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1226 inputOperandArray[i] = op;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1227 inputOperandIndicesArray[i] = x.index;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1228 if (GraalOptions.PrintXirTemplates) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1229 TTY.println("Input operand: " + x);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1230 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1231 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1232
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1233 assert inputTempOperands.length == 0 : "cwi: I think this code is never used. If you see this exception being thrown, please tell me...";
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1234
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1235 for (int i = 0; i < tempOperands.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1236 XirOperand x = tempOperands[i];
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1237 RiValue op = allocateOperand(snippet, x);
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1238 operandsArray[x.index] = op;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1239 tempOperandArray[i] = op;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1240 tempOperandIndicesArray[i] = x.index;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1241 if (GraalOptions.PrintXirTemplates) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1242 TTY.println("Temp operand: " + x);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1243 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1244 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1245
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1246 for (RiValue operand : operandsArray) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1247 assert operand != null;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1248 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1249
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1250 RiValue allocatedResultOperand = operandsArray[resultOperand.index];
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	1251 if (!isVariable(allocatedResultOperand) && !isRegister(allocatedResultOperand)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1252 allocatedResultOperand = IllegalValue;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1253 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1254
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	1255 if (setInstructionResult && isLegal(allocatedResultOperand)) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1256 RiValue operand = operand(instruction);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1257 if (operand == null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1258 setResult(instruction, allocatedResultOperand);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1259 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1260 assert operand == allocatedResultOperand;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1261 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1262 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1263
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1264
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1265 XirInstruction[] slowPath = snippet.template.slowPath;
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	1266 if (!isConstant(operandsArray[resultOperand.index]) \|\| snippet.template.fastPath.length != 0 \|\| (slowPath != null && slowPath.length > 0)) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1267 // XIR instruction is only needed when the operand is not a constant!
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	1268 emitXir(snippet, operandsArray, allocatedResultOperand,
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1269 inputOperandArray, tempOperandArray, inputOperandIndicesArray, tempOperandIndicesArray,
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	1270 (allocatedResultOperand == IllegalValue) ? -1 : resultOperand.index,
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	1271 info, infoAfter, trueSuccessor, falseSuccessor);
4348 d49c90e641cb Remove GraalMetrics, replace with new syntax for metrics. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 4245 diff changeset	1272 Debug.metric("LIRXIRInstructions").increment();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1273 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1274
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1275 return operandsArray[resultOperand.index];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1276 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1277
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1278 protected abstract void emitXir(XirSnippet snippet, RiValue[] operands, RiValue outputOperand, RiValue[] inputs, RiValue[] temps, int[] inputOperandIndices, int[] tempOperandIndices, int outputOperandIndex,
4323 df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	1279 LIRDebugInfo info, LIRDebugInfo infoAfter, LabelRef trueSuccessor, LabelRef falseSuccessor);
df5547057954 Remove LIROpcode and use non-anonymous subclasses of LIRInstruction Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4309 diff changeset	1280
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1281 protected final RiValue callRuntime(CiRuntimeCall runtimeCall, LIRDebugInfo info, RiValue... args) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1282 // get a result register
5503 438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	1283 RiKind result = runtimeCall.resultKind;
438ab53efdd0 Renaming CiKind => RiKind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5501 diff changeset	1284 RiKind[] arguments = runtimeCall.arguments;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1285
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1286 RiValue physReg = result.isVoid() ? IllegalValue : resultOperandFor(result);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1287
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1288 List<RiValue> argumentList;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1289 if (arguments.length > 0) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1290 // move the arguments into the correct location
4265 4643ccd37dac * removed CiStatistics Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	1291 CiCallingConvention cc = frameMap.registerConfig.getCallingConvention(RuntimeCall, arguments, target(), false);
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	1292 frameMap.callsMethod(cc, RuntimeCall);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1293 assert cc.locations.length == args.length : "argument count mismatch";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1294 for (int i = 0; i < args.length; i++) {
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1295 RiValue arg = args[i];
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1296 RiValue loc = cc.locations[i];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1297 emitMove(arg, loc);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1298 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1299 argumentList = Arrays.asList(cc.locations);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1300 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1301 // no arguments
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1302 assert args == null \|\| args.length == 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1303 argumentList = Util.uncheckedCast(Collections.emptyList());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1304 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1305
5501 d89b20486d87 Renaming CiConstant => RiConstant. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5462 diff changeset	1306 emitCall(runtimeCall, physReg, argumentList, RiConstant.forLong(0), info, null);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1307
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1308 return physReg;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1309 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1310
5506 56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1311 protected final Variable callRuntimeWithResult(CiRuntimeCall runtimeCall, LIRDebugInfo info, RiValue... args) {
56860d3f9f39 More refactorings and renamings in preparation of ci/ri split. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5503 diff changeset	1312 RiValue location = callRuntime(runtimeCall, info, args);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1313 return emitMove(location);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1314 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1315
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1316 SwitchRange[] createLookupRanges(LookupSwitchNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1317 // we expect the keys to be sorted by increasing value
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1318 List<SwitchRange> res = new ArrayList<>(x.numberOfCases());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1319 int len = x.numberOfCases();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1320 if (len > 0) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1321 LabelRef defaultSux = getLIRBlock(x.defaultSuccessor());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1322 int key = x.keyAt(0);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1323 LabelRef sux = getLIRBlock(x.blockSuccessor(0));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1324 SwitchRange range = new SwitchRange(key, sux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1325 for (int i = 1; i < len; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1326 int newKey = x.keyAt(i);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1327 LabelRef newSux = getLIRBlock(x.blockSuccessor(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1328 if (key + 1 == newKey && sux == newSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1329 // still in same range
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1330 range.highKey = newKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1331 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1332 // skip tests which explicitly dispatch to the default
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1333 if (range.sux != defaultSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1334 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1335 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1336 range = new SwitchRange(newKey, newSux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1337 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1338 key = newKey;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1339 sux = newSux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1340 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1341 if (res.size() == 0 \|\| res.get(res.size() - 1) != range) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1342 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1343 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1344 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1345 return res.toArray(new SwitchRange[res.size()]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1346 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1347
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1348 SwitchRange[] createLookupRanges(TableSwitchNode x) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1349 // TODO: try to merge this with the code for LookupSwitch
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1350 List<SwitchRange> res = new ArrayList<>(x.numberOfCases());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1351 int len = x.numberOfCases();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1352 if (len > 0) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1353 LabelRef sux = getLIRBlock(x.blockSuccessor(0));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1354 int key = x.lowKey();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1355 LabelRef defaultSux = getLIRBlock(x.defaultSuccessor());
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1356 SwitchRange range = new SwitchRange(key, sux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1357 for (int i = 0; i < len; i++, key++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1358 LabelRef newSux = getLIRBlock(x.blockSuccessor(i));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1359 if (sux == newSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1360 // still in same range
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1361 range.highKey = key;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1362 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1363 // skip tests which explicitly dispatch to the default
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1364 if (sux != defaultSux) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1365 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1366 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1367 range = new SwitchRange(key, newSux);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1368 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1369 sux = newSux;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1370 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1371 if (res.size() == 0 \|\| res.get(res.size() - 1) != range) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1372 res.add(range);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1373 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1374 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1375 return res.toArray(new SwitchRange[res.size()]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1376 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1377
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1378 protected XirSupport site(ValueNode x) {
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1379 return xirSupport.site(x, null);
985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1380 }
985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1381
985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1382 protected XirSupport site(ValueNode x, ValueNode receiver) {
985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1383 return xirSupport.site(x, receiver);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1384 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1385
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1386 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1387 * Implements site-specific information for the XIR interface.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1388 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1389 static class XirSupport implements XirSite {
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1390 final CiAssumptions assumptions;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1391 ValueNode current;
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1392 ValueNode receiver;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1393
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1394
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1395 public XirSupport(CiAssumptions assumptions) {
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1396 this.assumptions = assumptions;
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1397 }
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1398
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1399 public boolean isNonNull(XirArgument argument) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1400 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1401 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1402
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1403 public boolean requiresNullCheck() {
5443 141817e206d4 changes to the dependencies and stamp system: Lukas Stadler <lukas.stadler@jku.at> parents: 5425 diff changeset	1404 return receiver == null \|\| !(receiver.stamp() instanceof ObjectStamp && ((ObjectStamp) receiver.stamp()).nonNull());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1405 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1406
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1407 public boolean requiresBoundsCheck() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1408 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1409 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1410
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1411 public boolean requiresReadBarrier() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1412 return current == null \|\| true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1413 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1414
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1415 public boolean requiresWriteBarrier() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1416 return current == null \|\| true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1417 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1418
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1419 public boolean requiresArrayStoreCheck() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1420 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1421 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1422
5369 2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1423 public CiAssumptions assumptions() {
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1424 return assumptions;
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1425 }
2e9a5365dfb0 moved conversion of type profiles into hints for type check instructions from front end to lowering phase Doug Simon <doug.simon@oracle.com> parents: 5339 diff changeset	1426
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1427 XirSupport site(ValueNode v, ValueNode r) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1428 current = v;
4998 985fbd8adf65 cleanup of XirSite: remove unused (and incorrectly implemented) type functions, add receiver to determine nonNull property Lukas Stadler <lukas.stadler@jku.at> parents: 4679 diff changeset	1429 receiver = r;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1430 return this;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1431 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1432
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1433 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1434 public String toString() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1435 return "XirSupport<" + current + ">";
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1436 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1437 }
4268 3e5c18a41c25 Add frameMap getter to LIRGenerator. Add compileMethod overload with input graph parameter. Andreas Woess <andreas.woess@jku.at> parents: 4265 diff changeset	1438
3e5c18a41c25 Add frameMap getter to LIRGenerator. Add compileMethod overload with input graph parameter. Andreas Woess <andreas.woess@jku.at> parents: 4265 diff changeset	1439 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	1440 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	1441 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1442 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/gen/LIRGenerator.java @ 5507:dc71b06d09f8