truffle: graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/inlining/info/MultiTypeGuardInlineInfo.java annotate

annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/inlining/info/MultiTypeGuardInlineInfo.java @ 17328:c9bb0da795d4

Backed out of changeset 17322:655f3e6b467b

author	Doug Simon <doug.simon@oracle.com>
date	Fri, 03 Oct 2014 14:19:58 +0200
parents	655f3e6b467b
children	9619ba4daf4c

rev	line source
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	1 /*
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	4 *
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	8 *
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	13 * accompanied this code).
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	14 *
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	18 *
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	21 * questions.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	22 */
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	23 package com.oracle.graal.phases.common.inlining.info;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	24
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	25 import static com.oracle.graal.compiler.common.GraalOptions.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	26
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	27 import java.util.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	28
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	29 import com.oracle.graal.api.code.*;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	30 import com.oracle.graal.api.meta.*;
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	31 import com.oracle.graal.api.meta.JavaTypeProfile.ProfiledType;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	32 import com.oracle.graal.compiler.common.calc.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	33 import com.oracle.graal.compiler.common.type.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	34 import com.oracle.graal.debug.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	35 import com.oracle.graal.graph.*;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	36 import com.oracle.graal.nodes.*;
16563 1e63cb55f61d Move InvokeKind from MethodCallTargetNode to CallTargetNode Gilles Duboscq <duboscq@ssw.jku.at> parents: 16480 diff changeset	37 import com.oracle.graal.nodes.CallTargetNode.InvokeKind;
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	38 import com.oracle.graal.nodes.calc.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	39 import com.oracle.graal.nodes.extended.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	40 import com.oracle.graal.nodes.java.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	41 import com.oracle.graal.nodes.util.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	42 import com.oracle.graal.phases.common.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	43 import com.oracle.graal.phases.common.inlining.*;
15798 8c5bcddb4320 [inlining-6] moved Inlineable to dedicated package for inlineable elements Miguel Garcia <miguel.m.garcia@oracle.com> parents: 15725 diff changeset	44 import com.oracle.graal.phases.common.inlining.info.elem.Inlineable;
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	45 import com.oracle.graal.phases.tiers.*;
ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	46 import com.oracle.graal.phases.util.*;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	47
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	48 /**
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	49 * Polymorphic inlining of m methods with n type checks (n ≥ m) in case that the profiling
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	50 * information suggests a reasonable amount of different receiver types and different methods. If an
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	51 * unknown type is encountered a deoptimization is triggered.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	52 */
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	53 public class MultiTypeGuardInlineInfo extends AbstractInlineInfo {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	54
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	55 private static final DebugMetric metricInliningTailDuplication = Debug.metric("InliningTailDuplication");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	56
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	57 private final List<ResolvedJavaMethod> concretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	58 private final double[] methodProbabilities;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	59 private final double maximumMethodProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	60 private final ArrayList<Integer> typesToConcretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	61 private final ArrayList<ProfiledType> ptypes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	62 private final ArrayList<Double> concretesProbabilities;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	63 private final double notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	64 private final Inlineable[] inlineableElements;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	65
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	66 public MultiTypeGuardInlineInfo(Invoke invoke, ArrayList<ResolvedJavaMethod> concretes, ArrayList<Double> concretesProbabilities, ArrayList<ProfiledType> ptypes,
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	67 ArrayList<Integer> typesToConcretes, double notRecordedTypeProbability) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	68 super(invoke);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	69 assert concretes.size() > 0 : "must have at least one method";
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	70 assert ptypes.size() == typesToConcretes.size() : "array lengths must match";
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	71
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	72 this.concretesProbabilities = concretesProbabilities;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	73 this.concretes = concretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	74 this.ptypes = ptypes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	75 this.typesToConcretes = typesToConcretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	76 this.notRecordedTypeProbability = notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	77 this.inlineableElements = new Inlineable[concretes.size()];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	78 this.methodProbabilities = computeMethodProbabilities();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	79 this.maximumMethodProbability = maximumMethodProbability();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	80 assert maximumMethodProbability > 0;
16616 29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	81 assert assertUniqueTypes(ptypes);
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	82 }
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	83
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	84 private static boolean assertUniqueTypes(ArrayList<ProfiledType> ptypes) {
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	85 Set<ResolvedJavaType> set = new HashSet<>();
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	86 for (ProfiledType ptype : ptypes) {
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	87 set.add(ptype.getType());
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	88 }
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	89 return set.size() == ptypes.size();
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	90 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	91
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	92 private double[] computeMethodProbabilities() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	93 double[] result = new double[concretes.size()];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	94 for (int i = 0; i < typesToConcretes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	95 int concrete = typesToConcretes.get(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	96 double probability = ptypes.get(i).getProbability();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	97 result[concrete] += probability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	98 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	99 return result;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	100 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	101
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	102 private double maximumMethodProbability() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	103 double max = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	104 for (int i = 0; i < methodProbabilities.length; i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	105 max = Math.max(max, methodProbabilities[i]);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	106 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	107 return max;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	108 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	109
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	110 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	111 public int numberOfMethods() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	112 return concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	113 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	114
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	115 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	116 public ResolvedJavaMethod methodAt(int index) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	117 assert index >= 0 && index < concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	118 return concretes.get(index);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	119 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	120
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	121 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	122 public Inlineable inlineableElementAt(int index) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	123 assert index >= 0 && index < concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	124 return inlineableElements[index];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	125 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	126
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	127 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	128 public double probabilityAt(int index) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	129 return methodProbabilities[index];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	130 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	131
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	132 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	133 public double relevanceAt(int index) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	134 return probabilityAt(index) / maximumMethodProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	135 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	136
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	137 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	138 public void setInlinableElement(int index, Inlineable inlineableElement) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	139 assert index >= 0 && index < concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	140 inlineableElements[index] = inlineableElement;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	141 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	142
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	143 @Override
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	144 public Collection<Node> inline(Providers providers, Assumptions assumptions) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	145 if (hasSingleMethod()) {
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	146 return inlineSingleMethod(graph(), providers.getMetaAccess(), assumptions);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	147 } else {
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	148 return inlineMultipleMethods(graph(), providers, assumptions);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	149 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	150 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	151
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	152 public boolean shouldInline() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	153 for (ResolvedJavaMethod method : concretes) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	154 if (method.shouldBeInlined()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	155 return true;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	156 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	157 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	158 return false;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	159 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	160
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	161 private boolean hasSingleMethod() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	162 return concretes.size() == 1 && !shouldFallbackToInvoke();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	163 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	164
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	165 private boolean shouldFallbackToInvoke() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	166 return notRecordedTypeProbability > 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	167 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	168
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	169 private Collection<Node> inlineMultipleMethods(StructuredGraph graph, Providers providers, Assumptions assumptions) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	170 int numberOfMethods = concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	171 FixedNode continuation = invoke.next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	172
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	173 ValueNode originalReceiver = ((MethodCallTargetNode) invoke.callTarget()).receiver();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	174 // setup merge and phi nodes for results and exceptions
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	175 MergeNode returnMerge = graph.add(MergeNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	176 returnMerge.setStateAfter(invoke.stateAfter());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	177
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	178 PhiNode returnValuePhi = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	179 if (invoke.asNode().getKind() != Kind.Void) {
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	180 returnValuePhi = graph.addWithoutUnique(ValuePhiNode.create(invoke.asNode().stamp().unrestricted(), returnMerge));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	181 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	182
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	183 MergeNode exceptionMerge = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	184 PhiNode exceptionObjectPhi = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	185 if (invoke instanceof InvokeWithExceptionNode) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	186 InvokeWithExceptionNode invokeWithException = (InvokeWithExceptionNode) invoke;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	187 ExceptionObjectNode exceptionEdge = (ExceptionObjectNode) invokeWithException.exceptionEdge();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	188
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	189 exceptionMerge = graph.add(MergeNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	190
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	191 FixedNode exceptionSux = exceptionEdge.next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	192 graph.addBeforeFixed(exceptionSux, exceptionMerge);
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	193 exceptionObjectPhi = graph.addWithoutUnique(ValuePhiNode.create(StampFactory.forKind(Kind.Object), exceptionMerge));
17328 c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b Doug Simon <doug.simon@oracle.com> parents: 17327 diff changeset	194 exceptionMerge.setStateAfter(exceptionEdge.stateAfter().duplicateModified(invoke.stateAfter().bci, true, Kind.Object, exceptionObjectPhi));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	195 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	196
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	197 // create one separate block for each invoked method
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	198 BeginNode[] successors = new BeginNode[numberOfMethods + 1];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	199 for (int i = 0; i < numberOfMethods; i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	200 successors[i] = createInvocationBlock(graph, invoke, returnMerge, returnValuePhi, exceptionMerge, exceptionObjectPhi, true);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	201 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	202
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	203 // create the successor for an unknown type
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	204 FixedNode unknownTypeSux;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	205 if (shouldFallbackToInvoke()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	206 unknownTypeSux = createInvocationBlock(graph, invoke, returnMerge, returnValuePhi, exceptionMerge, exceptionObjectPhi, false);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	207 } else {
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	208 unknownTypeSux = graph.add(DeoptimizeNode.create(DeoptimizationAction.InvalidateReprofile, DeoptimizationReason.TypeCheckedInliningViolated));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	209 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	210 successors[successors.length - 1] = BeginNode.begin(unknownTypeSux);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	211
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	212 // replace the invoke exception edge
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	213 if (invoke instanceof InvokeWithExceptionNode) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	214 InvokeWithExceptionNode invokeWithExceptionNode = (InvokeWithExceptionNode) invoke;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	215 ExceptionObjectNode exceptionEdge = (ExceptionObjectNode) invokeWithExceptionNode.exceptionEdge();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	216 exceptionEdge.replaceAtUsages(exceptionObjectPhi);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	217 exceptionEdge.setNext(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	218 GraphUtil.killCFG(invokeWithExceptionNode.exceptionEdge());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	219 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	220
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	221 assert invoke.asNode().isAlive();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	222
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	223 // replace the invoke with a switch on the type of the actual receiver
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	224 boolean methodDispatch = createDispatchOnTypeBeforeInvoke(graph, successors, false, providers.getMetaAccess());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	225
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	226 assert invoke.next() == continuation;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	227 invoke.setNext(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	228 returnMerge.setNext(continuation);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	229 invoke.asNode().replaceAtUsages(returnValuePhi);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	230 invoke.asNode().replaceAndDelete(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	231
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	232 ArrayList<GuardedValueNode> replacementNodes = new ArrayList<>();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	233
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	234 // prepare the anchors for the invokes
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	235 for (int i = 0; i < numberOfMethods; i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	236 BeginNode node = successors[i];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	237 Invoke invokeForInlining = (Invoke) node.next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	238
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	239 ResolvedJavaType commonType;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	240 if (methodDispatch) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	241 commonType = concretes.get(i).getDeclaringClass();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	242 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	243 commonType = getLeastCommonType(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	244 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	245
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	246 ValueNode receiver = ((MethodCallTargetNode) invokeForInlining.callTarget()).receiver();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	247 boolean exact = (getTypeCount(i) == 1 && !methodDispatch);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	248 GuardedValueNode anchoredReceiver = InliningUtil.createAnchoredReceiver(graph, node, commonType, receiver, exact);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	249 invokeForInlining.callTarget().replaceFirstInput(receiver, anchoredReceiver);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	250
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	251 assert !anchoredReceiver.isDeleted() : anchoredReceiver;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	252 replacementNodes.add(anchoredReceiver);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	253 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	254 if (shouldFallbackToInvoke()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	255 replacementNodes.add(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	256 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	257
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	258 if (OptTailDuplication.getValue()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	259 /*
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	260 * We might want to perform tail duplication at the merge after a type switch, if there
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	261 * are invokes that would benefit from the improvement in type information.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	262 */
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	263 FixedNode current = returnMerge;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	264 int opportunities = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	265 do {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	266 if (current instanceof InvokeNode && ((InvokeNode) current).callTarget() instanceof MethodCallTargetNode &&
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	267 ((MethodCallTargetNode) ((InvokeNode) current).callTarget()).receiver() == originalReceiver) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	268 opportunities++;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	269 } else if (current.inputs().contains(originalReceiver)) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	270 opportunities++;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	271 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	272 current = ((FixedWithNextNode) current).next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	273 } while (current instanceof FixedWithNextNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	274
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	275 if (opportunities > 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	276 metricInliningTailDuplication.increment();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	277 Debug.log("MultiTypeGuardInlineInfo starting tail duplication (%d opportunities)", opportunities);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	278 PhaseContext phaseContext = new PhaseContext(providers, assumptions);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	279 CanonicalizerPhase canonicalizer = new CanonicalizerPhase(!ImmutableCode.getValue());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	280 TailDuplicationPhase.tailDuplicate(returnMerge, TailDuplicationPhase.TRUE_DECISION, replacementNodes, phaseContext, canonicalizer);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	281 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	282 }
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	283
16176 5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	284 Collection<Node> canonicalizeNodes = new ArrayList<>();
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	285 // do the actual inlining for every invoke
1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	286 for (int i = 0; i < numberOfMethods; i++) {
1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	287 Invoke invokeForInlining = (Invoke) successors[i].next();
16176 5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	288 canonicalizeNodes.addAll(inline(invokeForInlining, methodAt(i), inlineableElementAt(i), assumptions, false));
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	289 }
16176 5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	290 if (returnValuePhi != null) {
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	291 canonicalizeNodes.add(returnValuePhi);
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	292 }
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	293 return canonicalizeNodes;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	294 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	295
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	296 private int getTypeCount(int concreteMethodIndex) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	297 int count = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	298 for (int i = 0; i < typesToConcretes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	299 if (typesToConcretes.get(i) == concreteMethodIndex) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	300 count++;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	301 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	302 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	303 return count;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	304 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	305
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	306 private ResolvedJavaType getLeastCommonType(int concreteMethodIndex) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	307 ResolvedJavaType commonType = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	308 for (int i = 0; i < typesToConcretes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	309 if (typesToConcretes.get(i) == concreteMethodIndex) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	310 if (commonType == null) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	311 commonType = ptypes.get(i).getType();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	312 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	313 commonType = commonType.findLeastCommonAncestor(ptypes.get(i).getType());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	314 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	315 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	316 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	317 assert commonType != null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	318 return commonType;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	319 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	320
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	321 private ResolvedJavaType getLeastCommonType() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	322 ResolvedJavaType result = getLeastCommonType(0);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	323 for (int i = 1; i < concretes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	324 result = result.findLeastCommonAncestor(getLeastCommonType(i));
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	325 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	326 return result;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	327 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	328
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	329 private Collection<Node> inlineSingleMethod(StructuredGraph graph, MetaAccessProvider metaAccess, Assumptions assumptions) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	330 assert concretes.size() == 1 && inlineableElements.length == 1 && ptypes.size() > 1 && !shouldFallbackToInvoke() && notRecordedTypeProbability == 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	331
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	332 BeginNode calleeEntryNode = graph.add(BeginNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	333
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	334 BeginNode unknownTypeSux = createUnknownTypeSuccessor(graph);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	335 BeginNode[] successors = new BeginNode[]{calleeEntryNode, unknownTypeSux};
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	336 createDispatchOnTypeBeforeInvoke(graph, successors, false, metaAccess);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	337
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	338 calleeEntryNode.setNext(invoke.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	339
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	340 return inline(invoke, methodAt(0), inlineableElementAt(0), assumptions, false);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	341 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	342
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	343 private boolean createDispatchOnTypeBeforeInvoke(StructuredGraph graph, BeginNode[] successors, boolean invokeIsOnlySuccessor, MetaAccessProvider metaAccess) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	344 assert ptypes.size() >= 1;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	345 ValueNode nonNullReceiver = InliningUtil.nonNullReceiver(invoke);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	346 Kind hubKind = ((MethodCallTargetNode) invoke.callTarget()).targetMethod().getDeclaringClass().getEncoding(ResolvedJavaType.Representation.ObjectHub).getKind();
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	347 LoadHubNode hub = graph.unique(LoadHubNode.create(nonNullReceiver, hubKind));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	348
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	349 if (!invokeIsOnlySuccessor && chooseMethodDispatch()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	350 assert successors.length == concretes.size() + 1;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	351 assert concretes.size() > 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	352 Debug.log("Method check cascade with %d methods", concretes.size());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	353
15859 ebe257551ffd [inlining] more precise type in createDispatchOnTypeBeforeInvoke() Miguel Garcia <miguel.m.garcia@oracle.com> parents: 15798 diff changeset	354 ConstantNode[] constantMethods = new ConstantNode[concretes.size()];
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	355 double[] probability = new double[concretes.size()];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	356 for (int i = 0; i < concretes.size(); ++i) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	357 ResolvedJavaMethod firstMethod = concretes.get(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	358 Constant firstMethodConstant = firstMethod.getEncoding();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	359
15859 ebe257551ffd [inlining] more precise type in createDispatchOnTypeBeforeInvoke() Miguel Garcia <miguel.m.garcia@oracle.com> parents: 15798 diff changeset	360 ConstantNode firstMethodConstantNode = ConstantNode.forConstant(firstMethodConstant, metaAccess, graph);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	361 constantMethods[i] = firstMethodConstantNode;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	362 double concretesProbability = concretesProbabilities.get(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	363 assert concretesProbability >= 0.0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	364 probability[i] = concretesProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	365 if (i > 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	366 double prevProbability = probability[i - 1];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	367 if (prevProbability == 1.0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	368 probability[i] = 1.0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	369 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	370 probability[i] = Math.min(1.0, Math.max(0.0, probability[i] / (1.0 - prevProbability)));
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	371 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	372 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	373 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	374
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	375 ResolvedJavaType receiverType = invoke.getReceiverType();
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	376 FixedNode lastSucc = successors[concretes.size()];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	377 for (int i = concretes.size() - 1; i >= 0; --i) {
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	378 LoadMethodNode method = graph.add(LoadMethodNode.create(concretes.get(i), receiverType, hub, constantMethods[i].getKind()));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	379 CompareNode methodCheck = CompareNode.createCompareNode(graph, Condition.EQ, method, constantMethods[i]);
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	380 IfNode ifNode = graph.add(IfNode.create(methodCheck, successors[i], lastSucc, probability[i]));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	381 method.setNext(ifNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	382 lastSucc = method;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	383 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	384
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	385 FixedWithNextNode pred = (FixedWithNextNode) invoke.asNode().predecessor();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	386 pred.setNext(lastSucc);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	387 return true;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	388 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	389 Debug.log("Type switch with %d types", concretes.size());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	390 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	391
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	392 ResolvedJavaType[] keys = new ResolvedJavaType[ptypes.size()];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	393 double[] keyProbabilities = new double[ptypes.size() + 1];
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	394 int[] keySuccessors = new int[ptypes.size() + 1];
16616 29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	395 double totalProbability = notRecordedTypeProbability;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	396 for (int i = 0; i < ptypes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	397 keys[i] = ptypes.get(i).getType();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	398 keyProbabilities[i] = ptypes.get(i).getProbability();
16616 29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	399 totalProbability += keyProbabilities[i];
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	400 keySuccessors[i] = invokeIsOnlySuccessor ? 0 : typesToConcretes.get(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	401 assert keySuccessors[i] < successors.length - 1 : "last successor is the unknownTypeSux";
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	402 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	403 keyProbabilities[keyProbabilities.length - 1] = notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	404 keySuccessors[keySuccessors.length - 1] = successors.length - 1;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	405
16616 29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	406 // Normalize the probabilities.
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	407 for (int i = 0; i < keyProbabilities.length; i++) {
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	408 keyProbabilities[i] /= totalProbability;
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	409 }
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	410
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	411 TypeSwitchNode typeSwitch = graph.add(TypeSwitchNode.create(hub, successors, keys, keyProbabilities, keySuccessors));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	412 FixedWithNextNode pred = (FixedWithNextNode) invoke.asNode().predecessor();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	413 pred.setNext(typeSwitch);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	414 return false;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	415 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	416
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	417 private boolean chooseMethodDispatch() {
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	418 ResolvedJavaType receiverType = invoke.getReceiverType();
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	419 for (ResolvedJavaMethod concrete : concretes) {
15725 ef6b8d1898e6 Add resolved receiver type to ResolvedJavaMethod.isInVirtualMethodTable in order to be able to do vtable-calls for miranda and default methods Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	420 if (!concrete.isInVirtualMethodTable(receiverType)) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	421 return false;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	422 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	423 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	424
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	425 if (concretes.size() == 1 && this.notRecordedTypeProbability > 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	426 // Always chose method dispatch if there is a single concrete method and the call
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	427 // site is megamorphic.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	428 return true;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	429 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	430
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	431 if (concretes.size() == ptypes.size()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	432 // Always prefer types over methods if the number of types is smaller than the
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	433 // number of methods.
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	434 return false;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	435 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	436
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	437 return chooseMethodDispatchCostBased();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	438 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	439
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	440 private boolean chooseMethodDispatchCostBased() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	441 double remainder = 1.0 - this.notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	442 double costEstimateMethodDispatch = remainder;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	443 for (int i = 0; i < concretes.size(); ++i) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	444 if (i != 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	445 costEstimateMethodDispatch += remainder;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	446 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	447 remainder -= concretesProbabilities.get(i);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	448 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	449
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	450 double costEstimateTypeDispatch = 0.0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	451 remainder = 1.0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	452 for (int i = 0; i < ptypes.size(); ++i) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	453 if (i != 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	454 costEstimateTypeDispatch += remainder;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	455 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	456 remainder -= ptypes.get(i).getProbability();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	457 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	458 costEstimateTypeDispatch += notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	459 return costEstimateMethodDispatch < costEstimateTypeDispatch;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	460 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	461
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	462 private static BeginNode createInvocationBlock(StructuredGraph graph, Invoke invoke, MergeNode returnMerge, PhiNode returnValuePhi, MergeNode exceptionMerge, PhiNode exceptionObjectPhi,
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	463 boolean useForInlining) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	464 Invoke duplicatedInvoke = duplicateInvokeForInlining(graph, invoke, exceptionMerge, exceptionObjectPhi, useForInlining);
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	465 BeginNode calleeEntryNode = graph.add(BeginNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	466 calleeEntryNode.setNext(duplicatedInvoke.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	467
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	468 AbstractEndNode endNode = graph.add(EndNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	469 duplicatedInvoke.setNext(endNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	470 returnMerge.addForwardEnd(endNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	471
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	472 if (returnValuePhi != null) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	473 returnValuePhi.addInput(duplicatedInvoke.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	474 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	475 return calleeEntryNode;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	476 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	477
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	478 private static Invoke duplicateInvokeForInlining(StructuredGraph graph, Invoke invoke, MergeNode exceptionMerge, PhiNode exceptionObjectPhi, boolean useForInlining) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	479 Invoke result = (Invoke) invoke.asNode().copyWithInputs();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	480 Node callTarget = result.callTarget().copyWithInputs();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	481 result.asNode().replaceFirstInput(result.callTarget(), callTarget);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	482 result.setUseForInlining(useForInlining);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	483
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	484 Kind kind = invoke.asNode().getKind();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	485 if (kind != Kind.Void) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	486 FrameState stateAfter = invoke.stateAfter();
17328 c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b Doug Simon <doug.simon@oracle.com> parents: 17327 diff changeset	487 stateAfter = stateAfter.duplicate(stateAfter.bci);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	488 stateAfter.replaceFirstInput(invoke.asNode(), result.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	489 result.setStateAfter(stateAfter);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	490 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	491
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	492 if (invoke instanceof InvokeWithExceptionNode) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	493 assert exceptionMerge != null && exceptionObjectPhi != null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	494
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	495 InvokeWithExceptionNode invokeWithException = (InvokeWithExceptionNode) invoke;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	496 ExceptionObjectNode exceptionEdge = (ExceptionObjectNode) invokeWithException.exceptionEdge();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	497 FrameState stateAfterException = exceptionEdge.stateAfter();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	498
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	499 ExceptionObjectNode newExceptionEdge = (ExceptionObjectNode) exceptionEdge.copyWithInputs();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	500 // set new state (pop old exception object, push new one)
17328 c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b Doug Simon <doug.simon@oracle.com> parents: 17327 diff changeset	501 newExceptionEdge.setStateAfter(stateAfterException.duplicateModified(stateAfterException.bci, stateAfterException.rethrowException(), Kind.Object, newExceptionEdge));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	502
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	503 AbstractEndNode endNode = graph.add(EndNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	504 newExceptionEdge.setNext(endNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	505 exceptionMerge.addForwardEnd(endNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	506 exceptionObjectPhi.addInput(newExceptionEdge);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	507
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	508 ((InvokeWithExceptionNode) result).setExceptionEdge(newExceptionEdge);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	509 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	510 return result;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	511 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	512
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	513 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	514 public void tryToDevirtualizeInvoke(MetaAccessProvider metaAccess, Assumptions assumptions) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	515 if (hasSingleMethod()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	516 devirtualizeWithTypeSwitch(graph(), InvokeKind.Special, concretes.get(0), metaAccess);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	517 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	518 tryToDevirtualizeMultipleMethods(graph(), metaAccess);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	519 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	520 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	521
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	522 private void tryToDevirtualizeMultipleMethods(StructuredGraph graph, MetaAccessProvider metaAccess) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	523 MethodCallTargetNode methodCallTarget = (MethodCallTargetNode) invoke.callTarget();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	524 if (methodCallTarget.invokeKind() == InvokeKind.Interface) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	525 ResolvedJavaMethod targetMethod = methodCallTarget.targetMethod();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	526 ResolvedJavaType leastCommonType = getLeastCommonType();
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15644 diff changeset	527 ResolvedJavaType contextType = invoke.getContextType();
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	528 // check if we have a common base type that implements the interface -> in that case
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	529 // we have a vtable entry for the interface method and can use a less expensive
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	530 // virtual call
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	531 if (!leastCommonType.isInterface() && targetMethod.getDeclaringClass().isAssignableFrom(leastCommonType)) {
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15644 diff changeset	532 ResolvedJavaMethod baseClassTargetMethod = leastCommonType.resolveMethod(targetMethod, contextType);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	533 if (baseClassTargetMethod != null) {
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15644 diff changeset	534 devirtualizeWithTypeSwitch(graph, InvokeKind.Virtual, leastCommonType.resolveMethod(targetMethod, contextType), metaAccess);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	535 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	536 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	537 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	538 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	539
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	540 private void devirtualizeWithTypeSwitch(StructuredGraph graph, InvokeKind kind, ResolvedJavaMethod target, MetaAccessProvider metaAccess) {
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	541 BeginNode invocationEntry = graph.add(BeginNode.create());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	542 BeginNode unknownTypeSux = createUnknownTypeSuccessor(graph);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	543 BeginNode[] successors = new BeginNode[]{invocationEntry, unknownTypeSux};
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	544 createDispatchOnTypeBeforeInvoke(graph, successors, true, metaAccess);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	545
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	546 invocationEntry.setNext(invoke.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	547 ValueNode receiver = ((MethodCallTargetNode) invoke.callTarget()).receiver();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	548 GuardedValueNode anchoredReceiver = InliningUtil.createAnchoredReceiver(graph, invocationEntry, target.getDeclaringClass(), receiver, false);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	549 invoke.callTarget().replaceFirstInput(receiver, anchoredReceiver);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	550 InliningUtil.replaceInvokeCallTarget(invoke, graph, kind, target);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	551 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	552
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	553 private static BeginNode createUnknownTypeSuccessor(StructuredGraph graph) {
16895 06c15e88d383 added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom Doug Simon <doug.simon@oracle.com> parents: 16616 diff changeset	554 return BeginNode.begin(graph.add(DeoptimizeNode.create(DeoptimizationAction.InvalidateReprofile, DeoptimizationReason.TypeCheckedInliningViolated)));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	555 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	556
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	557 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	558 public String toString() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	559 StringBuilder builder = new StringBuilder(shouldFallbackToInvoke() ? "megamorphic" : "polymorphic");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	560 builder.append(", ");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	561 builder.append(concretes.size());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	562 builder.append(" methods [ ");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	563 for (int i = 0; i < concretes.size(); i++) {
16480 10c12d09a8d2 moved format(String format, JavaMethod method) from MetaUtil to be a default method in JavaMethod Doug Simon <doug.simon@oracle.com> parents: 16176 diff changeset	564 builder.append(concretes.get(i).format(" %H.%n(%p):%r"));
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	565 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	566 builder.append(" ], ");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	567 builder.append(ptypes.size());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	568 builder.append(" type checks [ ");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	569 for (int i = 0; i < ptypes.size(); i++) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	570 builder.append(" ");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	571 builder.append(ptypes.get(i).getType().getName());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	572 builder.append(ptypes.get(i).getProbability());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	573 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	574 builder.append(" ]");
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	575 return builder.toString();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	576 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	577 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/inlining/info/MultiTypeGuardInlineInfo.java @ 17328:c9bb0da795d4