diff options
| author | Lukas Rytz <lukas.rytz@gmail.com> | 2016-02-03 11:43:48 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@gmail.com> | 2016-02-03 12:04:49 +0100 |
| commit | 5ba1063518f1320b1e920b89c1815406df887467 (patch) | |
| tree | 66498d18d1b059898bdd5753b21daeab28b89dab /spec | |
| parent | bbd890bf907c00f17df39eb4bc656b30d4317b9a (diff) | |
| download | scala-5ba1063518f1320b1e920b89c1815406df887467.tar.gz scala-5ba1063518f1320b1e920b89c1815406df887467.tar.bz2 scala-5ba1063518f1320b1e920b89c1815406df887467.zip | |
Improve simplifyJumps
Improve simplifyJumps to rewrite
IFEQ L4
L5
GOTO L6
to
IFNE L6
L5
This rewrite is only correct if L5 is not the target of any jump
instruction (otherwise, removing the GOTO would change semantics).
Previously we did not do the rewrite if there was any label between
the conditional jump and the goto (like L5). Now we track which labels
are jump targets.
Diffstat (limited to 'spec')
0 files changed, 0 insertions, 0 deletions