aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2015-03-06 15:50:45 +0100
committerBjörn Gustavsson <[email protected]>2015-03-09 09:59:37 +0100
commite2ced63dfaf14f38d2a334d51b3ca45030d55e0c (patch)
treebf422e922cddeacd0786ed5f7eda4667546ba8db
parentd922184dcb5b159b0ff9052d99990dc23b36dc17 (diff)
downloadotp-e2ced63dfaf14f38d2a334d51b3ca45030d55e0c.tar.gz
otp-e2ced63dfaf14f38d2a334d51b3ca45030d55e0c.tar.bz2
otp-e2ced63dfaf14f38d2a334d51b3ca45030d55e0c.zip
beam_dead: Improve optimization by eliminating fallthroughs
-rw-r--r--lib/compiler/src/beam_dead.erl6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_dead.erl b/lib/compiler/src/beam_dead.erl
index d00264eb6e..f4515ba2a7 100644
--- a/lib/compiler/src/beam_dead.erl
+++ b/lib/compiler/src/beam_dead.erl
@@ -98,6 +98,12 @@ move_move_into_block([], Acc) -> reverse(Acc).
forward(Is, Lc) ->
forward(Is, gb_trees:empty(), Lc, []).
+forward([{move,_,_}=Move|[{label,L}|_]=Is], D, Lc, Acc) ->
+ %% move/2 followed by jump/1 is optimized by backward/3.
+ forward([Move,{jump,{f,L}}|Is], D, Lc, Acc);
+forward([{bif,_,_,_,_}=Bif|[{label,L}|_]=Is], D, Lc, Acc) ->
+ %% bif/4 followed by jump/1 is optimized by backward/3.
+ forward([Bif,{jump,{f,L}}|Is], D, Lc, Acc);
forward([{block,[]}|Is], D, Lc, Acc) ->
%% Empty blocks can prevent optimizations.
forward(Is, D, Lc, Acc);