package org.graalvm.compiler.nodes;
import static org.graalvm.compiler.nodeinfo.InputType.Extension;
import static org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2;
import static org.graalvm.compiler.nodeinfo.NodeSize.SIZE_2;
import org.graalvm.compiler.core.common.type.StampFactory;
import org.graalvm.compiler.graph.IterableNodeType;
import org.graalvm.compiler.graph.NodeClass;
import org.graalvm.compiler.nodeinfo.NodeInfo;
import org.graalvm.compiler.nodes.memory.MemoryMapNode;
import org.graalvm.compiler.nodes.spi.LIRLowerable;
import org.graalvm.compiler.nodes.spi.NodeLIRBuilderTool;
import jdk.vm.ci.code.TargetDescription;
import jdk.vm.ci.meta.JavaKind;
@NodeInfo(cycles = CYCLES_2, size = SIZE_2, cyclesRationale = "Restore frame + ret", sizeRationale = "Restore frame + ret")
public final class ReturnNode extends ControlSinkNode implements LIRLowerable, IterableNodeType {
public static final NodeClass<ReturnNode> TYPE = NodeClass.create(ReturnNode.class);
@OptionalInput ValueNode result;
@OptionalInput(Extension) MemoryMapNode memoryMap;
public ValueNode result() {
return result;
}
public ReturnNode(ValueNode result) {
this(result, null);
}
public ReturnNode(ValueNode result, MemoryMapNode memoryMap) {
super(TYPE, StampFactory.forVoid());
this.result = result;
this.memoryMap = memoryMap;
}
@Override
public void generate(NodeLIRBuilderTool gen) {
assert verifyReturn(gen.getLIRGeneratorTool().target());
if (result == null) {
gen.getLIRGeneratorTool().emitReturn(JavaKind.Void, null);
} else {
gen.getLIRGeneratorTool().emitReturn(result.getStackKind(), gen.operand(result));
}
}
public void setMemoryMap(MemoryMapNode memoryMap) {
updateUsages(this.memoryMap, memoryMap);
this.memoryMap = memoryMap;
}
public MemoryMapNode getMemoryMap() {
return memoryMap;
}
private boolean verifyReturn(TargetDescription target) {
if (graph().method() != null) {
JavaKind actual = result == null ? JavaKind.Void : result.getStackKind();
JavaKind expected = graph().method().getSignature().getReturnKind().getStackKind();
if (actual == target.wordJavaKind && expected == JavaKind.Object) {
return true;
}
assert actual == expected : "return kind doesn't match: actual " + actual + ", expected: " + expected;
}
return true;
}
}