tailBlock.setExit(headBlock.getExit());
// Merge blocks
- thisFunction.mergeBlocks(function);
+ thisFunction.mergeBlocks(function);
headBlock.setExit(new Jump(function.getFirstBlock().createOccurrence(),
parameters));
for(ValRef parameter : parameters)
visitor.visit(parameter);
}
+
+ @Override
+ public void cleanup() {
+ function.remove();
+ for(ValRef parameter : parameters)
+ parameter.remove();
+ }
}