Mercurial > hg > graal-compiler
view graal/com.oracle.graal.baseline/src/com/oracle/graal/baseline/BaselineBytecodeParser.java @ 16881:f0e3b50c29c8
Merge to latest. Fixed conflicts in LineLocationToProbeCollection.
author | David Piorkowski <david.piorkowski@oracle.com> |
---|---|
date | Thu, 21 Aug 2014 13:32:11 -0700 |
parents | cac0a7d1c325 |
children | b61b88c9c103 |
line wrap: on
line source
/* * Copyright (c) 2014, 2014, 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. * * 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 com.oracle.graal.baseline; import static com.oracle.graal.compiler.common.GraalOptions.*; import java.util.*; import com.oracle.graal.alloc.*; import com.oracle.graal.api.code.*; import com.oracle.graal.api.meta.*; import com.oracle.graal.api.meta.ResolvedJavaType.Representation; import com.oracle.graal.bytecode.*; import com.oracle.graal.compiler.alloc.*; import com.oracle.graal.compiler.common.*; import com.oracle.graal.compiler.common.calc.*; import com.oracle.graal.compiler.common.cfg.*; import com.oracle.graal.compiler.gen.*; import com.oracle.graal.compiler.target.*; import com.oracle.graal.debug.*; import com.oracle.graal.debug.Debug.Scope; import com.oracle.graal.java.*; import com.oracle.graal.java.BciBlockMapping.BciBlock; import com.oracle.graal.java.BciBlockMapping.LocalLiveness; import com.oracle.graal.lir.*; import com.oracle.graal.lir.StandardOp.BlockEndOp; import com.oracle.graal.lir.gen.*; import com.oracle.graal.phases.*; public class BaselineBytecodeParser extends AbstractBytecodeParser<Value, BaselineFrameStateBuilder> implements BytecodeParserTool { private Backend backend; protected LIRGeneratorTool gen; private LIRGenerationResult lirGenRes; private BytecodeLIRBuilder lirBuilder; @SuppressWarnings("unused") private BciBlock[] loopHeaders; private LocalLiveness liveness; private BciBlockBitMap blockVisited; private static class BciBlockBitMap { BitSet bitSet; public BciBlockBitMap(BciBlockMapping blockMap) { bitSet = new BitSet(blockMap.blocks.size()); } public boolean get(BciBlock block) { return bitSet.get(block.getId()); } public void set(BciBlock block) { bitSet.set(block.getId()); } } public BaselineBytecodeParser(MetaAccessProvider metaAccess, ResolvedJavaMethod method, GraphBuilderConfiguration graphBuilderConfig, OptimisticOptimizations optimisticOpts, BaselineFrameStateBuilder frameState, BytecodeStream stream, ProfilingInfo profilingInfo, ConstantPool constantPool, int entryBCI, Backend backend) { super(metaAccess, method, graphBuilderConfig, optimisticOpts, frameState, stream, profilingInfo, constantPool, entryBCI); this.backend = backend; } public LIRGenerationResult getLIRGenerationResult() { return lirGenRes; } @Override protected void build() { if (PrintProfilingInformation.getValue()) { TTY.println("Profiling info for " + method.format("%H.%n(%p)")); TTY.println(MetaUtil.indent(profilingInfo.toString(method, CodeUtil.NEW_LINE), " ")); } try (Indent indent = Debug.logAndIndent("build graph for %s", method)) { BciBlockMapping blockMap; try (Scope ds = Debug.scope("BciBlockMapping")) { // compute the block map, setup exception handlers and get the entrypoint(s) blockMap = BciBlockMapping.create(method); } catch (Throwable e) { throw Debug.handle(e); } loopHeaders = blockMap.loopHeaders; liveness = blockMap.liveness; blockVisited = new BciBlockBitMap(blockMap); // add predecessors for (BciBlock block : blockMap.blocks) { for (BciBlock successor : block.getSuccessors()) { successor.getPredecessors().add(block); } } if (method.isSynchronized()) { throw GraalInternalError.unimplemented("Handle synchronized methods"); } frameState = new BaselineFrameStateBuilder(method); frameState.clearNonLiveLocals(blockMap.startBlock, liveness, true); currentBlock = blockMap.startBlock; blockMap.startBlock.entryState = frameState; if (blockMap.startBlock.isLoopHeader) { throw GraalInternalError.unimplemented("Handle start block as loop header"); } // add loops ? how do we add looks when we haven't parsed the bytecode? // create the control flow graph BaselineControlFlowGraph cfg = BaselineControlFlowGraph.compute(blockMap); // create the LIR List<? extends AbstractBlock<?>> linearScanOrder = ComputeBlockOrder.computeLinearScanOrder(blockMap.blocks.size(), blockMap.startBlock); List<? extends AbstractBlock<?>> codeEmittingOrder = ComputeBlockOrder.computeCodeEmittingOrder(blockMap.blocks.size(), blockMap.startBlock); LIR lir = new LIR(cfg, linearScanOrder, codeEmittingOrder); FrameMap frameMap = backend.newFrameMap(null); TargetDescription target = backend.getTarget(); CallingConvention cc = CodeUtil.getCallingConvention(backend.getProviders().getCodeCache(), CallingConvention.Type.JavaCallee, method, false); this.lirGenRes = backend.newLIRGenerationResult(lir, frameMap, method, null); this.gen = backend.newLIRGenerator(cc, lirGenRes); this.lirBuilder = backend.newBytecodeLIRBuilder(gen, this); try (Scope ds = Debug.scope("BackEnd", lir)) { try (Scope s = Debug.scope("LIRGen", gen)) { // possibly add all the arguments to slots in the local variable array for (BciBlock block : blockMap.blocks) { emitBlock(block); } gen.beforeRegisterAllocation(); Debug.dump(lir, "After LIR generation"); } catch (Throwable e) { throw Debug.handle(e); } try (Scope s = Debug.scope("Allocator")) { if (backend.shouldAllocateRegisters()) { new LinearScan(target, lir, frameMap).allocate(); } } catch (Throwable e) { throw Debug.handle(e); } } catch (Throwable e) { throw Debug.handle(e); } } catch (Throwable e) { throw Debug.handle(e); } } private void emitBlock(BciBlock b) { if (lirGenRes.getLIR().getLIRforBlock(b) == null) { for (BciBlock pred : b.getPredecessors()) { if (!b.isLoopHeader() || !pred.isLoopEnd()) { emitBlock(pred); } } processBlock(b); } } @Override protected void handleUnresolvedLoadConstant(JavaType type) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedCheckCast(JavaType type, Value object) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedInstanceOf(JavaType type, Value object) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedNewInstance(JavaType type) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedNewObjectArray(JavaType type, Value length) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedNewMultiArray(JavaType type, List<Value> dims) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedLoadField(JavaField field, Value receiver) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedStoreField(JavaField field, Value value, Value receiver) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void handleUnresolvedExceptionType(Representation representation, JavaType type) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genLoadIndexed(Value index, Value array, Kind kind) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genStoreIndexed(Value array, Value index, Kind kind, Value value) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genIntegerAdd(Kind kind, Value x, Value y) { return gen.emitAdd(x, y); } @Override protected Value genIntegerSub(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genIntegerMul(Kind kind, Value x, Value y) { return gen.emitMul(x, y); } @Override protected Value genFloatAdd(Kind kind, Value x, Value y, boolean isStrictFP) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genFloatSub(Kind kind, Value x, Value y, boolean isStrictFP) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genFloatMul(Kind kind, Value x, Value y, boolean isStrictFP) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genFloatDiv(Kind kind, Value x, Value y, boolean isStrictFP) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genFloatRem(Kind kind, Value x, Value y, boolean isStrictFP) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genIntegerDiv(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genIntegerRem(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genNegateOp(Value x) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genLeftShift(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genRightShift(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genUnsignedRightShift(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genAnd(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genOr(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genXor(Kind kind, Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genNormalizeCompare(Value x, Value y, boolean isUnorderedLess) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genFloatConvert(FloatConvert op, Value input) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genNarrow(Value input, int bitCount) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genSignExtend(Value input, int bitCount) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genZeroExtend(Value input, int bitCount) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genObjectEquals(Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genIntegerEquals(Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genIf(Value x, Condition cond, Value y) { assert currentBlock.getSuccessors().size() == 2; BciBlock trueBlock = currentBlock.getSuccessors().get(0); BciBlock falseBlock = currentBlock.getSuccessors().get(1); if (trueBlock == falseBlock) { genGoto(); return; } double probability = profilingInfo.getBranchTakenProbability(bci()); if (probability < 0) { assert probability == -1 : "invalid probability"; Debug.log("missing probability in %s at bci %d", method, bci()); probability = 0.5; } if (!optimisticOpts.removeNeverExecutedCode()) { if (probability == 0) { probability = 0.0000001; } else if (probability == 1) { probability = 0.999999; } } LabelRef trueDestination = getSuccessor(0); LabelRef falseDestination = getSuccessor(1); gen.emitCompareBranch(x.getKind(), x, y, cond, false, trueDestination, falseDestination, probability); } @Override protected Value genIntegerLessThan(Value x, Value y) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genUnique(Value x) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genThrow() { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value createCheckCast(ResolvedJavaType type, Value object, JavaTypeProfile profileForTypeCheck, boolean b) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value createInstanceOf(ResolvedJavaType type, Value object, JavaTypeProfile profileForTypeCheck) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genConditional(Value x) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value createNewInstance(ResolvedJavaType type, boolean fillContents) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value createNewArray(ResolvedJavaType elementType, Value length, boolean fillContents) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value createNewMultiArray(ResolvedJavaType type, List<Value> dims) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genLoadField(Value receiver, ResolvedJavaField field) { if (field.isStatic()) { Value classRef = lirBuilder.getClassConstant(field.getDeclaringClass()); long displacement = lirBuilder.getFieldOffset(field); Value address = gen.emitAddress(classRef, displacement, Value.ILLEGAL, 0); LIRKind readKind = backend.getTarget().getLIRKind(field.getKind()); LIRFrameState state = createFrameState(frameState); return gen.emitLoad(readKind, address, state); } // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void emitNullCheck(Value receiver) { gen.emitNullCheck(receiver, createFrameState(frameState)); } @Override protected void emitBoundsCheck(Value index, Value length) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genArrayLength(Value array) { emitNullCheck(array); long displacement = lirBuilder.getArrayLengthOffset(); Value address = gen.emitAddress(array, displacement, Value.ILLEGAL, 0); LIRKind readKind = backend.getTarget().getLIRKind(Kind.Int); LIRFrameState state = createFrameState(frameState); return gen.emitLoad(readKind, address, state); } private LIRFrameState createFrameState(BaselineFrameStateBuilder state) { LabelRef exceptionEdge = null; BytecodeFrame caller = null; boolean duringCall = false; int numLocals = state.localsSize(); int numStack = state.stackSize(); int numLocks = state.lockDepth(); Value[] values = new Value[numLocals + numStack + numLocks]; for (int i = 0; i < numLocals; i++) { values[i] = state.localAt(i); } for (int i = 0; i < numStack; i++) { values[numLocals + i] = state.stackAt(i); } for (int i = 0; i < numStack; i++) { values[numLocals + numStack + i] = state.lockAt(i); } BytecodeFrame frame = new BytecodeFrame(caller, method, bci(), state.rethrowException(), duringCall, values, numLocals, numStack, numLocks); return new LIRFrameState(frame, null, exceptionEdge); } @Override protected Value genStoreField(Value receiver, ResolvedJavaField field, Value value) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genInvokeStatic(JavaMethod target) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genInvokeInterface(JavaMethod target) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genInvokeDynamic(JavaMethod target) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genInvokeVirtual(JavaMethod target) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genInvokeSpecial(JavaMethod target) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genReturn(Value x) { gen.emitReturn(x); } @Override protected Value genMonitorEnter(Value x) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value genMonitorExit(Value x, Value returnValue) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genJsr(int dest) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genRet(int localIndex) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected void genIntegerSwitch(Value value, ArrayList<BciBlock> actualSuccessors, int[] keys, double[] keyProbabilities, int[] keySuccessors) { // TODO Auto-generated method stub throw GraalInternalError.unimplemented("Auto-generated method stub"); } @Override protected Value appendConstant(Constant constant) { if (gen.canInlineConstant(constant)) { return constant; } return gen.emitMove(constant); } @Override protected Value append(Value v) { return v; } private void createTarget(BciBlock block) { assert block != null && frameState != null; assert !block.isExceptionEntry || frameState.stackSize() == 1; if (!blockVisited.get(block)) { /* * This is the first time we see this block as a branch target. Create and return a * placeholder that later can be replaced with a MergeNode when we see this block again. */ blockVisited.set(block); if (block.getPredecessorCount() > 1) { /* * If there are more than one predecessors we have to ensure that we are not passing * constants to the new framestate otherwise we will get interfacing problems. */ moveConstantsToVariables(); } block.entryState = frameState.copy(); block.entryState.clearNonLiveLocals(block, liveness, true); Debug.log("createTarget %s: first visit", block); return; } // We already saw this block before, so we have to merge states. if (!((BaselineFrameStateBuilder) block.entryState).isCompatibleWith(frameState)) { throw new BailoutException("stacks do not match; bytecodes would not verify"); } if (block.isLoopHeader) { assert currentBlock == null || currentBlock.getId() >= block.getId() : "must be backward branch"; if (currentBlock != null && currentBlock.numNormalSuccessors() == 1) { // this is the only successor of the current block so we can adjust adaptFramestate((BaselineFrameStateBuilder) block.entryState); return; } GraalInternalError.unimplemented("Loops not yet supported"); } assert currentBlock == null || currentBlock.getId() < block.getId() : "must not be backward branch"; /* * This is the second time we see this block. Create the actual MergeNode and the End Node * for the already existing edge. For simplicity, we leave the placeholder in the graph and * just append the new nodes after the placeholder. */ if (currentBlock != null && currentBlock.numNormalSuccessors() == 1) { // this is the only successor of the current block so we can adjust adaptFramestate((BaselineFrameStateBuilder) block.entryState); return; } GraalInternalError.unimplemented("second block visit not yet implemented"); // merge frame states e.g. block.entryState.merge(mergeNode, target.state); Debug.log("createTarget %s: merging state", block); } private void moveConstantsToVariables() { Debug.log("moveConstantsToVariables: framestate before: %s", frameState); for (int i = 0; i < frameState.stackSize(); i++) { Value src = frameState.stackAt(i); if (src instanceof Constant) { AllocatableValue dst = gen.newVariable(src.getLIRKind()); gen.emitMove(dst, src); frameState.storeStack(i, dst); Debug.log("introduce new variabe %s for stackslot %d (end of block %s", dst, i, currentBlock); } } for (int i = 0; i < frameState.localsSize(); i++) { Value src = frameState.localAt(i); if (src instanceof Constant) { AllocatableValue dst = gen.newVariable(src.getLIRKind()); gen.emitMove(dst, src); frameState.storeLocal(i, dst); Debug.log("introduce new variabe %s for local %d (end of block %s", dst, i, currentBlock); } } Debug.log("moveConstantsToVariables: framestate after: %s", frameState); } private static void adaptValues(Value dst, Value src, PhiResolver resolver) { if (dst == null) { return; } assert src != null : "Source is null but Destination is not!"; if (!dst.equals(src)) { resolver.move(dst, src); } } private void adaptFramestate(BaselineFrameStateBuilder other) { assert frameState.isCompatibleWith(other) : "framestates not compatible!"; PhiResolver resolver = new PhiResolver(gen); for (int i = 0; i < frameState.stackSize(); i++) { Value src = frameState.stackAt(i); Value dst = other.stackAt(i); adaptValues(dst, src, resolver); } for (int i = 0; i < frameState.localsSize(); i++) { Value src = frameState.localAt(i); Value dst = other.localAt(i); adaptValues(dst, src, resolver); } resolver.dispose(); } @Override protected void processBlock(BciBlock block) { frameState = (BaselineFrameStateBuilder) block.entryState; setCurrentFrameState(frameState); currentBlock = block; iterateBytecodesForBlock(block); } private boolean isBlockEnd() { List<LIRInstruction> l = gen.getResult().getLIR().getLIRforBlock(currentBlock); if (l.isEmpty()) { return false; } return l.get(l.size() - 1) instanceof BlockEndOp; } @Override protected void iterateBytecodesForBlock(BciBlock block) { gen.doBlockStart(block); if (block == gen.getResult().getLIR().getControlFlowGraph().getStartBlock()) { assert block.getPredecessorCount() == 0; lirBuilder.emitPrologue(method); } else { assert block.getPredecessorCount() > 0; } if (block.isLoopHeader) { /* * We need to preserve the frame state builder of the loop header so that we can merge * values for phi functions, so make a copy of it. */ block.entryState = frameState.copy(); } int endBCI = stream.endBCI(); stream.setBCI(block.startBci); int bci = block.startBci; BytecodesParsed.add(block.endBci - bci); while (bci < endBCI) { // read the opcode int opcode = stream.currentBC(); // traceState(); traceInstruction(bci, opcode, bci == block.startBci); processBytecode(bci, opcode); stream.next(); bci = stream.currentBCI(); if (isBlockEnd()) { break; } if (bci < endBCI) { if (bci > block.endBci) { if (block.numNormalSuccessors() == 1) { assert !block.getSuccessor(0).isExceptionEntry; // we fell through to the next block, add a goto and break genGoto(); } break; } } } assert LIR.verifyBlock(gen.getResult().getLIR(), block); gen.doBlockEnd(block); } public void storeLocal(int i, Value x) { frameState.storeLocal(i, x); } LabelRef getSuccessor(int index) { createTarget(currentBlock.getSuccessor(index)); return LabelRef.forSuccessor(lirGenRes.getLIR(), currentBlock, index); } @Override protected void genGoto() { gen.emitJump(getSuccessor(0)); } }