graal-compiler: 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 @ 19001:5a79fa76b489

Run eclipse format.

author	Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date	Wed, 28 Jan 2015 04:05:07 +0100
parents	46c2e70d54ad
children	30c8d110b281

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 /*
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 17328 diff changeset	2 * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
15644 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.*;
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	41 import com.oracle.graal.nodes.spi.*;
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	42 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	43 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	44 import com.oracle.graal.phases.common.inlining.*;
18362 ea0fbb571466 Use pointer stamps in LoadHub and LoadMethod. Roland Schatz <roland.schatz@oracle.com> parents: 18361 diff changeset	45 import com.oracle.graal.phases.common.inlining.info.elem.*;
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	46 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	47 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	48
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	49 /**
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	50 * 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	51 * 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	52 * 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	53 */
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	54 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	55
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	56 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	57
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	58 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	59 private final double[] methodProbabilities;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	60 private final double maximumMethodProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	61 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	62 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	63 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	64 private final double notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	65 private final Inlineable[] inlineableElements;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	66
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	67 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	68 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	69 super(invoke);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	70 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	71 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	72
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	73 this.concretesProbabilities = concretesProbabilities;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	74 this.concretes = concretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	75 this.ptypes = ptypes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	76 this.typesToConcretes = typesToConcretes;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	77 this.notRecordedTypeProbability = notRecordedTypeProbability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	78 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	79 this.methodProbabilities = computeMethodProbabilities();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	80 this.maximumMethodProbability = maximumMethodProbability();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	81 assert maximumMethodProbability > 0;
16616 29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	82 assert assertUniqueTypes(ptypes);
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
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	85 private static boolean assertUniqueTypes(ArrayList<ProfiledType> ptypes) {
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	86 Set<ResolvedJavaType> set = new HashSet<>();
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	87 for (ProfiledType ptype : ptypes) {
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	88 set.add(ptype.getType());
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	89 }
29404eec7ced eliminate duplicate entries from profile data Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16563 diff changeset	90 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	91 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	92
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	93 private double[] computeMethodProbabilities() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	94 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	95 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	96 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	97 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	98 result[concrete] += probability;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	99 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	100 return result;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	103 private double maximumMethodProbability() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	104 double max = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	105 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	106 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	107 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	108 return max;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	111 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	112 public int numberOfMethods() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	113 return concretes.size();
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	116 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	117 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	118 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	119 return concretes.get(index);
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	122 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	123 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	124 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	125 return inlineableElements[index];
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	128 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	129 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	130 return methodProbabilities[index];
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	133 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	134 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	135 return probabilityAt(index) / maximumMethodProbability;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	138 @Override
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	139 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	140 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	141 inlineableElements[index] = inlineableElement;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	144 @Override
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	145 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	146 if (hasSingleMethod()) {
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	147 return inlineSingleMethod(graph(), providers.getMetaAccess(), assumptions, providers.getStampProvider());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	148 } else {
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	149 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	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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	153 public boolean shouldInline() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	154 for (ResolvedJavaMethod method : concretes) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	155 if (method.shouldBeInlined()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	156 return true;
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 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	159 return false;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	162 private boolean hasSingleMethod() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	163 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	164 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	165
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	166 private boolean shouldFallbackToInvoke() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	167 return notRecordedTypeProbability > 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	168 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	169
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	170 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	171 int numberOfMethods = concretes.size();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	172 FixedNode continuation = invoke.next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	173
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	174 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	175 // setup merge and phi nodes for results and exceptions
18996 46c2e70d54ad Make AbstractMergeNode abstract and introduce concrete subclass MergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18995 diff changeset	176 AbstractMergeNode returnMerge = graph.add(new MergeNode());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	177 returnMerge.setStateAfter(invoke.stateAfter());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	178
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	179 PhiNode returnValuePhi = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	180 if (invoke.asNode().getKind() != Kind.Void) {
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	181 returnValuePhi = graph.addWithoutUnique(new ValuePhiNode(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	182 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	183
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18994 diff changeset	184 AbstractMergeNode exceptionMerge = null;
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	185 PhiNode exceptionObjectPhi = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	186 if (invoke instanceof InvokeWithExceptionNode) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	187 InvokeWithExceptionNode invokeWithException = (InvokeWithExceptionNode) invoke;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	188 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	189
18996 46c2e70d54ad Make AbstractMergeNode abstract and introduce concrete subclass MergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18995 diff changeset	190 exceptionMerge = graph.add(new MergeNode());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	191
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	192 FixedNode exceptionSux = exceptionEdge.next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	193 graph.addBeforeFixed(exceptionSux, exceptionMerge);
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	194 exceptionObjectPhi = graph.addWithoutUnique(new ValuePhiNode(StampFactory.forKind(Kind.Object), exceptionMerge));
17328 c9bb0da795d4 Backed out of changeset 17322:655f3e6b467b Doug Simon <doug.simon@oracle.com> parents: 17327 diff changeset	195 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	196 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	197
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	198 // create one separate block for each invoked method
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	199 AbstractBeginNode[] successors = new AbstractBeginNode[numberOfMethods + 1];
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	200 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	201 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	202 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	203
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	204 // 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	205 FixedNode unknownTypeSux;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	206 if (shouldFallbackToInvoke()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	207 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	208 } else {
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	209 unknownTypeSux = graph.add(new DeoptimizeNode(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	210 }
18994 8b4ef818169c Make AbstractBeginNode an abstract class and create concrete subclass BeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	211 successors[successors.length - 1] = BeginNode.begin(unknownTypeSux);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	212
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	213 // 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	214 if (invoke instanceof InvokeWithExceptionNode) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	215 InvokeWithExceptionNode invokeWithExceptionNode = (InvokeWithExceptionNode) invoke;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	216 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	217 exceptionEdge.replaceAtUsages(exceptionObjectPhi);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	218 exceptionEdge.setNext(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	219 GraphUtil.killCFG(invokeWithExceptionNode.exceptionEdge());
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	222 assert invoke.asNode().isAlive();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	223
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	224 // replace the invoke with a switch on the type of the actual receiver
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	225 boolean methodDispatch = createDispatchOnTypeBeforeInvoke(graph, successors, false, providers.getMetaAccess(), providers.getStampProvider());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	226
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	227 assert invoke.next() == continuation;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	228 invoke.setNext(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	229 returnMerge.setNext(continuation);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	230 invoke.asNode().replaceAtUsages(returnValuePhi);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	231 invoke.asNode().replaceAndDelete(null);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	232
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	233 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	234
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	235 // 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	236 for (int i = 0; i < numberOfMethods; i++) {
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	237 AbstractBeginNode node = successors[i];
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	238 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	239
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	240 ResolvedJavaType commonType;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	241 if (methodDispatch) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	242 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	243 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	244 commonType = getLeastCommonType(i);
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	247 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	248 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	249 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	250 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	251
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	252 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	253 replacementNodes.add(anchoredReceiver);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	254 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	255 if (shouldFallbackToInvoke()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	256 replacementNodes.add(null);
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	259 if (OptTailDuplication.getValue()) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	260 /*
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	261 * 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	262 * 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	263 */
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	264 FixedNode current = returnMerge;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	265 int opportunities = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	266 do {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	267 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	268 ((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	269 opportunities++;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	270 } 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	271 opportunities++;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	272 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	273 current = ((FixedWithNextNode) current).next();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	274 } while (current instanceof FixedWithNextNode);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	275
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	276 if (opportunities > 0) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	277 metricInliningTailDuplication.increment();
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	278 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	279 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	280 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	281 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	282 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	283 }
16098 1c042d5e7e69 make sure that anchoredReceiver isn't deleted when tail duplicating during inlining Lukas Stadler <lukas.stadler@oracle.com> parents: 15957 diff changeset	284
16176 5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	285 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	286 // 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	287 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	288 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	289 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	290 }
16176 5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	291 if (returnValuePhi != null) {
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	292 canonicalizeNodes.add(returnValuePhi);
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	293 }
5785eca138b0 improve tracking of nodes to canonicalize after inlining Tom Rodriguez <tom.rodriguez@oracle.com> parents: 16098 diff changeset	294 return canonicalizeNodes;
15644 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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	297 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	298 int count = 0;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	299 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	300 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	301 count++;
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 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	304 return count;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	307 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	308 ResolvedJavaType commonType = null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	309 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	310 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	311 if (commonType == null) {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	312 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	313 } else {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	314 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	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 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	318 assert commonType != null;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	319 return commonType;
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
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	322 private ResolvedJavaType getLeastCommonType() {
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	323 ResolvedJavaType result = getLeastCommonType(0);
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	324 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	325 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	326 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	327 return result;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	328 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	329
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	330 private Collection<Node> inlineSingleMethod(StructuredGraph graph, MetaAccessProvider metaAccess, Assumptions assumptions, StampProvider stampProvider) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	331 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	332
18994 8b4ef818169c Make AbstractBeginNode an abstract class and create concrete subclass BeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	333 AbstractBeginNode calleeEntryNode = graph.add(new BeginNode());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	334
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	335 AbstractBeginNode unknownTypeSux = createUnknownTypeSuccessor(graph);
480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	336 AbstractBeginNode[] successors = new AbstractBeginNode[]{calleeEntryNode, unknownTypeSux};
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	337 createDispatchOnTypeBeforeInvoke(graph, successors, false, metaAccess, stampProvider);
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	338
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	339 calleeEntryNode.setNext(invoke.asNode());
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	340
15957 cf51d3ade2fb less canonicalization during InliningPhase Lukas Stadler <lukas.stadler@oracle.com> parents: 15859 diff changeset	341 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	342 }
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	343
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	344 private boolean createDispatchOnTypeBeforeInvoke(StructuredGraph graph, AbstractBeginNode[] successors, boolean invokeIsOnlySuccessor, MetaAccessProvider metaAccess, StampProvider stampProvider) {
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	345 assert ptypes.size() >= 1;
cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	346 ValueNode nonNullReceiver = InliningUtil.nonNullReceiver(invoke);
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	347 LoadHubNode hub = graph.unique(new LoadHubNode(stampProvider, nonNullReceiver));
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);
18362 ea0fbb571466 Use pointer stamps in LoadHub and LoadMethod. Roland Schatz <roland.schatz@oracle.com> parents: 18361 diff changeset	358 Constant firstMethodConstant = firstMethod.getEncoding();
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	359
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	360 ConstantNode firstMethodConstantNode = ConstantNode.forConstant(stampProvider.createMethodStamp(), 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) {
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	378 LoadMethodNode method = graph.add(new LoadMethodNode(stampProvider.createMethodStamp(), concretes.get(i), receiverType, hub));
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]);
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	380 IfNode ifNode = graph.add(new IfNode(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
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	411 TypeSwitchNode typeSwitch = graph.add(new TypeSwitchNode(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
19001 5a79fa76b489 Run eclipse format. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18996 diff changeset	462 private static AbstractBeginNode createInvocationBlock(StructuredGraph graph, Invoke invoke, AbstractMergeNode returnMerge, PhiNode returnValuePhi, AbstractMergeNode exceptionMerge,
5a79fa76b489 Run eclipse format. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18996 diff changeset	463 PhiNode exceptionObjectPhi, boolean useForInlining) {
15644 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);
18994 8b4ef818169c Make AbstractBeginNode an abstract class and create concrete subclass BeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	465 AbstractBeginNode calleeEntryNode = graph.add(new BeginNode());
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
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	468 AbstractEndNode endNode = graph.add(new EndNode());
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
18995 a2cb19764970 Rename MergeNode to AbstractMergeNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18994 diff changeset	478 private static Invoke duplicateInvokeForInlining(StructuredGraph graph, Invoke invoke, AbstractMergeNode exceptionMerge, PhiNode exceptionObjectPhi, boolean useForInlining) {
15644 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)
18228 ab489bac3bc8 Correct the bci used by stateDuring in ForeignCallNode Tom Rodriguez <tom.rodriguez@oracle.com> parents: 18191 diff changeset	501 newExceptionEdge.setStateAfter(stateAfterException.duplicateModified(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
18845 f57d86eb036f removed Node factory methods Doug Simon <doug.simon@oracle.com> parents: 18496 diff changeset	503 AbstractEndNode endNode = graph.add(new EndNode());
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
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	514 public void tryToDevirtualizeInvoke(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	515 if (hasSingleMethod()) {
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	516 devirtualizeWithTypeSwitch(graph(), InvokeKind.Special, concretes.get(0), providers.getMetaAccess(), providers.getStampProvider());
15644 cd436bc5d63a [inlining] moving InlineInfo and subclasses to package inlining.info Miguel Garcia <miguel.m.garcia@oracle.com> parents: diff changeset	517 } else {
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	518 tryToDevirtualizeMultipleMethods(graph(), providers.getMetaAccess(), providers.getStampProvider());
15644 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
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	522 private void tryToDevirtualizeMultipleMethods(StructuredGraph graph, MetaAccessProvider metaAccess, StampProvider stampProvider) {
15644 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)) {
18191 839f97696479 Rename ResolvedJavaMethod.resolvedMethod() to resolveConcreteMethod() the reflect its actual behavior. Josef Eisl <josef.eisl@jku.at> parents: 18187 diff changeset	532 ResolvedJavaMethod baseClassTargetMethod = leastCommonType.resolveConcreteMethod(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) {
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	534 devirtualizeWithTypeSwitch(graph, InvokeKind.Virtual, leastCommonType.resolveConcreteMethod(targetMethod, contextType), metaAccess, stampProvider);
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
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	540 private void devirtualizeWithTypeSwitch(StructuredGraph graph, InvokeKind kind, ResolvedJavaMethod target, MetaAccessProvider metaAccess, StampProvider stampProvider) {
18994 8b4ef818169c Make AbstractBeginNode an abstract class and create concrete subclass BeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	541 AbstractBeginNode invocationEntry = graph.add(new BeginNode());
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	542 AbstractBeginNode unknownTypeSux = createUnknownTypeSuccessor(graph);
480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	543 AbstractBeginNode[] successors = new AbstractBeginNode[]{invocationEntry, unknownTypeSux};
18480 51c285938879 Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes. Roland Schatz <roland.schatz@oracle.com> parents: 18402 diff changeset	544 createDispatchOnTypeBeforeInvoke(graph, successors, true, metaAccess, stampProvider);
15644 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
18993 480bd3b1adcd Rename BeginNode => AbstractBeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18845 diff changeset	553 private static AbstractBeginNode createUnknownTypeSuccessor(StructuredGraph graph) {
18994 8b4ef818169c Make AbstractBeginNode an abstract class and create concrete subclass BeginNode. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 18993 diff changeset	554 return BeginNode.begin(graph.add(new DeoptimizeNode(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 > graal-compiler

annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/inlining/info/MultiTypeGuardInlineInfo.java @ 19001:5a79fa76b489