truffle: graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotRuntime.java annotate

annotate graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotRuntime.java @ 10947:e8dac30e274d

Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS

author	Christos Kotselidis <christos.kotselidis@oracle.com>
date	Fri, 02 Aug 2013 14:43:58 +0200
parents	0d6d064cd80c
children	97e282186b5b

rev	line source
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1 /*
4181 319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	2 * Copyright (c) 2011, 2012, Oracle and/or its affiliates. All rights reserved.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	4 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	8 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	13 * accompanied this code).
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	14 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	18 *
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	21 * questions.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	22 */
5548 8872bc0eebdf Renaming hotspot.ri => hotspot.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5547 diff changeset	23 package com.oracle.graal.hotspot.meta;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	24
7558 223f645acb9b added compilation rate measurements on top of existing metric/timer facility - enabled with -Dgraal.benchmark.compilation=true Doug Simon <doug.simon@oracle.com> parents: 7530 diff changeset	25 import static com.oracle.graal.api.code.CallingConvention.Type.*;
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	26 import static com.oracle.graal.api.code.DeoptimizationAction.*;
6498 6bc8aa568cb9 moved MemoryBarriers to com.oracle.graal.api.code Doug Simon <doug.simon@oracle.com> parents: 6494 diff changeset	27 import static com.oracle.graal.api.code.MemoryBarriers.*;
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	28 import static com.oracle.graal.api.meta.DeoptimizationReason.*;
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	29 import static com.oracle.graal.api.meta.LocationIdentity.*;
7672 1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	30 import static com.oracle.graal.graph.UnsafeAccess.*;
9455 62af2ee39bc5 moved initialization of UNCOMMON_TRAP descriptor from AMD64 code to platform independent code Doug Simon <doug.simon@oracle.com> parents: 9425 diff changeset	31 import static com.oracle.graal.hotspot.HotSpotBackend.*;
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	32 import static com.oracle.graal.hotspot.HotSpotForeignCallLinkage.RegisterEffect.*;
c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	33 import static com.oracle.graal.hotspot.HotSpotForeignCallLinkage.Transition.*;
9747 8e5461c4c82e replaced NewMultiArrayStub use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9743 diff changeset	34 import static com.oracle.graal.hotspot.HotSpotGraalRuntime.*;
9590 5f9c41cd3b1e replaced monitorenter/monitorexit assembler stubs with compiled stubs (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9577 diff changeset	35 import static com.oracle.graal.hotspot.nodes.MonitorExitStubCall.*;
8627 75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	36 import static com.oracle.graal.hotspot.nodes.NewArrayStubCall.*;
75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	37 import static com.oracle.graal.hotspot.nodes.NewInstanceStubCall.*;
9355 4e260c2ced0e removed new_multi_array assembler stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9339 diff changeset	38 import static com.oracle.graal.hotspot.nodes.NewMultiArrayStubCall.*;
9594 743326387173 replaced vm_error assembler stub with compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9593 diff changeset	39 import static com.oracle.graal.hotspot.nodes.VMErrorNode.*;
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	40 import static com.oracle.graal.hotspot.replacements.HotSpotReplacementsUtil.*;
9771 4de03457d5c8 replaced MonitorEnterStubCall with usage of ForeignCallNode Doug Simon <doug.simon@oracle.com> parents: 9752 diff changeset	41 import static com.oracle.graal.hotspot.replacements.MonitorSnippets.*;
10586 110434bc2913 Remove unnecessary class. Roland Schatz <roland.schatz@oracle.com> parents: 10581 diff changeset	42 import static com.oracle.graal.hotspot.replacements.NewObjectSnippets.*;
8415 2361bf148c06 rename packages: snippets -> replacements Doug Simon <doug.simon@oracle.com> parents: 8412 diff changeset	43 import static com.oracle.graal.hotspot.replacements.SystemSubstitutions.*;
9772 9c5078e16fd9 replaced ThreadIsInterruptedStubCall with usage of ForeignCallNode Doug Simon <doug.simon@oracle.com> parents: 9771 diff changeset	44 import static com.oracle.graal.hotspot.replacements.ThreadSubstitutions.*;
10542 554f67e4ff3f Use slow-path stub call instead of deopt in lowering of DynamicNewArrayNode. Roland Schatz <roland.schatz@oracle.com> parents: 10536 diff changeset	45 import static com.oracle.graal.hotspot.replacements.WriteBarrierSnippets.*;
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	46 import static com.oracle.graal.hotspot.stubs.ExceptionHandlerStub.*;
9418 8d3a7fb9eb5f moved binding of parameter locations to runtime call descriptors from platform specific code to shared code for stubs that are now compiled stubs Doug Simon <doug.simon@oracle.com> parents: 9380 diff changeset	47 import static com.oracle.graal.hotspot.stubs.NewArrayStub.*;
8d3a7fb9eb5f moved binding of parameter locations to runtime call descriptors from platform specific code to shared code for stubs that are now compiled stubs Doug Simon <doug.simon@oracle.com> parents: 9380 diff changeset	48 import static com.oracle.graal.hotspot.stubs.NewInstanceStub.*;
9618 bd4a7d657dcc moved static methods out of Stub into StubUtil Doug Simon <doug.simon@oracle.com> parents: 9616 diff changeset	49 import static com.oracle.graal.hotspot.stubs.StubUtil.*;
9562 99ef9bcb3f32 replaced unwind_exception_call assembler stub with a compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9504 diff changeset	50 import static com.oracle.graal.hotspot.stubs.UnwindExceptionToCallerStub.*;
7558 223f645acb9b added compilation rate measurements on top of existing metric/timer facility - enabled with -Dgraal.benchmark.compilation=true Doug Simon <doug.simon@oracle.com> parents: 7530 diff changeset	51 import static com.oracle.graal.java.GraphBuilderPhase.RuntimeCalls.*;
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	52 import static com.oracle.graal.nodes.java.RegisterFinalizerNode.*;
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	53 import static com.oracle.graal.phases.GraalOptions.*;
8415 2361bf148c06 rename packages: snippets -> replacements Doug Simon <doug.simon@oracle.com> parents: 8412 diff changeset	54 import static com.oracle.graal.replacements.Log.*;
2361bf148c06 rename packages: snippets -> replacements Doug Simon <doug.simon@oracle.com> parents: 8412 diff changeset	55 import static com.oracle.graal.replacements.MathSubstitutionsX86.*;
8627 75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	56
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	57 import java.lang.reflect.*;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	58 import java.util.*;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	59
7099 3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	60 import sun.misc.*;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	61
5510 426c605c9d3c Move cri.ci to api.code. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5507 diff changeset	62 import com.oracle.graal.api.code.*;
5760 87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	63 import com.oracle.graal.api.code.CodeUtil.RefMapFormatter;
87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	64 import com.oracle.graal.api.code.CompilationResult.Call;
87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	65 import com.oracle.graal.api.code.CompilationResult.DataPatch;
9296 1342574c4f7d Move targets can only be AllocatableValues. Roland Schatz <roland.schatz@oracle.com> parents: 9232 diff changeset	66 import com.oracle.graal.api.code.CompilationResult.Infopoint;
5760 87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	67 import com.oracle.graal.api.code.CompilationResult.Mark;
5507 dc71b06d09f8 Moving classes from cri.ri to api.meta. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5506 diff changeset	68 import com.oracle.graal.api.meta.*;
10835 04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	69 import com.oracle.graal.asm.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	70 import com.oracle.graal.graph.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	71 import com.oracle.graal.hotspot.*;
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	72 import com.oracle.graal.hotspot.HotSpotForeignCallLinkage.RegisterEffect;
9750 23a047fba2df removed redundant methods Doug Simon <doug.simon@oracle.com> parents: 9749 diff changeset	73 import com.oracle.graal.hotspot.HotSpotForeignCallLinkage.Transition;
6462 b3f5dc099f9d removed XIR Doug Simon <doug.simon@oracle.com> parents: 6460 diff changeset	74 import com.oracle.graal.hotspot.bridge.*;
7113 38076efb9062 Do not print code installation failures from Java. Gilles Duboscq <duboscq@ssw.jku.at> parents: 7104 diff changeset	75 import com.oracle.graal.hotspot.bridge.CompilerToVM.CodeInstallResult;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	76 import com.oracle.graal.hotspot.nodes.*;
9969 b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	77 import com.oracle.graal.hotspot.phases.*;
8415 2361bf148c06 rename packages: snippets -> replacements Doug Simon <doug.simon@oracle.com> parents: 8412 diff changeset	78 import com.oracle.graal.hotspot.replacements.*;
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7130 diff changeset	79 import com.oracle.graal.hotspot.stubs.*;
7784 016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	80 import com.oracle.graal.java.*;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	81 import com.oracle.graal.nodes.*;
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	82 import com.oracle.graal.nodes.HeapAccess.BarrierType;
5060 4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	83 import com.oracle.graal.nodes.calc.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	84 import com.oracle.graal.nodes.extended.*;
4ed4295ce15f Update import statements. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5059 diff changeset	85 import com.oracle.graal.nodes.java.*;
5829 0095a9c235c6 incomplete (non XIR) support for inlining virtual dispatch at call sites - all design questions yet to be addressed Doug Simon <doug.simon@oracle.com> parents: 5823 diff changeset	86 import com.oracle.graal.nodes.java.MethodCallTargetNode.InvokeKind;
5720 46ad94a0574a moved everything from com.oracle.graal.nodes.cri into com.oracle.graal.nodes.spi Doug Simon <doug.simon@oracle.com> parents: 5719 diff changeset	87 import com.oracle.graal.nodes.spi.*;
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	88 import com.oracle.graal.nodes.spi.Lowerable.LoweringType;
5076 01ffb0fc9aec propagate stamps while lowering Lukas Stadler <lukas.stadler@jku.at> parents: 5067 diff changeset	89 import com.oracle.graal.nodes.type.*;
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	90 import com.oracle.graal.nodes.virtual.*;
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	91 import com.oracle.graal.phases.tiers.*;
6699 d79098b9db3b Support for interfaces in the Graal API: Make interfaces implemented by a ResolvedJavaType available; change semantics of ResolvedJavaType.getSuperclass to return null for interfaces (to conform with java.lang.Class); change semantics of ResolvedJavaType.isInstanceClass to return false for interfaces. Christian Wimmer <christian.wimmer@oracle.com> parents: 6686 diff changeset	92 import com.oracle.graal.printer.*;
8627 75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	93 import com.oracle.graal.replacements.*;
7300 2912b72d840a More complete and reusable Word type Christian Wimmer <christian.wimmer@oracle.com> parents: 7278 diff changeset	94 import com.oracle.graal.word.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	95
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	96 /**
6494 df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	97 * HotSpot implementation of {@link GraalCodeCacheProvider}.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	98 */
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	99 public abstract class HotSpotRuntime implements GraalCodeCacheProvider, DisassemblerProvider, BytecodeDisassemblerProvider, SuitesProvider {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	100
9737 34c892fdfb6d moved responsibility for determining if a foreign call has a side effect to the runtime Doug Simon <doug.simon@oracle.com> parents: 9736 diff changeset	101 public static final ForeignCallDescriptor OSR_MIGRATION_END = new ForeignCallDescriptor("OSR_migration_end", void.class, long.class);
34c892fdfb6d moved responsibility for determining if a foreign call has a side effect to the runtime Doug Simon <doug.simon@oracle.com> parents: 9736 diff changeset	102 public static final ForeignCallDescriptor IDENTITY_HASHCODE = new ForeignCallDescriptor("identity_hashcode", int.class, Object.class);
9773 8a1b0a3d4fc3 replaced VerifyOopStubCall with usage of ForeignCallNode Doug Simon <doug.simon@oracle.com> parents: 9772 diff changeset	103 public static final ForeignCallDescriptor VERIFY_OOP = new ForeignCallDescriptor("verify_oop", Object.class, Object.class);
9820 1b60f639ac4b implemented alternative implementation for loading the exception object from the thread at the start of an exception dispatcher Doug Simon <doug.simon@oracle.com> parents: 9819 diff changeset	104 public static final ForeignCallDescriptor LOAD_AND_CLEAR_EXCEPTION = new ForeignCallDescriptor("load_and_clear_exception", Object.class, Word.class);
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	105
5233 efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	106 public final HotSpotVMConfig config;
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	107
9717 f8e0bf2c70e2 consolidated the two RegisterConfig instances for HotSpotRuntime into one Doug Simon <doug.simon@oracle.com> parents: 9694 diff changeset	108 protected final RegisterConfig regConfig;
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	109 protected final HotSpotGraalRuntime graalRuntime;
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	110 private final Suites defaultSuites;
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	111
5563 6a2671066204 added NewInstanceSnippets for lowering NewInstanceNodes (currently disabled by default) Doug Simon <doug.simon@oracle.com> parents: 5554 diff changeset	112 private CheckCastSnippets.Templates checkcastSnippets;
6302 5d7d9a6953bd added InstanceOfSnippets which passes InstanceOfTest but is not yet enabled for general lowering Doug Simon <doug.simon@oracle.com> parents: 5842 diff changeset	113 private InstanceOfSnippets.Templates instanceofSnippets;
5760 87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	114 private NewObjectSnippets.Templates newObjectSnippets;
6386 abeeb57b655d added MonitorSnippets which passes MonitorTest but is not yet enabled for general lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	115 private MonitorSnippets.Templates monitorSnippets;
8488 225c984588ee -Snippetization of CMS write barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 7784 diff changeset	116 private WriteBarrierSnippets.Templates writeBarrierSnippets;
8913 653110156f8a refactored boxing identification and lowering, removed BoxingMethodPool and explicit boxing phases Lukas Stadler <lukas.stadler@jku.at> parents: 8627 diff changeset	117 private BoxingSnippets.Templates boxingSnippets;
8643 3d2c2b68fe93 lower ExceptionObjectNode with a snippet (GRAAL-133) Doug Simon <doug.simon@oracle.com> parents: 8642 diff changeset	118 private LoadExceptionObjectSnippets.Templates exceptionObjectSnippets;
10801 4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	119 private UnsafeLoadSnippets.Templates unsafeLoadSnippets;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	120
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	121 private final Map<ForeignCallDescriptor, HotSpotForeignCallLinkage> foreignCalls = new HashMap<>();
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7130 diff changeset	122
445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7130 diff changeset	123 /**
7099 3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	124 * The offset from the origin of an array to the first element.
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	125 *
7099 3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	126 * @return the offset in bytes
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	127 */
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	128 public static int getArrayBaseOffset(Kind kind) {
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	129 switch (kind) {
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	130 case Boolean:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	131 return Unsafe.ARRAY_BOOLEAN_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	132 case Byte:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	133 return Unsafe.ARRAY_BYTE_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	134 case Char:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	135 return Unsafe.ARRAY_CHAR_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	136 case Short:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	137 return Unsafe.ARRAY_SHORT_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	138 case Int:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	139 return Unsafe.ARRAY_INT_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	140 case Long:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	141 return Unsafe.ARRAY_LONG_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	142 case Float:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	143 return Unsafe.ARRAY_FLOAT_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	144 case Double:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	145 return Unsafe.ARRAY_DOUBLE_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	146 case Object:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	147 return Unsafe.ARRAY_OBJECT_BASE_OFFSET;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	148 default:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	149 throw GraalInternalError.shouldNotReachHere();
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	150 }
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	151 }
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	152
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	153 /**
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	154 * The scale used for the index when accessing elements of an array of this kind.
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	155 *
7099 3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	156 * @return the scale in order to convert the index into a byte offset
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	157 */
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	158 public static int getArrayIndexScale(Kind kind) {
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	159 switch (kind) {
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	160 case Boolean:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	161 return Unsafe.ARRAY_BOOLEAN_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	162 case Byte:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	163 return Unsafe.ARRAY_BYTE_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	164 case Char:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	165 return Unsafe.ARRAY_CHAR_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	166 case Short:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	167 return Unsafe.ARRAY_SHORT_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	168 case Int:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	169 return Unsafe.ARRAY_INT_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	170 case Long:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	171 return Unsafe.ARRAY_LONG_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	172 case Float:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	173 return Unsafe.ARRAY_FLOAT_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	174 case Double:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	175 return Unsafe.ARRAY_DOUBLE_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	176 case Object:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	177 return Unsafe.ARRAY_OBJECT_INDEX_SCALE;
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	178 default:
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	179 throw GraalInternalError.shouldNotReachHere();
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	180 }
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	181 }
3656236c7d27 Cleanup of Kind class: remove use of Unsafe class Christian Wimmer <christian.wimmer@oracle.com> parents: 7098 diff changeset	182
9693 d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	183 public HotSpotRuntime(HotSpotVMConfig c, HotSpotGraalRuntime graalRuntime) {
d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	184 this.config = c;
d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	185 this.graalRuntime = graalRuntime;
9717 f8e0bf2c70e2 consolidated the two RegisterConfig instances for HotSpotRuntime into one Doug Simon <doug.simon@oracle.com> parents: 9694 diff changeset	186 regConfig = createRegisterConfig();
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	187 defaultSuites = createSuites();
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	188 }
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	189
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	190 protected abstract RegisterConfig createRegisterConfig();
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	191
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	192 /**
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	193 * Registers the linkage for a foreign call.
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	194 */
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	195 protected HotSpotForeignCallLinkage register(HotSpotForeignCallLinkage linkage) {
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	196 assert !foreignCalls.containsKey(linkage.getDescriptor()) : "already registered linkage for " + linkage.getDescriptor();
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	197 foreignCalls.put(linkage.getDescriptor(), linkage);
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	198 return linkage;
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	199 }
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	200
2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	201 /**
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	202 * Creates and registers the details for linking a foreign call to a {@link Stub}.
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	203 *
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	204 * @param descriptor the signature of the call to the stub
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	205 * @param reexecutable specifies if the stub call can be re-executed without (meaningful) side
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	206 * effects. Deoptimization will not return to a point before a stub call that cannot
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	207 * be re-executed.
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	208 * @param transition specifies if this is a {@linkplain Transition#LEAF leaf} call
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	209 * @param killedLocations the memory locations killed by the stub call
9200 9be78aeab2e1 temporaries are recorded for compiled stubs, allowing for better register allocation around calls to such stubs (GRAAL-210) Doug Simon <doug.simon@oracle.com> parents: 9183 diff changeset	210 */
10837 981c8a4d711a Make VerifyOopStub leaf call Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10829 diff changeset	211 protected HotSpotForeignCallLinkage registerStubCall(ForeignCallDescriptor descriptor, boolean reexecutable, Transition transition, LocationIdentity... killedLocations) {
10870 886c2df7a7e4 Stubs need both an outgoing and incoming calling convention. twisti parents: 10865 diff changeset	212 return register(HotSpotForeignCallLinkage.create(descriptor, 0L, PRESERVES_REGISTERS, JavaCall, JavaCallee, transition, reexecutable, killedLocations));
9562 99ef9bcb3f32 replaced unwind_exception_call assembler stub with a compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9504 diff changeset	213 }
99ef9bcb3f32 replaced unwind_exception_call assembler stub with a compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9504 diff changeset	214
99ef9bcb3f32 replaced unwind_exception_call assembler stub with a compiled stub (GRAAL-81) Doug Simon <doug.simon@oracle.com> parents: 9504 diff changeset	215 /**
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	216 * Creates and registers the linkage for a foreign call.
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	217 *
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	218 * @param descriptor the signature of the foreign call
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	219 * @param address the address of the code to call
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	220 * @param outgoingCcType outgoing (caller) calling convention type
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	221 * @param effect specifies if the call destroys or preserves all registers (apart from
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	222 * temporaries which are always destroyed)
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	223 * @param transition specifies if this is a {@linkplain Transition#LEAF leaf} call
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	224 * @param reexecutable specifies if the foreign call can be re-executed without (meaningful)
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	225 * side effects. Deoptimization will not return to a point before a foreign call that
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	226 * cannot be re-executed.
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	227 * @param killedLocations the memory locations killed by the foreign call
6521 2a0c9f20baa1 consolidated framework for runtime and stub calls and moved declaration of descriptors for such calls to the source file in which they are used Doug Simon <doug.simon@oracle.com> parents: 6500 diff changeset	228 */
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	229 protected HotSpotForeignCallLinkage registerForeignCall(ForeignCallDescriptor descriptor, long address, CallingConvention.Type outgoingCcType, RegisterEffect effect, Transition transition,
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	230 boolean reexecutable, LocationIdentity... killedLocations) {
9750 23a047fba2df removed redundant methods Doug Simon <doug.simon@oracle.com> parents: 9749 diff changeset	231 Class<?> resultType = descriptor.getResultType();
9819 8aea948c522b added support for the runtime to specify for each foreign call whether deoptimization can occur during the call Doug Simon <doug.simon@oracle.com> parents: 9793 diff changeset	232 assert transition == LEAF \|\| resultType.isPrimitive() \|\| Word.class.isAssignableFrom(resultType) : "non-leaf foreign calls must return objects in thread local storage: " + descriptor;
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	233 return register(HotSpotForeignCallLinkage.create(descriptor, address, effect, outgoingCcType, null, transition, reexecutable, killedLocations));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	236 private static void link(Stub stub) {
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	237 stub.getLinkage().setCompiledStub(stub);
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	238 }
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	239
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	240 /**
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	241 * Creates a {@linkplain ForeignCallStub stub} for a foreign call.
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	242 *
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	243 * @param descriptor the signature of the call to the stub
de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	244 * @param address the address of the foreign code to call
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	245 * @param prependThread true if the JavaThread value for the current thread is to be prepended
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	246 * to the arguments for the call to {@code address}
10873 de55425d3cf5 small cleanups and extra documentation around foreign call linkage Doug Simon <doug.simon@oracle.com> parents: 10870 diff changeset	247 * @param transition specifies if this is a {@linkplain Transition#LEAF leaf} call
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	248 * @param reexecutable specifies if the foreign call can be re-executed without (meaningful)
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	249 * side effects. Deoptimization will not return to a point before a foreign call that
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	250 * cannot be re-executed.
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	251 * @param killedLocations the memory locations killed by the foreign call
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	252 */
10666 9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	253 private void linkForeignCall(Replacements replacements, ForeignCallDescriptor descriptor, long address, boolean prependThread, Transition transition, boolean reexecutable,
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	254 LocationIdentity... killedLocations) {
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	255 ForeignCallStub stub = new ForeignCallStub(this, replacements, address, descriptor, prependThread, transition, reexecutable, killedLocations);
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	256 HotSpotForeignCallLinkage linkage = stub.getLinkage();
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	257 HotSpotForeignCallLinkage targetLinkage = stub.getTargetLinkage();
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	258 linkage.setCompiledStub(stub);
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	259 register(linkage);
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	260 register(targetLinkage);
82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	261 }
6494 df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	262
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	263 public static final boolean PREPEND_THREAD = true;
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	264 public static final boolean DONT_PREPEND_THREAD = !PREPEND_THREAD;
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	265
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	266 public static final boolean REEXECUTABLE = true;
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	267 public static final boolean NOT_REEXECUTABLE = !REEXECUTABLE;
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	268
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	269 public static final LocationIdentity[] NO_LOCATIONS = {};
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	270
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	271 public void registerReplacements(Replacements r) {
9751 ff9829c21f21 replaced OSRMigrationEndStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9750 diff changeset	272 HotSpotVMConfig c = config;
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	273 TargetDescription target = getTarget();
9693 d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	274
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	275 registerForeignCall(UNCOMMON_TRAP, c.uncommonTrapStub, NativeCall, PRESERVES_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	276 registerForeignCall(DEOPT_HANDLER, c.handleDeoptStub, NativeCall, PRESERVES_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	277 registerForeignCall(IC_MISS_HANDLER, c.inlineCacheMissStub, NativeCall, PRESERVES_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
9693 d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	278
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	279 registerForeignCall(JAVA_TIME_MILLIS, c.javaTimeMillisAddress, NativeCall, DESTROYS_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	280 registerForeignCall(JAVA_TIME_NANOS, c.javaTimeNanosAddress, NativeCall, DESTROYS_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	281 registerForeignCall(ARITHMETIC_SIN, c.arithmeticSinAddress, NativeCall, DESTROYS_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	282 registerForeignCall(ARITHMETIC_COS, c.arithmeticCosAddress, NativeCall, DESTROYS_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	283 registerForeignCall(ARITHMETIC_TAN, c.arithmeticTanAddress, NativeCall, DESTROYS_REGISTERS, LEAF, REEXECUTABLE, NO_LOCATIONS);
9820 1b60f639ac4b implemented alternative implementation for loading the exception object from the thread at the start of an exception dispatcher Doug Simon <doug.simon@oracle.com> parents: 9819 diff changeset	284 registerForeignCall(LOAD_AND_CLEAR_EXCEPTION, c.loadAndClearExceptionAddress, NativeCall, DESTROYS_REGISTERS, LEAF, NOT_REEXECUTABLE, ANY_LOCATION);
9693 d04944441454 cleaned up and simplified runtime call mechanisms Doug Simon <doug.simon@oracle.com> parents: 9692 diff changeset	285
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	286 registerForeignCall(EXCEPTION_HANDLER_FOR_PC, c.exceptionHandlerForPcAddress, NativeCall, DESTROYS_REGISTERS, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	287 registerForeignCall(EXCEPTION_HANDLER_FOR_RETURN_ADDRESS, c.exceptionHandlerForReturnAddressAddress, NativeCall, DESTROYS_REGISTERS, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	288 registerForeignCall(NEW_ARRAY_C, c.newArrayAddress, NativeCall, DESTROYS_REGISTERS, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	289 registerForeignCall(NEW_INSTANCE_C, c.newInstanceAddress, NativeCall, DESTROYS_REGISTERS, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	290 registerForeignCall(VM_MESSAGE_C, c.vmMessageAddress, NativeCall, DESTROYS_REGISTERS, NOT_LEAF, REEXECUTABLE, NO_LOCATIONS);
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	291
10837 981c8a4d711a Make VerifyOopStub leaf call Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10829 diff changeset	292 link(new NewInstanceStub(this, r, target, registerStubCall(NEW_INSTANCE, REEXECUTABLE, NOT_LEAF, ANY_LOCATION)));
981c8a4d711a Make VerifyOopStub leaf call Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10829 diff changeset	293 link(new NewArrayStub(this, r, target, registerStubCall(NEW_ARRAY, REEXECUTABLE, NOT_LEAF, ANY_LOCATION)));
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	294 link(new ExceptionHandlerStub(this, r, target, foreignCalls.get(EXCEPTION_HANDLER)));
10837 981c8a4d711a Make VerifyOopStub leaf call Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10829 diff changeset	295 link(new UnwindExceptionToCallerStub(this, r, target, registerStubCall(UNWIND_EXCEPTION_TO_CALLER, NOT_REEXECUTABLE, NOT_LEAF, ANY_LOCATION)));
981c8a4d711a Make VerifyOopStub leaf call Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10829 diff changeset	296 link(new VerifyOopStub(this, r, target, registerStubCall(VERIFY_OOP, REEXECUTABLE, LEAF, NO_LOCATIONS)));
9752 82689c1c0dab replaced VMErrorStub with use of ForeignCallStub Doug Simon <doug.simon@oracle.com> parents: 9751 diff changeset	297
10666 9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	298 linkForeignCall(r, IDENTITY_HASHCODE, c.identityHashCodeAddress, PREPEND_THREAD, NOT_LEAF, NOT_REEXECUTABLE, MARK_WORD_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	299 linkForeignCall(r, REGISTER_FINALIZER, c.registerFinalizerAddress, PREPEND_THREAD, NOT_LEAF, NOT_REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	300 linkForeignCall(r, CREATE_NULL_POINTER_EXCEPTION, c.createNullPointerExceptionAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	301 linkForeignCall(r, CREATE_OUT_OF_BOUNDS_EXCEPTION, c.createOutOfBoundsExceptionAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	302 linkForeignCall(r, MONITORENTER, c.monitorenterAddress, PREPEND_THREAD, NOT_LEAF, NOT_REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	303 linkForeignCall(r, MONITOREXIT, c.monitorexitAddress, PREPEND_THREAD, NOT_LEAF, NOT_REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	304 linkForeignCall(r, NEW_MULTI_ARRAY, c.newMultiArrayAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	305 linkForeignCall(r, DYNAMIC_NEW_ARRAY, c.dynamicNewArrayAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	306 linkForeignCall(r, LOG_PRINTF, c.logPrintfAddress, PREPEND_THREAD, LEAF, REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	307 linkForeignCall(r, LOG_OBJECT, c.logObjectAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	308 linkForeignCall(r, LOG_PRIMITIVE, c.logPrimitiveAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	309 linkForeignCall(r, THREAD_IS_INTERRUPTED, c.threadIsInterruptedAddress, PREPEND_THREAD, NOT_LEAF, NOT_REEXECUTABLE, ANY_LOCATION);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	310 linkForeignCall(r, VM_ERROR, c.vmErrorAddress, PREPEND_THREAD, NOT_LEAF, REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	311 linkForeignCall(r, OSR_MIGRATION_END, c.osrMigrationEndAddress, DONT_PREPEND_THREAD, LEAF, NOT_REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	312 linkForeignCall(r, G1WBPRECALL, c.writeBarrierPreAddress, PREPEND_THREAD, LEAF, REEXECUTABLE, NO_LOCATIONS);
9808158cfeab Allow foreign call stubs to be declared as leaf methods. Roland Schatz <roland.schatz@oracle.com> parents: 10662 diff changeset	313 linkForeignCall(r, G1WBPOSTCALL, c.writeBarrierPostAddress, PREPEND_THREAD, LEAF, REEXECUTABLE, NO_LOCATIONS);
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	314 if (IntrinsifyObjectMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	315 r.registerSubstitutions(ObjectSubstitutions.class);
7220 fcae6d960acd added more compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7113 diff changeset	316 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	317 if (IntrinsifySystemMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	318 r.registerSubstitutions(SystemSubstitutions.class);
7220 fcae6d960acd added more compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7113 diff changeset	319 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	320 if (IntrinsifyThreadMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	321 r.registerSubstitutions(ThreadSubstitutions.class);
7220 fcae6d960acd added more compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7113 diff changeset	322 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	323 if (IntrinsifyUnsafeMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	324 r.registerSubstitutions(UnsafeSubstitutions.class);
7220 fcae6d960acd added more compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7113 diff changeset	325 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	326 if (IntrinsifyClassMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	327 r.registerSubstitutions(ClassSubstitutions.class);
7220 fcae6d960acd added more compiler intrinsics Christian Haeubl <haeubl@ssw.jku.at> parents: 7113 diff changeset	328 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	329 if (IntrinsifyAESMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	330 r.registerSubstitutions(AESCryptSubstitutions.class);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	331 r.registerSubstitutions(CipherBlockChainingSubstitutions.class);
7363 f4f3d63d35e6 AESCrypt intrinsification - disabled by default as it doesn't yet work Doug Simon <doug.simon@oracle.com> parents: 7359 diff changeset	332 }
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	333 if (IntrinsifyReflectionMethods.getValue()) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	334 r.registerSubstitutions(ReflectionSubstitutions.class);
9416 16c354398d09 intrinsify Reflection.getCallerClass twisti parents: 9380 diff changeset	335 }
8913 653110156f8a refactored boxing identification and lowering, removed BoxingMethodPool and explicit boxing phases Lukas Stadler <lukas.stadler@jku.at> parents: 8627 diff changeset	336
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	337 checkcastSnippets = new CheckCastSnippets.Templates(this, r, graalRuntime.getTarget());
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	338 instanceofSnippets = new InstanceOfSnippets.Templates(this, r, graalRuntime.getTarget());
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	339 newObjectSnippets = new NewObjectSnippets.Templates(this, r, graalRuntime.getTarget());
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	340 monitorSnippets = new MonitorSnippets.Templates(this, r, graalRuntime.getTarget(), c.useFastLocking);
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	341 writeBarrierSnippets = new WriteBarrierSnippets.Templates(this, r, graalRuntime.getTarget());
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	342 boxingSnippets = new BoxingSnippets.Templates(this, r, graalRuntime.getTarget());
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	343 exceptionObjectSnippets = new LoadExceptionObjectSnippets.Templates(this, r, graalRuntime.getTarget());
10801 4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	344 unsafeLoadSnippets = new UnsafeLoadSnippets.Templates(this, r, graalRuntime.getTarget());
10436 8c8285e345cc Later lowering of arraycopy. Roland Schatz <roland.schatz@oracle.com> parents: 10434 diff changeset	345
8c8285e345cc Later lowering of arraycopy. Roland Schatz <roland.schatz@oracle.com> parents: 10434 diff changeset	346 r.registerSnippetTemplateCache(new UnsafeArrayCopySnippets.Templates(this, r, graalRuntime.getTarget()));
9656 53cbcd9ff217 replaced IdentityHashCodeStub[Call] with use of RuntimeStubCall Doug Simon <doug.simon@oracle.com> parents: 9636 diff changeset	347 }
53cbcd9ff217 replaced IdentityHashCodeStub[Call] with use of RuntimeStubCall Doug Simon <doug.simon@oracle.com> parents: 9636 diff changeset	348
5780 64257cbef60c removed compile method from GraalCodeCacheProvider interface Doug Simon <doug.simon@oracle.com> parents: 5776 diff changeset	349 public HotSpotGraalRuntime getGraalRuntime() {
64257cbef60c removed compile method from GraalCodeCacheProvider interface Doug Simon <doug.simon@oracle.com> parents: 5776 diff changeset	350 return graalRuntime;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	352
6494 df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	353 /**
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	354 * Gets the register holding the current thread.
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	355 */
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	356 public abstract Register threadRegister();
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	357
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	358 /**
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	359 * Gets the stack pointer register.
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	360 */
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	361 public abstract Register stackPointerRegister();
df02fa2bce58 refactored all AMD64 specific HotSpot code in com.oracle.graal.hotspot.target.amd64 package Doug Simon <doug.simon@oracle.com> parents: 6475 diff changeset	362
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363 @Override
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	364 public String disassemble(CompilationResult compResult, InstalledCode installedCode) {
8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	365 byte[] code = installedCode == null ? Arrays.copyOf(compResult.getTargetCode(), compResult.getTargetCodeSize()) : installedCode.getCode();
8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	366 long start = installedCode == null ? 0L : installedCode.getStart();
5780 64257cbef60c removed compile method from GraalCodeCacheProvider interface Doug Simon <doug.simon@oracle.com> parents: 5776 diff changeset	367 TargetDescription target = graalRuntime.getTarget();
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	368 HexCodeFile hcf = new HexCodeFile(code, start, target.arch.getName(), target.wordSize * 8);
8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	369 if (compResult != null) {
8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	370 HexCodeFile.addAnnotations(hcf, compResult.getAnnotations());
8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	371 addExceptionHandlersComment(compResult, hcf);
9717 f8e0bf2c70e2 consolidated the two RegisterConfig instances for HotSpotRuntime into one Doug Simon <doug.simon@oracle.com> parents: 9694 diff changeset	372 Register fp = regConfig.getFrameRegister();
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	373 RefMapFormatter slotFormatter = new RefMapFormatter(target.arch, target.wordSize, fp, 0);
9003 a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	374 for (Infopoint infopoint : compResult.getInfopoints()) {
a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	375 if (infopoint instanceof Call) {
a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	376 Call call = (Call) infopoint;
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	377 if (call.debugInfo != null) {
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	378 hcf.addComment(call.pcOffset + call.size, CodeUtil.append(new StringBuilder(100), call.debugInfo, slotFormatter).toString());
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	379 }
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	380 addOperandComment(hcf, call.pcOffset, "{" + getTargetName(call) + "}");
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	381 } else {
9003 a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	382 if (infopoint.debugInfo != null) {
a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	383 hcf.addComment(infopoint.pcOffset, CodeUtil.append(new StringBuilder(100), infopoint.debugInfo, slotFormatter).toString());
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	384 }
9003 a8fea2979e63 eager infopoint mode (fka debug mode) Michael Haupt <michael.haupt@oracle.com> parents: 8895 diff changeset	385 addOperandComment(hcf, infopoint.pcOffset, "{infopoint: " + infopoint.reason + "}");
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	386 }
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	387 }
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	388 for (DataPatch site : compResult.getDataReferences()) {
10861 6872c61c1d3e Fix null reference access when dumping raw data patches. Roland Schatz <roland.schatz@oracle.com> parents: 10850 diff changeset	389 hcf.addOperandComment(site.pcOffset, "{" + site.getDataString() + "}");
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	390 }
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	391 for (Mark mark : compResult.getMarks()) {
5275 290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	392 hcf.addComment(mark.pcOffset, getMarkName(mark));
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	393 }
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	394 }
290b3025b66f added support for disassembling code after installation (so that the result of patching and relocation can be seen) Doug Simon <doug.simon@oracle.com> parents: 5247 diff changeset	395 return hcf.toEmbeddedString();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	396 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	397
5233 efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	398 /**
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	399 * Decodes a call target to a mnemonic if possible.
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	400 */
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	401 private String getTargetName(Call call) {
5230 333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	402 Field[] fields = config.getClass().getDeclaredFields();
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	403 for (Field f : fields) {
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	404 if (f.getName().endsWith("Stub")) {
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	405 f.setAccessible(true);
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	406 try {
6475 67b94a9fba57 append global stub address when disassembling a call to a global stub Doug Simon <doug.simon@oracle.com> parents: 6463 diff changeset	407 Object address = f.get(config);
67b94a9fba57 append global stub address when disassembling a call to a global stub Doug Simon <doug.simon@oracle.com> parents: 6463 diff changeset	408 if (address.equals(call.target)) {
67b94a9fba57 append global stub address when disassembling a call to a global stub Doug Simon <doug.simon@oracle.com> parents: 6463 diff changeset	409 return f.getName() + ":0x" + Long.toHexString((Long) address);
5230 333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	410 }
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	411 } catch (Exception e) {
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	412 }
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	413 }
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	414 }
5233 efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	415 return String.valueOf(call.target);
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	416 }
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	417
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	418 /**
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	419 * Decodes a mark to a mnemonic if possible.
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	420 */
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	421 private static String getMarkName(Mark mark) {
6462 b3f5dc099f9d removed XIR Doug Simon <doug.simon@oracle.com> parents: 6460 diff changeset	422 Field[] fields = Marks.class.getDeclaredFields();
5233 efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	423 for (Field f : fields) {
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	424 if (Modifier.isStatic(f.getModifiers()) && f.getName().startsWith("MARK_")) {
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	425 f.setAccessible(true);
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	426 try {
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	427 if (f.get(null).equals(mark.id)) {
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	428 return f.getName();
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	429 }
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	430 } catch (Exception e) {
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	431 }
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	432 }
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	433 }
efbb1e33e2f3 removed XIR prologue and epilogues - architecture and runtime specific subclass of Backend is now used instead Doug Simon <doug.simon@oracle.com> parents: 5230 diff changeset	434 return "MARK:" + mark.id;
5230 333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	435 }
333930100018 enhanced disassembly to decode stub addresses for runtime calls Doug Simon <doug.simon@oracle.com> parents: 5213 diff changeset	436
9301 ba441e21796f rename variable that reflected legacy type name Doug Simon <doug.simon@oracle.com> parents: 9232 diff changeset	437 private static void addExceptionHandlersComment(CompilationResult compResult, HexCodeFile hcf) {
ba441e21796f rename variable that reflected legacy type name Doug Simon <doug.simon@oracle.com> parents: 9232 diff changeset	438 if (!compResult.getExceptionHandlers().isEmpty()) {
4291 015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	439 String nl = HexCodeFile.NEW_LINE;
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	440 StringBuilder buf = new StringBuilder("------ Exception Handlers ------").append(nl);
9301 ba441e21796f rename variable that reflected legacy type name Doug Simon <doug.simon@oracle.com> parents: 9232 diff changeset	441 for (CompilationResult.ExceptionHandler e : compResult.getExceptionHandlers()) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	442 buf.append(" ").append(e.pcOffset).append(" -> ").append(e.handlerPos).append(nl);
5241 e24167877471 conditional support for translating ExceptionObjectNode without XIR Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	443 hcf.addComment(e.pcOffset, "[exception -> " + e.handlerPos + "]");
e24167877471 conditional support for translating ExceptionObjectNode without XIR Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	444 hcf.addComment(e.handlerPos, "[exception handler for " + e.pcOffset + "]");
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	445 }
4291 015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	446 hcf.addComment(0, buf.toString());
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	447 }
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	448 }
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	449
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	450 private static void addOperandComment(HexCodeFile hcf, int pos, String comment) {
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	451 String oldValue = hcf.addOperandComment(pos, comment);
015c53fefd3a Use HexCodeFile for disassembly to avoid loading slow disassembler. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4262 diff changeset	452 assert oldValue == null : "multiple comments for operand of instruction at " + pos + ": " + comment + ", " + oldValue;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	453 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	454
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	455 @Override
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	456 public ResolvedJavaType lookupJavaType(Constant constant) {
7098 e23980f4a890 Cleanup of Kind class: remove isXxx methods Christian Wimmer <christian.wimmer@oracle.com> parents: 7096 diff changeset	457 if (constant.getKind() != Kind.Object \|\| constant.isNull()) {
7015 62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	458 return null;
62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	459 }
62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	460 Object o = constant.asObject();
7084 9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType, Gilles Duboscq <duboscq@ssw.jku.at> parents: 7083 diff changeset	461 return HotSpotResolvedObjectType.fromClass(o.getClass());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	462 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	463
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	464 @Override
7359 6a16788a29a6 added API method for parsing a valid Method Descriptor string (JVMS 4.3.3) into a Signature object Doug Simon <doug.simon@oracle.com> parents: 7356 diff changeset	465 public Signature parseMethodDescriptor(String signature) {
6a16788a29a6 added API method for parsing a valid Method Descriptor string (JVMS 4.3.3) into a Signature object Doug Simon <doug.simon@oracle.com> parents: 7356 diff changeset	466 return new HotSpotSignature(signature);
6a16788a29a6 added API method for parsing a valid Method Descriptor string (JVMS 4.3.3) into a Signature object Doug Simon <doug.simon@oracle.com> parents: 7356 diff changeset	467 }
6a16788a29a6 added API method for parsing a valid Method Descriptor string (JVMS 4.3.3) into a Signature object Doug Simon <doug.simon@oracle.com> parents: 7356 diff changeset	468
6a16788a29a6 added API method for parsing a valid Method Descriptor string (JVMS 4.3.3) into a Signature object Doug Simon <doug.simon@oracle.com> parents: 7356 diff changeset	469 @Override
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	470 public boolean constantEquals(Constant x, Constant y) {
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	471 return x.equals(y);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	472 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	473
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	474 @Override
7838 a063308816d9 Complete first PTX unit test. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 7836 diff changeset	475 public RegisterConfig lookupRegisterConfig() {
9717 f8e0bf2c70e2 consolidated the two RegisterConfig instances for HotSpotRuntime into one Doug Simon <doug.simon@oracle.com> parents: 9694 diff changeset	476 return regConfig;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	477 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	478
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	479 @Override
4181 319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	480 public int getMinimumOutgoingSize() {
319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	481 return config.runtimeCallStackSize;
319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	482 }
319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	483
319860ae697a Simplify FrameMap: make offsets of spill slots and outgoing parameters independent so that they can be allocated at the same time, eliminating the separate phases. This makes the separate StackBlock unnecesary. Change CiStackSlot to use byte offsets instead of spill slot index. This makes CiTarget.spillSlotSize unnecessary. Christian Wimmer <Christian.Wimmer@Oracle.com> parents: 4142 diff changeset	484 @Override
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	485 public int lookupArrayLength(Constant array) {
7098 e23980f4a890 Cleanup of Kind class: remove isXxx methods Christian Wimmer <christian.wimmer@oracle.com> parents: 7096 diff changeset	486 if (array.getKind() != Kind.Object \|\| array.isNull() \|\| !array.asObject().getClass().isArray()) {
7015 62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	487 throw new IllegalArgumentException(array + " is not an array");
62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	488 }
62818f156081 added ResolvedJavaType.isClass(Class c) to replace some uses of ResolvedJavaType.toJava() Doug Simon <doug.simon@oracle.com> parents: 7001 diff changeset	489 return Array.getLength(array.asObject());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	490 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	491
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	492 @Override
5718 10341299528c renamings: ExtendedRiRuntime -> GraalCodeCacheProvider, CiLoweringTool -> LoweringTool, RiGraphCache -> GraphCache Doug Simon <doug.simon@oracle.com> parents: 5705 diff changeset	493 public void lower(Node n, LoweringTool tool) {
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	494 StructuredGraph graph = (StructuredGraph) n.graph();
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	495 Kind wordKind = graalRuntime.getTarget().wordKind;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	496 if (n instanceof ArrayLengthNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	497 ArrayLengthNode arrayLengthNode = (ArrayLengthNode) n;
8543 354d729ae588 remove SafeAccessNode Lukas Stadler <lukas.stadler@jku.at> parents: 8521 diff changeset	498 ValueNode array = arrayLengthNode.array();
9850 6e0c6526334b Add HeapInfo interface for write barriers and compressed oops support Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9823 diff changeset	499 ReadNode arrayLengthRead = graph.add(new ReadNode(array, ConstantLocationNode.create(FINAL_LOCATION, Kind.Int, config.arrayLengthOffset, graph), StampFactory.positiveInt(),
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	500 BarrierType.NONE, false));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	501 tool.createNullCheckGuard(arrayLengthRead, array);
8543 354d729ae588 remove SafeAccessNode Lukas Stadler <lukas.stadler@jku.at> parents: 8521 diff changeset	502 graph.replaceFixedWithFixed(arrayLengthNode, arrayLengthRead);
5822 ec65d0d0c873 moved HIR lowering of Invokes into HotspotRuntime Doug Simon <doug.simon@oracle.com> parents: 5780 diff changeset	503 } else if (n instanceof Invoke) {
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6404 diff changeset	504 Invoke invoke = (Invoke) n;
6462 b3f5dc099f9d removed XIR Doug Simon <doug.simon@oracle.com> parents: 6460 diff changeset	505 if (invoke.callTarget() instanceof MethodCallTargetNode) {
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	506
9147 07f05f2a8149 Remove methodCallTarget() method from the Invoke interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9106 diff changeset	507 MethodCallTargetNode callTarget = (MethodCallTargetNode) invoke.callTarget();
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	508 NodeInputList<ValueNode> parameters = callTarget.arguments();
f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	509 ValueNode receiver = parameters.size() <= 0 ? null : parameters.get(0);
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	510 GuardingNode receiverNullCheck = null;
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	511 if (!callTarget.isStatic() && receiver.kind() == Kind.Object && !receiver.objectStamp().nonNull()) {
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	512 receiverNullCheck = tool.createNullCheckGuard(invoke, receiver);
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	513 }
7300 2912b72d840a More complete and reusable Word type Christian Wimmer <christian.wimmer@oracle.com> parents: 7278 diff changeset	514 JavaType[] signature = MetaUtil.signatureToTypes(callTarget.targetMethod().getSignature(), callTarget.isStatic() ? null : callTarget.targetMethod().getDeclaringClass());
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	515
9147 07f05f2a8149 Remove methodCallTarget() method from the Invoke interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9106 diff changeset	516 LoweredCallTargetNode loweredCallTarget = null;
9864 063a712fe8d8 converted remaining options in GraalOptions to new system (GRAAL-27) Doug Simon <doug.simon@oracle.com> parents: 9850 diff changeset	517 if (callTarget.invokeKind() == InvokeKind.Virtual && InlineVTableStubs.getValue() && (AlwaysInlineVTableStubs.getValue() \|\| invoke.isPolymorphic())) {
5829 0095a9c235c6 incomplete (non XIR) support for inlining virtual dispatch at call sites - all design questions yet to be addressed Doug Simon <doug.simon@oracle.com> parents: 5823 diff changeset	518
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	519 HotSpotResolvedJavaMethod hsMethod = (HotSpotResolvedJavaMethod) callTarget.targetMethod();
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	520 if (!hsMethod.getDeclaringClass().isInterface()) {
9636 ff4e8218d3dd Remove hasVtableEntry, use isInVirtualMethodTable instead Gilles Duboscq <duboscq@ssw.jku.at> parents: 9619 diff changeset	521 if (hsMethod.isInVirtualMethodTable()) {
9610 ae17e540c5d2 More asserts while getting vtable offsets Gilles Duboscq <duboscq@ssw.jku.at> parents: 9608 diff changeset	522 int vtableEntryOffset = hsMethod.vtableEntryOffset();
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	523 assert vtableEntryOffset > 0;
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	524 ReadNode hub = createReadHub(graph, wordKind, receiver);
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	525
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	526 if (receiverNullCheck != null) {
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	527 hub.setGuard(receiverNullCheck);
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	528 }
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	529
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	530 ReadNode metaspaceMethod = createReadVirtualMethod(graph, wordKind, hub, hsMethod);
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	531 // We use LocationNode.ANY_LOCATION for the reads that access the
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	532 // compiled code entry as HotSpot does not guarantee they are final
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	533 // values.
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	534 ReadNode compiledEntry = graph.add(new ReadNode(metaspaceMethod, ConstantLocationNode.create(ANY_LOCATION, wordKind, config.methodCompiledEntryOffset, graph),
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	535 StampFactory.forKind(wordKind()), BarrierType.NONE, false));
5841 f84d11672a86 vtable dispatch inlining for megamorphic virtual calls now works and is enabled by default Doug Simon <doug.simon@oracle.com> parents: 5829 diff changeset	536
9089 5ab06146e985 Rename "node()" methods in interfaces to "asNode" Gilles Duboscq <duboscq@ssw.jku.at> parents: 9027 diff changeset	537 loweredCallTarget = graph.add(new HotSpotIndirectCallTargetNode(metaspaceMethod, compiledEntry, parameters, invoke.asNode().stamp(), signature, callTarget.targetMethod(),
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	538 CallingConvention.Type.JavaCall));
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	539
9089 5ab06146e985 Rename "node()" methods in interfaces to "asNode" Gilles Duboscq <duboscq@ssw.jku.at> parents: 9027 diff changeset	540 graph.addBeforeFixed(invoke.asNode(), hub);
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	541 graph.addAfterFixed(hub, metaspaceMethod);
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	542 graph.addAfterFixed(metaspaceMethod, compiledEntry);
6686 363968be1018 Do not inline vtable lookup when the method's holder is not yet linked (no vtable offset available) Gilles Duboscq <duboscq@ssw.jku.at> parents: 6677 diff changeset	543 }
5823 f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	544 }
f238fe91dc7f partial (non XIR) support for inlining virtual dispatch at call sites - still needs fixing Doug Simon <doug.simon@oracle.com> parents: 5822 diff changeset	545 }
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6404 diff changeset	546
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6404 diff changeset	547 if (loweredCallTarget == null) {
9089 5ab06146e985 Rename "node()" methods in interfaces to "asNode" Gilles Duboscq <duboscq@ssw.jku.at> parents: 9027 diff changeset	548 loweredCallTarget = graph.add(new HotSpotDirectCallTargetNode(parameters, invoke.asNode().stamp(), signature, callTarget.targetMethod(), CallingConvention.Type.JavaCall,
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	549 callTarget.invokeKind()));
6409 823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6404 diff changeset	550 }
823a2978e7ba Lowering of call targets to direct / indirect call targets Christian Wimmer <christian.wimmer@oracle.com> parents: 6404 diff changeset	551 callTarget.replaceAndDelete(loweredCallTarget);
5822 ec65d0d0c873 moved HIR lowering of Invokes into HotspotRuntime Doug Simon <doug.simon@oracle.com> parents: 5780 diff changeset	552 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	553 } else if (n instanceof LoadFieldNode) {
7104 5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	554 LoadFieldNode loadField = (LoadFieldNode) n;
5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	555 HotSpotResolvedJavaField field = (HotSpotResolvedJavaField) loadField.field();
5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	556 ValueNode object = loadField.isStatic() ? ConstantNode.forObject(field.getDeclaringClass().mirror(), this, graph) : loadField.object();
5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	557 assert loadField.kind() != Kind.Illegal;
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	558 BarrierType barrierType = getFieldLoadBarrierType(field);
10496 d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	559 ReadNode memoryRead = graph.add(new ReadNode(object, createFieldLocation(graph, field), loadField.stamp(), barrierType, (loadField.kind() == Kind.Object)));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	560 tool.createNullCheckGuard(memoryRead, object);
8502 ff4fa8b0516e -Create push patch Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8501 diff changeset	561
7104 5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	562 graph.replaceFixedWithFixed(loadField, memoryRead);
8502 ff4fa8b0516e -Create push patch Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8501 diff changeset	563
7104 5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	564 if (loadField.isVolatile()) {
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	565 MembarNode preMembar = graph.add(new MembarNode(JMM_PRE_VOLATILE_READ));
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	566 graph.addBeforeFixed(memoryRead, preMembar);
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	567 MembarNode postMembar = graph.add(new MembarNode(JMM_POST_VOLATILE_READ));
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	568 graph.addAfterFixed(memoryRead, postMembar);
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	569 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	570 } else if (n instanceof StoreFieldNode) {
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	571 StoreFieldNode storeField = (StoreFieldNode) n;
5554 70f715dfbb41 Bring Java renamings and restructurings to the C++ part. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5552 diff changeset	572 HotSpotResolvedJavaField field = (HotSpotResolvedJavaField) storeField.field();
7104 5c25483b5515 Remove the ResolvedJavaType.Representation for static fields. It is not necessary to emit the constant holder for static fields in the GraphBuilder. Only the VM-specific lowering needs to create the constants, and it can access the VM-specific metadata objects directly. Christian Wimmer <christian.wimmer@oracle.com> parents: 7099 diff changeset	573 ValueNode object = storeField.isStatic() ? ConstantNode.forObject(field.getDeclaringClass().mirror(), this, graph) : storeField.object();
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	574 BarrierType barrierType = getFieldStoreBarrierType(storeField);
9888 3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	575 WriteNode memoryWrite = graph.add(new WriteNode(object, storeField.value(), createFieldLocation(graph, field), barrierType, storeField.field().getKind() == Kind.Object));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	576 tool.createNullCheckGuard(memoryWrite, object);
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	577 memoryWrite.setStateAfter(storeField.stateAfter());
4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	578 graph.replaceFixedWithFixed(storeField, memoryWrite);
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	579 FixedWithNextNode last = memoryWrite;
8501 41fc46da946a -More fixes and passrate(fop) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8498 diff changeset	580 FixedWithNextNode first = memoryWrite;
41fc46da946a -More fixes and passrate(fop) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8498 diff changeset	581
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	582 if (storeField.isVolatile()) {
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	583 MembarNode preMembar = graph.add(new MembarNode(JMM_PRE_VOLATILE_WRITE));
8501 41fc46da946a -More fixes and passrate(fop) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8498 diff changeset	584 graph.addBeforeFixed(first, preMembar);
5167 591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	585 MembarNode postMembar = graph.add(new MembarNode(JMM_POST_VOLATILE_WRITE));
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	586 graph.addAfterFixed(last, postMembar);
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	587 }
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	588 } else if (n instanceof CompareAndSwapNode) {
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	589 // Separate out GC barrier semantics
591f8231aa82 removed XIR & LIR code for nodes that are completely lowered in HotspotRuntime.lower() Doug Simon <doug.simon@oracle.com> parents: 5160 diff changeset	590 CompareAndSwapNode cas = (CompareAndSwapNode) n;
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	591 LocationNode location = IndexedLocationNode.create(ANY_LOCATION, cas.expected().kind(), cas.displacement(), cas.offset(), graph, 1);
10850 e7679ec4f27f Lower CAS nodes to their lowered versions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10838 diff changeset	592 LoweredCompareAndSwapNode atomicNode = graph.add(new LoweredCompareAndSwapNode(cas.object(), location, cas.expected(), cas.newValue(), getCompareAndSwapBarrier(cas),
e7679ec4f27f Lower CAS nodes to their lowered versions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10838 diff changeset	593 cas.expected().kind() == Kind.Object));
e7679ec4f27f Lower CAS nodes to their lowered versions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10838 diff changeset	594 graph.replaceFixedWithFixed(cas, atomicNode);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	595 } else if (n instanceof LoadIndexedNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	596 LoadIndexedNode loadIndexed = (LoadIndexedNode) n;
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	597 GuardingNode boundsCheck = createBoundsCheck(loadIndexed, tool);
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	598 Kind elementKind = loadIndexed.elementKind();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	599 LocationNode arrayLocation = createArrayLocation(graph, elementKind, loadIndexed.index());
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	600 ReadNode memoryRead = graph.add(new ReadNode(loadIndexed.array(), arrayLocation, loadIndexed.stamp(), BarrierType.NONE, elementKind == Kind.Object));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	601 memoryRead.setGuard(boundsCheck);
4305 0768bf0a4898 move part of the cfg-modifying operations into one place (currently: StructuredGraph) Lukas Stadler <lukas.stadler@jku.at> parents: 4262 diff changeset	602 graph.replaceFixedWithFixed(loadIndexed, memoryRead);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	603 } else if (n instanceof StoreIndexedNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	604 StoreIndexedNode storeIndexed = (StoreIndexedNode) n;
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	605 GuardingNode boundsCheck = createBoundsCheck(storeIndexed, tool);
5540 a891c53a295b Renaming RiKind => Kind. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5538 diff changeset	606 Kind elementKind = storeIndexed.elementKind();
8521 6aa080855d7c -Bug fixes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8517 diff changeset	607 LocationNode arrayLocation = createArrayLocation(graph, elementKind, storeIndexed.index());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	608 ValueNode value = storeIndexed.value();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	609 ValueNode array = storeIndexed.array();
5831 ed08c40d67de Add a alwaysNull property to ObjectStamp (Phi(null, a! A) get a "a A" stamp and not just "a -") Gilles Duboscq <duboscq@ssw.jku.at> parents: 5780 diff changeset	610 if (elementKind == Kind.Object && !value.objectStamp().alwaysNull()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	611 // Store check!
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	612 ResolvedJavaType arrayType = array.objectStamp().type();
5443 141817e206d4 changes to the dependencies and stamp system: Lukas Stadler <lukas.stadler@jku.at> parents: 5426 diff changeset	613 if (arrayType != null && array.objectStamp().isExactType()) {
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	614 ResolvedJavaType elementType = arrayType.getComponentType();
7096 585fc9f79ebc Remove ResolvedJavaType.isClass() Christian Wimmer <christian.wimmer@oracle.com> parents: 7090 diff changeset	615 if (!MetaUtil.isJavaLangObject(elementType)) {
9478 fb22b4d5f475 Allow distinction between ClassCastException and ArrayStoreException. Add more canonicalizations for check casts. Christian Wimmer <christian.wimmer@oracle.com> parents: 9460 diff changeset	616 CheckCastNode checkcast = graph.add(new CheckCastNode(elementType, value, null, true));
5372 4485e0edd1af made CheckCastNode be a FixedNode instead of a BooleanNode Doug Simon <doug.simon@oracle.com> parents: 5360 diff changeset	617 graph.addBeforeFixed(storeIndexed, checkcast);
4485e0edd1af made CheckCastNode be a FixedNode instead of a BooleanNode Doug Simon <doug.simon@oracle.com> parents: 5360 diff changeset	618 value = checkcast;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	619 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	620 } else {
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	621 LoadHubNode arrayClass = graph.add(new LoadHubNode(array, wordKind));
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	622 LocationNode location = ConstantLocationNode.create(FINAL_LOCATION, wordKind, config.arrayClassElementOffset, graph);
7034 89df4e71940a More flexible handling of stamp for word type: Define a singleton Stamp instance for words that is then re-written to the target-specific primitive word stamp by the WordTypeRewriterPhase. This allows nodes to have a word stamp without any dependency on global or static state. Christian Wimmer <christian.wimmer@oracle.com> parents: 7017 diff changeset	623 FloatingReadNode arrayElementKlass = graph.unique(new FloatingReadNode(arrayClass, location, null, StampFactory.forKind(wordKind())));
9478 fb22b4d5f475 Allow distinction between ClassCastException and ArrayStoreException. Add more canonicalizations for check casts. Christian Wimmer <christian.wimmer@oracle.com> parents: 9460 diff changeset	624 CheckCastDynamicNode checkcast = graph.add(new CheckCastDynamicNode(arrayElementKlass, value, true));
5372 4485e0edd1af made CheckCastNode be a FixedNode instead of a BooleanNode Doug Simon <doug.simon@oracle.com> parents: 5360 diff changeset	625 graph.addBeforeFixed(storeIndexed, checkcast);
6463 41f0849e107b reverted LoadHubNode to be a fixed node Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	626 graph.addBeforeFixed(checkcast, arrayClass);
5372 4485e0edd1af made CheckCastNode be a FixedNode instead of a BooleanNode Doug Simon <doug.simon@oracle.com> parents: 5360 diff changeset	627 value = checkcast;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	628 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	629 }
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	630 BarrierType barrierType = getArrayStoreBarrierType(storeIndexed);
9888 3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	631 WriteNode memoryWrite = graph.add(new WriteNode(array, value, arrayLocation, barrierType, elementKind == Kind.Object));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	632 memoryWrite.setGuard(boundsCheck);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	633 memoryWrite.setStateAfter(storeIndexed.stateAfter());
4309 4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	634 graph.replaceFixedWithFixed(storeIndexed, memoryWrite);
4a609a685fa4 changes to Node structures: Lukas Stadler <lukas.stadler@jku.at> parents: 4305 diff changeset	635
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	636 } else if (n instanceof UnsafeLoadNode) {
10947 e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	637 if (tool.getLoweringType() != LoweringType.BEFORE_GUARDS) {
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	638 UnsafeLoadNode load = (UnsafeLoadNode) n;
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	639 assert load.kind() != Kind.Illegal;
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	640 boolean compressible = (!load.object().isNullConstant() && load.accessKind() == Kind.Object);
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	641 if (addReadBarrier(load, tool)) {
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	642 unsafeLoadSnippets.lower(load, tool);
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	643 } else {
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	644 IndexedLocationNode location = IndexedLocationNode.create(ANY_LOCATION, load.accessKind(), load.displacement(), load.offset(), graph, 1);
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	645 ReadNode memoryRead = graph.add(new ReadNode(load.object(), location, load.stamp(), BarrierType.NONE, compressible));
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	646 // An unsafe read must not float outside its block otherwise
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	647 // it may float above an explicit null check on its object.
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	648 memoryRead.setGuard(AbstractBeginNode.prevBegin(load));
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	649 graph.replaceFixedWithFixed(load, memoryRead);
e8dac30e274d Allow unsafeLoad lowering only when loweringType!=BEFORE_GUARDS Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10946 diff changeset	650 }
10801 4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	651 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	652 } else if (n instanceof UnsafeStoreNode) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	653 UnsafeStoreNode store = (UnsafeStoreNode) n;
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	654 IndexedLocationNode location = IndexedLocationNode.create(ANY_LOCATION, store.accessKind(), store.displacement(), store.offset(), graph, 1);
5705 f96e7b39e9fe Be more strict on isInt check in CAS lowering when index is constant Gilles Duboscq <duboscq@ssw.jku.at> parents: 5663 diff changeset	655 ValueNode object = store.object();
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	656 BarrierType barrierType = getUnsafeStoreBarrierType(store);
9888 3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	657 WriteNode write = graph.add(new WriteNode(object, store.value(), location, barrierType, store.value().kind() == Kind.Object));
5192 20993edddd73 write barrier for UnsafeStoreNode must be inserted after associated write node has replaced original store node in the graph Doug Simon <doug.simon@oracle.com> parents: 5190 diff changeset	658 write.setStateAfter(store.stateAfter());
20993edddd73 write barrier for UnsafeStoreNode must be inserted after associated write node has replaced original store node in the graph Doug Simon <doug.simon@oracle.com> parents: 5190 diff changeset	659 graph.replaceFixedWithFixed(store, write);
6460 78e352577028 renamed ReadHubNode to LoadHubNode to be imply higher level operation (c.f. UnsafeLoadNode vs ReadNode) Doug Simon <doug.simon@oracle.com> parents: 6459 diff changeset	660 } else if (n instanceof LoadHubNode) {
78e352577028 renamed ReadHubNode to LoadHubNode to be imply higher level operation (c.f. UnsafeLoadNode vs ReadNode) Doug Simon <doug.simon@oracle.com> parents: 6459 diff changeset	661 LoadHubNode loadHub = (LoadHubNode) n;
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	662 assert loadHub.kind() == wordKind;
6460 78e352577028 renamed ReadHubNode to LoadHubNode to be imply higher level operation (c.f. UnsafeLoadNode vs ReadNode) Doug Simon <doug.simon@oracle.com> parents: 6459 diff changeset	663 ValueNode object = loadHub.object();
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	664 ReadNode hub = createReadHub(graph, wordKind, object);
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	665 // A hub read must not float outside its block otherwise
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	666 // it may float above an explicit null check on its object.
ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	667 hub.setGuard(AbstractBeginNode.prevBegin(loadHub));
6463 41f0849e107b reverted LoadHubNode to be a fixed node Doug Simon <doug.simon@oracle.com> parents: 6462 diff changeset	668 graph.replaceFixed(loadHub, hub);
9377 0f4041cc6be1 First draft of node for loading a method from the vtable of a hub. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9376 diff changeset	669 } else if (n instanceof LoadMethodNode) {
0f4041cc6be1 First draft of node for loading a method from the vtable of a hub. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9376 diff changeset	670 LoadMethodNode loadMethodNode = (LoadMethodNode) n;
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	671 ResolvedJavaMethod method = loadMethodNode.getMethod();
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	672 ReadNode metaspaceMethod = createReadVirtualMethod(graph, wordKind, loadMethodNode.getHub(), method);
9377 0f4041cc6be1 First draft of node for loading a method from the vtable of a hub. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9376 diff changeset	673 graph.replaceFixed(loadMethodNode, metaspaceMethod);
10733 6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	674 } else if (n instanceof StoreHubNode) {
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	675 StoreHubNode storeHub = (StoreHubNode) n;
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	676 WriteNode hub = createWriteHub(graph, wordKind, storeHub.getObject(), storeHub.getValue());
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	677 graph.replaceFixed(storeHub, hub);
7130 3a2f8b313bc5 Allow VM-specific lowering of FixedGuardNode Christian Wimmer <christian.wimmer@oracle.com> parents: 7113 diff changeset	678 } else if (n instanceof FixedGuardNode) {
3a2f8b313bc5 Allow VM-specific lowering of FixedGuardNode Christian Wimmer <christian.wimmer@oracle.com> parents: 7113 diff changeset	679 FixedGuardNode node = (FixedGuardNode) n;
9859 30cab249529e When lowering a fixed guard, the usages should be forwarded to the floating guard instead of the value anchor. Gilles Duboscq <duboscq@ssw.jku.at> parents: 9850 diff changeset	680 GuardingNode guard = tool.createGuard(node.condition(), node.getReason(), node.getAction(), node.isNegated());
30cab249529e When lowering a fixed guard, the usages should be forwarded to the floating guard instead of the value anchor. Gilles Duboscq <duboscq@ssw.jku.at> parents: 9850 diff changeset	681 ValueAnchorNode newAnchor = graph.add(new ValueAnchorNode(guard.asNode()));
30cab249529e When lowering a fixed guard, the usages should be forwarded to the floating guard instead of the value anchor. Gilles Duboscq <duboscq@ssw.jku.at> parents: 9850 diff changeset	682 node.replaceAtUsages(guard.asNode());
7130 3a2f8b313bc5 Allow VM-specific lowering of FixedGuardNode Christian Wimmer <christian.wimmer@oracle.com> parents: 7113 diff changeset	683 graph.replaceFixedWithFixed(node, newAnchor);
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	684 } else if (n instanceof CommitAllocationNode) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	685 if (tool.getLoweringType() == LoweringType.AFTER_GUARDS) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	686 CommitAllocationNode commit = (CommitAllocationNode) n;
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	687
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	688 ValueNode[] allocations = new ValueNode[commit.getVirtualObjects().size()];
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	689 for (int objIndex = 0; objIndex < commit.getVirtualObjects().size(); objIndex++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	690 VirtualObjectNode virtual = commit.getVirtualObjects().get(objIndex);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	691 int entryCount = virtual.entryCount();
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	692
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	693 FixedWithNextNode newObject;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	694 if (virtual instanceof VirtualInstanceNode) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	695 newObject = graph.add(new NewInstanceNode(virtual.type(), true));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	696 } else {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	697 ResolvedJavaType element = ((VirtualArrayNode) virtual).componentType();
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	698 newObject = graph.add(new NewArrayNode(element, ConstantNode.forInt(entryCount, graph), true));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	699 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	700 graph.addBeforeFixed(commit, newObject);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	701 allocations[objIndex] = newObject;
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	702 }
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	703 int valuePos = 0;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	704 for (int objIndex = 0; objIndex < commit.getVirtualObjects().size(); objIndex++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	705 VirtualObjectNode virtual = commit.getVirtualObjects().get(objIndex);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	706 int entryCount = virtual.entryCount();
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	707
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	708 ValueNode newObject = allocations[objIndex];
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	709 if (virtual instanceof VirtualInstanceNode) {
10662 4ef92b67aeae added HSAIL backend and tests Doug Simon <doug.simon@oracle.com> parents: 10638 diff changeset	710 VirtualInstanceNode virtualInstance = (VirtualInstanceNode) virtual;
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	711 for (int i = 0; i < entryCount; i++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	712 ValueNode value = commit.getValues().get(valuePos++);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	713 if (value instanceof VirtualObjectNode) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	714 value = allocations[commit.getVirtualObjects().indexOf(value)];
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	715 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	716 if (!(value.isConstant() && value.asConstant().isDefaultForKind())) {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	717 WriteNode write = new WriteNode(newObject, value, createFieldLocation(graph, (HotSpotResolvedJavaField) virtualInstance.field(i)), BarrierType.NONE,
10662 4ef92b67aeae added HSAIL backend and tests Doug Simon <doug.simon@oracle.com> parents: 10638 diff changeset	718 virtualInstance.field(i).getKind() == Kind.Object);
9888 3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	719
9896 5945a36ccba4 Merge Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9889 9880 diff changeset	720 graph.addBeforeFixed(commit, graph.add(write));
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	721 }
9687 a7376cc486ff don't overwrite default entries when lowering CommitAllocationNodes Lukas Stadler <lukas.stadler@jku.at> parents: 9676 diff changeset	722 }
9896 5945a36ccba4 Merge Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9889 9880 diff changeset	723
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	724 } else {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	725 VirtualArrayNode array = (VirtualArrayNode) virtual;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	726 ResolvedJavaType element = array.componentType();
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	727 for (int i = 0; i < entryCount; i++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	728 ValueNode value = commit.getValues().get(valuePos++);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	729 if (value instanceof VirtualObjectNode) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	730 int indexOf = commit.getVirtualObjects().indexOf(value);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	731 assert indexOf != -1 : commit + " " + value;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	732 value = allocations[indexOf];
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	733 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	734 if (!(value.isConstant() && value.asConstant().isDefaultForKind())) {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	735 WriteNode write = new WriteNode(newObject, value, createArrayLocation(graph, element.getKind(), ConstantNode.forInt(i, graph)), BarrierType.NONE,
9896 5945a36ccba4 Merge Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9889 9880 diff changeset	736 value.kind() == Kind.Object);
5945a36ccba4 Merge Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9889 9880 diff changeset	737 graph.addBeforeFixed(commit, graph.add(write));
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	738 }
9687 a7376cc486ff don't overwrite default entries when lowering CommitAllocationNodes Lukas Stadler <lukas.stadler@jku.at> parents: 9676 diff changeset	739 }
9501 bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	740 }
bef43373de39 coalesce allocations during escape analysis Lukas Stadler <lukas.stadler@jku.at> parents: 9500 diff changeset	741 }
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	742 for (int objIndex = 0; objIndex < commit.getVirtualObjects().size(); objIndex++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	743 FixedValueAnchorNode anchor = graph.add(new FixedValueAnchorNode(allocations[objIndex]));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	744 allocations[objIndex] = anchor;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	745 graph.addBeforeFixed(commit, anchor);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	746 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	747 for (int objIndex = 0; objIndex < commit.getVirtualObjects().size(); objIndex++) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	748 for (int lockDepth : commit.getLocks().get(objIndex)) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	749 MonitorEnterNode enter = graph.add(new MonitorEnterNode(allocations[objIndex], lockDepth));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	750 graph.addBeforeFixed(commit, enter);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	751 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	752 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	753 for (Node usage : commit.usages().snapshot()) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	754 AllocatedObjectNode addObject = (AllocatedObjectNode) usage;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	755 int index = commit.getVirtualObjects().indexOf(addObject.getVirtualObject());
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	756 graph.replaceFloating(addObject, allocations[index]);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	757 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	758 graph.removeFixed(commit);
9504 106f0a0acafa refactored monitor handling in EA: MonitorEnter/Exit is removed, not eliminated Lukas Stadler <lukas.stadler@jku.at> parents: 9502 diff changeset	759 }
5379 c862951e769d moved checkcast lowering into LoweringPhase and added -G:HIRLowerCheckcast option to enable it (disabled by default) as it is not yet stable Doug Simon <doug.simon@oracle.com> parents: 5372 diff changeset	760 } else if (n instanceof CheckCastNode) {
6462 b3f5dc099f9d removed XIR Doug Simon <doug.simon@oracle.com> parents: 6460 diff changeset	761 checkcastSnippets.lower((CheckCastNode) n, tool);
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	762 } else if (n instanceof OSRStartNode) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	763 if (tool.getLoweringType() == LoweringType.AFTER_GUARDS) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	764 OSRStartNode osrStart = (OSRStartNode) n;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	765 StartNode newStart = graph.add(new StartNode());
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	766 LocalNode buffer = graph.unique(new LocalNode(0, StampFactory.forKind(wordKind())));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	767 ForeignCallNode migrationEnd = graph.add(new ForeignCallNode(this, OSR_MIGRATION_END, buffer));
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	768 migrationEnd.setStateAfter(osrStart.stateAfter());
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	769
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	770 newStart.setNext(migrationEnd);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	771 FixedNode next = osrStart.next();
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	772 osrStart.setNext(null);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	773 migrationEnd.setNext(next);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	774 graph.setStart(newStart);
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	775
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	776 // mirroring the calculations in c1_GraphBuilder.cpp (setup_osr_entry_block)
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	777 int localsOffset = (graph.method().getMaxLocals() - 1) * 8;
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	778 for (OSRLocalNode osrLocal : graph.getNodes(OSRLocalNode.class)) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	779 int size = FrameStateBuilder.stackSlots(osrLocal.kind());
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	780 int offset = localsOffset - (osrLocal.index() + size - 1) * 8;
9896 5945a36ccba4 Merge Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9889 9880 diff changeset	781 IndexedLocationNode location = IndexedLocationNode.create(ANY_LOCATION, osrLocal.kind(), offset, ConstantNode.forLong(0, graph), graph, 1);
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	782 ReadNode load = graph.add(new ReadNode(buffer, location, osrLocal.stamp(), BarrierType.NONE, false));
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	783 osrLocal.replaceAndDelete(load);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	784 graph.addBeforeFixed(migrationEnd, load);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	785 }
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	786 osrStart.replaceAtUsages(newStart);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	787 osrStart.safeDelete();
9532 8f854c4deabf Delay lowering of the platform specific OSR entry Gilles Duboscq <duboscq@ssw.jku.at> parents: 9504 diff changeset	788 }
6648 7bf5a6c42db7 factored CheckCastDynamicNode out of CheckCastNode Doug Simon <doug.simon@oracle.com> parents: 6582 diff changeset	789 } else if (n instanceof CheckCastDynamicNode) {
7bf5a6c42db7 factored CheckCastDynamicNode out of CheckCastNode Doug Simon <doug.simon@oracle.com> parents: 6582 diff changeset	790 checkcastSnippets.lower((CheckCastDynamicNode) n);
6302 5d7d9a6953bd added InstanceOfSnippets which passes InstanceOfTest but is not yet enabled for general lowering Doug Simon <doug.simon@oracle.com> parents: 5842 diff changeset	791 } else if (n instanceof InstanceOfNode) {
6462 b3f5dc099f9d removed XIR Doug Simon <doug.simon@oracle.com> parents: 6460 diff changeset	792 instanceofSnippets.lower((InstanceOfNode) n, tool);
7278 346336325337 added intrinsification of Class.isInstance() Doug Simon <doug.simon@oracle.com> parents: 7235 diff changeset	793 } else if (n instanceof InstanceOfDynamicNode) {
346336325337 added intrinsification of Class.isInstance() Doug Simon <doug.simon@oracle.com> parents: 7235 diff changeset	794 instanceofSnippets.lower((InstanceOfDynamicNode) n, tool);
5563 6a2671066204 added NewInstanceSnippets for lowering NewInstanceNodes (currently disabled by default) Doug Simon <doug.simon@oracle.com> parents: 5554 diff changeset	795 } else if (n instanceof NewInstanceNode) {
10671 69089865435a New lowering phase after framestate assignment. Roland Schatz <roland.schatz@oracle.com> parents: 10666 diff changeset	796 if (tool.getLoweringType() == LoweringType.AFTER_FSA) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	797 newObjectSnippets.lower((NewInstanceNode) n);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	798 }
5760 87e8baf5447c added snippets for lowering array creation and initialization (in NewObjectSnippets) Doug Simon <doug.simon@oracle.com> parents: 5728 diff changeset	799 } else if (n instanceof NewArrayNode) {
10671 69089865435a New lowering phase after framestate assignment. Roland Schatz <roland.schatz@oracle.com> parents: 10666 diff changeset	800 if (tool.getLoweringType() == LoweringType.AFTER_FSA) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	801 newObjectSnippets.lower((NewArrayNode) n);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	802 }
10027 e561e0a6f727 DynamicNewArrayNode Roland Schatz <roland.schatz@oracle.com> parents: 10020 diff changeset	803 } else if (n instanceof DynamicNewArrayNode) {
10671 69089865435a New lowering phase after framestate assignment. Roland Schatz <roland.schatz@oracle.com> parents: 10666 diff changeset	804 if (tool.getLoweringType() == LoweringType.AFTER_FSA) {
10027 e561e0a6f727 DynamicNewArrayNode Roland Schatz <roland.schatz@oracle.com> parents: 10020 diff changeset	805 newObjectSnippets.lower((DynamicNewArrayNode) n);
e561e0a6f727 DynamicNewArrayNode Roland Schatz <roland.schatz@oracle.com> parents: 10020 diff changeset	806 }
6386 abeeb57b655d added MonitorSnippets which passes MonitorTest but is not yet enabled for general lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	807 } else if (n instanceof MonitorEnterNode) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	808 if (tool.getLoweringType() == LoweringType.AFTER_GUARDS) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	809 monitorSnippets.lower((MonitorEnterNode) n, tool);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	810 }
6386 abeeb57b655d added MonitorSnippets which passes MonitorTest but is not yet enabled for general lowering Doug Simon <doug.simon@oracle.com> parents: 6329 diff changeset	811 } else if (n instanceof MonitorExitNode) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	812 if (tool.getLoweringType() == LoweringType.AFTER_GUARDS) {
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	813 monitorSnippets.lower((MonitorExitNode) n, tool);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	814 }
10499 cbeafa74236c Add G1 Barriers during lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10496 diff changeset	815 } else if (n instanceof G1PreWriteBarrier) {
cbeafa74236c Add G1 Barriers during lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10496 diff changeset	816 writeBarrierSnippets.lower((G1PreWriteBarrier) n, tool);
cbeafa74236c Add G1 Barriers during lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10496 diff changeset	817 } else if (n instanceof G1PostWriteBarrier) {
cbeafa74236c Add G1 Barriers during lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10496 diff changeset	818 writeBarrierSnippets.lower((G1PostWriteBarrier) n, tool);
10829 761002c55728 Add new node for referent field read barrier (G1 GC) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10828 diff changeset	819 } else if (n instanceof G1ReferentFieldReadBarrier) {
761002c55728 Add new node for referent field read barrier (G1 GC) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10828 diff changeset	820 writeBarrierSnippets.lower((G1ReferentFieldReadBarrier) n, tool);
8905 c502db57e687 Rename ArrayWriteBarrier to SerialWriteBarrier and move it to graal.nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8904 diff changeset	821 } else if (n instanceof SerialWriteBarrier) {
c502db57e687 Rename ArrayWriteBarrier to SerialWriteBarrier and move it to graal.nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8904 diff changeset	822 writeBarrierSnippets.lower((SerialWriteBarrier) n, tool);
8963 63eae4723b18 Creation of snippets for ArrayCopy write barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8935 diff changeset	823 } else if (n instanceof SerialArrayRangeWriteBarrier) {
63eae4723b18 Creation of snippets for ArrayCopy write barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8935 diff changeset	824 writeBarrierSnippets.lower((SerialArrayRangeWriteBarrier) n, tool);
10555 9210083b253f Lower G1 Array Range Barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10545 diff changeset	825 } else if (n instanceof G1ArrayRangePreWriteBarrier) {
9210083b253f Lower G1 Array Range Barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10545 diff changeset	826 writeBarrierSnippets.lower((G1ArrayRangePreWriteBarrier) n, tool);
9210083b253f Lower G1 Array Range Barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10545 diff changeset	827 } else if (n instanceof G1ArrayRangePostWriteBarrier) {
9210083b253f Lower G1 Array Range Barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10545 diff changeset	828 writeBarrierSnippets.lower((G1ArrayRangePostWriteBarrier) n, tool);
6431 2e376f8ea4e2 added snippet for lowering NewMultiArrayNodes Doug Simon <doug.simon@oracle.com> parents: 6409 diff changeset	829 } else if (n instanceof NewMultiArrayNode) {
10671 69089865435a New lowering phase after framestate assignment. Roland Schatz <roland.schatz@oracle.com> parents: 10666 diff changeset	830 if (tool.getLoweringType() == LoweringType.AFTER_FSA) {
9880 f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	831 newObjectSnippets.lower((NewMultiArrayNode) n);
f7ec3ec8a03c HotSpotRuntime should decide when to lower which nodes, not the nodes themselves Lukas Stadler <lukas.stadler@jku.at> parents: 9870 diff changeset	832 }
8643 3d2c2b68fe93 lower ExceptionObjectNode with a snippet (GRAAL-133) Doug Simon <doug.simon@oracle.com> parents: 8642 diff changeset	833 } else if (n instanceof LoadExceptionObjectNode) {
3d2c2b68fe93 lower ExceptionObjectNode with a snippet (GRAAL-133) Doug Simon <doug.simon@oracle.com> parents: 8642 diff changeset	834 exceptionObjectSnippets.lower((LoadExceptionObjectNode) n);
7305 cd205ca515dd Make integer division and remainder nodes fixed so that they can be lowered via snippets to do exception checks Christian Wimmer <christian.wimmer@oracle.com> parents: 7300 diff changeset	835 } else if (n instanceof IntegerDivNode \|\| n instanceof IntegerRemNode \|\| n instanceof UnsignedDivNode \|\| n instanceof UnsignedRemNode) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	836 // Nothing to do for division nodes. The HotSpot signal handler catches divisions by
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	837 // zero and the MIN_VALUE / -1 cases.
9016 60b9fe7034e6 Allow lowering of DeoptimizeNode Christian Wimmer <christian.wimmer@oracle.com> parents: 9015 diff changeset	838 } else if (n instanceof UnwindNode \|\| n instanceof DeoptimizeNode) {
8357 5fbb2df2b47f Allow lowering of UnwindNode and ExceptionObjectNode. The HotSpot code still uses the old LIR lowering. Christian Wimmer <christian.wimmer@oracle.com> parents: 8217 diff changeset	839 // Nothing to do, using direct LIR lowering for these nodes.
8913 653110156f8a refactored boxing identification and lowering, removed BoxingMethodPool and explicit boxing phases Lukas Stadler <lukas.stadler@jku.at> parents: 8627 diff changeset	840 } else if (n instanceof BoxNode) {
10569 6b9ebfcf5fc5 make BoxNode and UnboxNode floating Lukas Stadler <lukas.stadler@jku.at> parents: 10561 diff changeset	841 boxingSnippets.lower((BoxNode) n, tool);
8913 653110156f8a refactored boxing identification and lowering, removed BoxingMethodPool and explicit boxing phases Lukas Stadler <lukas.stadler@jku.at> parents: 8627 diff changeset	842 } else if (n instanceof UnboxNode) {
10569 6b9ebfcf5fc5 make BoxNode and UnboxNode floating Lukas Stadler <lukas.stadler@jku.at> parents: 10561 diff changeset	843 boxingSnippets.lower((UnboxNode) n, tool);
5241 e24167877471 conditional support for translating ExceptionObjectNode without XIR Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	844 } else {
e24167877471 conditional support for translating ExceptionObjectNode without XIR Doug Simon <doug.simon@oracle.com> parents: 5233 diff changeset	845 assert false : "Node implementing Lowerable not handled: " + n;
7076 32408bd16b91 fixes after merge Christian Haeubl <haeubl@ssw.jku.at> parents: 7075 diff changeset	846 throw GraalInternalError.shouldNotReachHere();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	847 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	848 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	849
10801 4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	850 private static boolean addReadBarrier(UnsafeLoadNode load, LoweringTool tool) {
4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	851 return useG1GC() && load.object().kind() == Kind.Object && load.accessKind() == Kind.Object && !load.object().objectStamp().alwaysNull() && load.object().objectStamp().type() != null &&
4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	852 !(load.object().objectStamp().type().isArray()) && tool.getLoweringType() == LoweringType.BEFORE_GUARDS;
4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	853 }
4bfbd4be6e7a Replace custom graph building with snippet for unsafe load lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10798 diff changeset	854
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	855 private static ReadNode createReadVirtualMethod(StructuredGraph graph, Kind wordKind, ValueNode hub, ResolvedJavaMethod method) {
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	856 HotSpotResolvedJavaMethod hsMethod = (HotSpotResolvedJavaMethod) method;
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	857 assert !hsMethod.getDeclaringClass().isInterface();
9636 ff4e8218d3dd Remove hasVtableEntry, use isInVirtualMethodTable instead Gilles Duboscq <duboscq@ssw.jku.at> parents: 9619 diff changeset	858 assert hsMethod.isInVirtualMethodTable();
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	859
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	860 int vtableEntryOffset = hsMethod.vtableEntryOffset();
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	861 assert vtableEntryOffset > 0;
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	862 // We use LocationNode.ANY_LOCATION for the reads that access the vtable
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	863 // entry as HotSpot does not guarantee that this is a final value.
10829 761002c55728 Add new node for referent field read barrier (G1 GC) Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10828 diff changeset	864 ReadNode metaspaceMethod = graph.add(new ReadNode(hub, ConstantLocationNode.create(ANY_LOCATION, wordKind, vtableEntryOffset, graph), StampFactory.forKind(wordKind()), BarrierType.NONE, false));
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	865 return metaspaceMethod;
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	866 }
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	867
10637 ba1fbbfac0cd remove null check semantics from LoadHubNode (GRAAL-248) Doug Simon <doug.simon@oracle.com> parents: 10587 diff changeset	868 private ReadNode createReadHub(StructuredGraph graph, Kind wordKind, ValueNode object) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	869 LocationNode location = ConstantLocationNode.create(FINAL_LOCATION, wordKind, config.hubOffset, graph);
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	870 assert !object.isConstant() \|\| object.asConstant().isNull();
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	871 return graph.add(new ReadNode(object, location, StampFactory.forKind(wordKind()), BarrierType.NONE, config.useCompressedKlassPointers));
9380 ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	872 }
ee8cd087a731 Dispatch based on method instead of type if it seems more beneficial. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9377 diff changeset	873
10733 6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	874 private WriteNode createWriteHub(StructuredGraph graph, Kind wordKind, ValueNode object, ValueNode value) {
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	875 LocationNode location = ConstantLocationNode.create(ANY_LOCATION, wordKind, config.hubOffset, graph);
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	876 assert !object.isConstant() \|\| object.asConstant().isNull();
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	877 return graph.add(new WriteNode(object, value, location, BarrierType.NONE, config.useCompressedKlassPointers));
10733 6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	878 }
6621bc66bfa4 Add WriteHubNode lowering Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10715 diff changeset	879
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	880 private static BarrierType getFieldLoadBarrierType(HotSpotResolvedJavaField loadField) {
b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	881 BarrierType barrierType = BarrierType.NONE;
10496 d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	882 if (config().useG1GC && loadField.getKind() == Kind.Object && loadField.getDeclaringClass().mirror() == java.lang.ref.Reference.class && loadField.getName().equals("referent")) {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	883 barrierType = BarrierType.PRECISE;
10496 d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	884 }
d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	885 return barrierType;
d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	886 }
d18fbe96ba76 Attach G1 Pre barrier to load field of referent field Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10436 diff changeset	887
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	888 private static BarrierType getFieldStoreBarrierType(StoreFieldNode storeField) {
b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	889 BarrierType barrierType = BarrierType.NONE;
10945 a03d31fa01d9 Writes with always null stamps omit only post barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10873 diff changeset	890 if (storeField.field().getKind() == Kind.Object) {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	891 barrierType = BarrierType.IMPRECISE;
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	892 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	893 return barrierType;
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	894 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	895
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	896 private static BarrierType getArrayStoreBarrierType(StoreIndexedNode store) {
b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	897 BarrierType barrierType = BarrierType.NONE;
10945 a03d31fa01d9 Writes with always null stamps omit only post barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10873 diff changeset	898 if (store.elementKind() == Kind.Object) {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	899 barrierType = BarrierType.PRECISE;
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	900 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	901 return barrierType;
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	902 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	903
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	904 private static BarrierType getUnsafeStoreBarrierType(UnsafeStoreNode store) {
b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	905 BarrierType barrierType = BarrierType.NONE;
10945 a03d31fa01d9 Writes with always null stamps omit only post barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10873 diff changeset	906 if (store.value().kind() == Kind.Object) {
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	907 ResolvedJavaType type = store.object().objectStamp().type();
10946 0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	908 if (type != null && !type.isArray()) {
0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	909 barrierType = BarrierType.IMPRECISE;
0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	910 } else {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	911 barrierType = BarrierType.PRECISE;
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	912 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	913 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	914 return barrierType;
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	915 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	916
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	917 private static BarrierType getCompareAndSwapBarrier(CompareAndSwapNode cas) {
b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	918 BarrierType barrierType = BarrierType.NONE;
10945 a03d31fa01d9 Writes with always null stamps omit only post barriers Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10873 diff changeset	919 if (cas.expected().kind() == Kind.Object) {
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	920 ResolvedJavaType type = cas.object().objectStamp().type();
10946 0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	921 if (type != null && !type.isArray()) {
0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	922 barrierType = BarrierType.IMPRECISE;
0d6d064cd80c Always use precise barriers when type==null Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10945 diff changeset	923 } else {
10828 b05e1ff3aac0 Rename WriteBarrierType to BarrierType Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10821 diff changeset	924 barrierType = BarrierType.PRECISE;
9105 2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	925 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	926 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	927 return barrierType;
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	928 }
2cae919cd3af Introduce enumeration for the different write barrier types Christos Kotselidis <christos.kotselidis@oracle.com> parents: 8980 diff changeset	929
9608 7a330743a452 change visibility of createFieldLocation/createArrayLocation Lukas Stadler <lukas.stadler@jku.at> parents: 9605 diff changeset	930 protected static ConstantLocationNode createFieldLocation(StructuredGraph graph, HotSpotResolvedJavaField field) {
9500 9cc37ce426cc factor out createFieldLocation in HotSpotRuntime Lukas Stadler <lukas.stadler@jku.at> parents: 9491 diff changeset	931 return ConstantLocationNode.create(field, field.getKind(), field.offset(), graph);
9cc37ce426cc factor out createFieldLocation in HotSpotRuntime Lukas Stadler <lukas.stadler@jku.at> parents: 9491 diff changeset	932 }
9cc37ce426cc factor out createFieldLocation in HotSpotRuntime Lukas Stadler <lukas.stadler@jku.at> parents: 9491 diff changeset	933
9888 3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	934 public int getScalingFactor(Kind kind) {
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	935 if (config.useCompressedOops && kind == Kind.Object) {
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	936 return this.graalRuntime.getTarget().arch.getSizeInBytes(Kind.Int);
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	937 } else {
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	938 return this.graalRuntime.getTarget().arch.getSizeInBytes(kind);
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	939 }
3d658d3b56f5 Attach compress info to Load/Store nodes Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9884 diff changeset	940 }
9500 9cc37ce426cc factor out createFieldLocation in HotSpotRuntime Lukas Stadler <lukas.stadler@jku.at> parents: 9491 diff changeset	941
9608 7a330743a452 change visibility of createFieldLocation/createArrayLocation Lukas Stadler <lukas.stadler@jku.at> parents: 9605 diff changeset	942 protected IndexedLocationNode createArrayLocation(Graph graph, Kind elementKind, ValueNode index) {
9884 cecd40916b06 Add scaling factor for arrays Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9850 diff changeset	943 int scale = getScalingFactor(elementKind);
9792 06dc2d2324d6 pulled LocationIdentity into a top level class and moved it to the api.meta project Doug Simon <doug.simon@oracle.com> parents: 9773 diff changeset	944 return IndexedLocationNode.create(NamedLocationIdentity.getArrayLocation(elementKind), elementKind, getArrayBaseOffset(elementKind), index, graph, scale);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	945 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	946
10835 04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	947 @Override
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	948 public ValueNode reconstructArrayIndex(LocationNode location) {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	949 Kind elementKind = location.getValueKind();
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	950 assert location.getLocationIdentity().equals(NamedLocationIdentity.getArrayLocation(elementKind));
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	951
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	952 long base;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	953 ValueNode index;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	954 int scale = getScalingFactor(elementKind);
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	955
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	956 if (location instanceof ConstantLocationNode) {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	957 base = ((ConstantLocationNode) location).getDisplacement();
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	958 index = null;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	959 } else if (location instanceof IndexedLocationNode) {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	960 IndexedLocationNode indexedLocation = (IndexedLocationNode) location;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	961 assert indexedLocation.getIndexScaling() == scale;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	962 base = indexedLocation.getDisplacement();
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	963 index = indexedLocation.getIndex();
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	964 } else {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	965 throw GraalInternalError.shouldNotReachHere();
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	966 }
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	967
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	968 base -= getArrayBaseOffset(elementKind);
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	969 assert base >= 0 && base % scale == 0;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	970
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	971 base /= scale;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	972 assert NumUtil.isInt(base);
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	973
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	974 if (index == null) {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	975 return ConstantNode.forInt((int) base, location.graph());
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	976 } else {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	977 if (base == 0) {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	978 return index;
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	979 } else {
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	980 return IntegerArithmeticNode.add(ConstantNode.forInt((int) base, location.graph()), index);
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	981 }
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	982 }
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	983 }
04f817fb0456 Method to reconstruct array index from LocationNode. Roland Schatz <roland.schatz@oracle.com> parents: 10829 diff changeset	984
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	985 private static GuardingNode createBoundsCheck(AccessIndexedNode n, LoweringTool tool) {
9602 19c5a07c7843 Introduce a graph() method that returns a StructuredGraph, to make many explicit casts unnecessary Christian Wimmer <christian.wimmer@oracle.com> parents: 9595 diff changeset	986 StructuredGraph graph = n.graph();
5415 79f12805362b Use iterative lowering instead of manually applying lowering Gilles Duboscq <duboscq@ssw.jku.at> parents: 5401 diff changeset	987 ArrayLengthNode arrayLength = graph.add(new ArrayLengthNode(n.array()));
9646 183d33c76419 Removed ValueNode.dependencies Gilles Duboscq <duboscq@ssw.jku.at> parents: 9636 diff changeset	988 GuardingNode guard = tool.createGuard(graph.unique(new IntegerBelowThanNode(n.index(), arrayLength)), BoundsCheckException, InvalidateReprofile);
5401 332a3c0d7b3b remove array length input from LoadIndexedNode and StoreIndexedNode Lukas Stadler <lukas.stadler@jku.at> parents: 5400 diff changeset	989
5415 79f12805362b Use iterative lowering instead of manually applying lowering Gilles Duboscq <duboscq@ssw.jku.at> parents: 5401 diff changeset	990 graph.addBeforeFixed(n, arrayLength);
5401 332a3c0d7b3b remove array length input from LoadIndexedNode and StoreIndexedNode Lukas Stadler <lukas.stadler@jku.at> parents: 5400 diff changeset	991 return guard;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	992 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	993
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	994 public ResolvedJavaType lookupJavaType(Class<?> clazz) {
7084 9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType, Gilles Duboscq <duboscq@ssw.jku.at> parents: 7083 diff changeset	995 return HotSpotResolvedObjectType.fromClass(clazz);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	996 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	997
9740 c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	998 public HotSpotForeignCallLinkage lookupForeignCall(ForeignCallDescriptor descriptor) {
c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	999 HotSpotForeignCallLinkage callTarget = foreignCalls.get(descriptor);
c4b1aa93b9af rename: HotSpotRuntimeCallTarget -> HotSpotForeignCallLinkage Doug Simon <doug.simon@oracle.com> parents: 9739 diff changeset	1000 assert foreignCalls != null : descriptor;
8627 75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	1001 callTarget.finalizeAddress(graalRuntime.getBackend());
75db7afee829 implemented lazy installation of replacements (GRAAL-137) Doug Simon <doug.simon@oracle.com> parents: 8587 diff changeset	1002 return callTarget;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1003 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1004
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	1005 public ResolvedJavaMethod lookupJavaMethod(Method reflectionMethod) {
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	1006 CompilerToVM c2vm = graalRuntime.getCompilerToVM();
7084 9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType, Gilles Duboscq <duboscq@ssw.jku.at> parents: 7083 diff changeset	1007 HotSpotResolvedObjectType[] resultHolder = {null};
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	1008 long metaspaceMethod = c2vm.getMetaspaceMethod(reflectionMethod, resultHolder);
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	1009 assert metaspaceMethod != 0L;
41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	1010 return resultHolder[0].createMethod(metaspaceMethod);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1011 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1012
7044 34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1013 public ResolvedJavaMethod lookupJavaConstructor(Constructor reflectionConstructor) {
34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1014 CompilerToVM c2vm = graalRuntime.getCompilerToVM();
7084 9ba90252ce08 HotSpotResolvedJavaType is now the HotSpot implementation of ResolvedJavaType, Gilles Duboscq <duboscq@ssw.jku.at> parents: 7083 diff changeset	1015 HotSpotResolvedObjectType[] resultHolder = {null};
7044 34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1016 long metaspaceMethod = c2vm.getMetaspaceConstructor(reflectionConstructor, resultHolder);
34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1017 assert metaspaceMethod != 0L;
34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1018 return resultHolder[0].createMethod(metaspaceMethod);
34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1019 }
34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7034 diff changeset	1020
6539 2463eb24b644 Cleanup of Graal API: Rename methods so that it follows the getXxx naming convention and so that they are similar to the names of the java.lang.reflect classes. Remove unused methods. Christian Wimmer <christian.wimmer@oracle.com> parents: 6534 diff changeset	1021 public ResolvedJavaField lookupJavaField(Field reflectionField) {
6442 45f682f7fea8 Add MetaAccessProvider.getResolvedJavaField to convert from reflection field to metadata field Christian Wimmer <christian.wimmer@oracle.com> parents: 6431 diff changeset	1022 return graalRuntime.getCompilerToVM().getJavaField(reflectionField);
45f682f7fea8 Add MetaAccessProvider.getResolvedJavaField to convert from reflection field to metadata field Christian Wimmer <christian.wimmer@oracle.com> parents: 6431 diff changeset	1023 }
45f682f7fea8 Add MetaAccessProvider.getResolvedJavaField to convert from reflection field to metadata field Christian Wimmer <christian.wimmer@oracle.com> parents: 6431 diff changeset	1024
10019 6e4b72bcc97f Remove graph from HotSpotNMethod Christos Kotselidis <christos.kotselidis@oracle.com> parents: 9983 diff changeset	1025 public HotSpotInstalledCode installMethod(HotSpotResolvedJavaMethod method, int entryBCI, CompilationResult compResult) {
10052 5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1026 HotSpotInstalledCode installedCode = new HotSpotNmethod(method, true, null);
9669 ed6202820ecf renamed HotSpotCompilationResult to HotSpotCompiledCode and added subclasses HotSpotCompiledNmethod and HotSpotCompiledRuntimeStub Doug Simon <doug.simon@oracle.com> parents: 9668 diff changeset	1027 graalRuntime.getCompilerToVM().installCode(new HotSpotCompiledNmethod(method, entryBCI, compResult), installedCode, method.getSpeculationLog());
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	1028 return installedCode;
5360 6cc970203f30 moved creation of a RiCodeInfo to the runtime side of the CRI Doug Simon <doug.simon@oracle.com> parents: 5323 diff changeset	1029 }
6cc970203f30 moved creation of a RiCodeInfo to the runtime side of the CRI Doug Simon <doug.simon@oracle.com> parents: 5323 diff changeset	1030
6cc970203f30 moved creation of a RiCodeInfo to the runtime side of the CRI Doug Simon <doug.simon@oracle.com> parents: 5323 diff changeset	1031 @Override
8349 8d6ea1915d42 merged CodeInfo into InstalledCode (GRAAL-156) Doug Simon <doug.simon@oracle.com> parents: 8217 diff changeset	1032 public InstalledCode addMethod(ResolvedJavaMethod method, CompilationResult compResult) {
10052 5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1033 return addMethod(method, compResult, null);
5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1034 }
5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1035
5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1036 @Override
5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1037 public InstalledCode addMethod(ResolvedJavaMethod method, CompilationResult compResult, Graph graph) {
6950 41938af2b3d8 modifications to support non-perm-gen changes in HotSpot Doug Simon <doug.simon@oracle.com> parents: 6699 diff changeset	1038 HotSpotResolvedJavaMethod hotspotMethod = (HotSpotResolvedJavaMethod) method;
10052 5b21ddb3deaa readd optional graph to HotSpotNmethod Andreas Woess <andreas.woess@jku.at> parents: 10029 diff changeset	1039 HotSpotInstalledCode code = new HotSpotNmethod(hotspotMethod, false, graph);
9669 ed6202820ecf renamed HotSpotCompilationResult to HotSpotCompiledCode and added subclasses HotSpotCompiledNmethod and HotSpotCompiledRuntimeStub Doug Simon <doug.simon@oracle.com> parents: 9668 diff changeset	1040 CodeInstallResult result = graalRuntime.getCompilerToVM().installCode(new HotSpotCompiledNmethod(hotspotMethod, -1, compResult), code, null);
7113 38076efb9062 Do not print code installation failures from Java. Gilles Duboscq <duboscq@ssw.jku.at> parents: 7104 diff changeset	1041 if (result != CodeInstallResult.OK) {
38076efb9062 Do not print code installation failures from Java. Gilles Duboscq <duboscq@ssw.jku.at> parents: 7104 diff changeset	1042 return null;
38076efb9062 Do not print code installation failures from Java. Gilles Duboscq <duboscq@ssw.jku.at> parents: 7104 diff changeset	1043 }
38076efb9062 Do not print code installation failures from Java. Gilles Duboscq <duboscq@ssw.jku.at> parents: 7104 diff changeset	1044 return code;
4319 3c21eee8ab4d Add installMethodCallback() to HotSpotRuntime. Andreas Woess <andreas.woess@jku.at> parents: 4312 diff changeset	1045 }
3c21eee8ab4d Add installMethodCallback() to HotSpotRuntime. Andreas Woess <andreas.woess@jku.at> parents: 4312 diff changeset	1046
10577 9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1047 public InstalledCode addExternalMethod(ResolvedJavaMethod method, CompilationResult compResult, Graph graph) {
10581 63d0eaa9b25d PTX checkstyle nits Morris Meyer <morris.meyer@oracle.com> parents: 10577 diff changeset	1048
10577 9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1049 // compResult.getTargetCode() == assembled PTX method string
10581 63d0eaa9b25d PTX checkstyle nits Morris Meyer <morris.meyer@oracle.com> parents: 10577 diff changeset	1050
10577 9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1051 HotSpotResolvedJavaMethod javaMethod = (HotSpotResolvedJavaMethod) method;
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1052 HotSpotInstalledCode icode = new HotSpotNmethod(javaMethod, false, true, graph);
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1053 HotSpotCompiledNmethod compiled = new HotSpotCompiledNmethod(javaMethod, -1, compResult);
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1054 CompilerToVM vm = graalRuntime.getCompilerToVM();
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1055 CodeInstallResult result = vm.installCode(compiled, icode, null);
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1056 if (result != CodeInstallResult.OK) {
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1057 return null;
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1058 }
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1059 return icode;
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1060 }
9c7d9e2c8326 PTX kernel execution - no args or return value Morris Meyer <morris.meyer@oracle.com> parents: 10569 diff changeset	1061
4993 897b7d18bebc added RiCompiledMethod.execute and the required VM infrastructure Lukas Stadler <lukas.stadler@jku.at> parents: 4696 diff changeset	1062 @Override
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	1063 public int encodeDeoptActionAndReason(DeoptimizationAction action, DeoptimizationReason reason) {
5114 dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1064 final int actionShift = 0;
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1065 final int reasonShift = 3;
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1066
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1067 int actionValue = convertDeoptAction(action);
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1068 int reasonValue = convertDeoptReason(reason);
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1069 return (~(((reasonValue) << reasonShift) + ((actionValue) << actionShift)));
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1070 }
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1071
5547 b6617d13ea44 Dropping Ci* prefixes. Some additional renamings in the api.code interface. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5546 diff changeset	1072 public int convertDeoptAction(DeoptimizationAction action) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1073 switch (action) {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1074 case None:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1075 return config.deoptActionNone;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1076 case RecompileIfTooManyDeopts:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1077 return config.deoptActionMaybeRecompile;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1078 case InvalidateReprofile:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1079 return config.deoptActionReinterpret;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1080 case InvalidateRecompile:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1081 return config.deoptActionMakeNotEntrant;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1082 case InvalidateStopCompiling:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1083 return config.deoptActionMakeNotCompilable;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1084 default:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1085 throw GraalInternalError.shouldNotReachHere();
5114 dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1086 }
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1087 }
dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1088
5541 b4c406861c33 More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 5540 diff changeset	1089 public int convertDeoptReason(DeoptimizationReason reason) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1090 switch (reason) {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1091 case None:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1092 return config.deoptReasonNone;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1093 case NullCheckException:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1094 return config.deoptReasonNullCheck;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1095 case BoundsCheckException:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1096 return config.deoptReasonRangeCheck;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1097 case ClassCastException:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1098 return config.deoptReasonClassCheck;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1099 case ArrayStoreException:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1100 return config.deoptReasonArrayCheck;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1101 case UnreachedCode:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1102 return config.deoptReasonUnreached0;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1103 case TypeCheckedInliningViolated:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1104 return config.deoptReasonTypeCheckInlining;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1105 case OptimizedTypeCheckViolated:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1106 return config.deoptReasonOptimizedTypeCheck;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1107 case NotCompiledExceptionHandler:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1108 return config.deoptReasonNotCompiledExceptionHandler;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1109 case Unresolved:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1110 return config.deoptReasonUnresolved;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1111 case JavaSubroutineMismatch:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1112 return config.deoptReasonJsrMismatch;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1113 case ArithmeticException:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1114 return config.deoptReasonDiv0Check;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1115 case RuntimeConstraint:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1116 return config.deoptReasonConstraint;
9444 fd60b73f1759 Add LoopLimitCheck deoptimization reason Gilles Duboscq <duboscq@ssw.jku.at> parents: 9441 diff changeset	1117 case LoopLimitCheck:
fd60b73f1759 Add LoopLimitCheck deoptimization reason Gilles Duboscq <duboscq@ssw.jku.at> parents: 9441 diff changeset	1118 return config.deoptReasonLoopLimitCheck;
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1119 default:
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7522 diff changeset	1120 throw GraalInternalError.shouldNotReachHere();
5114 dad1ac9dba7d finished first implementation of disabling runtime feedback selectively based on deoptimization history Christian Haeubl <christian.haeubl@oracle.com> parents: 5110 diff changeset	1121 }
4993 897b7d18bebc added RiCompiledMethod.execute and the required VM infrastructure Lukas Stadler <lukas.stadler@jku.at> parents: 4696 diff changeset	1122 }
6996 eec373d34caf added support for annotated Constants and used it to track Klass* values in Graal and register them in the metadata section of a nmethod during code installation Doug Simon <doug.simon@oracle.com> parents: 6954 diff changeset	1123
eec373d34caf added support for annotated Constants and used it to track Klass* values in Graal and register them in the metadata section of a nmethod during code installation Doug Simon <doug.simon@oracle.com> parents: 6954 diff changeset	1124 public boolean needsDataPatch(Constant constant) {
7930 fe64b5da8229 Create direct call for Static and Special to avoid out-of-line patching stub. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 7912 diff changeset	1125 return constant.getPrimitiveAnnotation() != null;
6996 eec373d34caf added support for annotated Constants and used it to track Klass* values in Graal and register them in the metadata section of a nmethod during code installation Doug Simon <doug.simon@oracle.com> parents: 6954 diff changeset	1126 }
7143 445193cc2a7d added support for writing stubs in Java and wrote the TLAB fast refill stub Doug Simon <doug.simon@oracle.com> parents: 7130 diff changeset	1127
7672 1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1128 @Override
10863 5404cde63c43 Remove redundant checks for loading compressed constants Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10850 diff changeset	1129 public Constant readUnsafeConstant(Kind kind, Object base, long displacement, boolean compressible) {
7672 1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1130 switch (kind) {
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1131 case Boolean:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1132 return Constant.forBoolean(base == null ? unsafe.getByte(displacement) != 0 : unsafe.getBoolean(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1133 case Byte:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1134 return Constant.forByte(base == null ? unsafe.getByte(displacement) : unsafe.getByte(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1135 case Char:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1136 return Constant.forChar(base == null ? unsafe.getChar(displacement) : unsafe.getChar(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1137 case Short:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1138 return Constant.forShort(base == null ? unsafe.getShort(displacement) : unsafe.getShort(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1139 case Int:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1140 return Constant.forInt(base == null ? unsafe.getInt(displacement) : unsafe.getInt(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1141 case Long:
10715 c3760150dc29 Add function to read compressed klass pointers of constant objects natively Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10671 diff changeset	1142 if (displacement == config().hubOffset && this.getGraalRuntime().getRuntime().config.useCompressedKlassPointers) {
10744 45dc193567c2 Add assertions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10735 diff changeset	1143 if (base == null) {
45dc193567c2 Add assertions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10735 diff changeset	1144 throw new GraalInternalError("Base of object must not be null");
45dc193567c2 Add assertions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10735 diff changeset	1145 } else {
45dc193567c2 Add assertions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10735 diff changeset	1146 return Constant.forLong(this.getGraalRuntime().getCompilerToVM().readUnsafeKlassPointer(base));
45dc193567c2 Add assertions Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10735 diff changeset	1147 }
10715 c3760150dc29 Add function to read compressed klass pointers of constant objects natively Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10671 diff changeset	1148 } else {
c3760150dc29 Add function to read compressed klass pointers of constant objects natively Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10671 diff changeset	1149 return Constant.forLong(base == null ? unsafe.getLong(displacement) : unsafe.getLong(base, displacement));
c3760150dc29 Add function to read compressed klass pointers of constant objects natively Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10671 diff changeset	1150 }
7672 1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1151 case Float:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1152 return Constant.forFloat(base == null ? unsafe.getFloat(displacement) : unsafe.getFloat(base, displacement));
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1153 case Double:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1154 return Constant.forDouble(base == null ? unsafe.getDouble(displacement) : unsafe.getDouble(base, displacement));
10536 26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1155 case Object: {
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1156 Object o = null;
10863 5404cde63c43 Remove redundant checks for loading compressed constants Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10850 diff changeset	1157 if (compressible) {
10536 26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1158 o = unsafe.getObject(base, displacement);
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1159 } else {
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1160 o = this.getGraalRuntime().getCompilerToVM().readUnsafeUncompressedPointer(base, displacement);
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1161 }
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1162 return Constant.forObject(o);
26c69598db3e Fix bug in canonicalization of non-compressed object pointers. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 10517 diff changeset	1163 }
7672 1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1164 default:
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1165 throw GraalInternalError.shouldNotReachHere();
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1166 }
1a4a00390113 Make the access of raw memory via Unsafe specific to HotSpot. Christian Wimmer <christian.wimmer@oracle.com> parents: 7558 diff changeset	1167 }
7733 f6bf0f6a8431 move AMD64HotSpotRuntime.getTarget up to HotSpotRuntime Roland Schatz <roland.schatz@oracle.com> parents: 7677 diff changeset	1168
f6bf0f6a8431 move AMD64HotSpotRuntime.getTarget up to HotSpotRuntime Roland Schatz <roland.schatz@oracle.com> parents: 7677 diff changeset	1169 @Override
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	1170 public boolean isReexecutable(ForeignCallDescriptor descriptor) {
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	1171 return foreignCalls.get(descriptor).isReexecutable();
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	1172 }
b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	1173
9819 8aea948c522b added support for the runtime to specify for each foreign call whether deoptimization can occur during the call Doug Simon <doug.simon@oracle.com> parents: 9793 diff changeset	1174 public boolean canDeoptimize(ForeignCallDescriptor descriptor) {
9870 c65bad5126b0 pull HotSpotForeignCallLinkage.isLeaf into ForeignCallLinkage and rename to canDeoptimize Lukas Stadler <lukas.stadler@jku.at> parents: 9866 diff changeset	1175 return foreignCalls.get(descriptor).canDeoptimize();
9819 8aea948c522b added support for the runtime to specify for each foreign call whether deoptimization can occur during the call Doug Simon <doug.simon@oracle.com> parents: 9793 diff changeset	1176 }
8aea948c522b added support for the runtime to specify for each foreign call whether deoptimization can occur during the call Doug Simon <doug.simon@oracle.com> parents: 9793 diff changeset	1177
9823 9e6b6d5d6465 rename: getKilledLocationIdentities -> getKilledLocations Doug Simon <doug.simon@oracle.com> parents: 9820 diff changeset	1178 public LocationIdentity[] getKilledLocations(ForeignCallDescriptor descriptor) {
9793 b4f12c603be5 added support for the runtime to specify for each foreign call whether it is re-executable and what memory locations it kills Doug Simon <doug.simon@oracle.com> parents: 9792 diff changeset	1179 return foreignCalls.get(descriptor).getKilledLocations();
9737 34c892fdfb6d moved responsibility for determining if a foreign call has a side effect to the runtime Doug Simon <doug.simon@oracle.com> parents: 9736 diff changeset	1180 }
34c892fdfb6d moved responsibility for determining if a foreign call has a side effect to the runtime Doug Simon <doug.simon@oracle.com> parents: 9736 diff changeset	1181
34c892fdfb6d moved responsibility for determining if a foreign call has a side effect to the runtime Doug Simon <doug.simon@oracle.com> parents: 9736 diff changeset	1182 @Override
7733 f6bf0f6a8431 move AMD64HotSpotRuntime.getTarget up to HotSpotRuntime Roland Schatz <roland.schatz@oracle.com> parents: 7677 diff changeset	1183 public TargetDescription getTarget() {
f6bf0f6a8431 move AMD64HotSpotRuntime.getTarget up to HotSpotRuntime Roland Schatz <roland.schatz@oracle.com> parents: 7677 diff changeset	1184 return graalRuntime.getTarget();
f6bf0f6a8431 move AMD64HotSpotRuntime.getTarget up to HotSpotRuntime Roland Schatz <roland.schatz@oracle.com> parents: 7677 diff changeset	1185 }
7784 016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1186
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1187 public String disassemble(InstalledCode code) {
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1188 if (code.isValid()) {
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: 9301 diff changeset	1189 long codeBlob = ((HotSpotInstalledCode) code).getCodeBlob();
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: 9301 diff changeset	1190 return graalRuntime.getCompilerToVM().disassembleCodeBlob(codeBlob);
7784 016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1191 }
7912 06ecee106195 added unit tests for bytecode and machine code disassembly Doug Simon <doug.simon@oracle.com> parents: 7838 diff changeset	1192 return null;
7784 016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1193 }
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1194
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1195 public String disassemble(ResolvedJavaMethod method) {
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1196 return new BytecodeDisassembler().disassemble(method);
016e23829147 added HotSpot implementation of disassembling APIs Doug Simon <doug.simon@oracle.com> parents: 7764 diff changeset	1197 }
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1198
3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1199 public Suites getDefaultSuites() {
3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1200 return defaultSuites;
3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1201 }
3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1202
3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1203 public Suites createSuites() {
9969 b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1204 Suites ret = Suites.createDefaultSuites();
b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1205
10009 b5c87b5c6e9c add option to enable ahead of time compilation for hotspot (GRAAL-290) Bernhard Urban <bernhard.urban@jku.at> parents: 9983 diff changeset	1206 if (AOTCompilation.getValue()) {
b5c87b5c6e9c add option to enable ahead of time compilation for hotspot (GRAAL-290) Bernhard Urban <bernhard.urban@jku.at> parents: 9983 diff changeset	1207 // lowering introduces class constants, therefore it must be after lowering
10029 839791e70ff1 Method for adding a new phase at the beginning of a suite. Roland Schatz <roland.schatz@oracle.com> parents: 10027 diff changeset	1208 ret.getHighTier().appendPhase(new LoadJavaMirrorWithKlassPhase());
10015 deb5bd841422 aot: add verification phase Bernhard Urban <bernhard.urban@jku.at> parents: 10009 diff changeset	1209 if (VerifyPhases.getValue()) {
10420 672e126cf996 aot verify: s/AheadOfTimeVerifcationPhase/AheadOfTimeVerificationPhase/g Bernhard Urban <bernhard.urban@jku.at> parents: 10072 diff changeset	1210 ret.getHighTier().appendPhase(new AheadOfTimeVerificationPhase());
10015 deb5bd841422 aot: add verification phase Bernhard Urban <bernhard.urban@jku.at> parents: 10009 diff changeset	1211 }
10009 b5c87b5c6e9c add option to enable ahead of time compilation for hotspot (GRAAL-290) Bernhard Urban <bernhard.urban@jku.at> parents: 9983 diff changeset	1212 }
b5c87b5c6e9c add option to enable ahead of time compilation for hotspot (GRAAL-290) Bernhard Urban <bernhard.urban@jku.at> parents: 9983 diff changeset	1213
10029 839791e70ff1 Method for adding a new phase at the beginning of a suite. Roland Schatz <roland.schatz@oracle.com> parents: 10027 diff changeset	1214 ret.getMidTier().appendPhase(new WriteBarrierAdditionPhase());
9969 b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1215 if (VerifyPhases.getValue()) {
10776 f587a69c63ae Minor refactoring Christos Kotselidis <christos.kotselidis@oracle.com> parents: 10744 diff changeset	1216 ret.getMidTier().appendPhase(new WriteBarrierVerificationPhase());
9969 b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1217 }
b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1218
b8b4d7f3e4aa Use Suites mechanism for HotSpot specific compiler phases. Roland Schatz <roland.schatz@oracle.com> parents: 9968 diff changeset	1219 return ret;
9968 3df534c97af1 Create Suites instance in runtime. Roland Schatz <roland.schatz@oracle.com> parents: 9896 diff changeset	1220 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1221 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotRuntime.java @ 10947:e8dac30e274d