/*
* Copyright (c) 2016, 2018, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation. Oracle designates this
* particular file as subject to the "Classpath" exception as provided
* by Oracle in the LICENSE file that accompanied this code.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
package jdk.tools.jaotc;
import jdk.tools.jaotc.binformat.BinaryContainer;
import jdk.tools.jaotc.binformat.Relocation;
import org.graalvm.compiler.hotspot.HotSpotForeignCallLinkage;
import jdk.vm.ci.code.BytecodePosition;
import jdk.vm.ci.code.VirtualObject;
import jdk.vm.ci.code.site.Call;
import jdk.vm.ci.code.site.Infopoint;
import jdk.vm.ci.hotspot.HotSpotResolvedJavaMethod;
import jdk.vm.ci.hotspot.HotSpotResolvedObjectType;
import jdk.vm.ci.meta.InvokeTarget;
final class InfopointProcessor {
private final DataBuilder dataBuilder;
private final BinaryContainer binaryContainer;
InfopointProcessor(DataBuilder dataBuilder) {
this.dataBuilder = dataBuilder;
this.binaryContainer = dataBuilder.getBinaryContainer();
}
Parse an Infopoint
generated by the compiler and create all needed binary section constructs. Params: - methodInfo – compiled method info
- info – info point being processed
/**
* Parse an {@link Infopoint} generated by the compiler and create all needed binary section
* constructs.
*
* @param methodInfo compiled method info
* @param info info point being processed
*/
void process(CompiledMethodInfo methodInfo, Infopoint info) {
switch (info.reason) {
case CALL:
// All calls in compiled code need a symbol and relocation entry.
processCallInfoPoint(methodInfo, (Call) info);
break;
case SAFEPOINT:
case IMPLICIT_EXCEPTION:
case METHOD_START:
case METHOD_END:
case BYTECODE_POSITION:
break;
default:
throw new InternalError("Unknown info point reason: " + info.reason);
}
if (info.debugInfo == null) {
return;
}
BytecodePosition bcp = info.debugInfo.getBytecodePosition();
if (bcp == null) {
return;
}
recordScopeKlasses(methodInfo, bcp, info.debugInfo.getVirtualObjectMapping());
}
private void recordScopeKlasses(CompiledMethodInfo methodInfo, BytecodePosition bcp, VirtualObject[] vos) {
BytecodePosition caller = bcp.getCaller();
if (caller != null) {
recordScopeKlasses(methodInfo, caller, vos);
}
HotSpotResolvedJavaMethod m = (HotSpotResolvedJavaMethod) bcp.getMethod();
HotSpotResolvedObjectType klass = m.getDeclaringClass();
methodInfo.addDependentKlassData(binaryContainer, klass);
if (vos == null) {
return;
}
for (VirtualObject vo : vos) {
HotSpotResolvedObjectType vk = (HotSpotResolvedObjectType) vo.getType();
methodInfo.addDependentKlassData(binaryContainer, vk);
}
}
Process Call info points in Graal generated compilation result. We want to create one of the
following relocations: .text -> .hotspot.plt.linkage - Java method to Java method call .text
-> .text - Java method / Graal stub to Graal stub call .text -> .plt - Java method / Graal
stub to VM method call.
Params: - methodInfo – compiled method info
- call – call
/**
* Process Call info points in Graal generated compilation result. We want to create one of the
* following relocations: .text -> .hotspot.plt.linkage - Java method to Java method call .text
* -> .text - Java method / Graal stub to Graal stub call .text -> .plt - Java method / Graal
* stub to VM method call.
*
* @param methodInfo compiled method info
* @param call call
*/
private void processCallInfoPoint(CompiledMethodInfo methodInfo, Call call) {
CallSiteRelocationInfo callSiteRelocation = getCallSiteRelocationInfo(call);
CallSiteRelocationSymbol callSiteRelocationSymbol = getCallSiteRelocationSymbol(methodInfo, call, callSiteRelocation);
Relocation relocation = new Relocation(methodInfo.getTextSectionOffset() + call.pcOffset, callSiteRelocation.type, call.size, binaryContainer.getCodeContainer(),
callSiteRelocationSymbol.symbol);
binaryContainer.addRelocation(relocation);
}
Get information about the call site. Name of the callee and relocation call type.
/**
* Get information about the call site. Name of the callee and relocation call type.
*/
private static CallSiteRelocationInfo getCallSiteRelocationInfo(Call call) {
InvokeTarget callTarget = call.target;
if (callTarget instanceof HotSpotResolvedJavaMethod) {
return new JavaCallSiteRelocationInfo(call, (HotSpotResolvedJavaMethod) callTarget);
} else if (callTarget instanceof HotSpotForeignCallLinkage) {
return new ForeignCallSiteRelocationInfo(call, (HotSpotForeignCallLinkage) callTarget);
} else {
throw new InternalError("Unhandled call type found in infopoint: " + callTarget);
}
}
Return a relocation symbol for the given call site.
/**
* Return a relocation symbol for the given call site.
*/
private CallSiteRelocationSymbol getCallSiteRelocationSymbol(CompiledMethodInfo mi, Call call, CallSiteRelocationInfo callSiteRelocation) {
switch (callSiteRelocation.type) {
case STUB_CALL_DIRECT:
return new StubDirectCallSiteRelocationSymbol(callSiteRelocation, binaryContainer);
case FOREIGN_CALL_INDIRECT_GOT:
return new ForeignGotCallSiteRelocationSymbol(mi, call, callSiteRelocation, dataBuilder);
default:
return new JavaCallSiteRelocationSymbol(mi, call, callSiteRelocation, binaryContainer);
}
}
}