diff options
| author | Michał Muskała <[email protected]> | 2018-06-06 19:10:05 +0200 |
|---|---|---|
| committer | Michał Muskała <[email protected]> | 2018-06-08 02:57:42 +0200 |
| commit | 7fed1e036b0c70aaa1e738a403379bab96745e63 (patch) | |
| tree | d1f38432ad404dd195a00477a1e36b4b59171155 /plt | |
| parent | cfc2b4ff4a6a2c46a3e2458eb87fd089e610783a (diff) | |
| download | otp-7fed1e036b0c70aaa1e738a403379bab96745e63.tar.gz otp-7fed1e036b0c70aaa1e738a403379bab96745e63.tar.bz2 otp-7fed1e036b0c70aaa1e738a403379bab96745e63.zip | |
Optimise beam_jump
This is an alternative to #1832.
The optimisation relies on special-casing the common pattern of
"renaming" a label by direct jump to another label. The change makes
beam_jump recognise couple more opportunities for optimisation.
The optimisation additionally avoids superfluous list concatenations by
only flattening the accumulator at the very end.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions