public void writeInline(EmitContext emitContext, InstructionAdapter mv) {
// Last check for assumption violations
types.verifyFunctionAssumptions(runtimeState);
Label exitLabel = new Label();
for (BasicBlock basicBlock : cfg.getBasicBlocks()) {
if (basicBlock != cfg.getEntry() && basicBlock != cfg.getExit()) {
for (IRLabel label : basicBlock.getLabels()) {
mv.visitLabel(emitContext.getAsmLabel(label));
}
for (Statement stmt : basicBlock.getStatements()) {
try {
if (stmt instanceof ReturnStatement) {
// Instead of returning, just push the return value on the stack
// and jump to the exit point for the function.
stmt.getRHS().load(emitContext, mv);
mv.goTo(exitLabel);
} else {
stmt.emit(emitContext, mv);
}
} catch (NotCompilableException e) {
throw e;
} catch (Exception e) {
throw new InternalCompilerException("Exception compiling statement " + stmt, e);
}
}
}
}
mv.mark(exitLabel);
}
public ValueBounds computeBounds() {
types.execute();
if (returnStatements.size() == 1) {
return returnStatements.get(0).getRHS().getValueBounds();
} else {
throw new UnsupportedOperationException("TODO");
}
}
