diff options
| author | Björn Gustavsson <[email protected]> | 2016-04-06 06:29:49 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-04-11 13:57:26 +0200 |
| commit | 8a659704161705fb838447cb6aa54627e12a8910 (patch) | |
| tree | 349511b0921b58ceb9189fd03cf2808493622a23 /lib/public_key/.gitignore | |
| parent | 9d2dde09689246cd61a5e7bfdc8ca37884043a9c (diff) | |
| download | otp-8a659704161705fb838447cb6aa54627e12a8910.tar.gz otp-8a659704161705fb838447cb6aa54627e12a8910.tar.bz2 otp-8a659704161705fb838447cb6aa54627e12a8910.zip | |
beam_peep: Help out beam_jump
beam_jump fails to optimize the following:
jump 2
label 1
label 2
Since this situation is rare, instead of complicating beam_jump,
add the optimization to beam_peep. It will always succeed, since
adjacent labels have been coalesced.
Diffstat (limited to 'lib/public_key/.gitignore')
0 files changed, 0 insertions, 0 deletions