Mercurial > hg > truffle
annotate graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/inlining/info/TypeGuardInlineInfo.java @ 18823:5a21cac1968f
Add utilities ModifiersProvider#isConcrete, ResolvedJavaMethod#hasReceiver, ResolvedJavaMethod#hasBytecodes to Graal API.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Sun, 11 Jan 2015 18:12:51 +0100 |
parents | 59ffee3765ec |
children | f57d86eb036f |
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 /* |
18361
6ac7e9c85be6
Split getEncoding into two methods.
Roland Schatz <roland.schatz@oracle.com>
parents:
16895
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 |
15957
cf51d3ade2fb
less canonicalization during InliningPhase
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15798
diff
changeset
|
25 import java.util.*; |
cf51d3ade2fb
less canonicalization during InliningPhase
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15798
diff
changeset
|
26 |
18402
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
27 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
|
28 import com.oracle.graal.api.meta.*; |
18402
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
29 import com.oracle.graal.compiler.common.calc.*; |
15957
cf51d3ade2fb
less canonicalization during InliningPhase
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15798
diff
changeset
|
30 import com.oracle.graal.graph.*; |
16563
1e63cb55f61d
Move InvokeKind from MethodCallTargetNode to CallTargetNode
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
16480
diff
changeset
|
31 import com.oracle.graal.nodes.CallTargetNode.InvokeKind; |
18402
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
32 import com.oracle.graal.nodes.*; |
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
33 import com.oracle.graal.nodes.calc.*; |
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
34 import com.oracle.graal.nodes.extended.*; |
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
35 import com.oracle.graal.phases.common.inlining.*; |
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
36 import com.oracle.graal.phases.common.inlining.info.elem.*; |
64c042352f00
Make stamp of LoadHubNode flexible.
Roland Schatz <roland.schatz@oracle.com>
parents:
18362
diff
changeset
|
37 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
|
38 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
39 /** |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
40 * Represents an inlining opportunity for which profiling information suggests a monomorphic |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
41 * receiver, but for which the receiver type cannot be proven. A type check guard will be generated |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
42 * if this inlining is performed. |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
43 */ |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
44 public class TypeGuardInlineInfo extends AbstractInlineInfo { |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
45 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
46 private final ResolvedJavaMethod concrete; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
47 private final ResolvedJavaType type; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
48 private Inlineable inlineableElement; |
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 public TypeGuardInlineInfo(Invoke invoke, ResolvedJavaMethod concrete, ResolvedJavaType type) { |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
51 super(invoke); |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
52 this.concrete = concrete; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
53 this.type = type; |
18823
5a21cac1968f
Add utilities ModifiersProvider#isConcrete, ResolvedJavaMethod#hasReceiver, ResolvedJavaMethod#hasBytecodes to Graal API.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
18496
diff
changeset
|
54 assert type.isArray() || type.isConcrete() : type; |
15644
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 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
57 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
58 public int numberOfMethods() { |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
59 return 1; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
60 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
61 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
62 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
63 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
|
64 assert index == 0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
65 return concrete; |
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 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
68 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
69 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
|
70 assert index == 0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
71 return inlineableElement; |
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 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
74 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
75 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
|
76 assert index == 0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
77 return 1.0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
78 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
79 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
80 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
81 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
|
82 assert index == 0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
83 return 1.0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
84 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
85 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
86 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
87 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
|
88 assert index == 0; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
89 this.inlineableElement = inlineableElement; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
90 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
91 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
92 @Override |
15957
cf51d3ade2fb
less canonicalization during InliningPhase
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15798
diff
changeset
|
93 public Collection<Node> inline(Providers providers, Assumptions assumptions) { |
18480
51c285938879
Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes.
Roland Schatz <roland.schatz@oracle.com>
parents:
18402
diff
changeset
|
94 createGuard(graph(), providers); |
15957
cf51d3ade2fb
less canonicalization during InliningPhase
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15798
diff
changeset
|
95 return inline(invoke, concrete, inlineableElement, assumptions, false); |
15644
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
96 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
97 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
98 @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
|
99 public void tryToDevirtualizeInvoke(Providers providers, Assumptions assumptions) { |
51c285938879
Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes.
Roland Schatz <roland.schatz@oracle.com>
parents:
18402
diff
changeset
|
100 createGuard(graph(), providers); |
15644
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
101 InliningUtil.replaceInvokeCallTarget(invoke, graph(), InvokeKind.Special, concrete); |
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 |
18480
51c285938879
Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes.
Roland Schatz <roland.schatz@oracle.com>
parents:
18402
diff
changeset
|
104 private void createGuard(StructuredGraph graph, Providers providers) { |
15644
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
105 ValueNode nonNullReceiver = InliningUtil.nonNullReceiver(invoke); |
18496
59ffee3765ec
LoadHubNode should always use StampProvider stamp
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
18480
diff
changeset
|
106 LoadHubNode receiverHub = graph.unique(LoadHubNode.create(providers.getStampProvider(), nonNullReceiver)); |
18480
51c285938879
Use StampProvider to create platform dependent stamps for LoadHub and LoadMethod nodes.
Roland Schatz <roland.schatz@oracle.com>
parents:
18402
diff
changeset
|
107 ConstantNode typeHub = ConstantNode.forConstant(receiverHub.stamp(), type.getObjectHub(), providers.getMetaAccess(), graph); |
15644
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
108 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
109 CompareNode typeCheck = CompareNode.createCompareNode(graph, Condition.EQ, receiverHub, typeHub); |
16895
06c15e88d383
added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom
Doug Simon <doug.simon@oracle.com>
parents:
16563
diff
changeset
|
110 FixedGuardNode guard = graph.add(FixedGuardNode.create(typeCheck, DeoptimizationReason.TypeCheckedInliningViolated, DeoptimizationAction.InvalidateReprofile)); |
15644
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
111 assert invoke.predecessor() != null; |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
112 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
113 ValueNode anchoredReceiver = InliningUtil.createAnchoredReceiver(graph, guard, type, nonNullReceiver, true); |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
114 invoke.callTarget().replaceFirstInput(nonNullReceiver, anchoredReceiver); |
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 graph.addBeforeFixed(invoke.asNode(), guard); |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
117 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
118 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
119 @Override |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
120 public String toString() { |
16480
10c12d09a8d2
moved format(String format, JavaMethod method) from MetaUtil to be a default method in JavaMethod
Doug Simon <doug.simon@oracle.com>
parents:
15957
diff
changeset
|
121 return "type-checked with type " + type.getName() + " and method " + concrete.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
|
122 } |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
123 |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
124 public boolean shouldInline() { |
cd436bc5d63a
[inlining] moving InlineInfo and subclasses to package inlining.info
Miguel Garcia <miguel.m.garcia@oracle.com>
parents:
diff
changeset
|
125 return concrete.shouldBeInlined(); |
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 } |