Discussed this a bit offline. The goal here is to generate somewhat cleaner code. The snapshot diffs have some good examples; a further refinement we might explore is to keep the jumps in place when the exit block has nontrivial logic in it (to avoid duplication).
Discussed this a bit offline. The goal here is to generate somewhat cleaner code. The snapshot diffs have some good examples; a further refinement we might explore is to keep the jumps in place when the exit block has nontrivial logic in it (to avoid duplication).