Mercurial > hg > graal-compiler

comparison graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/MethodCallTargetNode.java @ 18687:2885aafd812f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Backout useless changeset c2b23f6e4603
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Mon, 15 Dec 2014 12:25:36 -0800
parents c2b23f6e4603
children fad37aaed6d2
comparison
equal deleted inserted replaced
18682:0a109f5d5873 18687:2885aafd812f
110 setInvokeKind(InvokeKind.Special); 110 setInvokeKind(InvokeKind.Special);
111 return; 111 return;
112 } 112 }
113 113
114 // check if the type of the receiver can narrow the result 114 // check if the type of the receiver can narrow the result
115 if (tryToResolveMethod(tool)) {
116 return;
117 }
118
119 ValueNode receiver = receiver(); 115 ValueNode receiver = receiver();
120 116 ResolvedJavaType type = StampTool.typeOrNull(receiver);
121 // try to turn an interface call into a virtual call 117 if (type == null && invokeKind == InvokeKind.Virtual) {
118 // For virtual calls, we are guaranteed to receive a correct receiver type.
119 type = targetMethod.getDeclaringClass();
120 }
121 if (type != null && (invoke().stateAfter() != null || invoke().stateDuring() != null)) {
122 /*
123 * either the holder class is exact, or the receiver object has an exact type, or
124 * it's an array type
125 */
126 ResolvedJavaMethod resolvedMethod = type.resolveConcreteMethod(targetMethod(), invoke().getContextType());
127 if (resolvedMethod != null && (resolvedMethod.canBeStaticallyBound() || StampTool.isExactType(receiver) || type.isArray())) {
128 setInvokeKind(InvokeKind.Special);
129 setTargetMethod(resolvedMethod);
130 return;
131 }
132 if (tool.assumptions() != null && tool.assumptions().useOptimisticAssumptions()) {
133 ResolvedJavaType uniqueConcreteType = type.findUniqueConcreteSubtype();
134 if (uniqueConcreteType != null) {
135 ResolvedJavaMethod methodFromUniqueType = uniqueConcreteType.resolveConcreteMethod(targetMethod(), invoke().getContextType());
136 if (methodFromUniqueType != null) {
137 tool.assumptions().recordConcreteSubtype(type, uniqueConcreteType);
138 setInvokeKind(InvokeKind.Special);
139 setTargetMethod(methodFromUniqueType);
140 return;
141 }
142 }
143
144 ResolvedJavaMethod uniqueConcreteMethod = type.findUniqueConcreteMethod(targetMethod());
145 if (uniqueConcreteMethod != null) {
146 tool.assumptions().recordConcreteMethod(targetMethod(), type, uniqueConcreteMethod);
147 setInvokeKind(InvokeKind.Special);
148 setTargetMethod(uniqueConcreteMethod);
149 return;
150 }
151 }
152 }
153 // try to turn a interface call into a virtual call
122 ResolvedJavaType declaredReceiverType = targetMethod().getDeclaringClass(); 154 ResolvedJavaType declaredReceiverType = targetMethod().getDeclaringClass();
123 /* 155 /*
124 * We need to check the invoke kind to avoid recursive simplification for virtual 156 * We need to check the invoke kind to avoid recursive simplification for virtual
125 * interface methods calls. 157 * interface methods calls.
126 */ 158 */
127 if (declaredReceiverType.isInterface() && !invokeKind().equals(InvokeKind.Virtual)) { 159 if (declaredReceiverType.isInterface() && !invokeKind().equals(InvokeKind.Virtual)) {
128 tryCheckCastSingleImplementor(tool, receiver, declaredReceiverType); 160 tryCheckCastSingleImplementor(receiver, declaredReceiverType);
129 } 161 }
130 162
131 if (invokeKind().equals(InvokeKind.Interface) && receiver instanceof UncheckedInterfaceProvider) { 163 if (invokeKind().equals(InvokeKind.Interface) && receiver instanceof UncheckedInterfaceProvider) {
132 UncheckedInterfaceProvider uncheckedInterfaceProvider = (UncheckedInterfaceProvider) receiver; 164 UncheckedInterfaceProvider uncheckedInterfaceProvider = (UncheckedInterfaceProvider) receiver;
133 Stamp uncheckedStamp = uncheckedInterfaceProvider.uncheckedStamp(); 165 Stamp uncheckedStamp = uncheckedInterfaceProvider.uncheckedStamp();
134 if (uncheckedStamp != null) { 166 if (uncheckedStamp != null) {
135 ResolvedJavaType uncheckedReceiverType = StampTool.typeOrNull(uncheckedStamp); 167 ResolvedJavaType uncheckedReceiverType = StampTool.typeOrNull(uncheckedStamp);
136 if (uncheckedReceiverType.isInterface()) { 168 if (uncheckedReceiverType.isInterface()) {
137 tryCheckCastSingleImplementor(tool, receiver, uncheckedReceiverType); 169 tryCheckCastSingleImplementor(receiver, uncheckedReceiverType);
138 } 170 }
139 } 171 }
140 } 172 }
141 } 173 }
142 } 174 }
143 175
144 /** 176 private void tryCheckCastSingleImplementor(ValueNode receiver, ResolvedJavaType declaredReceiverType) {
145 * Try to use receiver type information to statically bind the method.
146 *
147 * @param tool
148 * @return true if successfully converted to InvokeKind.Special
149 */
150 private boolean tryToResolveMethod(SimplifierTool tool) {
151 ValueNode receiver = receiver();
152 ResolvedJavaType type = StampTool.typeOrNull(receiver);
153 if (type == null && invokeKind == InvokeKind.Virtual) {
154 // For virtual calls, we are guaranteed to receive a correct receiver type.
155 type = targetMethod.getDeclaringClass();
156 }
157 if (type != null && (invoke().stateAfter() != null || invoke().stateDuring() != null)) {
158 /*
159 * either the holder class is exact, or the receiver object has an exact type, or it's
160 * an array type
161 */
162 ResolvedJavaMethod resolvedMethod = type.resolveConcreteMethod(targetMethod(), invoke().getContextType());
163 if (resolvedMethod != null && (resolvedMethod.canBeStaticallyBound() || StampTool.isExactType(receiver) || type.isArray())) {
164 setInvokeKind(InvokeKind.Special);
165 setTargetMethod(resolvedMethod);
166 return true;
167 }
168 if (tool.assumptions() != null && tool.assumptions().useOptimisticAssumptions()) {
169 ResolvedJavaType uniqueConcreteType = type.findUniqueConcreteSubtype();
170 if (uniqueConcreteType != null) {
171 ResolvedJavaMethod methodFromUniqueType = uniqueConcreteType.resolveConcreteMethod(targetMethod(), invoke().getContextType());
172 if (methodFromUniqueType != null) {
173 tool.assumptions().recordConcreteSubtype(type, uniqueConcreteType);
174 setInvokeKind(InvokeKind.Special);
175 setTargetMethod(methodFromUniqueType);
176 return true;
177 }
178 }
179
180 ResolvedJavaMethod uniqueConcreteMethod = type.findUniqueConcreteMethod(targetMethod());
181 if (uniqueConcreteMethod != null) {
182 tool.assumptions().recordConcreteMethod(targetMethod(), type, uniqueConcreteMethod);
183 setInvokeKind(InvokeKind.Special);
184 setTargetMethod(uniqueConcreteMethod);
185 return true;
186 }
187 }
188 }
189 return false;
190 }
191
192 private void tryCheckCastSingleImplementor(SimplifierTool tool, ValueNode receiver, ResolvedJavaType declaredReceiverType) {
193 ResolvedJavaType singleImplementor = declaredReceiverType.getSingleImplementor(); 177 ResolvedJavaType singleImplementor = declaredReceiverType.getSingleImplementor();
194 if (singleImplementor != null && !singleImplementor.equals(declaredReceiverType)) { 178 if (singleImplementor != null && !singleImplementor.equals(declaredReceiverType)) {
195 ResolvedJavaMethod singleImplementorMethod = singleImplementor.resolveMethod(targetMethod(), invoke().getContextType(), true); 179 ResolvedJavaMethod singleImplementorMethod = singleImplementor.resolveMethod(targetMethod(), invoke().getContextType(), true);
196 if (singleImplementorMethod != null) { 180 if (singleImplementorMethod != null) {
197 assert graph().getGuardsStage().ordinal() < StructuredGraph.GuardsStage.FIXED_DEOPTS.ordinal() : "Graph already fixed!"; 181 assert graph().getGuardsStage().ordinal() < StructuredGraph.GuardsStage.FIXED_DEOPTS.ordinal() : "Graph already fixed!";
212 JavaConstant.NULL_POINTER)); 196 JavaConstant.NULL_POINTER));
213 PiNode piNode = graph().unique(PiNode.create(receiver, StampFactory.declaredNonNull(singleImplementor), guard)); 197 PiNode piNode = graph().unique(PiNode.create(receiver, StampFactory.declaredNonNull(singleImplementor), guard));
214 arguments().set(0, piNode); 198 arguments().set(0, piNode);
215 setInvokeKind(InvokeKind.Virtual); 199 setInvokeKind(InvokeKind.Virtual);
216 setTargetMethod(singleImplementorMethod); 200 setTargetMethod(singleImplementorMethod);
217 // Now try to bind the method exactly.
218 tryToResolveMethod(tool);
219 } 201 }
220 } 202 }
221 } 203 }
222 204
223 private JavaTypeProfile getProfile() { 205 private JavaTypeProfile getProfile() {