Mercurial > hg > graal-compiler
view graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/MethodCallTargetNode.java @ 18250:34cb95edfc97
MethodCallTargetNode: get profile from TypeProfileProxy if available.
author | Josef Eisl <josef.eisl@jku.at> |
---|---|
date | Tue, 04 Nov 2014 13:22:58 +0100 |
parents | 691e2b53dc63 |
children | 4a41f32ed552 |
line wrap: on
line source
/* * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.graal.nodes.java; import com.oracle.graal.api.meta.*; import com.oracle.graal.compiler.common.type.*; import com.oracle.graal.graph.*; import com.oracle.graal.graph.spi.*; import com.oracle.graal.nodeinfo.*; import com.oracle.graal.nodes.*; import com.oracle.graal.nodes.type.*; @NodeInfo public class MethodCallTargetNode extends CallTargetNode implements IterableNodeType, Simplifiable { protected final JavaType returnType; /** * @param arguments */ public static MethodCallTargetNode create(InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] arguments, JavaType returnType) { return new MethodCallTargetNode(invokeKind, targetMethod, arguments, returnType); } protected MethodCallTargetNode(InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] arguments, JavaType returnType) { super(arguments, targetMethod, invokeKind); this.returnType = returnType; } /** * Gets the instruction that produces the receiver object for this invocation, if any. * * @return the instruction that produces the receiver object for this invocation if any, * {@code null} if this invocation does not take a receiver object */ public ValueNode receiver() { return isStatic() ? null : arguments().get(0); } /** * Checks whether this is an invocation of a static method. * * @return {@code true} if the invocation is a static invocation */ public boolean isStatic() { return invokeKind() == InvokeKind.Static; } public Kind returnKind() { return targetMethod().getSignature().getReturnKind(); } public Invoke invoke() { return (Invoke) this.usages().first(); } @Override public boolean verify() { assert usages().count() <= 1 : "call target may only be used by a single invoke"; for (Node n : usages()) { assertTrue(n instanceof Invoke, "call target can only be used from an invoke (%s)", n); } if (invokeKind() == InvokeKind.Special || invokeKind() == InvokeKind.Static) { assertFalse(targetMethod().isAbstract(), "special calls or static calls are only allowed for concrete methods (%s)", targetMethod()); } if (invokeKind() == InvokeKind.Static) { assertTrue(targetMethod().isStatic(), "static calls are only allowed for static methods (%s)", targetMethod()); } else { assertFalse(targetMethod().isStatic(), "static calls are only allowed for non-static methods (%s)", targetMethod()); } return super.verify(); } @Override public String toString(Verbosity verbosity) { if (verbosity == Verbosity.Long) { return super.toString(Verbosity.Short) + "(" + targetMethod() + ")"; } else { return super.toString(verbosity); } } @Override public void simplify(SimplifierTool tool) { if (invokeKind() == InvokeKind.Interface || invokeKind() == InvokeKind.Virtual) { // attempt to devirtualize the call // check for trivial cases (e.g. final methods, nonvirtual methods) if (targetMethod().canBeStaticallyBound()) { setInvokeKind(InvokeKind.Special); return; } // check if the type of the receiver can narrow the result ValueNode receiver = receiver(); ResolvedJavaType type = StampTool.typeOrNull(receiver); if (type == null && invokeKind == InvokeKind.Virtual) { // For virtual calls, we are guaranteed to receive a correct receiver type. type = targetMethod.getDeclaringClass(); } if (type != null && (invoke().stateAfter() != null || invoke().stateDuring() != null)) { /* * either the holder class is exact, or the receiver object has an exact type, or * it's an array type */ ResolvedJavaMethod resolvedMethod = type.resolveConcreteMethod(targetMethod(), invoke().getContextType()); if (resolvedMethod != null && (resolvedMethod.canBeStaticallyBound() || StampTool.isExactType(receiver) || type.isArray())) { setInvokeKind(InvokeKind.Special); setTargetMethod(resolvedMethod); return; } if (tool.assumptions() != null && tool.assumptions().useOptimisticAssumptions()) { ResolvedJavaType uniqueConcreteType = type.findUniqueConcreteSubtype(); if (uniqueConcreteType != null) { ResolvedJavaMethod methodFromUniqueType = uniqueConcreteType.resolveConcreteMethod(targetMethod(), invoke().getContextType()); if (methodFromUniqueType != null) { tool.assumptions().recordConcreteSubtype(type, uniqueConcreteType); setInvokeKind(InvokeKind.Special); setTargetMethod(methodFromUniqueType); return; } } ResolvedJavaMethod uniqueConcreteMethod = type.findUniqueConcreteMethod(targetMethod()); if (uniqueConcreteMethod != null) { tool.assumptions().recordConcreteMethod(targetMethod(), type, uniqueConcreteMethod); setInvokeKind(InvokeKind.Special); setTargetMethod(uniqueConcreteMethod); return; } } } ResolvedJavaType receiverType = targetMethod().getDeclaringClass(); if (receiverType.isInterface()) { ResolvedJavaType single = receiverType.getSingleImplementor(); if (single != null && !single.equals(receiverType)) { ResolvedJavaMethod newResolvedMethod = single.resolveMethod(targetMethod(), invoke().getContextType(), true); // TODO (je): we can not yet deal with default methods if (newResolvedMethod != null && !newResolvedMethod.isDefault()) { LogicNode condition = graph().unique(InstanceOfNode.create(single, receiver, getProfile())); assert graph().getGuardsStage().ordinal() < StructuredGraph.GuardsStage.FIXED_DEOPTS.ordinal() : "Graph already fixed!"; GuardNode guard = graph().unique( GuardNode.create(condition, BeginNode.prevBegin(invoke().asNode()), DeoptimizationReason.OptimizedTypeCheckViolated, DeoptimizationAction.InvalidateRecompile, false, JavaConstant.NULL_OBJECT)); PiNode piNode = graph().unique(PiNode.create(receiver, StampFactory.declared(single), guard)); arguments().set(0, piNode); setInvokeKind(InvokeKind.Virtual); setTargetMethod(newResolvedMethod); } } } } } private JavaTypeProfile getProfile() { assert !isStatic(); if (receiver() instanceof TypeProfileProxyNode) { // get profile from TypeProfileProxy return ((TypeProfileProxyNode) receiver()).getProfile(); } // get profile from invoke() ProfilingInfo profilingInfo = invoke().getContextMethod().getProfilingInfo(); return profilingInfo.getTypeProfile(invoke().bci()); } @Override public Stamp returnStamp() { Kind returnKind = targetMethod().getSignature().getReturnKind(); if (returnKind == Kind.Object && returnType instanceof ResolvedJavaType) { return StampFactory.declared((ResolvedJavaType) returnType); } else { return StampFactory.forKind(returnKind); } } public JavaType returnType() { return returnType; } @Override public String targetName() { if (targetMethod() == null) { return "??Invalid!"; } return targetMethod().format("%h.%n"); } public static MethodCallTargetNode find(StructuredGraph graph, ResolvedJavaMethod method) { for (MethodCallTargetNode target : graph.getNodes(MethodCallTargetNode.class)) { if (target.targetMethod().equals(method)) { return target; } } return null; } }