truffle: graal/com.oracle.graal.hotspot.amd64/src/com/oracle/graal/hotspot/amd64/AMD64HotSpotLIRGenerator.java annotate

annotate graal/com.oracle.graal.hotspot.amd64/src/com/oracle/graal/hotspot/amd64/AMD64HotSpotLIRGenerator.java @ 20072:bd3246bc0aaa

AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc.

author	Josef Eisl <josef.eisl@jku.at>
date	Mon, 30 Mar 2015 10:57:43 +0200
parents	32e2857bb2bb
children	9b6ea36013c4

rev	line source
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	1 /*
19866 ac254887bfcd Make LIRGeneratorTool.append(op) return the op. Roland Schatz <roland.schatz@oracle.com> parents: 19131 diff changeset	2 * Copyright (c) 2012, 2015, Oracle and/or its affiliates. All rights reserved.
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	4 *
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	8 *
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	13 * accompanied this code).
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	14 *
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	18 *
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	21 * questions.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	22 */
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	23 package com.oracle.graal.hotspot.amd64;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	24
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	25 import static com.oracle.graal.amd64.AMD64.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	26 import static com.oracle.graal.api.code.ValueUtil.*;
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	27 import static com.oracle.graal.asm.amd64.AMD64Assembler.AMD64BinaryArithmetic.*;
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	28 import static com.oracle.graal.asm.amd64.AMD64Assembler.AMD64RMOp.*;
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	29 import static com.oracle.graal.asm.amd64.AMD64Assembler.OperandSize.*;
15926 af0e42dad358 reduced time to initialize ForeignCallProviders by avoiding triggering class initialization of Node subclasses as well as making annotation parsing lazy in SnippetInfo Doug Simon <doug.simon@oracle.com> parents: 15910 diff changeset	30 import static com.oracle.graal.hotspot.HotSpotBackend.*;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	31
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	32 import java.util.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	33
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	34 import com.oracle.graal.amd64.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	35 import com.oracle.graal.api.code.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	36 import com.oracle.graal.api.meta.*;
19972 f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	37 import com.oracle.graal.asm.*;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	38 import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64MIOp;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	39 import com.oracle.graal.asm.amd64.AMD64Assembler.AMD64MROp;
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	40 import com.oracle.graal.asm.amd64.AMD64Assembler.OperandSize;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	41 import com.oracle.graal.compiler.amd64.*;
15193 96bb07a5d667 Spit up and move GraalInternalError. Josef Eisl <josef.eisl@jku.at> parents: 15104 diff changeset	42 import com.oracle.graal.compiler.common.*;
15200 97eed257999b Move Condition to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15193 diff changeset	43 import com.oracle.graal.compiler.common.calc.*;
18390 ce15cc6af5fe Additional constructor for AMD64HotSpotLIRGenerator. Roland Schatz <roland.schatz@oracle.com> parents: 18358 diff changeset	44 import com.oracle.graal.compiler.common.spi.*;
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	45 import com.oracle.graal.debug.*;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	46 import com.oracle.graal.hotspot.*;
13520 fb7b39f07232 Embed compressed constants when possible and use more efficient patterns for encoding Tom Rodriguez <tom.rodriguez@oracle.com> parents: 13313 diff changeset	47 import com.oracle.graal.hotspot.HotSpotVMConfig.CompressEncoding;
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	48 import com.oracle.graal.hotspot.debug.*;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	49 import com.oracle.graal.hotspot.meta.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	50 import com.oracle.graal.hotspot.stubs.*;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	51 import com.oracle.graal.lir.*;
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	52 import com.oracle.graal.lir.StandardOp.NoOp;
468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	53 import com.oracle.graal.lir.StandardOp.SaveRegistersOp;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	54 import com.oracle.graal.lir.amd64.*;
15024 2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	55 import com.oracle.graal.lir.amd64.AMD64ControlFlow.CondMoveOp;
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	56 import com.oracle.graal.lir.amd64.AMD64Move.CompareAndSwapOp;
14850 fbae9be45c95 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14842 14707 diff changeset	57 import com.oracle.graal.lir.amd64.AMD64Move.LeaDataOp;
8643 3d2c2b68fe93 lower ExceptionObjectNode with a snippet (GRAAL-133) Doug Simon <doug.simon@oracle.com> parents: 8641 diff changeset	58 import com.oracle.graal.lir.amd64.AMD64Move.MoveFromRegOp;
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	59 import com.oracle.graal.lir.asm.*;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	60 import com.oracle.graal.lir.framemap.*;
15292 a38d791982e1 Move LIRGenerationResult* to graal.lir. Josef Eisl <josef.eisl@jku.at> parents: 15251 diff changeset	61 import com.oracle.graal.lir.gen.*;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	62
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	63 /**
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	64 * LIR generator specialized for AMD64 HotSpot.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	65 */
9431 c0488f573091 Make AMD64 LIR generator extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9425 diff changeset	66 public class AMD64HotSpotLIRGenerator extends AMD64LIRGenerator implements HotSpotLIRGenerator {
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	67
14841 47e4d2e01c6e Split LIRGenerator and fix AMD64 backend. Josef Eisl <josef.eisl@jku.at> parents: 14834 diff changeset	68 final HotSpotVMConfig config;
15293 adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	69 private HotSpotLockStack lockStack;
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	70
14842 f2e61bf2a2d8 Removed nodeOperands from LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 14841 diff changeset	71 protected AMD64HotSpotLIRGenerator(HotSpotProviders providers, HotSpotVMConfig config, CallingConvention cc, LIRGenerationResult lirGenRes) {
18481 f91e40c4bb47 Create separate stamps for Klass* and Method, and make them hotspot specific. Roland Schatz <roland.schatz@oracle.com>* parents: 18434 diff changeset	72 this(new DefaultLIRKindTool(providers.getCodeCache().getTarget().wordKind), providers, config, cc, lirGenRes);
18390 ce15cc6af5fe Additional constructor for AMD64HotSpotLIRGenerator. Roland Schatz <roland.schatz@oracle.com> parents: 18358 diff changeset	73 }
ce15cc6af5fe Additional constructor for AMD64HotSpotLIRGenerator. Roland Schatz <roland.schatz@oracle.com> parents: 18358 diff changeset	74
ce15cc6af5fe Additional constructor for AMD64HotSpotLIRGenerator. Roland Schatz <roland.schatz@oracle.com> parents: 18358 diff changeset	75 protected AMD64HotSpotLIRGenerator(LIRKindTool lirKindTool, HotSpotProviders providers, HotSpotVMConfig config, CallingConvention cc, LIRGenerationResult lirGenRes) {
ce15cc6af5fe Additional constructor for AMD64HotSpotLIRGenerator. Roland Schatz <roland.schatz@oracle.com> parents: 18358 diff changeset	76 super(lirKindTool, providers, cc, lirGenRes);
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	77 assert config.basicLockSize == 8;
5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	78 this.config = config;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	79 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	80
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	81 @Override
12787 9b62c748c9ae get thread register from generator when lowering CurrentJavaThreadNode node instead of getting it from the host provider Doug Simon <doug.simon@oracle.com> parents: 12757 diff changeset	82 public HotSpotProviders getProviders() {
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	83 return (HotSpotProviders) super.getProviders();
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	84 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	85
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	86 /**
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	87 * Utility for emitting the instruction to save RBP.
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	88 */
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	89 class SaveRbp {
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	90
13313 6dd9a1455e64 renamed PlaceholderOp to NoOp Doug Simon <doug.simon@oracle.com> parents: 13291 diff changeset	91 final NoOp placeholder;
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	92
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	93 /**
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	94 * The slot reserved for saving RBP.
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	95 */
18434 06624c98ed8b Handel RBP and deoptimization rescue slot in AMD64FrameMapBuilder. Josef Eisl <josef.eisl@jku.at> parents: 18426 diff changeset	96 final StackSlot reservedSlot;
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	97
13313 6dd9a1455e64 renamed PlaceholderOp to NoOp Doug Simon <doug.simon@oracle.com> parents: 13291 diff changeset	98 public SaveRbp(NoOp placeholder) {
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	99 this.placeholder = placeholder;
18424 5afaa02c53dd Introduce AMD64FrameMapBuilder to support special stack slot allocation for RBP. Josef Eisl <josef.eisl@jku.at> parents: 18390 diff changeset	100 AMD64FrameMapBuilder frameMapBuilder = (AMD64FrameMapBuilder) getResult().getFrameMapBuilder();
5afaa02c53dd Introduce AMD64FrameMapBuilder to support special stack slot allocation for RBP. Josef Eisl <josef.eisl@jku.at> parents: 18390 diff changeset	101 this.reservedSlot = frameMapBuilder.allocateRBPSpillSlot();
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	102 }
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	103
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	104 /**
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	105 * Replaces this operation with the appropriate move for saving rbp.
14859 4f5c312d676e Fix merge regressions. Josef Eisl <josef.eisl@jku.at> parents: 14850 diff changeset	106 *
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	107 * @param useStack specifies if rbp must be saved to the stack
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	108 */
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	109 public AllocatableValue finalize(boolean useStack) {
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	110 AllocatableValue dst;
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	111 if (useStack) {
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	112 dst = reservedSlot;
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	113 } else {
18434 06624c98ed8b Handel RBP and deoptimization rescue slot in AMD64FrameMapBuilder. Josef Eisl <josef.eisl@jku.at> parents: 18426 diff changeset	114 ((AMD64FrameMapBuilder) getResult().getFrameMapBuilder()).freeRBPSpillSlot();
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	115 dst = newVariable(LIRKind.value(Kind.Long));
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	116 }
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	117
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	118 placeholder.replace(getResult().getLIR(), new MoveFromRegOp(Kind.Long, dst, rbp.asValue(LIRKind.value(Kind.Long))));
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	119 return dst;
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	120 }
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	121 }
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	122
14841 47e4d2e01c6e Split LIRGenerator and fix AMD64 backend. Josef Eisl <josef.eisl@jku.at> parents: 14834 diff changeset	123 SaveRbp saveRbp;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	124
20072 bd3246bc0aaa AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc. Josef Eisl <josef.eisl@jku.at> parents: 20071 diff changeset	125 /**
bd3246bc0aaa AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc. Josef Eisl <josef.eisl@jku.at> parents: 20071 diff changeset	126 * Helper instruction to reserve a stack slot for the whole method. Note that the actual users
bd3246bc0aaa AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc. Josef Eisl <josef.eisl@jku.at> parents: 20071 diff changeset	127 * of the stack slot might be inserted after stack slot allocation. This dummy instruction
bd3246bc0aaa AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc. Josef Eisl <josef.eisl@jku.at> parents: 20071 diff changeset	128 * ensures that the stack slot is alive and gets a real stack slot assigned.
bd3246bc0aaa AMD64HotSpotLIRGenerator.RescueSlotDummyOp: add javadoc. Josef Eisl <josef.eisl@jku.at> parents: 20071 diff changeset	129 */
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	130 private static final class RescueSlotDummyOp extends LIRInstruction {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	131 public static final LIRInstructionClass<RescueSlotDummyOp> TYPE = LIRInstructionClass.create(RescueSlotDummyOp.class);
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	132
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	133 @Alive({OperandFlag.STACK, OperandFlag.UNINITIALIZED}) private StackSlotValue slot;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	134
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	135 public RescueSlotDummyOp(FrameMapBuilder frameMapBuilder, LIRKind kind) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	136 super(TYPE);
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	137 slot = frameMapBuilder.allocateSpillSlot(kind);
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	138 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	139
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	140 public StackSlotValue getSlot() {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	141 return slot;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	142 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	143
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	144 @Override
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	145 public void emitCode(CompilationResultBuilder crb) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	146 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	147 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	148
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	149 private RescueSlotDummyOp rescueSlotOp;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	150
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	151 private StackSlotValue getOrInitRescueSlot() {
20071 32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	152 RescueSlotDummyOp op = getOrInitRescueSlotOp();
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	153 return op.getSlot();
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	154 }
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	155
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	156 private RescueSlotDummyOp getOrInitRescueSlotOp() {
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	157 if (rescueSlotOp == null) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	158 // create dummy instruction to keep the rescue slot alive
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	159 rescueSlotOp = new RescueSlotDummyOp(getResult().getFrameMapBuilder(), getLIRKindTool().getWordKind());
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	160 }
20071 32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	161 return rescueSlotOp;
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	162 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	163
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	164 /**
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	165 * List of epilogue operations that need to restore RBP.
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	166 */
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	167 List<AMD64HotSpotEpilogueOp> epilogueOps = new ArrayList<>(2);
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	168
9560 08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	169 @Override
19866 ac254887bfcd Make LIRGeneratorTool.append(op) return the op. Roland Schatz <roland.schatz@oracle.com> parents: 19131 diff changeset	170 public <I extends LIRInstruction> I append(I op) {
ac254887bfcd Make LIRGeneratorTool.append(op) return the op. Roland Schatz <roland.schatz@oracle.com> parents: 19131 diff changeset	171 I ret = super.append(op);
9560 08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	172 if (op instanceof AMD64HotSpotEpilogueOp) {
08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	173 epilogueOps.add((AMD64HotSpotEpilogueOp) op);
08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	174 }
19866 ac254887bfcd Make LIRGeneratorTool.append(op) return the op. Roland Schatz <roland.schatz@oracle.com> parents: 19131 diff changeset	175 return ret;
9560 08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	176 }
08d1414ac62d refactored common code in subclasses into AMD64HotSpotEpilogueOp Doug Simon <doug.simon@oracle.com> parents: 9507 diff changeset	177
8586 82f6a25321b8 modeling of lock state removed from LIR and runtime specific debug info for locks moved into runtime specific classes Doug Simon <doug.simon@oracle.com> parents: 8367 diff changeset	178 @Override
18425 b856446ff7e0 Introduce StackSlotValue and VirtualStackSlot. Josef Eisl <josef.eisl@jku.at> parents: 18424 diff changeset	179 public StackSlotValue getLockSlot(int lockDepth) {
15293 adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	180 return getLockStack().makeLockSlot(lockDepth);
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	181 }
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	182
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	183 private HotSpotLockStack getLockStack() {
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	184 assert lockStack != null;
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	185 return lockStack;
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	186 }
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	187
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	188 protected void setLockStack(HotSpotLockStack lockStack) {
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	189 assert this.lockStack == null;
adc7d7aad51c Deprecate LIRGenerator.getDebugInfoBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 15292 diff changeset	190 this.lockStack = lockStack;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	191 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	192
12456 f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	193 private Register findPollOnReturnScratchRegister() {
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	194 RegisterConfig regConfig = getProviders().getCodeCache().getRegisterConfig();
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	195 for (Register r : regConfig.getAllocatableRegisters(Kind.Long)) {
18357 09550eb6ddfb replace use of '==' with .equals() Doug Simon <doug.simon@oracle.com> parents: 18289 diff changeset	196 if (!r.equals(regConfig.getReturnRegister(Kind.Long)) && !r.equals(AMD64.rbp)) {
12456 f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	197 return r;
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	198 }
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	199 }
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	200 throw GraalInternalError.shouldNotReachHere();
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	201 }
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	202
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	203 private Register pollOnReturnScratchRegister;
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	204
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	205 @Override
14841 47e4d2e01c6e Split LIRGenerator and fix AMD64 backend. Josef Eisl <josef.eisl@jku.at> parents: 14834 diff changeset	206 public void emitReturn(Value input) {
14949 b65036798097 Remove visitReturn from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14945 diff changeset	207 AllocatableValue operand = Value.ILLEGAL;
b65036798097 Remove visitReturn from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14945 diff changeset	208 if (input != null) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	209 operand = resultOperandFor(input.getLIRKind());
14949 b65036798097 Remove visitReturn from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14945 diff changeset	210 emitMove(operand, input);
b65036798097 Remove visitReturn from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14945 diff changeset	211 }
12456 f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	212 if (pollOnReturnScratchRegister == null) {
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	213 pollOnReturnScratchRegister = findPollOnReturnScratchRegister();
f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	214 }
18526 be44c1ca8f00 removed static access to HotSpotGraalRuntime from some AMD64 HotSpot classes Doug Simon <doug.simon@oracle.com> parents: 18490 diff changeset	215 append(new AMD64HotSpotReturnOp(operand, getStub() != null, pollOnReturnScratchRegister, config));
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	216 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	217
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	218 @Override
15297 3a6151ed5a25 Move LIRGenerator to graal.lir (errors). Josef Eisl <josef.eisl@jku.at> parents: 15293 diff changeset	219 public boolean needOnlyOopMaps() {
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	220 // Stubs only need oop maps
14921 88dfaf6448e0 Remove LIRGenerationResult from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14859 diff changeset	221 return ((AMD64HotSpotLIRGenerationResult) getResult()).getStub() != null;
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	222 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	223
14859 4f5c312d676e Fix merge regressions. Josef Eisl <josef.eisl@jku.at> parents: 14850 diff changeset	224 @Override
14850 fbae9be45c95 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14842 14707 diff changeset	225 public void emitData(AllocatableValue dst, byte[] data) {
fbae9be45c95 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14842 14707 diff changeset	226 append(new LeaDataOp(dst, data));
fbae9be45c95 Merge. Josef Eisl <josef.eisl@jku.at> parents: 14842 14707 diff changeset	227 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	228
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	229 private LIRFrameState currentRuntimeCallInfo;
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	230
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	231 @Override
18976 3faa4f98d5c8 renamed LIRGenerator.emitForeignCall to emitForeignCallOp to avoid confusion Doug Simon <doug.simon@oracle.com> parents: 18935 diff changeset	232 protected void emitForeignCallOp(ForeignCallLinkage linkage, Value result, Value[] arguments, Value[] temps, LIRFrameState info) {
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	233 currentRuntimeCallInfo = info;
18976 3faa4f98d5c8 renamed LIRGenerator.emitForeignCall to emitForeignCallOp to avoid confusion Doug Simon <doug.simon@oracle.com> parents: 18935 diff changeset	234 super.emitForeignCallOp(linkage, result, arguments, temps, info);
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	235 }
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	236
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	237 public void emitLeaveCurrentStackFrame(SaveRegistersOp saveRegisterOp) {
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	238 append(new AMD64HotSpotLeaveCurrentStackFrameOp(saveRegisterOp));
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	239 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	240
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	241 public void emitLeaveDeoptimizedStackFrame(Value frameSize, Value initialInfo) {
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	242 Variable frameSizeVariable = load(frameSize);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	243 Variable initialInfoVariable = load(initialInfo);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	244 append(new AMD64HotSpotLeaveDeoptimizedStackFrameOp(frameSizeVariable, initialInfoVariable));
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	245 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	246
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	247 public void emitEnterUnpackFramesStackFrame(Value framePc, Value senderSp, Value senderFp, SaveRegistersOp saveRegisterOp) {
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	248 Register threadRegister = getProviders().getRegisters().getThreadRegister();
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	249 Variable framePcVariable = load(framePc);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	250 Variable senderSpVariable = load(senderSp);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	251 Variable senderFpVariable = load(senderFp);
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	252 append(new AMD64HotSpotEnterUnpackFramesStackFrameOp(threadRegister, config.threadLastJavaSpOffset(), config.threadLastJavaPcOffset(), config.threadLastJavaFpOffset(), framePcVariable,
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	253 senderSpVariable, senderFpVariable, saveRegisterOp));
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	254 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	255
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	256 public void emitLeaveUnpackFramesStackFrame(SaveRegistersOp saveRegisterOp) {
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	257 Register threadRegister = getProviders().getRegisters().getThreadRegister();
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	258 append(new AMD64HotSpotLeaveUnpackFramesStackFrameOp(threadRegister, config.threadLastJavaSpOffset(), config.threadLastJavaPcOffset(), config.threadLastJavaFpOffset(), saveRegisterOp));
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	259 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	260
18661 aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	261 @Override
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	262 public Value emitCardTableShift() {
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	263 Variable result = newVariable(LIRKind.value(Kind.Long));
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	264 append(new AMD64HotSpotCardTableShiftOp(result));
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	265 return result;
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	266 }
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	267
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	268 @Override
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	269 public Value emitCardTableAddress() {
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	270 Variable result = newVariable(LIRKind.value(Kind.Long));
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	271 append(new AMD64HotSpotCardTableAddressOp(result));
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	272 return result;
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	273 }
aa4f2e3629ca Added card table PIC support adlertz parents: 18554 diff changeset	274
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	275 /**
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	276 * @param savedRegisters the registers saved by this operation which may be subject to pruning
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	277 * @param savedRegisterLocations the slots to which the registers are saved
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	278 * @param supportsRemove determines if registers can be pruned
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	279 */
18425 b856446ff7e0 Introduce StackSlotValue and VirtualStackSlot. Josef Eisl <josef.eisl@jku.at> parents: 18424 diff changeset	280 protected AMD64SaveRegistersOp emitSaveRegisters(Register[] savedRegisters, StackSlotValue[] savedRegisterLocations, boolean supportsRemove) {
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	281 AMD64SaveRegistersOp save = new AMD64SaveRegistersOp(savedRegisters, savedRegisterLocations, supportsRemove);
9507 3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	282 append(save);
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	283 return save;
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	284 }
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	285
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	286 /**
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	287 * Adds a node to the graph that saves all allocatable registers to the stack.
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	288 *
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	289 * @param supportsRemove determines if registers can be pruned
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	290 * @return the register save node
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	291 */
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	292 private AMD64SaveRegistersOp emitSaveAllRegisters(Register[] savedRegisters, boolean supportsRemove) {
18425 b856446ff7e0 Introduce StackSlotValue and VirtualStackSlot. Josef Eisl <josef.eisl@jku.at> parents: 18424 diff changeset	293 StackSlotValue[] savedRegisterLocations = new StackSlotValue[savedRegisters.length];
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	294 for (int i = 0; i < savedRegisters.length; i++) {
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	295 PlatformKind kind = target().arch.getLargestStorableKind(savedRegisters[i].getRegisterCategory());
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	296 assert kind != Kind.Illegal;
18425 b856446ff7e0 Introduce StackSlotValue and VirtualStackSlot. Josef Eisl <josef.eisl@jku.at> parents: 18424 diff changeset	297 VirtualStackSlot spillSlot = getResult().getFrameMapBuilder().allocateSpillSlot(LIRKind.value(kind));
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	298 savedRegisterLocations[i] = spillSlot;
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	299 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	300 return emitSaveRegisters(savedRegisters, savedRegisterLocations, supportsRemove);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	301 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	302
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	303 @Override
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	304 public SaveRegistersOp emitSaveAllRegisters() {
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	305 // We are saving all registers.
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	306 // TODO Save upper half of YMM registers.
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	307 return emitSaveAllRegisters(cpuxmmRegisters, false);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	308 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	309
9507 3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	310 protected void emitRestoreRegisters(AMD64SaveRegistersOp save) {
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	311 append(new AMD64RestoreRegistersOp(save.getSlots().clone(), save));
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	312 }
3df71c132731 Make register saving extensible. Roland Schatz <roland.schatz@oracle.com> parents: 9506 diff changeset	313
14807 c3242028cc44 Introduce specialized LIRGenerationResults for Targets if needed. Josef Eisl <josef.eisl@jku.at> parents: 14806 diff changeset	314 public Stub getStub() {
14921 88dfaf6448e0 Remove LIRGenerationResult from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14859 diff changeset	315 return ((AMD64HotSpotLIRGenerationResult) getResult()).getStub();
9613 0c17815817a4 removed LIRGenerator.method field Doug Simon <doug.simon@oracle.com> parents: 9612 diff changeset	316 }
0c17815817a4 removed LIRGenerator.method field Doug Simon <doug.simon@oracle.com> parents: 9612 diff changeset	317
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	318 @Override
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	319 public Variable emitForeignCall(ForeignCallLinkage linkage, LIRFrameState state, Value... args) {
14955 be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	320 HotSpotForeignCallLinkage hotspotLinkage = (HotSpotForeignCallLinkage) linkage;
be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	321 boolean destroysRegisters = hotspotLinkage.destroysRegisters();
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	322
9415 016523a011b7 simplified register preservation in compiled stubs to avoid the need for using ParametersOp Doug Simon <doug.simon@oracle.com> parents: 9352 diff changeset	323 AMD64SaveRegistersOp save = null;
9693 d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9613 diff changeset	324 if (destroysRegisters) {
14142 4eac66a9b87d Remove reference to graph in LIRGenerator. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 14003 diff changeset	325 if (getStub() != null) {
4eac66a9b87d Remove reference to graph in LIRGenerator. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 14003 diff changeset	326 if (getStub().preservesRegisters()) {
18149 c6086a18c9ce Rename LIRGenerationResult.getFrameMap() to getFrameMapBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 18123 diff changeset	327 Register[] savedRegisters = getResult().getFrameMapBuilder().getRegisterConfig().getAllocatableRegisters();
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	328 save = emitSaveAllRegisters(savedRegisters, true);
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	329 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	330 }
9731 f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	331 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	332
9768 cbf274a92e5b a leaf foreign call does not need debug info Doug Simon <doug.simon@oracle.com> parents: 9742 diff changeset	333 Variable result;
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	334 // TODO (je) check if we can remove this
468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	335 LIRFrameState deoptInfo = null;
14955 be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	336 if (hotspotLinkage.canDeoptimize()) {
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	337 deoptInfo = state;
14955 be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	338 assert deoptInfo != null \|\| getStub() != null;
be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	339 assert hotspotLinkage.needsJavaFrameAnchor();
be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	340 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	341
14955 be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	342 if (hotspotLinkage.needsJavaFrameAnchor()) {
12456 f87c68d79f07 improved support for co-existing, multiple backends (GRAAL-363) Doug Simon <doug.simon@oracle.com> parents: 12431 diff changeset	343 Register thread = getProviders().getRegisters().getThreadRegister();
12559 ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations twisti parents: 12456 diff changeset	344 append(new AMD64HotSpotCRuntimeCallPrologueOp(config.threadLastJavaSpOffset(), thread));
14955 be6fc21b25f8 Add possibility to have HotSpot linkages which are LEAF but still require a last_java_sp Gilles Duboscq <duboscq@ssw.jku.at> parents: 14949 diff changeset	345 result = super.emitForeignCall(hotspotLinkage, deoptInfo, args);
12559 ae412befde21 read HotSpotVMConfig fields from HotSpot's vmStructs via annotations twisti parents: 12456 diff changeset	346 append(new AMD64HotSpotCRuntimeCallEpilogueOp(config.threadLastJavaSpOffset(), config.threadLastJavaFpOffset(), thread));
9768 cbf274a92e5b a leaf foreign call does not need debug info Doug Simon <doug.simon@oracle.com> parents: 9742 diff changeset	347 } else {
15377 ad5c1c4434ed AMD64HotSpotLIRGenerator.emitForeignCall: add assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 15370 diff changeset	348 assert deoptInfo == null;
ad5c1c4434ed AMD64HotSpotLIRGenerator.emitForeignCall: add assert Gilles Duboscq <duboscq@ssw.jku.at> parents: 15370 diff changeset	349 result = super.emitForeignCall(hotspotLinkage, null, args);
9731 f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	350 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	351
9731 f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	352 if (destroysRegisters) {
14142 4eac66a9b87d Remove reference to graph in LIRGenerator. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 14003 diff changeset	353 if (getStub() != null) {
4eac66a9b87d Remove reference to graph in LIRGenerator. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 14003 diff changeset	354 if (getStub().preservesRegisters()) {
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	355 AMD64HotSpotLIRGenerationResult generationResult = (AMD64HotSpotLIRGenerationResult) getResult();
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	356 assert !generationResult.getCalleeSaveInfo().containsKey(currentRuntimeCallInfo);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	357 generationResult.getCalleeSaveInfo().put(currentRuntimeCallInfo, save);
9731 f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	358 emitRestoreRegisters(save);
f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	359 } else {
f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	360 assert zapRegisters();
f7bd4594cbbf added support for declaring a foreign function call to be a leaf Doug Simon <doug.simon@oracle.com> parents: 9693 diff changeset	361 }
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	362 }
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	363 }
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	364
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	365 return result;
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	366 }
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	367
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	368 public Value emitUncommonTrapCall(Value trapRequest, SaveRegistersOp saveRegisterOp) {
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	369 ForeignCallLinkage linkage = getForeignCalls().lookupForeignCall(UNCOMMON_TRAP);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	370
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	371 Register thread = getProviders().getRegisters().getThreadRegister();
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	372 append(new AMD64HotSpotCRuntimeCallPrologueOp(config.threadLastJavaSpOffset(), thread));
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	373 Variable result = super.emitForeignCall(linkage, null, thread.asValue(LIRKind.value(Kind.Long)), trapRequest);
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	374 append(new AMD64HotSpotCRuntimeCallEpilogueOp(config.threadLastJavaSpOffset(), config.threadLastJavaFpOffset(), thread));
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	375
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	376 Map<LIRFrameState, SaveRegistersOp> calleeSaveInfo = ((AMD64HotSpotLIRGenerationResult) getResult()).getCalleeSaveInfo();
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	377 assert !calleeSaveInfo.containsKey(currentRuntimeCallInfo);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	378 calleeSaveInfo.put(currentRuntimeCallInfo, saveRegisterOp);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	379
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	380 return result;
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	381 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	382
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	383 public Value emitDeoptimizationFetchUnrollInfoCall(SaveRegistersOp saveRegisterOp) {
15968 42eaa579e134 more improvements to runtime initialization: Doug Simon <doug.simon@oracle.com> parents: 15947 diff changeset	384 ForeignCallLinkage linkage = getForeignCalls().lookupForeignCall(FETCH_UNROLL_INFO);
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	385
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	386 Register thread = getProviders().getRegisters().getThreadRegister();
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	387 append(new AMD64HotSpotCRuntimeCallPrologueOp(config.threadLastJavaSpOffset(), thread));
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	388 Variable result = super.emitForeignCall(linkage, null, thread.asValue(LIRKind.value(Kind.Long)));
15456 bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	389 append(new AMD64HotSpotCRuntimeCallEpilogueOp(config.threadLastJavaSpOffset(), config.threadLastJavaFpOffset(), thread));
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	390
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	391 Map<LIRFrameState, SaveRegistersOp> calleeSaveInfo = ((AMD64HotSpotLIRGenerationResult) getResult()).getCalleeSaveInfo();
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	392 assert !calleeSaveInfo.containsKey(currentRuntimeCallInfo);
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	393 calleeSaveInfo.put(currentRuntimeCallInfo, saveRegisterOp);
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	394
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	395 return result;
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	396 }
bb97b75d1d65 AMD64: implemented DeoptimizationStub.deoptimizationHandler twisti parents: 15412 diff changeset	397
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	398 protected AMD64ZapRegistersOp emitZapRegisters(Register[] zappedRegisters, JavaConstant[] zapValues) {
9506 6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	399 AMD64ZapRegistersOp zap = new AMD64ZapRegistersOp(zappedRegisters, zapValues);
6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	400 append(zap);
6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	401 return zap;
6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	402 }
6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	403
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	404 protected boolean zapRegisters() {
18149 c6086a18c9ce Rename LIRGenerationResult.getFrameMap() to getFrameMapBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 18123 diff changeset	405 Register[] zappedRegisters = getResult().getFrameMapBuilder().getRegisterConfig().getAllocatableRegisters();
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	406 JavaConstant[] zapValues = new JavaConstant[zappedRegisters.length];
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	407 for (int i = 0; i < zappedRegisters.length; i++) {
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	408 PlatformKind kind = target().arch.getLargestStorableKind(zappedRegisters[i].getRegisterCategory());
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	409 assert kind != Kind.Illegal;
9506 6703dca691d7 Restructure register zapping. Roland Schatz <roland.schatz@oracle.com> parents: 9505 diff changeset	410 zapValues[i] = zapValueForKind(kind);
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	411 }
14921 88dfaf6448e0 Remove LIRGenerationResult from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14859 diff changeset	412 ((AMD64HotSpotLIRGenerationResult) getResult()).getCalleeSaveInfo().put(currentRuntimeCallInfo, emitZapRegisters(zappedRegisters, zapValues));
9491 789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	413 return true;
789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	414 }
789cfd153265 a compiled stub can now specify whether it needs to preserve registers. If a stub does not preserve registers and assertions are enabled, then all non-temporary registers are zapped after a C runtime call from the stub. Doug Simon <doug.simon@oracle.com> parents: 9471 diff changeset	415
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	416 @Override
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	417 public void emitTailcall(Value[] args, Value address) {
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	418 append(new AMD64TailcallOp(args, address));
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	419 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	420
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	421 @Override
13837 ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	422 public void emitCCall(long address, CallingConvention nativeCallingConvention, Value[] args, int numberOfFloatingPointArguments) {
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	423 Value[] argLocations = new Value[args.length];
18149 c6086a18c9ce Rename LIRGenerationResult.getFrameMap() to getFrameMapBuilder(). Josef Eisl <josef.eisl@jku.at> parents: 18123 diff changeset	424 getResult().getFrameMapBuilder().callsMethod(nativeCallingConvention);
13839 5fb138b6a92f GNFI fixes Matthias Grimmer <grimmer@ssw.jku.at> parents: 13837 diff changeset	425 // TODO(mg): in case a native function uses floating point varargs, the ABI requires that
5fb138b6a92f GNFI fixes Matthias Grimmer <grimmer@ssw.jku.at> parents: 13837 diff changeset	426 // RAX contains the length of the varargs
18692 d6c33eb93b9f Use Register.asValue(LIRKind) where appropriate. Josef Eisl <josef.eisl@jku.at> parents: 18661 diff changeset	427 PrimitiveConstant intConst = JavaConstant.forInt(numberOfFloatingPointArguments);
d6c33eb93b9f Use Register.asValue(LIRKind) where appropriate. Josef Eisl <josef.eisl@jku.at> parents: 18661 diff changeset	428 AllocatableValue numberOfFloatingPointArgumentsRegister = AMD64.rax.asValue(intConst.getLIRKind());
d6c33eb93b9f Use Register.asValue(LIRKind) where appropriate. Josef Eisl <josef.eisl@jku.at> parents: 18661 diff changeset	429 emitMove(numberOfFloatingPointArgumentsRegister, intConst);
13837 ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	430 for (int i = 0; i < args.length; i++) {
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	431 Value arg = args[i];
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	432 AllocatableValue loc = nativeCallingConvention.getArgument(i);
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	433 emitMove(loc, arg);
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	434 argLocations[i] = loc;
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	435 }
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	436 Value ptr = emitMove(JavaConstant.forLong(address));
13837 ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	437 append(new AMD64CCall(nativeCallingConvention.getReturn(), ptr, numberOfFloatingPointArgumentsRegister, argLocations));
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	438 }
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	439
ed3a1471e133 Add the Graal Native Function Interface Matthias Grimmer <grimmer@ssw.jku.at> parents: 13726 diff changeset	440 @Override
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	441 public void emitUnwind(Value exception) {
12363 78e5badf4b8e moved lookupForeignCall() from CodeCacheProvider to ForeignCallsProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 12058 diff changeset	442 ForeignCallLinkage linkage = getForeignCalls().lookupForeignCall(HotSpotBackend.UNWIND_EXCEPTION_TO_CALLER);
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	443 CallingConvention outgoingCc = linkage.getOutgoingCallingConvention();
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	444 assert outgoingCc.getArgumentCount() == 2;
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	445 RegisterValue exceptionParameter = (RegisterValue) outgoingCc.getArgument(0);
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	446 emitMove(exceptionParameter, exception);
9562 99ef9bcb3f32 replaced unwind_exception_call assembler stub with a compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9560 diff changeset	447 append(new AMD64HotSpotUnwindOp(exceptionParameter));
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	448 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	449
13641 5a9afbf72714 Add a speculation oop for uncommon trap deoptimization. Save it in the SpeculationLog during deoptimization. Gilles Duboscq <duboscq@ssw.jku.at> parents: 13614 diff changeset	450 private void moveDeoptValuesToThread(Value actionAndReason, Value speculation) {
18526 be44c1ca8f00 removed static access to HotSpotGraalRuntime from some AMD64 HotSpot classes Doug Simon <doug.simon@oracle.com> parents: 18490 diff changeset	451 moveValueToThread(actionAndReason, config.pendingDeoptimizationOffset);
be44c1ca8f00 removed static access to HotSpotGraalRuntime from some AMD64 HotSpot classes Doug Simon <doug.simon@oracle.com> parents: 18490 diff changeset	452 moveValueToThread(speculation, config.pendingFailedSpeculationOffset);
13641 5a9afbf72714 Add a speculation oop for uncommon trap deoptimization. Save it in the SpeculationLog during deoptimization. Gilles Duboscq <duboscq@ssw.jku.at> parents: 13614 diff changeset	453 }
5a9afbf72714 Add a speculation oop for uncommon trap deoptimization. Save it in the SpeculationLog during deoptimization. Gilles Duboscq <duboscq@ssw.jku.at> parents: 13614 diff changeset	454
5a9afbf72714 Add a speculation oop for uncommon trap deoptimization. Save it in the SpeculationLog during deoptimization. Gilles Duboscq <duboscq@ssw.jku.at> parents: 13614 diff changeset	455 private void moveValueToThread(Value v, int offset) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	456 LIRKind wordKind = LIRKind.value(getProviders().getCodeCache().getTarget().wordKind);
12429 5124eeec1a7b split HotSpotRuntime into separate provider implementations Doug Simon <doug.simon@oracle.com> parents: 12363 diff changeset	457 RegisterValue thread = getProviders().getRegisters().getThreadRegister().asValue(wordKind);
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	458 AMD64AddressValue address = new AMD64AddressValue(wordKind, thread, offset);
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	459 emitStore(v.getLIRKind(), address, v, null);
11832 97d6932a309b CodeCacheProvider.encodeDeoptActionAndReason now returns a Constant Gilles Duboscq <duboscq@ssw.jku.at> parents: 11790 diff changeset	460 }
97d6932a309b CodeCacheProvider.encodeDeoptActionAndReason now returns a Constant Gilles Duboscq <duboscq@ssw.jku.at> parents: 11790 diff changeset	461
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	462 @Override
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	463 public void emitDeoptimize(Value actionAndReason, Value speculation, LIRFrameState state) {
13641 5a9afbf72714 Add a speculation oop for uncommon trap deoptimization. Save it in the SpeculationLog during deoptimization. Gilles Duboscq <duboscq@ssw.jku.at> parents: 13614 diff changeset	464 moveDeoptValuesToThread(actionAndReason, speculation);
15301 468b2428c403 Change DeoptimizingNode and Access to LIRFrameState in LIRGenerator. Josef Eisl <josef.eisl@jku.at> parents: 15297 diff changeset	465 append(new AMD64DeoptimizeOp(state));
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	466 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	467
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	468 @Override
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	469 public void emitDeoptimizeCaller(DeoptimizationAction action, DeoptimizationReason reason) {
18490 ca81508f2a19 Generalize NULL handling to work on arbitrary pointers. Roland Schatz <roland.schatz@oracle.com> parents: 18481 diff changeset	470 moveDeoptValuesToThread(getMetaAccess().encodeDeoptActionAndReason(action, reason, 0), JavaConstant.NULL_POINTER);
11832 97d6932a309b CodeCacheProvider.encodeDeoptActionAndReason now returns a Constant Gilles Duboscq <duboscq@ssw.jku.at> parents: 11790 diff changeset	471 append(new AMD64HotSpotDeoptimizeCallerOp());
9338 0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	472 }
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	473
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9247 diff changeset	474 @Override
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	475 public void beforeRegisterAllocation() {
13313 6dd9a1455e64 renamed PlaceholderOp to NoOp Doug Simon <doug.simon@oracle.com> parents: 13291 diff changeset	476 super.beforeRegisterAllocation();
14921 88dfaf6448e0 Remove LIRGenerationResult from NodeLIRBuilder. Josef Eisl <josef.eisl@jku.at> parents: 14859 diff changeset	477 boolean hasDebugInfo = getResult().getLIR().hasDebugInfo();
9247 27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	478 AllocatableValue savedRbp = saveRbp.finalize(hasDebugInfo);
27c75e4016db clarified code for emitting LIR code to save RBP Doug Simon <doug.simon@oracle.com> parents: 8892 diff changeset	479 if (hasDebugInfo) {
18434 06624c98ed8b Handel RBP and deoptimization rescue slot in AMD64FrameMapBuilder. Josef Eisl <josef.eisl@jku.at> parents: 18426 diff changeset	480 ((AMD64HotSpotLIRGenerationResult) getResult()).setDeoptimizationRescueSlot(((AMD64FrameMapBuilder) getResult().getFrameMapBuilder()).allocateDeoptimizationRescueSlot());
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	481 }
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	482
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	483 for (AMD64HotSpotEpilogueOp op : epilogueOps) {
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	484 op.savedRbp = savedRbp;
bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	485 }
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	486 if (BenchmarkCounters.enabled) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	487 // ensure that the rescue slot is available
20071 32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	488 LIRInstruction op = getOrInitRescueSlotOp();
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	489 // insert dummy instruction into the start block
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	490 LIR lir = getResult().getLIR();
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	491 List<LIRInstruction> instructions = lir.getLIRforBlock(lir.getControlFlowGraph().getStartBlock());
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	492 instructions.add(1, op);
32e2857bb2bb AMD64HotSpotLIRGenerator: insert RescueSlotDummyOp only in #beforeRegisterAllocation. Josef Eisl <josef.eisl@jku.at> parents: 19972 diff changeset	493 Debug.dump(lir, "created rescue dummy op");
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	494 }
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	495 }
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	496
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	497 private static LIRKind toStackKind(LIRKind kind) {
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	498 if (kind.getPlatformKind() instanceof Kind) {
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	499 Kind stackKind = ((Kind) kind.getPlatformKind()).getStackKind();
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	500 return kind.changeType(stackKind);
14945 b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	501 } else {
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	502 return kind;
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	503 }
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	504 }
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	505
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	506 public void emitPushInterpreterFrame(Value frameSize, Value framePc, Value senderSp, Value initialInfo) {
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	507 Variable frameSizeVariable = load(frameSize);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	508 Variable framePcVariable = load(framePc);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	509 Variable senderSpVariable = load(senderSp);
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	510 Variable initialInfoVariable = load(initialInfo);
18526 be44c1ca8f00 removed static access to HotSpotGraalRuntime from some AMD64 HotSpot classes Doug Simon <doug.simon@oracle.com> parents: 18490 diff changeset	511 append(new AMD64HotSpotPushInterpreterFrameOp(frameSizeVariable, framePcVariable, senderSpVariable, initialInfoVariable, config));
15104 ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	512 }
ed29f7ff71eb add DeoptimizationStub twisti parents: 15058 diff changeset	513
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	514 @Override
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	515 public Variable emitLoad(LIRKind kind, Value address, LIRFrameState state) {
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	516 AMD64AddressValue loadAddress = asAddressValue(address);
14945 b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	517 Variable result = newVariable(toStackKind(kind));
19972 f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	518 switch ((Kind) kind.getPlatformKind()) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	519 case Boolean:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	520 append(new AMD64Unary.MemoryOp(MOVZXB, DWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	521 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	522 case Byte:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	523 append(new AMD64Unary.MemoryOp(MOVSXB, DWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	524 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	525 case Char:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	526 append(new AMD64Unary.MemoryOp(MOVZX, DWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	527 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	528 case Short:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	529 append(new AMD64Unary.MemoryOp(MOVSX, DWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	530 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	531 case Int:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	532 append(new AMD64Unary.MemoryOp(MOV, DWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	533 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	534 case Long:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	535 case Object:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	536 append(new AMD64Unary.MemoryOp(MOV, QWORD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	537 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	538 case Float:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	539 append(new AMD64Unary.MemoryOp(MOVSS, SS, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	540 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	541 case Double:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	542 append(new AMD64Unary.MemoryOp(MOVSD, SD, result, loadAddress, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	543 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	544 default:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	545 throw GraalInternalError.shouldNotReachHere();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	546 }
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	547 return result;
ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	548 }
ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	549
19972 f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	550 private void emitStoreConst(Kind kind, AMD64AddressValue address, JavaConstant value, LIRFrameState state) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	551 if (value.isNull()) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	552 assert kind == Kind.Int \|\| kind == Kind.Long \|\| kind == Kind.Object;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	553 OperandSize size = kind == Kind.Int ? DWORD : QWORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	554 append(new AMD64BinaryConsumer.MemoryConstOp(AMD64MIOp.MOV, size, address, 0, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	555 } else if (value instanceof HotSpotConstant) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	556 HotSpotConstant c = (HotSpotConstant) value;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	557 if (c.isCompressed()) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	558 assert kind == Kind.Int;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	559 if (!target().inlineObjects && c instanceof HotSpotObjectConstant) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	560 emitStore(kind, address, asAllocatable(value), state);
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	561 } else {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	562 append(new AMD64HotSpotBinaryConsumer.MemoryConstOp(AMD64MIOp.MOV, address, c, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	563 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	564 } else {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	565 emitStore(kind, address, asAllocatable(value), state);
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	566 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	567 } else {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	568 AMD64MIOp op = AMD64MIOp.MOV;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	569 OperandSize size;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	570 long imm;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	571
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	572 switch (kind) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	573 case Boolean:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	574 case Byte:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	575 op = AMD64MIOp.MOVB;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	576 size = BYTE;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	577 imm = value.asInt();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	578 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	579 case Char:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	580 case Short:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	581 size = WORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	582 imm = value.asInt();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	583 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	584 case Int:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	585 size = DWORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	586 imm = value.asInt();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	587 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	588 case Long:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	589 size = QWORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	590 imm = value.asLong();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	591 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	592 case Float:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	593 size = DWORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	594 imm = Float.floatToRawIntBits(value.asFloat());
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	595 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	596 case Double:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	597 size = QWORD;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	598 imm = Double.doubleToRawLongBits(value.asDouble());
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	599 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	600 default:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	601 throw GraalInternalError.shouldNotReachHere("unexpected kind " + kind);
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	602 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	603
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	604 if (NumUtil.isInt(imm)) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	605 append(new AMD64BinaryConsumer.MemoryConstOp(op, size, address, (int) imm, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	606 } else {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	607 emitStore(kind, address, asAllocatable(value), state);
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	608 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	609 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	610 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	611
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	612 private void emitStore(Kind kind, AMD64AddressValue address, AllocatableValue value, LIRFrameState state) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	613 switch (kind) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	614 case Boolean:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	615 case Byte:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	616 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOVB, BYTE, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	617 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	618 case Char:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	619 case Short:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	620 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOV, WORD, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	621 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	622 case Int:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	623 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOV, DWORD, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	624 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	625 case Long:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	626 case Object:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	627 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOV, QWORD, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	628 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	629 case Float:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	630 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOVSS, SS, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	631 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	632 case Double:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	633 append(new AMD64BinaryConsumer.MemoryMROp(AMD64MROp.MOVSD, SD, address, value, state));
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	634 break;
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	635 default:
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	636 throw GraalInternalError.shouldNotReachHere();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	637 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	638 }
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	639
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	640 @Override
19972 f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	641 public void emitStore(LIRKind lirKind, Value address, Value input, LIRFrameState state) {
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	642 AMD64AddressValue storeAddress = asAddressValue(address);
19972 f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	643 Kind kind = (Kind) lirKind.getPlatformKind();
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	644 if (isConstant(input)) {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	645 emitStoreConst(kind, storeAddress, asConstant(input), state);
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	646 } else {
f259c81821ef Simplify code generation for AMD64 memory access instructions. Roland Schatz <roland.schatz@oracle.com> parents: 19971 diff changeset	647 emitStore(kind, storeAddress, asAllocatable(input), state);
9885 ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	648 }
ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	649 }
ed86945795d5 Add Compressed Oops support in LIR Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9768 diff changeset	650
14943 e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	651 @Override
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	652 public Value emitCompress(Value pointer, CompressEncoding encoding, boolean nonNull) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	653 LIRKind inputKind = pointer.getLIRKind();
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	654 assert inputKind.getPlatformKind() == Kind.Long \|\| inputKind.getPlatformKind() == Kind.Object;
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	655 if (inputKind.isReference(0)) {
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	656 // oop
16116 9e5a323e0a1e Remove hotspot specific NarrowOop kind, use LIRKind.reference(Kind.Int) instead. Roland Schatz <roland.schatz@oracle.com> parents: 16104 diff changeset	657 Variable result = newVariable(LIRKind.reference(Kind.Int));
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	658 append(new AMD64HotSpotMove.CompressPointer(result, asAllocatable(pointer), getProviders().getRegisters().getHeapBaseRegister().asValue(), encoding, nonNull));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	659 return result;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	660 } else {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	661 // metaspace pointer
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	662 Variable result = newVariable(LIRKind.value(Kind.Int));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	663 AllocatableValue base = Value.ILLEGAL;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	664 if (encoding.base != 0) {
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	665 base = emitMove(JavaConstant.forLong(encoding.base));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	666 }
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	667 append(new AMD64HotSpotMove.CompressPointer(result, asAllocatable(pointer), base, encoding, nonNull));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	668 return result;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	669 }
14943 e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	670 }
e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	671
e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	672 @Override
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	673 public Value emitUncompress(Value pointer, CompressEncoding encoding, boolean nonNull) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	674 LIRKind inputKind = pointer.getLIRKind();
16116 9e5a323e0a1e Remove hotspot specific NarrowOop kind, use LIRKind.reference(Kind.Int) instead. Roland Schatz <roland.schatz@oracle.com> parents: 16104 diff changeset	675 assert inputKind.getPlatformKind() == Kind.Int;
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	676 if (inputKind.isReference(0)) {
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	677 // oop
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	678 Variable result = newVariable(LIRKind.reference(Kind.Object));
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	679 append(new AMD64HotSpotMove.UncompressPointer(result, asAllocatable(pointer), getProviders().getRegisters().getHeapBaseRegister().asValue(), encoding, nonNull));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	680 return result;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	681 } else {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	682 // metaspace pointer
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	683 Variable result = newVariable(LIRKind.value(Kind.Long));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	684 AllocatableValue base = Value.ILLEGAL;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	685 if (encoding.base != 0) {
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	686 base = emitMove(JavaConstant.forLong(encoding.base));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	687 }
15058 895e9ecedfe8 Fix code generation for compressed metaspace pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15024 diff changeset	688 append(new AMD64HotSpotMove.UncompressPointer(result, asAllocatable(pointer), base, encoding, nonNull));
15023 652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	689 return result;
652564fe42d5 Use CompressionNode for accessing compressed Klass pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15018 diff changeset	690 }
14943 e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	691 }
e5a55d280f24 Floating nodes for compressing and uncompressing pointers. Roland Schatz <roland.schatz@oracle.com> parents: 14921 diff changeset	692
14945 b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	693 @Override
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	694 protected AMD64LIRInstruction createMove(AllocatableValue dst, Value src) {
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	695 if (src instanceof JavaConstant) {
9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	696 return new AMD64HotSpotMove.HotSpotLoadConstantOp(dst, (JavaConstant) src);
14945 b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	697 } else {
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	698 return super.createMove(dst, src);
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	699 }
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	700 }
b14cb2d9253d Make compression and uncompression explicit in the high level graph. Roland Schatz <roland.schatz@oracle.com> parents: 14943 diff changeset	701
19131 cd49455040c1 LIRGeneratorTool: change return type from Value to Variable for most emit methods. Josef Eisl <josef.eisl@jku.at> parents: 18976 diff changeset	702 public Variable emitCompareAndSwap(Value address, Value expectedValue, Value newValue, Value trueValue, Value falseValue) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	703 LIRKind kind = newValue.getLIRKind();
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	704 assert kind.equals(expectedValue.getLIRKind());
16116 9e5a323e0a1e Remove hotspot specific NarrowOop kind, use LIRKind.reference(Kind.Int) instead. Roland Schatz <roland.schatz@oracle.com> parents: 16104 diff changeset	705 Kind memKind = (Kind) kind.getPlatformKind();
15024 2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	706
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	707 AMD64AddressValue addressValue = asAddressValue(address);
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	708 RegisterValue raxRes = AMD64.rax.asValue(kind);
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	709 emitMove(raxRes, expectedValue);
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	710 append(new CompareAndSwapOp(memKind, raxRes, addressValue, raxRes, asAllocatable(newValue)));
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	711
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	712 assert trueValue.getLIRKind().equals(falseValue.getLIRKind());
c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	713 Variable result = newVariable(trueValue.getLIRKind());
15024 2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	714 append(new CondMoveOp(result, Condition.EQ, asAllocatable(trueValue), falseValue));
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	715 return result;
2ee777221036 Use high level CompressionNode in lowering of CompareAndSwapNode. Roland Schatz <roland.schatz@oracle.com> parents: 15023 diff changeset	716 }
15251 de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	717
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	718 public Value emitAtomicReadAndAdd(Value address, Value delta) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	719 LIRKind kind = delta.getLIRKind();
16116 9e5a323e0a1e Remove hotspot specific NarrowOop kind, use LIRKind.reference(Kind.Int) instead. Roland Schatz <roland.schatz@oracle.com> parents: 16104 diff changeset	720 Kind memKind = (Kind) kind.getPlatformKind();
15251 de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	721 Variable result = newVariable(kind);
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	722 AMD64AddressValue addressValue = asAddressValue(address);
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	723 append(new AMD64Move.AtomicReadAndAddOp(memKind, result, addressValue, asAllocatable(delta)));
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	724 return result;
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	725 }
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	726
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	727 public Value emitAtomicReadAndWrite(Value address, Value newValue) {
16094 c0b8d395368b Introduce LIRKind to accurately track oop references in backend. Roland Schatz <roland.schatz@oracle.com> parents: 16083 diff changeset	728 LIRKind kind = newValue.getLIRKind();
16116 9e5a323e0a1e Remove hotspot specific NarrowOop kind, use LIRKind.reference(Kind.Int) instead. Roland Schatz <roland.schatz@oracle.com> parents: 16104 diff changeset	729 Kind memKind = (Kind) kind.getPlatformKind();
15251 de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	730 Variable result = newVariable(kind);
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	731 AMD64AddressValue addressValue = asAddressValue(address);
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	732 append(new AMD64Move.AtomicReadAndWriteOp(memKind, result, addressValue, asAllocatable(newValue)));
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	733 return result;
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	734 }
de1d50c121cd Unsafe.getAndAdd/Set method substitutions twisti parents: 15200 diff changeset	735
15554 cf994cc23b54 Move emitNullCheck from NodeLIRBuilderTool to LIRGeneratorTool. Josef Eisl <josef.eisl@jku.at> parents: 15456 diff changeset	736 public void emitNullCheck(Value address, LIRFrameState state) {
16710 56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	737 if (address.getLIRKind().getPlatformKind() == Kind.Int) {
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	738 CompressEncoding encoding = config.getOopEncoding();
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	739 if (encoding.shift <= 3) {
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	740 AMD64AddressValue uncompressionAddress = emitAddress(getProviders().getRegisters().getHeapBaseRegister().asValue(), 0, load(address), 1 << encoding.shift);
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	741 append(new AMD64HotSpotMove.CompressedNullCheckOp(uncompressionAddress, state));
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	742 } else {
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	743 Value uncompress = emitUncompress(address, encoding, false);
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	744 append(new AMD64Move.NullCheckOp(load(uncompress), state));
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	745 }
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	746 } else {
18490 ca81508f2a19 Generalize NULL handling to work on arbitrary pointers. Roland Schatz <roland.schatz@oracle.com> parents: 18481 diff changeset	747 assert address.getKind() == Kind.Object \|\| address.getKind() == Kind.Long : address + " - " + address.getKind() + " not a pointer!";
16710 56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	748 append(new AMD64Move.NullCheckOp(load(address), state));
56bcde831179 support for compressed inputs to NullCheckNode Lukas Stadler <lukas.stadler@oracle.com> parents: 16116 diff changeset	749 }
15554 cf994cc23b54 Move emitNullCheck from NodeLIRBuilderTool to LIRGeneratorTool. Josef Eisl <josef.eisl@jku.at> parents: 15456 diff changeset	750 }
15909 e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	751
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	752 @Override
16104 4dd2cedc7f57 Revert using LIRKind.reference(Kind.Int) instead of hotspot specific NarrowOop kind (part of c0b8d395368b). Roland Schatz <roland.schatz@oracle.com> parents: 16094 diff changeset	753 protected void emitCompareOp(PlatformKind cmpKind, Variable left, Value right) {
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	754 if (HotSpotCompressedNullConstant.COMPRESSED_NULL.equals(right)) {
19971 46dde3e92715 Restructure AMD64 LIR classes. Roland Schatz <roland.schatz@oracle.com> parents: 19910 diff changeset	755 append(new AMD64BinaryConsumer.Op(TEST, DWORD, left, left));
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	756 } else if (right instanceof HotSpotConstant) {
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	757 HotSpotConstant c = (HotSpotConstant) right;
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	758
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	759 boolean isImmutable = GraalOptions.ImmutableCode.getValue();
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	760 boolean generatePIC = GraalOptions.GeneratePIC.getValue();
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	761 if (c.isCompressed() && !(isImmutable && generatePIC)) {
19971 46dde3e92715 Restructure AMD64 LIR classes. Roland Schatz <roland.schatz@oracle.com> parents: 19910 diff changeset	762 append(new AMD64HotSpotBinaryConsumer.ConstOp(CMP.getMIOpcode(DWORD, false), left, c));
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	763 } else {
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	764 OperandSize size = c.isCompressed() ? DWORD : QWORD;
19971 46dde3e92715 Restructure AMD64 LIR classes. Roland Schatz <roland.schatz@oracle.com> parents: 19910 diff changeset	765 append(new AMD64BinaryConsumer.DataOp(CMP.getRMOpcode(size), size, left, c));
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	766 }
15910 79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	767 } else {
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	768 super.emitCompareOp(cmpKind, left, right);
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	769 }
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	770 }
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	771
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	772 @Override
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	773 protected boolean emitCompareMemoryConOp(OperandSize size, JavaConstant a, AMD64AddressValue b, LIRFrameState state) {
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	774 if (a.isNull()) {
19971 46dde3e92715 Restructure AMD64 LIR classes. Roland Schatz <roland.schatz@oracle.com> parents: 19910 diff changeset	775 append(new AMD64BinaryConsumer.MemoryConstOp(CMP, size, b, 0, state));
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	776 return true;
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	777 } else if (a instanceof HotSpotConstant && size == DWORD) {
89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	778 assert ((HotSpotConstant) a).isCompressed();
19971 46dde3e92715 Restructure AMD64 LIR classes. Roland Schatz <roland.schatz@oracle.com> parents: 19910 diff changeset	779 append(new AMD64HotSpotBinaryConsumer.MemoryConstOp(CMP.getMIOpcode(size, false), b, (HotSpotConstant) a, state));
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	780 return true;
15910 79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	781 } else {
19867 89c729e9e0a4 Refactoring of AMD64 code generation. Roland Schatz <roland.schatz@oracle.com> parents: 19866 diff changeset	782 return super.emitCompareMemoryConOp(size, a, b, state);
15910 79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	783 }
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	784 }
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	785
79a0d9065849 Support direct comparison of compressed pointers. Roland Schatz <roland.schatz@oracle.com> parents: 15909 diff changeset	786 @Override
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18176 diff changeset	787 public boolean canInlineConstant(JavaConstant c) {
15909 e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	788 if (HotSpotCompressedNullConstant.COMPRESSED_NULL.equals(c)) {
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	789 return true;
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	790 } else if (c instanceof HotSpotObjectConstant) {
18289 7acff34abbf7 replaced HotSpotObjectConstantImpl.isCompressed() with HotSpotObjectConstant.isCompressed() Doug Simon <doug.simon@oracle.com> parents: 18266 diff changeset	791 return ((HotSpotObjectConstant) c).isCompressed();
15909 e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	792 } else {
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	793 return super.canInlineConstant(c);
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	794 }
e43591136d9f Support for compressed constants. Roland Schatz <roland.schatz@oracle.com> parents: 15554 diff changeset	795 }
19910 3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	796
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	797 @Override
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	798 public LIRInstruction createBenchmarkCounter(String name, String group, Value increment) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	799 if (BenchmarkCounters.enabled) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	800 return new AMD64HotSpotCounterOp(name, group, increment, getProviders().getRegisters(), config, getOrInitRescueSlot());
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	801 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	802 return null;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	803 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	804
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	805 @Override
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	806 public LIRInstruction createMultiBenchmarkCounter(String[] names, String[] groups, Value[] increments) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	807 if (BenchmarkCounters.enabled) {
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	808 return new AMD64HotSpotCounterOp(names, groups, increments, getProviders().getRegisters(), config, getOrInitRescueSlot());
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	809 }
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	810 return null;
3bc0ac89fa5a {AMD64,SPARC}HotSpotLIRGenerator: implement createBenchmarkCounter(). Josef Eisl <josef.eisl@jku.at> parents: 19867 diff changeset	811 }
8303 bb9fba66b6ef refactored HotSpotAMD64LIRGenerator into its own file Doug Simon <doug.simon@oracle.com> parents: diff changeset	812 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.hotspot.amd64/src/com/oracle/graal/hotspot/amd64/AMD64HotSpotLIRGenerator.java @ 20072:bd3246bc0aaa